Yamine Ait-Ameur

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Formal Aspects of Computing	2024-09-25	Paper
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B Lecture Notes in Computer Science	2023-03-10	Paper
Event-B-supported choreography-defined communicating systems Rigorous State-Based Methods	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 Formal Aspects of Computing	2022-01-11	Paper
Realisability of choreographies	2020-10-26	Paper
scientific article; zbMATH DE number 2084460 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 2079813 (Why is no real title available?)	2004-07-30	Paper
Refinement of rational end-points real numbers by means of floating-point numbers Science of Computer Programming	1999-11-01	Paper

Research outcomes over time

This page was built for person: Yamine Ait-Ameur