Yamine Aït-Ameur

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Theoretical Developments

Interactive Systems

Top Venues

IEEE Trans. Reliab.

Formal Aspects Comput.

Sci. Comput. Program.

Publications

Peter Rivière, Neeraj Kumar Singh, Yamine Aït-Ameur
Reflexive Event-B: Semantics and Correctness the EB4EB Framework. IEEE Trans. Reliab. 73 (2) (2024)
Yamine Aït-Ameur, Florin Craciun
Introduction to the TASE 2022 Special issue. Sci. Comput. Program. 234 (2024)
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. ABZ (2023)
Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. 35 (7) (2023)
Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Aspects Comput. 35 (1) (2023)