The main goal of this project is to develop a generator of random shapes for modular robots and integrate it into an existing modelling framework.
Read moreGeneration of Random Shapes for Modular Robots
Internship proposals
Robots Modulaires Adaptatifs : Vers une gestion dynamique de l’énergie
L’objectif de ce projet est de développer un mini-simulateur pour le contrôle hiérarchique de systèmes composés de robots modulaires afin d’évaluer différentes algorithmes et politiques de contrôle.
Read moreAxiomatic system for hybrid interactions in JavaBIP
The main goal of this project is to exhibit a set of axioms formalising the equivalence relation on the extended Algebra of Connectors, which is used to model patterns combining synchronous and asynchronous communication in JavaBIP.
Read moreVerification of hybrid synchronous/asynchronous systems
The main goal of this project is to propose hybrid verification techniques for systems combining synchronous and asynchronous interaction mechanisms for concurrent component-based systems.
Read moreSymbolic verification of real-time design patterns
Introducing compound components in JavaBIP
The goal of the project is to introduce compound components in JavaBIP. Indeed, in the original BIP framework, components can be assembled hierarchically to simplify re-use. This feature is missing in JavaBIP.
Read moreModel-Based Testing in Java using BIP
The main goal of this project is to provide a mechanism for automated testing of the conformance between BIP specifications and the corresponding Java components.
Read moreComposability & verification of BIP design patterns
This proposal focuses on the implementation and extension of the results presented in a recent paper on the verification of BIP design patterns with data.
Read moreAutomatic Synthesis of Self-Healing Android Applications
With Sergio Mover from LIX (École Polytechnique, Paris), we are looking for a student interested in working on “self-healing” Android applications.
The goal of the internship is to design and implement self-healing techniques for Event-Driven frameworks. Given an Android app, we want to automatically synthesize a new version of the app that avoids protocol violations—for example removing particular interleavings of events.
Read more