| Standard conformance-by-construction with Event-B I Mendil, Y Aït-Ameur, NK Singh, D Méry, P Palanque International Conference on Formal Methods for Industrial Critical Systems …, 2021 | 9 | 2021 |
| Empowering the event-b method using external theories Y Aït-Ameur, G Dupont, I Mendil, D Méry, M Pantel, P Rivière, NK Singh International Conference on Integrated Formal Methods, 18-35, 2022 | 7 | 2022 |
| Formal domain-driven system development in Event-B: Application to interactive critical systems I Mendil, Y Aït-Ameur, NK Singh, G Dupont, D Méry, P Palanque Journal of Systems Architecture 135, 102798, 2023 | 5 | 2023 |
| An integrated framework for the formal analysis of critical interactive systems I Mendil, NK Singh, Y Ait-Ameur, D Méry, P Palanque 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 139-148, 2020 | 5 | 2020 |
| Leveraging event-b theories for handling domain knowledge in design models I Mendil, Y Aït-Ameur, NK Singh, D Méry, P Palanque Dependable Software Engineering. Theories, Tools, and Applications: 7th …, 2021 | 4 | 2021 |
| Non-intrusive annotation-based domain-specific analysis to certify event-b models behaviours I Mendil, P Rivière, Y Ait-Ameur, NK Singh, D Méry, P Palanque 2022 29th Asia-Pacific Software Engineering Conference (APSEC), 129-138, 2022 | 2 | 2022 |
| F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID NK Singh, Y Aït‐Ameur, I Mendil, D Méry, D Navarre, P Palanque, ... Journal of Software: Evolution and Process 35 (7), e2439, 2023 | 1 | 2023 |
| Domain knowledge as Ontology-based Event-B Theories I Mendil, Y Aït-Ameur, NK Singh, D Méry, P Palanque Developer Workshop, 2021, 3, 2021 | | 2021 |
| A Framework for Critical Interactive System Formal Modelling and Analysis I Mendil Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm …, 2020 | | 2020 |
| Integrating Contextual Knowledge in Formal Modelling I Mendil, Y Aït-Ameur, NK Singh, D Méry, P Palanque | | |
YAMINE AIT AMEURIRIT/INPT-ENSEEIHT, University of ToulouseVerified email at n7.fr
