J. C. Attiogbé VELO Team
(Vérification pour l'Environnement et le logiciel - ex Architectures et Logiciels Sûrs) VELO


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

Tools and frameworks development (outdate)

Misc: Communication resources

Formal Methods

Formal Methods Poster

Links (Tools, etc)

FM Education Resources

Turing Awards(ACM)

Events & Conf.(ACM) 
SE WikiCFP   FM WikiCFP 

IEEE calendar


Home Page (Christian Attiogbé)
maj/update: 22 février 2023