Publications

2023

  • Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, and Guillaume Dupont, “Standalone Event-B models analysis relying on the EB4EB meta-theory“, 9th International Conference on Rigorous State-based Methods (ABZ 2023), May 2023, Nancy France.
  • Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, and Guillaume Dupont, “Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework“, NASA Formal Methods (NFM 2023), May 2023, Houston USA.
  • Ismail Mendil , Yamine Aït-Ameur , Neeraj Kumar Singh , Guillaume Dupont , Dominique Méry, and Philippe A. Palanque, “Formal domain-driven system development in Event-B: Application to interactive critical systems“, Journal of Systems Architecture, 2023, 135, pp.102798.

2022

  • Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, and Guillaume Dupont, “Reflexive Event-B: Semantics and Correctness The EB4EB framework“, IEEE Transactions on Reliability, 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”, Integrated Formal Methods – 17th International Conference  (IFM 2022), LNCS, Springer, pp. 18-35, Lugano, Switzerland, 2022.
  • Peter Riviere, Neeraj Kumar Singh, and Yamine Aït Ameur. “EB4EB: A framework for reflexive Event-B”. 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022, pages 71–80, 2022. 

2021

  • Jean-Paul Bodeveix , Mamoun Filali, “Event-B Formalization of Event-B Contexts“, 8th International Conference on Rigorous State-Based Methods (ABZ 2021), LNCS, Springer, pp.66-80, Ulm, Germany, 2021.
  • Peter Riviere , Neeraj Kumar Singh , Yamine Ait-Ameur,”Data-types definitions: Use of Theory and Context instantiations Plugins”, 9th Rodin User and Developer Workshop collocated with the ABZ 2021 Conference, Ulm, Germany. pp.1-6, 2021.
  • Peter Riviere, “Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework“, 8th International Conference on Rigorous State-Based Methods (ABZ 2021), LNCS, Springer, pp.66-80, Ulm, Germany, 2021.
  •  Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh, “Towards Leveraging Domain Knowledge in State-Based Formal Methods“, Logic, Computation and Rigorous Methods-Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, LNCS, Springer, 2021