This proposal builds upon the previous work carried out by Waïss Azizian for his ENS L3 internship project. It focuses on the extension of the theory of BIP design patterns (called “architectures”) to the real-time domain.Read more
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 more
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 more
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
I have just received an official notification that my project proposal “Rigorous Component-Based Design of Correct-by-Construction Software and Systems: Application to Cloud Computing” was approved by the Hauts de France region.
Spoiler: I will be hiring a post-doc to work on formal models for self-adaptive software.