The main goal of this project is to exhibit a set of axioms formalising the equivalence relation on the extended Algebra of Connectors, which is used to model patterns combining synchronous and asynchronous communication in JavaBIP.Read more
The FormaliSE 2021 programme is ready and published! It includes two keynotes
- “Program Verification: a 70-Year History” by Moshe Vardi (Rice University, Houston, Texas, USA)
- “Towards Formalising Sustainable Security” by Liliana Pasquale (University College Dublin & Lero, Ireland)
and 13 paper presentations that you can discover here.
Register on the ICSE 2021 website. Looking forward to seeing you among the participants!
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.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 aim of the proposed project is to develop new software technologies to enable (self-)adaptivity of IoT systems while reinforcing the safety of their operation. The obtained results will be applied and evaluated in the context of a real industrial IoT system designed for tracking and management of equipment parks.
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 more
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
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 more