An Integrated Framework for the Formal Analysis of Critical Interactive Systems. - Ismaïl Mendil; Neeraj Kumar Singh 001; Yamine Aït Ameur; Dominique Méry; Philippe A. Palanque (APSEC, 2020)

A Framework for Critical Interactive System Formal Modelling and Analysis. - Ismaïl Mendil (ABZ, 2020)

Standard Conformance-by-Construction with Event-B. - Ismaïl Mendil; Yamine Aït Ameur; Neeraj Kumar Singh 001; Dominique Méry; Philippe A. Palanque (FMICS, 2021)

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. - Ismaïl Mendil; Yamine Aït Ameur; Neeraj Kumar Singh 001; Dominique Méry; Philippe A. Palanque (SETTA, 2021)

Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. - Ismaïl Mendil; Peter Riviere; Yamine Aït Ameur; Neeraj Kumar Singh 001; Dominique Méry; Philippe A. Palanque (APSEC, 2022)

Empowering the Event-B Method Using External Theories. - Yamine Aït Ameur; Guillaume Dupont; Ismaïl Mendil; Dominique Méry; Marc Pantel; Peter Riviere; Neeraj Kumar Singh 001 (IFM, 2022)

Formal domain-driven system development in Event-B: Application to interactive critical systems. - Ismaïl Mendil; Yamine Aït-Ameur; Neeraj Kumar Singh 001; Guillaume Dupont; Dominique Méry; Philippe A. Palanque (J. Syst. Archit., 2023)

F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. - Neeraj Kumar Singh 001; Yamine Aït-Ameur; Ismaïl Mendil; Dominique Méry; David Navarre; Philippe A. Palanque; Marc Pantel (J. Softw. Evol. Process., 2023)