Internship proposals – Simon Bliudze

Verification of hybrid synchronous/asynchronous systems

08/02/202108/02/2021sbliudze

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.

Symbolic verification of real-time design patterns

07/01/2021sbliudze

This proposal focuses on the extension of the theory of BIP design patterns (called “architectures”) to the real-time domain.

Introducing compound components in JavaBIP

07/01/2021sbliudze

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.

Model-Based Testing in Java using BIP

12/11/202012/11/2020sbliudze

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.

Vers un réseau social pour des émigrés antiques

08/10/202008/10/2020sbliudze

Dans le cadre du projet « EX-PATRIA : Dissidence ane Emigration in Late Antique Rome, Persia, and Neighbouring Lands » qui vient de débuter ce mois, nous vous proposons de devenir l’architecte d’une base de données — et de l’application web qui servira à l’alimenter — rassemblant les informations disponibles sur les parcours et les interactions entre des personnalités historiques (3ème-6ème siècles de notre ère) ayant choisi ou subi l’émigration.

Composability & verification of BIP design patterns

31/10/201912/11/2020sbliudze

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.

Automatic Synthesis of Self-Healing Android Applications

18/03/201906/09/2019sbliudze

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.