Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework. - Peter Riviere (ABZ, 2021)

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 001; Dominique Méry; Philippe A. Palanque (APSEC, 2022)

EB4EB: A Framework for Reflexive Event-B. - Peter Riviere; Neeraj Kumar Singh 001; Yamine Aït Ameur (ICECCS, 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 001 (IFM, 2022)

Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. - Peter Riviere; Neeraj Kumar Singh 001; Yamine Aït Ameur; Guillaume Dupont (NFM, 2023)

Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. - Peter Riviere; Neeraj Kumar Singh 001; Yamine Aït-Ameur; Guillaume Dupont (ABZ, 2023)

A Complete Fragment of LTL(EB). - Flavio Ferrarotti; Peter Rivière; Klaus-Dieter Schewe; Neeraj Kumar Singh 001; Yamine Aït Ameur (FoIKS, 2024)

On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. - Peter Rivière; Tsutomu Kobayashi; Neeraj Kumar Singh 001; Fuyuki Ishikawa; Yamine Aït Ameur; Guillaume Dupont (ICFEM, 2024)

Automatic generation of proof obligations parameterised by domain theories implementation in Event-B : The EB4EB Framework. (Génération automatique d'obligations de preuves paramétrée par des théories de domaine dans Event-B : Le cadre de travail EB4EB). - Peter Riviere (2024)

Reflexive Event-B: Semantics and Correctness the EB4EB Framework. - Peter Rivière; Neeraj Kumar Singh 001; Yamine Aït-Ameur (IEEE Trans. Reliab., 2024)

A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B. - Christophe Chen; Peter Rivière; Neeraj Kumar Singh 001; Guillaume Dupont; Yamine Aït-Ameur; Marc Frappier (FormaliSE, 2025)

A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework. - Peter Riviere; Duong Dinh Tran; Takashi Tomita; Toshiaki Aoki (ABZ, 2025)

Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking. - Duong Dinh Tran; Akira Hasegawa; Peter Riviere; Takashi Tomita; Toshiaki Aoki (ABZ, 2025)

Extending the EB4EB framework with parameterised events. - Peter Rivière; Neeraj Kumar Singh 001; Yamine Aït-Ameur; Guillaume Dupont (Sci. Comput. Program., 2025)