Peter Riviere

According to our database, Peter Riviere authored at least 7 papers between 2021 and 2024.

Collaborative distances:

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

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