Publications de Yamine AIT AMEUR
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 Ait-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⟩
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⟩
Guillaume Dupont, Yamine Ait-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⟩
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
Electronic Proceedings in Theoretical Computer Science, 2018, Proceedings IMPEX 2017 and FM&MDD 2017, EPTCS 271, pp.24 – 33. ⟨10.4204/EPTCS.271.2⟩
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⟩
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⟩
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⟩
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 Ait Ameur, Klaus-Dieter Schewe
The landing gear case study: challenges and experiments
Dans : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Heidelberg, Allemagne, Vol. 19 N. 2, p. 133-140, 2016.
Yamine Ait Ameur, Dominique Méry
Making explicit domain knowledge in formal system development
Dans : Science of Computer Programming, Elsevier, Vol. 121, p. 100-127, 2016.
Stéphane Jean, Yamine Ait Ameur, Guy Pierra
OntoQL: An Alternative to Semantic Web Query Languages
Dans : International Journal of Semantic Computing, World Scientific, Vol. 9 N. 1, p. 105-138, 2015.
Accès : https://doi.org/10.1142/S1793351X1550004X – https://oatao.univ-toulouse.fr/24849/
BibTeXLinda Mohand Oussaid, Yamine Ait Ameur, Idir Ait Sadoune, Mohamed Ahmed Nacer
A formal model for output multimodal HCI – An Event-B formalization.
Dans : Computing, Springer, Vol. 7 N. 97, p. 713-740, 2015.
Idir Ait-Sadoune, Yamine Ait Ameur
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification
Dans : Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer, Vol. 10, p. 1-33, mars 2013.
Peter Riviere, Neeraj 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
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 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 Ait-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 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⟩
Ismaël 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 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⟩
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
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⟩
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
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
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
Fayollas Camille, 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
TASE (11th International Symposium on Theoretical Aspects of Software Engineering), Sep 2017, Sophia Antipolis, France. pp. 1-8
Sarah Benyagoub, Meriem Ouederni, Yamine Ait Ameur
Towards correct Evolution of Conversation Protocols (regular paper)
Dans : International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2016), Tunis, Tunisie, 06/10/16-07/10/16, Vol. 1689, Mohamed GHAZEL, Mohamed JMAIEL (Eds.), CEUR-WS : Workshop proceedings, p. 193-201, octobre 2016.
Résumé Accès : http://ceur-ws.org/Vol-1689/paper16.pdf – https://oatao.univ-toulouse.fr/24899/
BibTeXSarah Benyagoub, Meriem Ouederni, Neeraj Singh, Yamine Ait Ameur
Correct-by-Construction Evolution of Realisable Conversation Protocols (regular paper)
Dans : Model and Data Engineering International Conference (MEDI 2016), Almeria, Espagne, 21/09/16-23/09/16, Vol. 9893, Ladjel BELLATRECHE, Oscar PASTOR, Jesus Manuel ALMENDROS-JIMENEZ, Yamine AIT AMEUR (Eds.), Springer-Verlag, LNCS ISBN 978-3-319-45546-4, p. 260-273, septembre 2016.
Résumé Accès : https://doi.org/10.1007/978-3-319-45547-1_21 – https://oatao.univ-toulouse.fr/24898/
BibTeXKahina Hacid, Yamine Ait Ameur
Annotation of Engineering Models by References to Domain Ontologies (regular paper)
Dans : Model and Data Engineering International Conference (MEDI 2016), Almeria, Espagne, 21/09/16-23/09/16, Vol. 9893, Ladjel BELLATRECHE, Oscar PASTOR, Jesus Manuel ALMENDROS-JIMENEZ, Yamine AIT AMEUR (Eds.), Springer-Verlag, LNCS ISBN 978-3-319-45546-4, p. 234-244, septembre 2016.
Résumé Accès : https://doi.org/10.1007/978-3-319-45547-1_19 – https://oatao.univ-toulouse.fr/24897/
BibTeXKahina Hacid, Yamine Ait Ameur
Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach (regular paper)
Dans : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Corfu, Grèce, 10/10/16-14/10/16, Vol. 9952, Tiziana MARGARIA, Bernhard STEFFEN (Eds.), Springer-Verlag, LNCS ISBN 978-3-319-47165-5, p. 340-357, octobre 2016.
Résumé Accès : https://doi.org/10.1007/978-3-319-47166-2_24 – https://oatao.univ-toulouse.fr/24896/
BibTeXNeeraj Singh, Yamine Ait 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 (regular paper)
Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2016), Dubaï, Emirats Arabes Unis, 06/11/16-08/11/16, IEEE Computer Society, p. 43-52, novembre 2016.
Guillaume Babin, Yamine Ait Ameur, Neeraj Singh, Marc Pantel
A System Substitution Mechanism for Hybrid Systems in Event-B (regular paper)
Dans : International Conference on Formal Engineering Methods (ICFEM 2016), Tokyo, Japan, 14/11/16-18/11/16, Vol. 10009, Kazuhiro Ogata, Mark Lawford, Shaoying Liu (Eds.), Springer, Lecture Notes in Computer Science, p. 106-121, novembre 2016.
Accès : http://dx.doi.org/10.1007/978-3-319-47846-3_8
BibTeXGuillaume Babin, Yamine Ait Ameur, Neeraj Singh, Marc Pantel
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development (short paper)
Dans : International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), Linz, Austria, 23/05/16-27/05/16, Vol. 9675, Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro (Eds.), Springer-Verlag, Lecture Notes in Computer Science 0302-9743, p. 290-296, 2016.
Accès : http://dx.doi.org/10.1007/978-3-319-33600-8_23
BibTeXGuillaume Babin, Yamine Ait Ameur, Marc Pantel
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach (regular paper)
Dans : IEEE International Symposium on High Assurance Systems Engineering (HASE 2016), Orlando, FL, USA, 07/01/16-09/01/16, IEEE : Institute of Electrical and Electronics Engineers, p. 31-38, janvier 2016.
Abdelkrim Chebieb, Yamine Ait Ameur
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies (regular paper)
Dans : International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), Nanjing, Chine, 12/09/15-14/09/15, Vol. ISBN 978-1-4673-7612-9, Huang ZHIQIU, Jun SUN (Eds.), IEEE Computer Society – Conference Publishing Services, p. 76-86, septembre 2015.
Résumé Accès : http://doi.org/10.1109/TASE.2015.25 – https://oatao.univ-toulouse.fr/24900/
BibTeXGuillaume Babin, Yamine Ait Ameur, Marc Pantel
Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B (regular paper)
Dans : IEEE International Conference on Services Computing (SCC 2015), New York, NY, USA, 27/06/15-02/07/15, IEEE : Institute of Electrical and Electronics Engineers, p. 98-105, 2015.
Guillaume Babin, Yamine Ait Ameur, Shin Nakajima, Marc Pantel
Refinement and Proof Based Development of Systems Characterized by Continuous Functions (regular paper)
Dans : International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), Nanjing, Chine, 04/11/15-06/11/15, Vol. 9409, Xuandong Li, Zhiming Liu, Wang Yi (Eds.), Springer-Verlag, Lecture Notes in Computer Science, p. 55-70, 2015.
Accès : http://dx.doi.org/10.1007/978-3-319-25942-0_4
BibTeXYamine Ait Ameur, J. Paul Gibson, Dominique Méry
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems (regular paper)
Dans : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu, Grèce, 08/10/14-11/10/14, Vol. 8803, Tiziana MARGARIA, Bernhard STEFFEN (Eds.), Springer-Verlag, LNCS ISBN 978-3-662-45231-8, p. 604-618, octobre 2014.
Résumé Accès : https://doi.org/10.1007/978-3-662-45231-8_50 – https://oatao.univ-toulouse.fr/24903/
BibTeXSelma Khoury, Ladjel Bellatreche, Yamine Ait Ameur
Requirements Driven Data Warehouse Design: We Can Go Further (regular paper)
Dans : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu, Grèce, 08/10/14-11/10/14, Vol. 8803, Tiziana MARGARIA, Bernhard STEFFEN (Eds.), Springer-Verlag, LNCS, p. 588-603, octobre 2014.
Résumé Accès : https://doi.org/10.1007/978-3-662-45231-8_49 – https://oatao.univ-toulouse.fr/24902/
BibTeXLinda Mohand Oussaid, Idir Ait Sadoune, Yamine Ait Ameur, Mohamed Ahmed-Nacer
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation (regular paper)
Dans : AAAI Spring Symposium, Palo Alto, CA, USA, 24/03/14-26/03/14, AAAI Press, (support électronique), mars 2014.
Accès : https://www.aaai.org/ocs/index.php/SSS/SSS14/paper/viewFile/7737/7756 – https://oatao.univ-toulouse.fr/24901/
BibTeXYamine Ait Ameur, Abdelkrim Chebieb
Checking System Substitutability: An Application to Interactive Systems (regular paper)
Dans : International Conference on Computer Science and Its Applications (CIIA 2013), CIIA Conference, Saida, Algérie, 04/05/13-05/05/13 (conférencier invité), Vol. 488, Springer, Studies in Computational Intelligence ISBN 978-3-319-00559-1, p. 3-3, mai 2013.
Résumé Accès : 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)
Dans : 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, p. 160-164, mai 2013.
Résumé Accès : 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)
Dans : International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), Boston, MA, USA, 27/06/13-29/06/13, KSI : Knowledge Systems Institute, p. 262-267, juin 2013.
Accès : 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)
Dans : 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, p. 1-12, mai 2013.
Résumé Accès : 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)
Dans : 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, p. 25-37, septembre 2013.
Résumé Accès : 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)
Dans : International Conference on Database and Expert Systems Applications (DEXA 2012), Vienne, Autriche, 03/09/12-06/09/12 (conférencier invité), Vol. 7446, Springer-Verlag, LNCS, p. 9-9, septembre 2012.
Ladjel Bellatreche, Oscar Pastor, Jesus Almendros-Jimenez, Yamine Ait Ameur
Model and Data Engineering – 6th International Conference, MEDI 2016, Almeria,, 21/09/16 – 23/09/16, Springer-Verlag, LNCS 9893, septembre 2016.
Yamine Ait Ameur, Klaus-Dieter Schewe
Introduction to the ABZ 2014 special issue
Dans : Science of Computer Programming, Elsevier, Vol. 131, 2016.
Yamine Ait Ameur, Ladjel Bellatreche, George Angelos Papadopoulos
Model and Data Engineering – 4th International Conference, MEDI 2014, Larnaca, Chypre, 24/09/14 – 26/09/14, Springer-Verlag, LNCS 8748, septembre 2014.
Yamine Ait 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., Toulouse, 02/06/14 – 06/06/14, Springer-Verlag, LNCS 8477, juin 2014.
Ladjel Bellatreche, Yamine Ait Ameur, Anne Monceaux
Editorial
Dans : Computers in Industry, Elsevier, Vol. 65 N. 9, 2014.
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, septembre 2013.
Résumé Accès : 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, septembre 2012.
Sébastien Maitrehenry, Sylvain Metge, Yamine Ait Ameur, Pierre Bieber
MEDI, Poitiers, France, 03/10/14 – 05/10/14, Springer-Verlag, LNCS 7602, octobre 2012.
Yamine Ait Ameur, Dominique Méry
ISOLA, Heraklion – Grèce, 15/10/12 – 18/10/12, Springer-Verlag, LNCS 7610, octobre 2012.
Yamine Aït-Ameur, Guillaume Dupont, Ismail Mendil, Dominique Méry, Marc Pantel, Peter Rivière, Neeraj 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 Ait Ameur, Marc Pantel
A generic model for system substitution
Dans : Trustworthy Cyber-Physical Systems Engineering. Alexander Romanovsky, Fuyuki Ishikawa (Eds.) , Chapman & Hall, CRC Press, 4, p. 75-103, Computer and Information Science Series, septembre 2016.
Accès : https://www.crcpress.com/Trustworthy-Cyber-Physical-Systems-Engineering/Romanovsky-Ishikawa/9781498742450
BibTeXIdir Ait Sadoune, Yamine Ait Ameur
Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B.
Dans : Correct Software in Web Applications and Web Services. Bernhard THALHEIM, Klaus-Dieter SCHEWE, Andreas PRINZ, Bruno BUCHBERGER (Eds.) , Springer, p. 1-27, ISBN 978-3-319-17111-1, 2015.
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⟩