Peter Riviere

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Analytical Methods

Main Contribution

Top Venues

Publications

Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. ABZ (2023)
Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NFM (2023)
Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur
EB4EB: A Framework for Reflexive Event-B. ICECCS (2022)
Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
Empowering the Event-B Method Using External Theories. IFM (2022)
Ismail Mendil, Peter Riviere, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. APSEC (2022)
Peter Riviere
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework. ABZ (2021)