|
Publications: Publications
see also my DBLP
page or
HAL(Inria)
GoogleScholar
Students and supervisions: Thesis
Supervision and Examination
Ongoing Conference Program Committees:
ICECCS'2023 (Toulouse, France, June 12-16),
ABZ'2023 (Nancy, France, May 30th - June 2nd),
Previous Conference program Committees
Ongoing Projects
| AFSEC-PdL |
Synthesis of Event-B Model of Control-Systems
Event-B models of Software-Defined Network(SDN) - FACS 2019
Parametric Event-B Models of IoT-based control applications (ongoing work, 2019-...)
|
aZiZa
Tila2B
|
A Framework for Heterogeneous Modelling and Analysis
Tila2B prototype (Tiny IoT language - EventB)
|
 |
NaBLA
|
 |
PN2B
Integrating Petri-Nets and the B Method
|
|
Costo
|
Componenst study toolkit |
RelAx |
Reliable Architectures
|
Plug'n'Check
|
Heterogeneous Modeling and Verification
|
|
Atacora
|
Heterogeneous modelling
|
Cocimus |
Industrial Project with CRT Informatique Angers |
SLACH
11/12/13
|
Academical Project
|
Event
Organisation
|
