Research Scientist at the Spirals team of INRIA Lille – Nord Europe
With Laura Semini, we are co-chairing the Program Committee of FormaliSE 2021, which will be co-located with ICSE 2021 to take place on May 17–21, 2021 on-line.
Read more
I am a Program Committee member of Coordination 2021 — one of the three conferences forming DisCoTec 2021, which will take place at the University of Malta, Valletta, on June 14–18, 2020.
Read more
I am a member of the Program Committee of FMICS 2021, which will be held as part of QONFEST in Paris, France from 23rd to 27th August 2021.
Read moreThis 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
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 moreThe 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
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 more
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 more
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 more
Looking forward to hosting a visit by Sergio Mover, who will give a talk on “
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
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 moreI 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.
Thanks to Charlotte Hespel and Lionel Seinturier for their help with preparing the proposal. I am Looking forward to officially starting the project.
Spoiler: I will be hiring a post-doc to work on formal models for self-adaptive software.