Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours
Mendil, Ismail, Riviere, Peter, Ait-Ameur, Yamine, Singh, Neeraj Kumar, Mery, Dominique, Palanque, Philippe
Published in 2022 29th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2022)
Published in 2022 29th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2022)
Get full text
Conference Proceeding
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
Singh, Neeraj Kumar, Aït‐Ameur, Yamine, Mendil, Ismail, Méry, Dominique, Navarre, David, Palanque, Philippe, Pantel, Marc
Published in Journal of software : evolution and process (01.07.2023)
Published in Journal of software : evolution and process (01.07.2023)
Get full text
Journal Article
Standard Conformance-by-Construction with Event-B
Mendil, Ismail, Aït-Ameur, Yamine, Singh, Neeraj Kumar, Méry, Dominique, Palanque, Philippe
Published in Formal Methods for Industrial Critical Systems (2021)
Published in Formal Methods for Industrial Critical Systems (2021)
Get full text
Book Chapter
Conference Proceeding
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
Mendil, Ismail, Aït-Ameur, Yamine, Singh, Neeraj Kumar, Méry, Dominique, Palanque, Philippe
Published in Dependable Software Engineering. Theories, Tools, and Applications (18.11.2021)
Published in Dependable Software Engineering. Theories, Tools, and Applications (18.11.2021)
Get full text
Book Chapter
Conference Proceeding