This proposal focuses on the extension of the theory of BIP design patterns (called “architectures”) to the real-time domain.
Read moreInternship proposals
Composability & verification of BIP design patterns
This proposal focusses on the implementation and extension of the results presented in a recent paper on the verification of BIP design patterns with data.
Read moreIntroducing 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 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