Publications of Yamine AIT AMEUR
Neeraj Kumar Singh, Yamine Aït-Ameur, Ismail Mendil, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe Palanque
Formal domain-driven system development in Event-B: Application to interactive critical systems
Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur
Reflexive Event-B: Semantics and Correctness The EB4EB framework
IEEE Transactions on Reliability, 2022, pp.1-16. ⟨10.1109/TR.2022.3219649⟩
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
Science of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
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 Transactions on Embedded Computing Systems (TECS), 2021, 20 (4, Article 35), pp.1-37. ⟨10.1145/3448270⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Romain Geniet, Dominique Méry, Philippe Palanque
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications
Interacting with Computers, 2021, ⟨10.1093/iwcomp/iwab016⟩
Yamine Aït-Ameur, Judy Bowen, José Campos, Philippe Palanque, Benjamin Weyers
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems
Interacting with Computers, 2021, Special Issue: Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems, 33 (1), pp.1-2. ⟨10.1093/iwc/iwab005⟩
Abdelkrim Chebieb, Yamine Aït-Ameur
A formal model for plastic human computer interfaces
Frontiers of Computer Science, 2018, 12 (2), pp.351-375. ⟨10.1007/s11704-016-5460-3⟩
Lynda Ait Oubelli, Yamine Aït-Ameur, Judicaël Bedouet, Romain Kervarc, Benoît Chausserie-Laprée, Béatrice Larzul
A scalable model based approach for data model evolution: Application to space missions data models
Computer Languages, Systems and Structures, 2018, 54, pp.358-385. ⟨10.1016/j.cl.2018.08.001⟩
Zoubeyr Farah, Yamine Aït-Ameur, Meriem Ouederni, Kamel Tari
A correct-by-construction model for asynchronously communicating systems
International Journal on Software Tools for Technology Transfer, 2017, 19 (4), pp.465-485. ⟨10.1007/s10009-016-0421-6⟩
Yamine Aït-Ameur, Mickael Baron, Ladjel Bellatreche, Stéphane Jean, Eric Sardet
Ontologies in engineering: the OntoDB/OntoQL platform
Soft Computing, 2017, 21 (2), pp.369-389. ⟨10.1007/s00500-015-1633-5⟩
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 Transactions on Services Computing, 2017, 10 (1), pp.107–120. ⟨10.1109/TSC.2016.2594782⟩
Kahina Hacid, Yamine Aït-Ameur
Handling Domain Knowledge in Design and Analysis of Design Models
Electronic Communications of the EASST, 2017, 74, pp.1-21. ⟨10.14279/tuj.eceasst.74.1045.1029⟩
Frédéric Boniol, Virginie Wiels, Yamine Aït-Ameur, Klaus-Dieter Schewe
The landing gear case study: challenges and experiments
International Journal on Software Tools for Technology Transfer, 2016, 19 (2), pp.133-140. ⟨10.1007/s10009-016-0431-4⟩
Yamine Aït-Ameur, Dominique Méry
Making explicit domain knowledge in formal system development
Science of Computer Programming, 2016, 121 (100–127), ⟨10.1016/j.scico.2015.12.004⟩
Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer
A formal model for output multimodal HCI – An Event-B formalization
Computing, 2015, Special Issue on Contributions of computational intelligence in designing complex information systems, 97 (7), pp.713-740. ⟨10.1007/s00607-015-0460-y⟩
Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Aït-Ameur, Ahmed-Nacer Mohamed
Modélisation formelle d’IHM multimodales en sortie avec B Événementiel : approche par généralisation et instanciation
Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp.521-546. ⟨10.3166/TSI.34.523-548⟩
Stéphane Jean, Yamine Aït-Ameur, Guy Pierra
OntoQL: An Alternative to Semantic Web Query Languages
International Journal of Semantic Computing, 2015, 9 (1), pp.105-137. ⟨10.1142/S1793351X1550004X⟩
Idir Ait-Sadoune, Yamine Ait Ameur
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification
In : Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer, Vol. 10, pp. 1-33, March 2013.
Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont
Proof automation for Event-B theories
10th Rodin User and Developer Workshop (Rodin 2023), May 2023, Nancy, France
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
Standalone Event-B models analysis relying on the EB4EB meta-theory
9th International Conference on Rigorous State-based Methods (ABZ 2023), LORIA : laboratoire lorrain de recherche en informatique et ses applications, Université de Lorraine, May 2023, Nancy, France
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework
NASA Formal Methods (NFM 2023), NASA: National Aeronautics and Space Administration, May 2023, Houston, United States. pp.1-18
Ismail Mendil, Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours
29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, Virtual conference, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Ismail Mendil, Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours
2022 29th Asia-Pacific Software Engineering Conference (APSEC), Dec 2022, Japan, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur
EB4EB: A Framework for Reflexive Event-B
26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022), Mar 2022, Hiroshima, Japan. pp.71-80, ⟨10.1109/ICECCS54210.2022.00017⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Event-B Refinement for Continuous Behaviours Approximation
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Standard Conformance-by-Construction with Event-B
FMICS 2021 – 26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur
Data-types definitions: Use of Theory and Context instantiations Plugins
9th Rodin User and Developer Workshop collocated with the ABZ 2021 Conference, Jun 2021, Ulm (virtual), Germany. pp.1-6
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
22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩
Ismail Mendil, Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, Philippe Palanque
An Integrated Framework for the Formal Analysis of Critical Interactive Systems
The 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩
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
7th International Conference on Rigorous State-Based Methods (ABZ 2020), May 2020, Ulm, Germany. pp.169-185, ⟨10.1007/978-3-030-48077-6_12⟩
Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït-Ameur, Alexei Iliasov, Alexander Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement
24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Nov 2019, Guangzhou, China. pp.107-113, ⟨10.1109/ICECCS.2019.00019⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B
13th International Symposium on Theoretical Aspects of Software Engineering – TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩
Alexandra Halchin, Yamine Aït-Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni
Certified embedding of B models in an integrated verification framework
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), Jul 2019, Guilin, China. pp.168-175
Lynda Ait Oubelli, Yamine Aït-Ameur, Judicaël Bedouet, Benoît Chausserie-Laprée, Béatrice Larzul
Finding conservative schema evolutions by analysing API changes
The 31st International Conference on Software Engineering and Knowledge Engineering, Jul 2019, Lisbonne, Portugal. pp.748-753, ⟨10.18293/SEKE2019-132⟩
Paulius Stankaitis, Alexei Iliasov, Yamine Aït-Ameur, Tsutomou Kobayashi, Fuyuki Ishikawa, Alexander Romanowski
A Refinement Based Method for Developing Distributed Protocols
19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), Jan 2019, Hangzhou, China. pp.90-97
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Mery
Formal Ontology Driven Model Refactoring
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145, ⟨10.1109/ICECCS2018.2018.00022⟩
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 2018 – The 8h International Conference on Model and Data Engineering, Oct 2018, Marrakech, Morocco. pp.153–158, ⟨10.1007/978-3-030-02852-7_14⟩
Sarah Benyagoub, Yamine Aït-Ameur, Meriem Ouederni, Atif Mashkoor
Handling Reparation in Incremental Construction of Realizable Conversation Protocols
8th International Conference On Model and Data Engineering (MEDI 2018), Oct 2018, Marrakech, Morocco. pp.159-166
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
6th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), University of Southampton, Jun 2018, Southampton, United Kingdom. pp.155-170
Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, John Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand Oussaid, Neeraj Kumar Singh, Laurent Voisin
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B
6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425–430, ⟨10.1007/978-3-319-91271-4_35⟩
Sarah Benyagoub, Meriem Ouederni, Yamine Aït-Ameur, Atif Mashkoor
Incremental Construction of Realizable Choreographies
11th International Symposium on NASA Formal Methods (NFM 2018), Apr 2018, Newport News, United States. pp.1-19
Yamine Aït-Ameur, Idir Ait-Sadoune, Kahina Hacid, Linda Mohand Oussaid
Formal modelling of ontologies within Event-B
First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’an, China
Yamine Aït-Ameur, Idir Ait-Sadoune, Kahina Hacid, Linda Mohand Oussaid
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
IMPEX 2017, Nov 2017, Xi’An, China. pp.24 – 33, ⟨10.4204/EPTCS.271.2⟩
Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït-Ameur, Julien Ordioni
B-PERFect – Applying the PERF Approach to B Based System Developments
International Conference Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2017), Nov 2017, Pristoia, Italy. pp.160-172
Lynda Ait Oubelli, Yamine Aït-Ameur, Judicael Bedouet, Benoit Chausserie-Lapree, Beatrice Larzul
Automating the Evolution of Data Models for Space Missions. A Model-Based Approach
7th International Conference on Model and Data Engineering (MEDI 2017), Oct 2017, Barcelone, Spain. pp.340-354
Camille Fayollas, Célia Martinie, Philippe Palanque, Yamine Aït-Ameur
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩
Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d’Ausbourg, Yamine Aït-Ameur
Formal development process of safety critical embedded human machine interface systems
11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia Antipolis, France. pp.1-8, ⟨10.1109/TASE.2017.8285636⟩
Guillaume Babin, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
A System Substitution Mechanism for Hybrid Systems in Event-B
International Conference on Formal Engineering Methods, Nov 2016, Tokyo, Japan. pp.106–121, ⟨10.1007/978-3-319-47846-3_8⟩
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
21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp.1-10, ⟨10.1109/ICECCS.2016.015⟩
Kahina Hacid, Yamine Aït-Ameur
Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach
International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Oct 2016, Corfu, Greece. pp.340-357
Sarah Benyagoub, Meriem Ouederni, Yamine Aït-Ameur
Towards correct Evolution of Conversation Protocols
10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2016), Oct 2016, Tunis, Tunisia. pp.193-201
Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït-Ameur
Correct-by-Construction Evolution of Realisable Conversation Protocols
MEDI 2016 – Model and Data Engineering – 6th International Conference, Sep 2016, Almería, Spain. pp.260-273
Kahina Hacid, Yamine Aït-Ameur
Annotation of Engineering Models by References to Domain Ontologies
International Conference on Model and Data Engineering (MEDI 2016), Sep 2016, Almeria, Spain. pp.234-244
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 – 5th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z, May 2016, Linz, Austria. pp.290–296, ⟨10.1007/978-3-319-33600-8_23⟩
Guillaume Babin, Yamine Aït-Ameur, Marc Pantel
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach
17th IEEE International Symposium on High Assurance Systems Engineering (HASE 2016), Jan 2016, Orlando, FL, United States. pp.31–38, ⟨10.1109/HASE.2016.47⟩
Guillaume Babin, Yamine Aït-Ameur, Shin Nakajima, Marc Pantel
Refinement and Proof Based Development of Systems Characterized by Continuous Functions
1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), Nov 2015, Nanjing, China. pp.55–70, ⟨10.1007/978-3-319-25942-0_4⟩
Abdelkrim Chebieb, Yamine Aït-Ameur
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies
9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), Sep 2015, Nanjing, China. pp.76-86
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
IEEE International Conference on Services Computing (SCC 2015), Jun 2015, New York, NY, United States. pp.98–105, ⟨10.1109/SCC.2015.23⟩
Yamine Aït-Ameur, John Paul Gibson, Dominique Méry
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation – Specialized Techniques and Applications (ISoLA 2014), Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007/978-3-662-45231-8_50⟩
Selma Khouri, Ladjel Bellatreche, Stéphane Jean, Yamine Aït-Ameur
Requirements Driven Data Warehouse Design: We Can Go Further
International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Oct 2014, Corfu, Greece. pp.588-603
Idir Ait-Sadoune, Yamine Aït-Ameur
Composition Operators for Event-B. CO4EB Rodin plugin
Rodin Workshop 2014, Jun 2014, Toulouse, France
Linda Mohand Oussaid, Yamine Aït-Ameur, Idir Ait Sadoune, Mohamed Ahmed-Nacer
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation
AAAI Spring Symposium (AAAI 2014), Association for the Advancement of Artificial Intelligence; Stanford University Computer Science Department, Mar 2014, Palo Alto, United States. pp.38-43
Yamine Ait Ameur, Abdelkrim Chebieb
Checking System Substitutability: An Application to Interactive Systems (regular paper)
In : International Conference on Computer Science and Its Applications (CIIA 2013), CIIA Conference, Saida, Algérie, 04/05/13-05/05/13 (invited speaker), Vol. 488, Springer, Studies in Computational Intelligence ISBN 978-3-319-00559-1, pp. 3-3, May 2013.
Abstract URL : https://doi.org/10.1007/978-3-319-00560-7_2 – https://oatao.univ-toulouse.fr/24908/
BibTeXChedlia Chakroun, Ladjel Bellatreche, Yamine Ait Ameur
It is Time to propose a Complete Methodology for Designing Semantic Databases (short paper)
In : International Conference on Web Information Systems and Technologies (WEBIST 2013), Aachen, Allemagne, 08/05/13-10/05/13, Karl-Heinz KREMPELS, Alexander STOCKER (Eds.), SciTePress, pp. 160-164, May 2013.
Abstract URL : http://doi.org/10.5220/0004372901600164 – https://oatao.univ-toulouse.fr/24907/
BibTeXYouness Bazhar, Yamine Ait Ameur, Stéphane Jean
BeMoRe: a Repository for Handling Models Behaviors (regular paper)
In : International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), Boston, MA, USA, 27/06/13-29/06/13, KSI : Knowledge Systems Institute, pp. 262-267, June 2013.
URL : https://www.tib.eu/en/search/id/TIBKAT%3A768520398/Proceedings-SEKE-2013-the-25th-International-Conference/?tx_tibsearch_search%5Bsearchspace%5D=tibub – https://oatao.univ-toulouse.fr/24906/
BibTeXChedlia Chakroun, Ladjel Bellatreche, Yamine Ait Ameur, Nabila Berkani, Stéphane Jean
Be careful when designing semantic databases: Data and concepts redundancy (regular paper)
In : IEEE International Conference on Research Challenges in Information Science (RCIS 2013), Paris, France, 29/05/13-31/05/13, Vol. ISBN 978-1-4673-2912-5, ROEL. J WIERINGA, Selmin NURCAN, Colette ROLLAND, Jean-Louis CAVARERO (Eds.), IEEE Computer Society, pp. 1-12, May 2013.
Abstract URL : http://doi.org/10.1109/RCIS.2013.6577692 – https://oatao.univ-toulouse.fr/24905/
BibTeXYouness Bazhar, Yassine Ouhamou, Yamine Ait Ameur, Emmanuel Grolleau, Stéphane Jean
Persistent Meta-Modeling Systems as Heterogeneous Model Repositories (regular paper)
In : Model and Data Engineering International Conference (MEDI 2013), Amantea, Italie, 25/09/13-27/09/13, Vol. 8216, Alfredo CUZZOCREA, Sofian MAABOUT (Eds.), Springer-Verlag, LNCS, pp. 25-37, September 2013.
Abstract URL : https://doi.org/10.1007/978-3-642-41366-7_3 – https://oatao.univ-toulouse.fr/24904/
BibTeXStepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. (education paper)
In : International Conference on Database and Expert Systems Applications (DEXA 2012), Vienne, Autriche, 03/09/12-06/09/12 (invited speaker), Vol. 7446, Springer-Verlag, LNCS, pp. 9-9, September 2012.
Yamine Aït-Ameur, Ismail Mendil, Guillaume Dupont, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
Empowering the Event-B Method Using External Theories
Integrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩
Yamine Aït-Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
Towards Leveraging Domain Knowledge in State-Based Formal Methods
Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry
Formal Ontological Analysis for Medical Protocols
Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
Guillaume Babin, Yamine Aït-Ameur, Marc Pantel
A generic model for system substitution
Romanovsky, Alexander; Ishikawa, Fuyuki. Trustworthy Cyber-Physical Systems Engineering, 4, Chapman & Hall, CRC Press, pp.75–103, 2016, Computer and Information Science Series, 978-1498742450
Idir Ait-Sadoune, Yamine Aït-Ameur
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, Springer, pp.1-27, 2015, Texts & Monographs in Symbolic Computation, 978-3-319-17112-8
Yamine Aït-Ameur, Shin Nakajima, Dominique Méry
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩
Yamine Aït-Ameur, Klaus-Dieter Schewe
Introduction to the ABZ 2014 special issue
Ait Ameur, Yamine; Schewe, Klaus-Dieter. Elsevier, 131 (Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014), pp.1-2, 2016, Science of Computer Programming, ⟨10.1016/j.scico.2016.09.001⟩
Ladjel Bellatreche, Yamine Aït-Ameur, Anne Monceaux
Computers in Industry : volume 65, issue 9
Bellatreche, Ladjel and and; Ait Ameur, Yamine; Monceaux, Anne; Eric Sardet. Elsevier, 65 (9), 2014, Computers in Industry, ISSN: 0166-3615. ⟨10.1016/j.compind.2014.09.001⟩
Ladjel Bellatreche, Yamine Aït-Ameur, George Angelos Papadopoulos
Models and Data Engineering
Future Generation Computer Systems, 68, 2017, Models and data engineering, ⟨10.1016/j.future.2016.11.017⟩
Ladjel Bellatreche, Oscar Pastor, Jesús Manuel Almendros-Jiménez, Yamine Aït-Ameur
Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
Lecture Notes in Computer Science, 9893, pp.XVII, 360, 2016, Programming and Software Engineering series, ⟨10.1007/978-3-319-45547-1⟩
Yamine Aït-Ameur, Ladjel Bellatreche, George Angelos Papadopoulos
Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
Lecture Notes in Computer Science, 8748, pp.XIV, 340, 2014, Programming and Software Engineering, ⟨10.1007/978-3-319-11587-0⟩
Yamine Aït-Ameur, Klaus-Dieter Schewe
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Ait Ameur, Yamine; Schewe, Klaus-Dieter. 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Lecture Notes in Computer Science, 8477, pp.XVI, 336, 2014, Theoretical Computer Science and General Issues, 978-3662436516. ⟨10.1007/978-3-662-43652-3⟩
Ladjel Bellatreche, Oscar Pastor, Jesus Almendros-Jimenez, Yamine Aït-Ameur
Model and Data Engineering : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
Bellatreche, Ladjel; Pastor, Oscar; Almendros-Jimenez, Jesus; Ait Ameur, Yamine. 6th International Conference on Model and Data Engineering (MEDI 2016), Sep 2016, Almeria, Spain. 9893, Springer-Verlag, 357 p., 2016, Lecture Notes in Computer Science (LNCS), 978-3-319-45546-4
Yamine Ait Ameur, Witold Andrzejewski, Ladjel Bellatreche, Barbara Catania, Tania Cerquitelli, Silvia Chiusano, Matteo Golfarelli, Giovanna Guerrini, Krzystof Kaczmarski, Mirko Kampf, Alfons Kemper, Tobias Lauer, Boris Novikov, Themis Palpanas, Jaroslav Pokorny, Stefano Rizzi, Athena Vakali
New Trends in Databases and Information Systems: Contributions from ADBIS 2013, Genoa, Italie, 01/09/13 – 04/09/13, Springer, AISC : Advances in Intelligent Systems and Computing 241 ISBN 978-3-319-01862-1, September 2013.
Abstract URL : https://doi.org/10.1007/978-3-319-01863-8_1
BibTeXIdir Ait-Sadoune, Yamine Ait Ameur
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification, Vienne, Autriche, 02/09/14 – 06/09/14, Springer-Verlag, LNCS 7446, September 2012.
Sébastien Maitrehenry, Sylvain Metge, Yamine Ait Ameur, Pierre Bieber
MEDI, Poitiers, France, 03/10/14 – 05/10/14, Springer-Verlag, LNCS 7602, October 2012.
Yamine Ait Ameur, Dominique Méry
ISOLA, Heraklion – Grèce, 15/10/12 – 18/10/12, Springer-Verlag, LNCS 7610, October 2012.