Ismaïl Mendil

According to our database, Ismaïl Mendil authored at least 8 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID.

Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel

J. Softw. Evol. Process., July, 2023

Formal domain-driven system development in Event-B: Application to interactive critical systems.

Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe A. Palanque

J. Syst. Archit., February, 2023

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

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

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, Dominique Méry, Philippe A. Palanque

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models.

Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Standard Conformance-by-Construction with Event-B.

Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2020

A Framework for Critical Interactive System Formal Modelling and Analysis.

Ismaïl Mendil

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

An Integrated Framework for the Formal Analysis of Critical Interactive Systems.

Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020