Peter Riviere

According to our database, Peter Riviere authored at least 14 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Extending the EB4EB framework with parameterised events.

Peter Rivière, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont

Sci. Comput. Program., 2025

Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking.

Duong Dinh Tran, Akira Hasegawa, Peter Riviere, Takashi Tomita, Toshiaki Aoki

Proceedings of the Rigorous State-Based Methods - 11th International Conference, 2025

A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework.

Peter Riviere, Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki

Proceedings of the Rigorous State-Based Methods - 11th International Conference, 2025

A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B.

Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït-Ameur, Marc Frappier

Proceedings of the 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2025

2024

Reflexive Event-B: Semantics and Correctness the EB4EB Framework.

Peter Rivière, Neeraj Kumar Singh, Yamine Aït-Ameur

IEEE Trans. Reliab., June, 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

PhD thesis, 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, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont

Proceedings of the Formal Methods and Software Engineering, 2024

A Complete Fragment of LTL(EB).

Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory.

Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

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

Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

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

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

EB4EB: A Framework for Reflexive Event-B.

Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

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, Dominique Méry, Philippe A. Palanque

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

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

Peter Riviere

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021