Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

10 résultats
Page :
triés par
Image document

Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours

 Ismail Mendil , Peter Riviere , Yamine Aït-Ameur , Neeraj Kumar Singh , Dominique Méry , et al.
29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, x, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Communication dans un congrès inserm-04095980v1
Image document

Proof automation for Event-B theories

 Peter Riviere , Yamine Aït-Ameur , Neeraj Kumar Singh , Guillaume Dupont
10th Rodin User and Developer Workshop (Rodin 2023), May 2023, Nancy, France
Communication dans un congrès hal-04308810v1
Image document

Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework

 Peter Riviere
ABZ 2021, Jun 2021, ulm, Germany
Communication dans un congrès hal-03487140v1
Image document

Data-types definitions: Use of Theory and Context instantiations Plugins

 Peter Riviere , Neeraj Kumar Singh , Yamine Aït-Ameur
9th Rodin User and Developer Workshop collocated with the ABZ 2021 Conference, Jun 2021, Ulm (virtual), Germany. pp.1-6
Communication dans un congrès hal-03487183v1
Image document

Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework

 Peter Riviere , Neeraj Kumar Singh , Yamine Aït-Ameur , Guillaume Dupont
NASA Formal Methods (NFM 2023), NASA: National Aeronautics and Space Administration, May 2023, Houston, United States. pp.1-18
Communication dans un congrès hal-04046949v1
Image document

Reflexive Event-B: Semantics and Correctness The EB4EB framework

 Peter Riviere , Neeraj Kumar Singh , Yamine Aït-Ameur
IEEE Transactions on Reliability, 2022, pp.1-16. ⟨10.1109/TR.2022.3219649⟩
Article dans une revue hal-03836811v1
Image document

Standalone Event-B models analysis relying on the EB4EB meta-theory

 Peter Riviere , Neeraj Kumar Singh , Yamine Aït-Ameur , Guillaume Dupont
9th International Conference on Rigorous State-based Methods (ABZ 2023), LORIA : laboratoire lorrain de recherche en informatique et ses applications, Université de Lorraine, May 2023, Nancy, France
Communication dans un congrès hal-04049910v1

Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours

 Ismail Mendil , Peter Riviere , Yamine Aït-Ameur , Neeraj Kumar Singh , Dominique Méry , et al.
2022 29th Asia-Pacific Software Engineering Conference (APSEC), Dec 2022, Japan, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Communication dans un congrès hal-04316165v1
Image document

EB4EB: A Framework for Reflexive Event-B

 Peter Riviere , Neeraj Kumar Singh , Yamine Aït-Ameur
26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022), Mar 2022, Hiroshima, Japan. pp.71-80, ⟨10.1109/ICECCS54210.2022.00017⟩
Communication dans un congrès hal-03540955v2

Empowering the Event-B Method Using External Theories

 Yamine Aït-Ameur , Ismail Mendil , Guillaume Dupont , Dominique Méry , Marc Pantel , et al.
Integrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩
Chapitre d'ouvrage hal-03904799v1
Page :