Yamine Aït Ameur

182 papers A* 1A 1B 18C 45Misc 7Journal 44Unranked 62

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	TREBL - A Relative Complete Temporal Event-B Logic. Part I: Theory. CoRR Klaus-Dieter Schewe, Flavio Ferrarotti, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur
2024	—	`conf`	A Complete Fragment of LTL(EB). FoIKS Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
2024	J	`jnl`	A Complete Fragment of LTL(EB). CoRR Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
2024	—	`conf`	Generating Simulink Models from Hybridised Event-B Models. SFPVV Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur, Marc Pantel
2024	C	`conf`	On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. ICFEM Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont
2023	—	`conf`	Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NFM Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont
2022	B	`conf`	EB4EB: A Framework for Reflexive Event-B. ICECCS Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur
2022	B	`conf`	Empowering the Event-B Method Using External Theories. IFM Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
2022	J	`jnl`	Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Sci. Comput. Program. Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
2022	C	`conf`	Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. APSEC Ismaïl Mendil, Peter Riviere, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
2022	B	`conf`	Reachability Analysis and Simulation for Hybridised Event-B Models. IFM Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
2022	Misc	`ed.`	Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings TASE Yamine Aït Ameur, Florin Craciun
2021	J	`jnl`	A refinement-based development of a distributed signalling system. Formal Aspects Comput. Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
2021	J	`jnl`	An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation. Serv. Oriented Comput. Appl. Yamine Aït Ameur, Guillaume Babin, Marc Pantel
2021	J	`jnl`	Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. ACM Trans. Embed. Comput. Syst. Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
2021	B	`conf`	Event-B Refinement for Continuous Behaviours Approximation. ATVA Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2021	J	`jnl`	Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Interact. Comput. Yamine Aït Ameur, Judy Bowen, José Creissac Campos, Philippe A. Palanque, Benjamin Weyers
2021	Misc	`conf`	Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
2021	J	`jnl`	On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Interact. Comput. Neeraj Kumar Singh, Yamine Aït Ameur, Romain Geniet, Dominique Méry, Philippe A. Palanque
2021	C	`conf`	Realisability of Control-State Choreographies. MEDI Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
2021	C	`conf`	Standard Conformance-by-Construction with Event-B. FMICS Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
2021	—	`conf`	Towards Leveraging Domain Knowledge in State-Based Formal Methods. Logic, Computation and Rigorous Methods Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
2020	B	`conf`	An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. IFM Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2020	C	`conf`	An Integrated Framework for the Formal Analysis of Critical Interactive Systems. APSEC Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque
2020	C	`conf`	Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
2020	C	`conf`	Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. ABZ Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe
2020	C	`conf`	Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
2020	J	`jnl`	Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks. J. Softw. Evol. Process. Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri
2020	C	`conf`	Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2020	J	`jnl`	Handling B models in the PERF integrated verification framework: Formalised and certified embedding. Sci. Comput. Program. Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Julien Ordioni, Abderrahmane Feliachi
2020	J	`jnl`	Incremental correct-by-construction of distributed systems. J. Comput. Lang. Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur
2020	—	`conf`	Realisability of Choreographies. FoIKS Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
2020	J	`jnl`	Realisability of Control-State Choreographies. CoRR Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
2019	—	`conf`	A Refinement Based Method for Developing Distributed Protocols. HASE Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
2019	Misc	`conf`	Certified Embedding of B Models in an Integrated Verification Framework. TASE Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni
2019	C	`conf`	Finding conservative schema evolutions by analysing API changes. SEKE Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Benoît Chausserie-Lapree, Béatrice Larzul
2019	—	`conf`	Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
2019	C	`ed.`	Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings ICFEM Yamine Aït Ameur, Shengchao Qin
2019	Misc	`conf`	Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. TASE Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2019	B	`conf`	Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky
2018	J	`jnl`	A formal model for plastic human computer interfaces. Frontiers Comput. Sci. Abdelkrim Chebieb, Yamine Aït Ameur
2018	J	`jnl`	A scalable model based approach for data model evolution: Application to space missions data models. Comput. Lang. Syst. Struct. Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Romain Kervarc, Benoit Chausserie-Lapree, Béatrice Larzul
2018	B	`conf`	Formal Ontology Driven Model Refactoring. ICECCS Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry
2018	—	`conf`	Handling Reparation in Incremental Construction of Realizable Conversation Protocols. MEDI Workshops Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor
2018	—	`conf`	Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. MEDI Workshops Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2018	—	`conf`	Incremental Construction of Realizable Choreographies. NFM Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor
2018	C	`conf`	On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ 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
2018	C	`conf`	Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. ABZ Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2018	B	`conf`	Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. ICECCS Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor
2017	J	`jnl`	A correct-by-construction model for asynchronously communicating systems. Int. J. Softw. Tools Technol. Transf. Zoubeyr Farah, Yamine Aït Ameur, Meriem Ouederni, Abdelkamel Tari
2017	C	`conf`	Automating the Evolution of Data Models for Space Missions. A Model-Based Approach. MEDI Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Benoît Chausserie-Lapree, Béatrice Larzul
2017	—	`conf`	B-PERFect - Applying the PERF Approach to B Based System Developments. RSSRail Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït Ameur, Julien Ordioni
2017	—	`conf`	Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. IMPEX/FM&MDD Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd
2017	Misc	`conf`	Formal development process of safety-critical embedded human machine interface systems. TASE Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur
2017	J	`jnl`	Handling Domain Knowledge in Design and Analysis of Engineering Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Kahina Hacid, Yamine Aït Ameur
2017	J	`jnl`	Models and data engineering. Future Gener. Comput. Syst. Ladjel Bellatreche, Yamine Aït Ameur, George Angelos Papadopoulos
2017	J	`jnl`	Models and data engineering. Future Gener. Comput. Syst. Ladjel Bellatreche, Yamine Aït Ameur, George Angelos Papadopoulos
2017	J	`jnl`	Ontologies in engineering: the OntoDB/OntoQL platform. Soft Comput. Yamine Aït Ameur, Mickaël Baron, Ladjel Bellatreche, Stéphane Jean, Eric Sardet
2017	—	`conf`	QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems. INTERACT Workshops Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yamine Aït Ameur
2017	J	`jnl`	The landing gear case study: challenges and experiments. Int. J. Softw. Tools Technol. Transf. Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe
2017	J	`jnl`	Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method. IEEE Trans. Serv. Comput. Guillaume Babin, Yamine Aït Ameur, Marc Pantel
2016	C	`conf`	A System Substitution Mechanism for Hybrid Systems in Event-B. ICFEM Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
2016	C	`conf`	Annotation of Engineering Models by References to Domain Ontologies. MEDI Kahina Hacid, Yamine Aït Ameur
2016	—	`conf`	Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach. HASE Guillaume Babin, Yamine Aït Ameur, Marc Pantel
2016	C	`conf`	Correct-by-Construction Evolution of Realisable Conversation Protocols. MEDI Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït Ameur
2016	C	`conf`	Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. ABZ Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
2016	J	`jnl`	Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16). NII Shonan Meet. Rep. Yamine Aït Ameur, Shin Nakajima, Dominique Méry
2016	J	`jnl`	Introduction to the ABZ 2014 special issue. Sci. Comput. Program. Yamine Aït Ameur, Klaus-Dieter Schewe
2016	J	`jnl`	Making explicit domain knowledge in formal system development. Sci. Comput. Program. Yamine Aït Ameur, Dominique Méry
2016	C	`ed.`	Model and Data Engineering - 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings MEDI Ladjel Bellatreche, Oscar Pastor, Jesús Manuel Almendros-Jiménez, Yamine Aït Ameur
2016	B	`conf`	Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. ICECCS Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
2016	—	`conf`	Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. ISoLA (1) Kahina Hacid, Yamine Aït Ameur
2016	C	`conf`	Towards correct Evolution of Conversation Protocols. VECoS Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur
2015	J	`jnl`	A formal model for output multimodal HCI - An Event-B formalization. Computing Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
2015	—	`ch.`	Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B. Correct Software in Web Applications and Web Services Idir Aït-Sadoune, Yamine Aït Ameur
2015	Misc	`conf`	Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies. TASE Abdelkrim Chebieb, Yamine Aït Ameur
2015	—	`conf`	Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B. SCC Guillaume Babin, Yamine Aït Ameur, Marc Pantel
2015	J	`jnl`	Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation. Tech. Sci. Informatiques Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
2015	J	`jnl`	OntoQL: An Alternative to Semantic Web Query Languages. Int. J. Semantic Comput. Stéphane Jean, Yamine Aït Ameur, Guy Pierra
2015	Misc	`conf`	Refinement and Proof Based Development of Systems Characterized by Continuous Functions. SETTA Guillaume Babin, Yamine Aït Ameur, Shin Nakajima, Marc Pantel
2014	—	`ed.`	ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings ABZ (Case Study) Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe
2014	C	`ed.`	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings ABZ Yamine Aït Ameur, Klaus-Dieter Schewe
2014	J	`jnl`	Editorial. Comput. Ind. Ladjel Bellatreche, Yamine Aït Ameur, Anne Monceaux, Eric Sardet
2014	—	`conf`	Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. AAAI Spring Symposia Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
2014	C	`ed.`	Model and Data Engineering - 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings MEDI Yamine Aït Ameur, Ladjel Bellatreche, George A. Papadopoulos
2014	—	`conf`	On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. ISoLA (2) Yamine Aït Ameur, J. Paul Gibson, Dominique Méry
2014	—	`conf`	Requirements Driven Data Warehouse Design: We Can Go Further. ISoLA (2) Selma Khouri, Ladjel Bellatreche, Stéphane Jean, Yamine Aït Ameur
2013	B	`conf`	Be careful when designing semantic databases: Data and concepts redundancy. RCIS Chedlia Chakroun, Ladjel Bellatreche, Yamine Aït Ameur, Nabila Berkani, Stéphane Jean
2013	C	`conf`	BeMoRe: a Repository for Handling Models Behaviors. SEKE Youness Bazhar, Yamine Aït Ameur, Stéphane Jean
2013	—	`ch.`	Checking System Substitutability: An Application to Interactive Systems. Modeling Approaches and Algorithms for Advanced Computer Applications Yamine Aït Ameur, Abdelkrim Chebieb
2013	C	`conf`	It is Time to propose a Complete Methodology for Designing Semantic Databases. WEBIST Chedlia Chakroun, Ladjel Bellatreche, Yamine Aït Ameur
2013	—	`conf`	New Trends in Databases and Information Systems: Contributions from ADBIS 2013. ADBIS (2) 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
2013	C	`conf`	Persistent Meta-Modeling Systems as Heterogeneous Model Repositories. MEDI Youness Bazhar, Yassine Ouhammou, Yamine Aït Ameur, Emmanuel Grolleau, Stéphane Jean
2013	J	`jnl`	Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. Trans. Large Scale Data Knowl. Centered Syst. Idir Aït-Sadoune, Yamine Aït Ameur
2012	C	`conf`	A Flexible Support of Non Canonical Concepts in Ontology-based Databases. WEBIST Youness Bazhar, Yamine Aït Ameur, Stéphane Jean, Mickaël Baron
2012	C	`conf`	An MDE-Based Synthesis of Aircraft Safety Models. MEDI Sébastien Maîtrehenry, Sylvain Metge, Yamine Aït Ameur, Pierre Bieber
2012	—	`conf`	Extending Ontology-Based Databases with Behavioral Semantics. OTM Conferences (2) Youness Bazhar, Chedlia Chakroun, Yamine Aït Ameur, Ladjel Bellatreche, Stéphane Jean
2012	—	`conf`	Handling Heterogeneity in Formal Developments of Hardware and Software Systems. ISoLA (2) Yamine Aït Ameur, Dominique Méry
2012	J	`jnl`	MIRSOFT: mediator for integrating and reconciling sources using ontological functional dependencies. Int. J. Web Grid Serv. Abdelghani Bakhtouchi, Ladjel Bellatreche, Stéphane Jean, Yamine Aït Ameur
2012	—	`conf`	MQL: A Mapping Management Language for Model-based Databases. ICEIS (1) Henry Valéry Téguiak, Yamine Aït Ameur, Stéphane Jean, Éric Sardet
2012	B	`conf`	Ontologies as a solution for simultaneously integrating and reconciliating data sources. RCIS Abdelghani Bakhtouchi, Ladjel Bellatreche, Stéphane Jean, Yamine Aït Ameur
2012	—	`conf`	Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. DEXA (1) Yamine Aït Ameur, Idir Aït-Sadoune
2012	J	`jnl`	Éditorial. Tech. Sci. Informatiques Yamine Aït Ameur
2011	J	`jnl`	A design methodology of ontology based database applications. Log. J. IGPL Ladjel Bellatreche, Yamine Aït Ameur, Chedlia Chakroun
2011	J	`jnl`	An Ontology and Indexation based Management of Services and Workflows Application to Geological Modeling. Int. J. Electron. Bus. Manag. Nabil Belaid, Stéphane Jean, Yamine Aït Ameur, Jean-François Rainaud
2011	C	`conf`	Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. MEDI Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur
2011	—	`conf`	Ontologies and Functional Dependencies for Data Integration and Reconciliation. ER Workshops Abdelghani Bakhtouchi, Ladjel Bellatreche, Yamine Aït Ameur
2011	—	`conf`	The Role of Class Dependencies in Designing Ontology-Based Databases. OTM Workshops Chedlia Chakroun, Ladjel Bellatreche, Yamine Aït Ameur
2010	C	`conf`	A Language for Ontology-Based Metamodeling Systems. ADBIS Stéphane Jean, Yamine Aït Ameur, Guy Pierra
2010	—	`conf`	A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. ASM Idir Aït-Sadoune, Yamine Aït Ameur
2010	C	`conf`	Incremental Design of Ontologies - A Model Transformation-based Approach. KEOD Henry Valéry Téguiak, Yamine Aït Ameur, Stéphane Jean, Eric Sardet
2010	B	`conf`	Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering. ICECCS David Simon Zayas, Anne Monceaux, Yamine Aït Ameur
2010	J	`jnl`	Special issue on contribution of ontologies in designing advanced information systems. Data Knowl. Eng. Ladjel Bellatreche, Yamine Aït Ameur, Guy Pierra
2010	—	`conf`	Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. SERA (selected papers) Idir Aït-Sadoune, Yamine Aït Ameur
2010	—	`conf`	Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. ISoLA (1) Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels
2010	C	`conf`	Toward a Semantic Management of Geological Modeling Workflows. KEOD Nabil Belaid, Yamine Aït Ameur, Stéphane Jean, Jean-François Rainaud
2010	J	`jnl`	Toward a wider use of formal methods for aerospace systems design and verification. Int. J. Softw. Tools Technol. Transf. Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels
2009	B	`conf`	A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. ICECCS Idir Aït-Sadoune, Yamine Aït Ameur
2009	—	`conf`	A Semantic Repository for Adaptive Services. SERVICES I Yamine Aït Ameur
2009	A	`conf`	A Semantic Repository for Geological Modeling Workflows. ICWS Nabil Belaid, Yamine Aït Ameur, Jean-François Rainaud
2009	C	`conf`	A semantic handling of geological modeling workflows. MEDES Nabil Belaid, Yamine Aït Ameur, Jean-François Rainaud
2009	—	`conf`	An Extension of Ontology based Databases to Handle Preferences. ICEIS (1) Dilek Tapucu, Yamine Aït Ameur, Stéphane Jean, Murat Osman Ünalir
2009	J	`jnl`	Encoding a process algebra using the Event B method. Int. J. Softw. Tools Technol. Transf. Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota
2009	J	`jnl`	SISRO, conception de bases de données à partir d'ontologies de domaine. Tech. Sci. Informatiques Chimène Fankam, Ladjel Bellatreche, Hondjack Dehainsala, Yamine Aït Ameur, Guy Pierra
2009	C	`conf`	SWAPT - Semantic Workflow Architecture for Petroleum Techniques. WEBIST Nabil Belaid, Yamine Aït Ameur, Jean-François Rainaud
2009	—	`conf`	Semantic Exploitation of Engineering Models: An Application to Oilfield Models. BNCOD Laura S. Mastella, Yamine Aït Ameur, Stéphane Jean, Michel Perrin, Jean-François Rainaud
2009	B	`conf`	Semantic exploitation of persistent metadata in engineering models: application to geological models. RCIS Laura S. Mastella, Yamine Aït Ameur, Stéphane Jean, Michel Perrin, Jean-François Rainaud
2009	—	`conf`	Towards Connecting Database Applications to Ontologies. DBKDA Chimène Fankam, Stéphane Jean, Guy Pierra, Ladjel Bellatreche, Yamine Aït Ameur
2008	—	`ed.`	2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 3-7 Mars 2008, Montréal, Québec, Canada CAL Yamine Aït Ameur
2008	—	`conf`	A formal model to handle the adaptability of multimodal user interfaces. AMBI-SYS Nadjet Kamel, Yamine Aït Ameur, Sid-Ahmed Selouani, Habib Hamam
2008	C	`conf`	Animating Event B Models by Formal Data Models. ISoLA Idir Aït-Sadoune, Yamine Aït Ameur
2008	J	`jnl`	Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement. Ingénierie des Systèmes d Inf. Yamine Aït Ameur, Idir Aït-Sadoune, Mickaël Baron, Jean-Marc Mota
2008	B	`conf`	Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach. ECSA Chimène Fankam, Stéphane Jean, Ladjel Bellatreche, Yamine Aït Ameur
2008	—	`conf`	Ontology-Based Model Annotation of Heterogeneous Geological Representations. WEBIST (2) Laura S. Mastella, Yamine Aït Ameur, Michel Perrin, Jean-François Rainaud
2008	—	`conf`	Semantic Hubs for Geological Projects. SeMMA Yamine Aït Ameur, Nabil Belaid, Mohammed Bennis, Olivier Corby, Rose Dieng-Kuntz, Jérémie Doucy, Priscille Durville, Chimène Fankam, Fabien Gandon, Alain Giboin, Patrick Giroux, Sandrine Grataloup, Bruno Grilhères, Florian Husson, Stéphane Jean, Joël Langlois, Phuc-Hiep Luong, Laura S. Mastella, Olivier Morel, Michel Perrin, Guy Pierra, Jean-François Rainaud, Idir Aït-Sadoune, Eric Sardet, Francois Tertre, João Francisco Valiati
2008	C	`conf`	Verification and Validation of Web Service Composition Using Event B Method. ABZ Idir Aït-Sadoune, Yamine Aït Ameur
2007	—	`conf`	A Formal Model for CARE Usability Properties Verification in Multimodal HCI. ICPS Nadjet Kamel, Yamine Aït Ameur
2007	C	`conf`	An Object-Oriented Based Algebra for Ontologies and Their Instances. ADBIS Stéphane Jean, Yamine Aït Ameur, Guy Pierra
2007	—	`conf`	Exploitation of Ontology Languages for Both Persistence and Reasoning Purposes - Mapping PLIB, OWL and Flight Ontology Models. WEBIST (2) Chimène Fankam, Yamine Aït Ameur, Guy Pierra
2007	—	`conf`	Formal Validation of Java/Swing User Interfaces with the Event B Method. HCI (1) Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur
2007	C	`ed.`	ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007 ISoLA Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels
2007	B	`conf`	OntoDB: It Is Time to Embed Your Domain Ontology in Your Database. DASFAA Stéphane Jean, Hondjack Dehainsala, Dung Nguyen Xuan, Guy Pierra, Ladjel Bellatreche, Yamine Aït Ameur
2007	—	`conf`	Software Engineering of Pervasive Services. ICPS Pascal Cherrier, Holger Mügge, Andres Fortier, Yamine Aït Ameur, Robert Hirschfeld
2007	—	`conf`	Une approche langage pour la gestion de donnèes dans les systèmes de méta-modélisation. INFORSID Stéphane Jean, Yamine Aït Ameur, Guy Pierra
2006	—	`conf`	Domain Ontologies: A Database-Oriented Analysis. WEBIST (1) Stéphane Jean, Guy Pierra, Yamine Aït Ameur
2006	—	`conf`	Domain Ontologies: A Database-Oriented Analysis. WEBIST (Selected Papers) Stéphane Jean, Guy Pierra, Yamine Aït Ameur
2006	C	`conf`	Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. ISoLA Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels
2006	J	`jnl`	Formal and experimental validation approaches in HCI systems design based on a shared event B model. Int. J. Softw. Tools Technol. Transf. Yamine Aït Ameur, Mickaël Baron
2006	—	`conf`	Querying Ontology Based Database Using OntoQL (An Ontology Query Language). OTM Conferences (1) Stéphane Jean, Yamine Aït Ameur, Guy Pierra
2006	C	`conf`	Querying Ontology Based Databases - The OntoQL Proposal. SEKE Stéphane Jean, Yamine Aït Ameur, Guy Pierra
2006	J	`jnl`	Un cadre formel pour la spécification multivue de systèmes avioniques. Tech. Sci. Informatiques Yamine Aït Ameur, Remi Delmas, Virginie Wiels
2006	—	`conf`	Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. IHM Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron
2005	J	`jnl`	Bases de données à base ontologique. Principe et mise en oeuvre. Ingénierie des Systèmes d Inf. Guy Pierra, Hondjack Dehainsala, Yamine Aït Ameur, Ladjel Bellatreche
2005	J	`jnl`	PLIB Ontology: A Mature Solution for Products Characterization in B2B Electronic Commerce. Int. J. IT Stand. Stand. Res. Youcef Aklouf, Guy Pierra, Yamine Aït Ameur, Habiba Drias
2004	C	`conf`	A framework for heterogeneous formal modeling and compositional verification of avionics systems. MEMOCODE Yamine Aït Ameur, Remi Delmas, Virginie Wiels
2004	—	`conf`	A generic formal specification of fusion of modalities in a multimodal HCI. IFIP Congress Topical Sessions Yamine Aït Ameur, Nadjet Kamel
2004	C	`conf`	An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Databases. DEXA Ladjel Bellatreche, Guy Pierra, Dung Nguyen Xuan, Hondjack Dehainsala, Yamine Aït Ameur
2004	—	`conf`	Base de données à base ontologique: le modèle OntoDB. BDA Guy Pierra, Hondjack Dehainsala, Yamine Aït Ameur, Ladjel Bellatreche, Jérôme Chochon, Mourad El-Hadj Mimoune
2004	—	`conf`	Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique. ISoLA (Preliminary proceedings) Yamine Aït Ameur, Mickaël Baron
2004	—	`conf`	Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation. Human Error, Safety and Systems Development Yamine Aït Ameur, Benoit Breholée, Patrick Girard, Laurent Guittet, Francis Jambon
2004	—	`conf`	Representation of procedural knowledge and its use to compute a form of subsumption. IFIP Congress Topical Sessions Yamine Aït Ameur
2003	—	`conf`	An Ontology-Based Approach for Exchanging Data Between Heterogeneous Database Systems. ICEIS (1) Mourad El-Hadj Mimoune, Guy Pierra, Yamine Aït Ameur
2003	—	`conf`	Analyse de robustesse de systèmes avioniques. JFLA Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels
2003	—	`conf`	Formal Validation of HCI User Tasks. Software Engineering Research and Practice Yamine Aït Ameur, Mickaël Baron, Patrick Girard
2003	—	`conf`	PLIB ontology for B2B electronic commerce. CE Youcef Aklouf, Guy Pierra, Yamine Aït Ameur, Habiba Drias
2003	—	`conf`	Reducing parts diversity in product design: a data centered approach. CE Jérôme Chochon, Yamine Aït Ameur, Guy Pierra, Jean-Claude Potier
2003	B	`conf`	Robustness analysis of avionics embedded systems. LCTES Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels
2001	—	`conf`	Interactive System Safety and Usability Enforced with the Development Process. EHCI Francis Jambon, Patrick Girard, Yamine Aït Ameur
2000	—	`conf`	An object oriented approach to represent behavioural knowledge in heterogeneous information systems. OOIS Yamine Aït Ameur, Eric Sardet
2000	B	`conf`	Cooperation of Formal Methods in an Engineering Based Software Development Process. IFM Yamine Aït Ameur
1999	J	`jnl`	Refinement of Rational End-Points Real Numbers by Means of Floating-Point Numbers. Sci. Comput. Program. Yamine Aït Ameur
1998	—	`conf`	A Uniform Approach for Specification and Design of Interactive Systems: the B Method. DSV-IS (2) Yamine Aït Ameur, Patrick Girard, Francis Jambon
1998	—	`conf`	Using the B Formal Approach for Incremental Specification Design of Interactiv Systems. EHCI Yamine Aït Ameur, Patrick Girard, Francis Jambon
1997	A*	`conf`	A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. ASE Yamine Aït Ameur
1995	C	`conf`	Formal Specification and Metaprogramming in the EXPRESS Language. SEKE Yamine Aït Ameur, Frederic Besnard, Patrick Girard, Guy Pierra, Jean-Claude Potier
1995	J	`jnl`	Formal Transformational Program Developments Directed by Operational Properties Evaluations. Int. J. Softw. Eng. Knowl. Eng. Yamine Aït Ameur
1993	C	`conf`	Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs. SEKE Yamine Aït Ameur
1993	—	`conf`	Predicting Operational Behaviour of Abstract Programs During Formal Developments. IWSSD Yamine Aït Ameur
1992	—	`conf`	An Application of Abstract Interpretation to Floating Point Arithmetic. WSA Yamine Aït Ameur, Patrice Cros, Juan José Falcón, Alicia Gómez
1992	C	`conf`	Formal Program Developments Directed by Operational Properties Evaluation. SEKE Yamine Aït Ameur
1991	—	`conf`	Non Functional Properties Can Guide Program Developments. JTASPEFT/WSA Yamine Aït Ameur
1991	C	`conf`	Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract). LOPSTR Yamine Aït Ameur