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 | 14 | 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 | 10 | 2022 |
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 | 7 | 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 | 6 | 2021 |
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 |
Non-intrusive annotation-based domain-specific analysis to certify event-b models behaviours I Mendil, P Riviere, Y Aït-Ameur, NK Singh, D Méry, P Palanque 2022 29th Asia-Pacific Software Engineering Conference (APSEC), 129-138, 2022 | 4 | 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 | 2 | 2023 |
A framework for critical interactive system formal modelling and analysis I Mendil Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm …, 2020 | 1 | 2020 |
A framework for explicit modelling of domain knowledge in state-based formal methods: the case of interactive critical systems I Mendil Institut National Polytechnique de Toulouse-INPT, 2023 | | 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 |
Integrating Contextual Knowledge in Formal Modelling I Mendil, Y Aït-Ameur, NK Singh, D Méry, P Palanque | | |