TOP  >  Personal Info.
RIVIERE, Peter Bernard Research Assistant Professor
Information Science, Next-Generation Digital Infrastructure
◆Degrees
Ph.D. in Computer Science National Institute of Polytechnic of Toulouse
Engineer Diploma in Computer Science National Institute of Polytechnic of Toulouse–ENSEEIHT (French Grande École)
Baccalaureate, Major in Maths, Physic, Chemistry Lycée Jean Jaures (Carmaux, France)
◆Specialties
Mathematical informatics

■Publications

◆Published Papers
A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework
Peter Riviere, Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki
-, 2026
Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking
Duong Dinh Tran, Akira Hasegawa, Peter Riviere, Takashi Tomita, Toshiaki Aoki
-, 2026
Extending the EB4EB framework with parameterised events.
Peter Rivière, Neeraj Kumar Singh 0001, Yamine Aït-Ameur, Guillaume Dupont
Sci. Comput. Program., 243, 103279-103279, 2025
Reflexive Event-B: Semantics and Correctness the EB4EB Framework.
Peter Rivière, Neeraj Kumar Singh 0001, Yamine Aït-Ameur
IEEE Transactions on Reliability, 73, 2, 835-850, 2024
A Complete Fragment of LTL(EB).
Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur
CoRR, abs/2401.16838, -, 2024