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