TOP  >  Personal Info.  >  Published Papers
RIVIERE, Peter Bernard Research Assistant Professor
Information Science, Next-Generation Digital Infrastructure

Published Papers

12 items
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
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 0001, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont
ICFEM, 314-331, 2024
A Complete Fragment of LTL(EB).
Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur
Foundations of Information and Knowledge Systems - 13th International Symposium(FoIKS), 237-255, 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
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory.
Peter Riviere, Neeraj Kumar Singh 0001, Yamine Aït-Ameur, Guillaume Dupont
Rigorous State-Based Methods - 9th International Conference(ABZ), 193-211, 2023
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework.
Peter Riviere, Neeraj Kumar Singh 0001, Yamine Aït Ameur, Guillaume Dupont
NASA Formal Methods - 15th International Symposium(NFM), 312-331, 2023
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 0001
Integrated Formal Methods - 17th International Conference(IFM), 18-35, 2022
EB4EB: A Framework for Reflexive Event-B.
Peter Riviere, Neeraj Kumar Singh 0001, Yamine Aït Ameur
26th International Conference on Engineering of Complex Computer Systems(ICECCS), 71-80, 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 0001, Dominique Méry, Philippe A. Palanque
29th Asia-Pacific Software Engineering Conference(APSEC), 129-138, 2022
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework.
Peter Riviere
Rigorous State-Based Methods - 8th International Conference(ABZ), 153-157, 2021