F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
Singh, Neeraj Kumar, Aït‐Ameur, Yamine, Mendil, Ismail, Méry, Dominique, Navarre, David, Palanque, Philippe, Pantel, Marc
Published in Journal of software : evolution and process (01.07.2023)
Published in Journal of software : evolution and process (01.07.2023)
Get full text
Journal Article
An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Databases
Bellatreche, Ladjel, Pierra, Guy, Xuan, Dung Nguyen, Hondjack, Dehainsala, Ameur, Yamine Ait
Published in Database and Expert Systems Applications (2004)
Published in Database and Expert Systems Applications (2004)
Get full text
Book Chapter
Conference Proceeding
A refinement-based development of a distributed signalling system
Stankaitis, Paulius, Iliasov, Alexei, Kobayashi, Tsutomu, Aït-Ameur, Yamine, Ishikawa, Fuyuki, Romanovsky, Alexander
Published in Formal aspects of computing (01.12.2021)
Published in Formal aspects of computing (01.12.2021)
Get full text
Journal Article
The Role of Ontologies in Future Web-based Industrial Enterprises
BELLATRECHE, Ladjel, AÏT AMEUR, Yamine, MONCEAUX, Anne, SARDET, Eric
Published in Computers in industry (01.12.2014)
Published in Computers in industry (01.12.2014)
Get full text
Journal Article
A scalable model based approach for data model evolution: Application to space missions data models
Oubelli, Lynda Ait, Aït Ameur, Yamine, Bedouet, Judicaël, Kervarc, Romain, Chausserie-Laprée, Benoît, Larzul, Béatrice
Published in Computer languages, systems & structures (01.12.2018)
Published in Computer languages, systems & structures (01.12.2018)
Get full text
Journal Article
Reflexive Event-B: Semantics and Correctness the EB4EB Framework
Riviere, Peter, Singh, Neeraj Kumar, Ait-Ameur, Yamine
Published in IEEE transactions on reliability (01.06.2024)
Published in IEEE transactions on reliability (01.06.2024)
Get full text
Journal Article