Ismaïl Mendil

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 7

Top Topics

Actionable Knowledge Discovery

Domain Knowledge

Event Detection

Top Venues

J. Syst. Archit.

Publications

Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar, Guillaume Dupont, Dominique Méry, Philippe A. Palanque
Formal domain-driven system development in Event-B: Application to interactive critical systems. J. Syst. Archit. 135 (2023)
Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. 35 (7) (2023)
Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
Empowering the Event-B Method Using External Theories. IFM (2022)
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
Standard Conformance-by-Construction with Event-B. FMICS (2021)
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA (2021)
Ismaïl Mendil
A Framework for Critical Interactive System Formal Modelling and Analysis. ABZ (2020)
Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque
An Integrated Framework for the Formal Analysis of Critical Interactive Systems. APSEC (2020)