MENU

    • Home
    • Series
    • Tags
    • About Us
    • Feed
    formal

    PhD

    Self-adaptive modular robots: formal modeling for validation and coordination

    The main objective of this project is to contribute to the implementation of modular robots by developing a formal framework to model, validate and coordinate their dynamic behaviours.

    modular robots formal methods BIP reconfigurable systems simulation
    24 Feb 2022

    PhD

    Reasoning with Explanation for missing data in a constraint setting

    The goal of this research project is to develop a new application to reason on missing data and to explain this reasoning

    Logic Reasoning Knowledge Representation Data Management Explanations Security of Data
    01 Feb 2021
    mobile

    Internship

    Automatic Synthesis of Self-Healing Android Applications

    The goal of the internship is to design and implement self-healing techniques for Event-Driven frameworks.

    android java state JavaBIP
    02 Dec 2019
    formal

    Internship

    Composability & verification of BIP design patterns

    This internship project focusses on the implementation and extension of the results presented in a recent paper on the verification of BIP design patterns with data.

    formal methods BIP architectures pNets SMT
    31 Oct 2019
    java

    Internship

    Introducing compound components in JavaBIP

    The goal of the project is to introduce compound components in JavaBIP.

    java BIP components coordination
    31 Oct 2019
    energy

    Internship

    Monitoring the energy consumption of the JVM

    This project aims at studying the energy consumption of key JVM components.

    c jvm java
    09 Dec 2018
    privacy

    Internship

    Inferring Data Schemas from RESTful Exchanges

    Ce projet vise à déterminer l'organisation des données à partir des contenus exposés par des API REST.

    data social network
    09 Dec 2018
    mobile

    Internship

    Automatic Inference of Android Linter Rules

    This project targets the automatic inference of static analysis rules from code samples.

    android java lint
    09 Dec 2018
    privacy

    Internship

    Dynamic Analysis of ORM Solutions

    This project aims at analyzing the usage of object-relational mapping (ORM) solutions.

    java database
    09 Dec 2018
    mobile

    Internship

    Mining Development Topics from GitHub Issues

    This project aims to analyze the key topics covered in the GitHub issues of open source projects.

    github java machine learning
    09 Dec 2018
    privacy

    Internship PhD

    Reconciliating Social Networks

    This project aims at identifying

    data social network
    09 Dec 2018
    iot

    Internship Engineer

    Towards a Scalable Spatio-temporal Database for the IoT

    This project consists in proposing an implementation of the OGC SensorThings standard with the GreyCat timer graph storage technology.

    java graph data
    30 Nov 2018

    Made with Jekyll and ❤ by Willian Justen