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 moreBRiCoS: Building Blocks for Rigorous Design of Concurrent Software
This project will address two fundamental challenges for the implementation of the Rigorous System Design approach to general-purpose software: 1) obtaining behavioural models of the coordinated software entities and 2) detecting the deviations between these models and the corresponding executable code in the face of software evolution.

Larisa Safina is working on this project
Read more

Vers un réseau social pour des émigrés antiques
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.
Read moreSafe dynamic reconfiguration of cloud applications
The goal of this research project is to design a novel framework for safe dynamic reconfiguration of cloud applications by integrating into the platform software and extending the coordination mechanisms proposed by JavaBIP.

Salman Farhat is now working on this project
Read more
Composability & 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 moreIMBSA 2019 Tutorial
I have just given a 40-minute tutorial on the Rigorous Component-based Design in BIP at IMBSA 2019 in the beautiful city of Thessaloniki.
Read moreComponent-Based Design of Concurrent Software in BIP
This afternoon I will be giving a lecture about BIP to a group of students from a course taught by Panagiotis Katsaros at the Aristotle University of Thessaloniki.
Read moreA visit by Sergio Mover

Looking forward to hosting a visit by Sergio Mover, who will give a talk on “
Design of correct-by-construction self-adaptive cloud applications using formal methods
Essentially, any software entity that goes beyond simply computing a certain function necessarily has to interact and share resources with other such entities. Correct coordination of access to resources among concurrent software entities is fundamental to ensuring that they satisfy user and system requirements avoiding operational faults and deadlock situations. This proposal targets the correct coordination of access to cloud resources among concurrent cloud application entities.

Trình Lê Khánh is now working on this project
Read more
Automatic 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