Yamine Ait-Ameur

Available identifiers

Publication	Date of Publication	Type
A complete fragment of LTL(EB)	2024-10-30	Paper
A refinement-based formal development of cyber-physical railway signalling systems	2024-09-25	Paper
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B	2023-03-10	Paper
Event-B-supported choreography-defined communicating systems	2022-10-14	Paper
Empowering the Event-B method using external theories	2022-08-19	Paper
Reachability analysis and simulation for hybridised Event-B models	2022-08-19	Paper
Event-B refinement for continuous behaviours approximation	2022-06-22	Paper
Towards leveraging domain knowledge in state-based formal methods	2022-03-22	Paper
A refinement-based development of a distributed signalling system	2022-01-11	Paper
Realisability of choreographies	2020-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4475265	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4471915	2004-07-30	Paper
Refinement of rational end-points real numbers by means of floating-point numbers	1999-11-01	Paper

This page was built for person: Yamine Ait-Ameur