Yamine Aït Ameur

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 74

Top Venues

Publications

Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
A Complete Fragment of LTL(EB). CoRR (2024)
Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
A Complete Fragment of LTL(EB). FoIKS (2024)
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar, Guillaume Dupont, Dominique Méry, Philippe A. Palanque
Formal domain-driven system development in Event-B: Application to interactive critical systems. J. Syst. Archit. 135 (2023)
Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NFM (2023)
Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
Reachability Analysis and Simulation for Hybridised Event-B Models. IFM (2022)
Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur
EB4EB: A Framework for Reflexive Event-B. ICECCS (2022)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Sci. Comput. Program. 216 (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. IFM (2022)
Ismail Mendil, Peter Riviere, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. APSEC (2022)
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
A refinement-based development of a distributed signalling system. Formal Aspects Comput. 33 (6) (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 (2021)
Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
Realisability of Control-State Choreographies. MEDI (2021)
Yamine Aït Ameur, Judy Bowen, José Creissac Campos, Philippe A. Palanque, Benjamin Weyers
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Interact. Comput. 33 (1) (2021)
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
Standard Conformance-by-Construction with Event-B. FMICS (2021)
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA (2021)
Yamine Aït Ameur, Guillaume Babin, Marc Pantel
An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation. Serv. Oriented Comput. Appl. 15 (3) (2021)
Neeraj Kumar Singh, Yamine Aït Ameur, Romain Geniet, Dominique Méry, Philippe A. Palanque
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Interact. Comput. 33 (1) (2021)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. ACM Trans. Embed. Comput. Syst. 20 (4) (2021)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Event-B Refinement for Continuous Behaviours Approximation. ATVA (2021)
Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe
Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. ABZ (2020)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ (2020)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. IFM (2020)
Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
Realisability of Choreographies. FoIKS (2020)
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ (2020)
Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
Realisability of Control-State Choreographies. CoRR (2020)
Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri
Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks. J. Softw. Evol. Process. 32 (2) (2020)
Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque
An Integrated Framework for the Formal Analysis of Critical Interactive Systems. APSEC (2020)
Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur
Incremental correct-by-construction of distributed systems. J. Comput. Lang. 57 (2020)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM (2020)
Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Julien Ordioni, Abderrahmane Feliachi
Handling B models in the PERF integrated verification framework: Formalised and certified embedding. Sci. Comput. Program. 196 (2020)
Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni
Certified Embedding of B Models in an Integrated Verification Framework. TASE (2019)
Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Benoît Chausserie-Lapree, Béatrice Larzul
Finding conservative schema evolutions by analysing API changes. SEKE (2019)
Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS (2019)
Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS (2019)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. TASE (2019)
Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
A Refinement Based Method for Developing Distributed Protocols. HASE (2019)
Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Romain Kervarc, Benoit Chausserie-Lapree, Béatrice Larzul
A scalable model based approach for data model evolution: Application to space missions data models. Comput. Lang. Syst. Struct. 54 (2018)
Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor
Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. ICECCS (2018)
Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor
Incremental Construction of Realizable Choreographies. NFM (2018)
Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor
Handling Reparation in Incremental Construction of Realizable Conversation Protocols. MEDI Workshops (2018)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. ABZ (2018)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. MEDI Workshops (2018)
Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry
Formal Ontology Driven Model Refactoring. ICECCS (2018)
Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ (2018)
Abdelkrim Chebieb, Yamine Aït Ameur
A formal model for plastic human computer interfaces. Frontiers Comput. Sci. 12 (2) (2018)
Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Benoît Chausserie-Lapree, Béatrice Larzul
Automating the Evolution of Data Models for Space Missions. A Model-Based Approach. MEDI (2017)
Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe
The landing gear case study: challenges and experiments. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. IMPEX/FM&MDD (2017)
Ladjel Bellatreche, Yamine Aït Ameur, George Angelos Papadopoulos
Models and data engineering. Future Gener. Comput. Syst. 68 (2017)
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yamine Aït Ameur
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems. INTERACT Workshops (2017)
Ladjel Bellatreche, Yamine Aït Ameur, George Angelos Papadopoulos
Models and data engineering. Future Gener. Comput. Syst. 70 (2017)
Kahina Hacid, Yamine Aït Ameur
Handling Domain Knowledge in Design and Analysis of Engineering Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74 (2017)
Guillaume Babin, Yamine Aït Ameur, Marc Pantel
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method. IEEE Trans. Serv. Comput. 10 (1) (2017)
Yamine Aït Ameur, Mickaël Baron, Ladjel Bellatreche, Stéphane Jean, Eric Sardet
Ontologies in engineering: the OntoDB/OntoQL platform. Soft Comput. 21 (2) (2017)
Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur
Formal development process of safety-critical embedded human machine interface systems. TASE (2017)
Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït Ameur, Julien Ordioni
B-PERFect - Applying the PERF Approach to B Based System Developments. RSSRail (2017)
Farah Zoubeyr, Yamine Aït Ameur, Meriem Ouederni, Abdelkamel Tari
A correct-by-construction model for asynchronously communicating systems. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Kahina Hacid, Yamine Aït Ameur
Annotation of Engineering Models by References to Domain Ontologies. MEDI (2016)
Yamine Aït Ameur, Klaus-Dieter Schewe
Introduction to the ABZ 2014 special issue. Sci. Comput. Program. 131 (2016)
Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït Ameur
Correct-by-Construction Evolution of Realisable Conversation Protocols. MEDI (2016)
Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. ICECCS (2016)
Yamine Aït Ameur, Dominique Méry
Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121 (2016)
Kahina Hacid, Yamine Aït Ameur
Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. ISoLA (1) (2016)
Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur
Towards correct Evolution of Conversation Protocols. VECoS (2016)
Yamine Aït Ameur, Shin Nakajima, Dominique Méry
Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16). NII Shonan Meet. Rep. 2016 (2016)
Guillaume Babin, Yamine Aït Ameur, Marc Pantel
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach. HASE (2016)
Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
A System Substitution Mechanism for Hybrid Systems in Event-B. ICFEM (2016)
Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. ABZ (2016)
Stéphane Jean, Yamine Aït Ameur, Guy Pierra
OntoQL: An Alternative to Semantic Web Query Languages. Int. J. Semantic Comput. 9 (1) (2015)
Guillaume Babin, Yamine Aït Ameur, Marc Pantel
Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B. SCC (2015)
Abdelkrim Chebieb, Yamine Aït Ameur
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies. TASE (2015)
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
A formal model for output multimodal HCI - An Event-B formalization. Computing 97 (7) (2015)
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation. Tech. Sci. Informatiques 34 (5) (2015)
Guillaume Babin, Yamine Aït Ameur, Shin Nakajima, Marc Pantel
Refinement and Proof Based Development of Systems Characterized by Continuous Functions. SETTA (2015)
Ladjel Bellatreche, Yamine Aït Ameur, Anne Monceaux, Eric Sardet
Editorial. Comput. Ind. 65 (9) (2014)
Yamine Aït Ameur, J. Paul Gibson, Dominique Méry
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. ISoLA (2) (2014)
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. AAAI Spring Symposia (2014)
Selma Khouri, Ladjel Bellatreche, Stéphane Jean, Yamine Aït Ameur
Requirements Driven Data Warehouse Design: We Can Go Further. ISoLA (2) (2014)
Idir Aït-Sadoune, Yamine Aït Ameur
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. Trans. Large Scale Data Knowl. Centered Syst. 10 (2013)
Youness Bazhar, Yamine Aït Ameur, Stéphane Jean
BeMoRe: a Repository for Handling Models Behaviors. SEKE (2013)
Yamine Aït Ameur, Witold Andrzejewski, Ladjel Bellatreche, Barbara Catania, Tania Cerquitelli, Silvia Chiusano, Matteo Golfarelli, Giovanna Guerrini, Krzysztof Kaczmarski, Mirko Kämpf, Alfons Kemper, Tobias Lauer, Boris Novikov, Themis Palpanas, Jaroslav Pokorný, Stefano Rizzi, Athena Vakali
New Trends in Databases and Information Systems: Contributions from ADBIS 2013. ADBIS (2) (2013)
Youness Bazhar, Yassine Ouhammou, Yamine Aït Ameur, Emmanuel Grolleau, Stéphane Jean
Persistent Meta-Modeling Systems as Heterogeneous Model Repositories. MEDI (2013)
Chedlia Chakroun, Ladjel Bellatreche, Yamine Aït Ameur, Nabila Berkani, Stéphane Jean
Be careful when designing semantic databases: Data and concepts redundancy. RCIS (2013)
Chedlia Chakroun, Ladjel Bellatreche, Yamine Aït Ameur
It is Time to propose a Complete Methodology for Designing Semantic Databases. WEBIST (2013)
Youness Bazhar, Chedlia Chakroun, Yamine Aït Ameur, Ladjel Bellatreche, Stéphane Jean
Extending Ontology-Based Databases with Behavioral Semantics. OTM Conferences (2) (2012)
Abdelghani Bakhtouchi, Ladjel Bellatreche, Stéphane Jean, Yamine Aït Ameur
MIRSOFT: mediator for integrating and reconciling sources using ontological functional dependencies. Int. J. Web Grid Serv. 8 (1) (2012)
Abdelghani Bakhtouchi, Ladjel Bellatreche, Stéphane Jean, Yamine Aït Ameur
Ontologies as a solution for simultaneously integrating and reconciliating data sources. RCIS (2012)
Sébastien Maîtrehenry, Sylvain Metge, Yamine Aït Ameur, Pierre Bieber
An MDE-Based Synthesis of Aircraft Safety Models. MEDI (2012)
Yamine Aït Ameur, Dominique Méry
Handling Heterogeneity in Formal Developments of Hardware and Software Systems. ISoLA (2) (2012)
Henry Valéry Téguiak, Yamine Aït Ameur, Stéphane Jean, Éric Sardet
MQL: A Mapping Management Language for Model-based Databases. ICEIS (1) (2012)
Yamine Aït Ameur, Idir Aït-Sadoune
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. DEXA (1) (2012)
Youness Bazhar, Yamine Aït Ameur, Stéphane Jean, Mickaël Baron
A Flexible Support of Non Canonical Concepts in Ontology-based Databases. WEBIST (2012)
Yamine Aït Ameur
Éditorial. Tech. Sci. Informatiques 31 (6) (2012)
Ladjel Bellatreche, Yamine Aït Ameur, Chedlia Chakroun
A design methodology of ontology based database applications. Log. J. IGPL 19 (5) (2011)
Chedlia Chakroun, Ladjel Bellatreche, Yamine Aït Ameur
The Role of Class Dependencies in Designing Ontology-Based Databases. OTM Workshops (2011)
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur
Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. MEDI (2011)
Abdelghani Bakhtouchi, Ladjel Bellatreche, Yamine Aït Ameur
Ontologies and Functional Dependencies for Data Integration and Reconciliation. ER Workshops (2011)
Nabil Belaid, Stéphane Jean, Yamine Aït Ameur, Jean-François Rainaud
An Ontology and Indexation based Management of Services and Workflows Application to Geological Modeling. Int. J. Electron. Bus. Manag. 9 (4) (2011)
Nabil Belaid, Yamine Aït Ameur, Stéphane Jean, Jean-François Rainaud
Toward a Semantic Management of Geological Modeling Workflows. KEOD (2010)
Idir Aït-Sadoune, Yamine Aït Ameur
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. ASM (2010)

Yamine Aït Ameur.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yamine Aït Ameur