| 2024 | ICFEM | On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. | Peter Rivire, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine At Ameur, Guillaume Dupont |
| 2022 | APSEC | Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. | Ismal Mendil, Peter Riviere, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2022 | ICECCS | EB4EB: A Framework for Reflexive Event-B. | Peter Riviere, Neeraj Kumar Singh, Yamine At Ameur |
| 2022 | IFM | Reachability Analysis and Simulation for Hybridised Event-B Models. | Yamine At Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis |
| 2022 | IFM | Empowering the Event-B Method Using External Theories. | Yamine At Ameur, Guillaume Dupont, Ismal Mendil, Dominique Mry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh |
| 2021 | ATVA | Event-B Refinement for Continuous Behaviours Approximation. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2021 | FMICS | Standard Conformance-by-Construction with Event-B. | Ismal Mendil, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2021 | MEDI | Realisability of Control-State Choreographies. | Klaus-Dieter Schewe, Yamine At Ameur, Sarah Benyagoub |
| 2021 | SETTA | Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. | Ismal Mendil, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2020 | APSEC | An Integrated Framework for the Formal Analysis of Critical Interactive Systems. | Ismal Mendil, Neeraj Kumar Singh, Yamine At Ameur, Dominique Mry, Philippe A. Palanque |
| 2020 | ICFEM | Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. | Guillaume Dupont, Yamine At Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel |
| 2020 | IFM | An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2019 | ICECCS | Modelling Hybrid Train Speed Controller using Proof and Refinement. | Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine At Ameur, Alexei Iliasov, Alexander B. Romanovsky |
| 2019 | SEKE | Finding conservative schema evolutions by analysing API changes. | Lynda Ait Oubelli, Yamine At Ameur, Judical Bedouet, Benot Chausserie-Lapree, Batrice Larzul |
| 2019 | TASE | Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2019 | TASE | Certified Embedding of B Models in an Integrated Verification Framework. | Alexandra Halchin, Yamine At Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni |
| 2018 | ICECCS | Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. | Sarah Benyagoub, Yamine At Ameur, Meriem Ouederni, Atif Mashkoor |
| 2018 | ICECCS | Formal Ontology Driven Model Refactoring. | Neeraj Kumar Singh, Yamine At Ameur, Dominique Mry |
| 2018 | MEDI | Handling Reparation in Incremental Construction of Realizable Conversation Protocols. | Sarah Benyagoub, Yamine At Ameur, Meriem Ouederni, Atif Mashkoor |
| 2018 | MEDI | Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2017 | Interact | QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems. | Camille Fayollas, Clia Martinie, Philippe A. Palanque, Yamine At Ameur |
| 2017 | MEDI | Automating the Evolution of Data Models for Space Missions. A Model-Based Approach. | Lynda Ait Oubelli, Yamine At Ameur, Judical Bedouet, Benot Chausserie-Lapree, Batrice Larzul |
| 2017 | TASE | Formal development process of safety-critical embedded human machine interface systems. | Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine At Ameur |
| 2016 | ICECCS | Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. | Neeraj Kumar Singh, Yamine At Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn |
| 2016 | ICFEM | A System Substitution Mechanism for Hybrid Systems in Event-B. | Guillaume Babin, Yamine At Ameur, Neeraj Kumar Singh, Marc Pantel |
| 2016 | ISoLA | Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. | Kahina Hacid, Yamine At Ameur |
| 2016 | MEDI | Correct-by-Construction Evolution of Realisable Conversation Protocols. | Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine At Ameur |
| 2016 | MEDI | Annotation of Engineering Models by References to Domain Ontologies. | Kahina Hacid, Yamine At Ameur |
| 2016 | VECoS | Towards correct Evolution of Conversation Protocols. | Sarah Benyagoub, Meriem Ouederni, Yamine At Ameur |
| 2015 | SETTA | Refinement and Proof Based Development of Systems Characterized by Continuous Functions. | Guillaume Babin, Yamine At Ameur, Shin Nakajima, Marc Pantel |
| 2015 | TASE | Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies. | Abdelkrim Chebieb, Yamine At Ameur |
| 2014 | ISoLA | On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. | Yamine At Ameur, J. Paul Gibson, Dominique Mry |
| 2014 | ISoLA | Requirements Driven Data Warehouse Design: We Can Go Further. | Selma Khouri, Ladjel Bellatreche, Stphane Jean, Yamine At Ameur |
| 2013 | ADBIS | New Trends in Databases and Information Systems: Contributions from ADBIS 2013. | Yamine At Ameur, Witold Andrzejewski, Ladjel Bellatreche, Barbara Catania, Tania Cerquitelli, Silvia Chiusano, Matteo Golfarelli, Giovanna Guerrini, Krzysztof Kaczmarski, Mirko Kmpf, Alfons Kemper, Tobias Lauer, Boris Novikov, Themis Palpanas, Jaroslav Pokorn, Stefano Rizzi, Athena Vakali |
| 2013 | MEDI | Persistent Meta-Modeling Systems as Heterogeneous Model Repositories. | Youness Bazhar, Yassine Ouhammou, Yamine At Ameur, Emmanuel Grolleau, Stphane Jean |
| 2013 | RCIS | Be careful when designing semantic databases: Data and concepts redundancy. | Chedlia Chakroun, Ladjel Bellatreche, Yamine At Ameur, Nabila Berkani, Stphane Jean |
| 2013 | SEKE | BeMoRe: a Repository for Handling Models Behaviors. | Youness Bazhar, Yamine At Ameur, Stphane Jean |
| 2013 | WEBIST | It is Time to propose a Complete Methodology for Designing Semantic Databases. | Chedlia Chakroun, Ladjel Bellatreche, Yamine At Ameur |
| 2012 | DEXA | Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. | Yamine At Ameur, Idir At-Sadoune |
| 2012 | ISoLA | Handling Heterogeneity in Formal Developments of Hardware and Software Systems. | Yamine At Ameur, Dominique Mry |
| 2012 | MEDI | An MDE-Based Synthesis of Aircraft Safety Models. | Sbastien Matrehenry, Sylvain Metge, Yamine At Ameur, Pierre Bieber |
| 2012 | RCIS | Ontologies as a solution for simultaneously integrating and reconciliating data sources. | Abdelghani Bakhtouchi, Ladjel Bellatreche, Stphane Jean, Yamine At Ameur |
| 2012 | WEBIST | A Flexible Support of Non Canonical Concepts in Ontology-based Databases. | Youness Bazhar, Yamine At Ameur, Stphane Jean, Mickal Baron |
| 2011 | ER | Ontologies and Functional Dependencies for Data Integration and Reconciliation. | Abdelghani Bakhtouchi, Ladjel Bellatreche, Yamine At Ameur |
| 2011 | MEDI | Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. | Linda Mohand-Oussad, Idir At-Sadoune, Yamine At Ameur |
| 2010 | ADBIS | A Language for Ontology-Based Metamodeling Systems. | Stphane Jean, Yamine At Ameur, Guy Pierra |
| 2010 | IC3K | Toward a Semantic Management of Geological Modeling Workflows. | Nabil Belaid, Yamine At Ameur, Stphane Jean, Jean-Franois Rainaud |
| 2010 | IC3K | Incremental Design of Ontologies - A Model Transformation-based Approach. | Henry Valry Tguiak, Yamine At Ameur, Stphane Jean, Eric Sardet |
| 2010 | ICECCS | Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering. | David Simon Zayas, Anne Monceaux, Yamine At Ameur |
| 2010 | ISoLA | Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. | Yamine At Ameur, Frdric Boniol, Dominique Mry, Virginie Wiels |
| 2010 | SERA | Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. | Idir At-Sadoune, Yamine At Ameur |
| 2009 | ICECCS | A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. | Idir At-Sadoune, Yamine At Ameur |
| 2009 | ICWS | A Semantic Repository for Geological Modeling Workflows. | Nabil Belaid, Yamine At Ameur, Jean-Franois Rainaud |
| 2009 | MEDES | A semantic handling of geological modeling workflows. | Nabil Belaid, Yamine At Ameur, Jean-Franois Rainaud |
| 2009 | RCIS | Semantic exploitation of persistent metadata in engineering models: application to geological models. | Laura S. Mastella, Yamine At Ameur, Stphane Jean, Michel Perrin, Jean-Franois Rainaud |
| 2009 | WEBIST | SWAPT - Semantic Workflow Architecture for Petroleum Techniques. | Nabil Belaid, Yamine At Ameur, Jean-Franois Rainaud |
| 2009 | SERVICES | A Semantic Repository for Adaptive Services. | Yamine At Ameur |
| 2008 | ECSA | Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach. | Chimne Fankam, Stphane Jean, Ladjel Bellatreche, Yamine At Ameur |
| 2008 | ISoLA | Animating Event B Models by Formal Data Models. | Idir At-Sadoune, Yamine At Ameur |
| 2008 | WEBIST | Ontology-Based Model Annotation of Heterogeneous Geological Representations. | Laura S. Mastella, Yamine At Ameur, Michel Perrin, Jean-Franois Rainaud |
| 2007 | ADBIS | An Object-Oriented Based Algebra for Ontologies and Their Instances. | Stphane Jean, Yamine At Ameur, Guy Pierra |
| 2007 | DASFAA | OntoDB: It Is Time to Embed Your Domain Ontology in Your Database. | Stphane Jean, Hondjack Dehainsala, Dung Nguyen Xuan, Guy Pierra, Ladjel Bellatreche, Yamine At Ameur |
| 2007 | HCI | Formal Validation of Java/Swing User Interfaces with the Event B Method. | Alexandre Cortier, Bruno d'Ausbourg, Yamine At Ameur |
| 2007 | WEBIST | Exploitation of Ontology Languages for Both Persistence and Reasoning Purposes - Mapping PLIB, OWL and Flight Ontology Models. | Chimne Fankam, Yamine At Ameur, Guy Pierra |
| 2006 | ISoLA | Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. | Yamine At Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels |
| 2006 | SEKE | Querying Ontology Based Databases - The OntoQL Proposal. | Stphane Jean, Yamine At Ameur, Guy Pierra |
| 2006 | WEBIST | Domain Ontologies: A Database-Oriented Analysis. | Stphane Jean, Guy Pierra, Yamine At Ameur |
| 2006 | WEBIST | Domain Ontologies: A Database-Oriented Analysis. | Stphane Jean, Guy Pierra, Yamine At Ameur |
| 2004 | DEXA | An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Databases. | Ladjel Bellatreche, Guy Pierra, Dung Nguyen Xuan, Hondjack Dehainsala, Yamine At Ameur |
| 2004 | ISoLA | Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique. | Yamine At Ameur, Mickal Baron |
| 2004 | MEMOCODE | A framework for heterogeneous formal modeling and compositional verification of avionics systems. | Yamine At Ameur, Remi Delmas, Virginie Wiels |
| 2000 | IFM | Cooperation of Formal Methods in an Engineering Based Software Development Process. | Yamine At Ameur |
| 1995 | SEKE | Formal Specification and Metaprogramming in the EXPRESS Language. | Yamine At Ameur, Frederic Besnard, Patrick Girard, Guy Pierra, Jean-Claude Potier |
| 1993 | SEKE | Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs. | Yamine At Ameur |
| 1992 | SEKE | Formal Program Developments Directed by Operational Properties Evaluation. | Yamine At Ameur |
| 1992 | SAS | An Application of Abstract Interpretation to Floating Point Arithmetic. | Yamine At Ameur, Patrice Cros, Juan Jos Falcn, Alicia Gmez |
| 1991 | LOPSTR | Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract). | Yamine At Ameur |
| 1991 | SAS | Non Functional Properties Can Guide Program Developments. | Yamine At Ameur |