Yamine Aït-Ameur
Orcid: 0000-0003-4582-9712Affiliations:
- University of Toulouse, IRIT, France
According to our database1,
Yamine Aït-Ameur
authored at least 173 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Reliab., June, 2024
On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS.
Proceedings of the Formal Methods and Software Engineering, 2024
Proceedings of the Foundations of Information and Knowledge Systems, 2024
2023
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID.
J. Softw. Evol. Process., July, 2023
Formal Aspects Comput., March, 2023
Formal domain-driven system development in Event-B: Application to interactive critical systems.
J. Syst. Archit., February, 2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
2022
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B.
Sci. Comput. Program., 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022
2021
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems.
ACM Trans. Embed. Comput. Syst., 2021
An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation.
Serv. Oriented Comput. Appl., 2021
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications.
Interact. Comput., 2021
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems.
Interact. Comput., 2021
Formal Aspects Comput., 2021
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021
Proceedings of the Model and Data Engineering - 10th International Conference, 2021
Proceedings of the Formal Methods for Industrial Critical Systems, 2021
Proceedings of the Logic, Computation and Rigorous Methods, 2021
Proceedings of the Automated Technology for Verification and Analysis, 2021
2020
Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks.
J. Softw. Evol. Process., 2020
Handling B models in the PERF integrated verification framework: Formalised and certified embedding.
Sci. Comput. Program., 2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.
Proceedings of the Formal Methods and Software Engineering, 2020
Proceedings of the Foundations of Information and Knowledge Systems, 2020
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019
2018
A scalable model based approach for data model evolution: Application to space missions data models.
Comput. Lang. Syst. Struct., 2018
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
Proceedings of the New Trends in Model and Data Engineering, 2018
Handling Reparation in Incremental Construction of Realizable Conversation Protocols.
Proceedings of the New Trends in Model and Data Engineering, 2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method.
IEEE Trans. Serv. Comput., 2017
Int. J. Softw. Tools Technol. Transf., 2017
Int. J. Softw. Tools Technol. Transf., 2017
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017
Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017
Formal development process of safety-critical embedded human machine interface systems.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
Proceedings of the Model and Data Engineering - 7th International Conference, 2017
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems.
Proceedings of the Global Thoughts, Local Designs, 2017
2016
Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16).
NII Shonan Meet. Rep., 2016
Sci. Comput. Program., 2016
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016
Proceedings of the Model and Data Engineering - 6th International Conference, 2016
Proceedings of the Model and Data Engineering - 6th International Conference, 2016
Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Formal Methods and Software Engineering, 2016
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
2015
Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation.
Tech. Sci. Informatiques, 2015
Int. J. Semantic Comput., 2015
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015
Refinement and Proof Based Development of Systems Characterized by Continuous Functions.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015
Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015
Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B.
Proceedings of the Correct Software in Web Applications and Web Services, 2015
2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation.
Proceedings of the 2014 AAAI Spring Symposia, 2014
2013
Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.
Trans. Large Scale Data Knowl. Centered Syst., 2013
It is Time to propose a Complete Methodology for Designing Semantic Databases.
Proceedings of the WEBIST 2013, 2013
BeMoRe: a Repository for Handling Models Behaviors.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013
Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013
Proceedings of the Model and Data Engineering - Third International Conference, 2013
Proceedings of the New Trends in Databases and Information Systems, 2013
2012
MIRSOFT: mediator for integrating and reconciling sources using ontological functional dependencies.
Int. J. Web Grid Serv., 2012
A Flexible Support of Non Canonical Concepts in Ontology-based Databases.
Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012
Ontologies as a solution for simultaneously integrating and reconciliating data sources.
Proceedings of the Sixth International Conference on Research Challenges in Information Science, 2012
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012
Proceedings of the Model and Data Engineering - 2nd International Conference, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
MQL: A Mapping Management Language for Model-based Databases.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 1, Wroclaw, Poland, 28 June, 2012
2011
An Ontology and Indexation based Management of Services and Workflows Application to Geological Modeling.
Int. J. Electron. Bus. Manag., 2011
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011
Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B.
Proceedings of the Model and Data Engineering - First International Conference, 2011
Proceedings of the Advances in Conceptual Modeling. Recent Developments and New Directions - ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31, 2011
2010
Int. J. Softw. Tools Technol. Transf., 2010
Special issue on contribution of ontologies in designing advanced information systems.
Data Knowl. Eng., 2010
Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach.
Proceedings of the Software Engineering Research, 2010
Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010
Incremental Design of Ontologies - A Model Transformation-based Approach.
Proceedings of the KEOD 2010, 2010
Toward a Semantic Management of Geological Modeling Workflows.
Proceedings of the KEOD 2010, 2010
Proceedings of the Abstract State Machines, 2010
Proceedings of the Advances in Databases and Information Systems, 2010
2009
Tech. Sci. Informatiques, 2009
Int. J. Softw. Tools Technol. Transf., 2009
SWAPT - Semantic Workflow Architecture for Petroleum Techniques.
Proceedings of the WEBIST 2009, 2009
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009
Semantic exploitation of persistent metadata in engineering models: application to geological models.
Proceedings of the Third IEEE International Conference on Research Challenges in Information Science, 2009
Proceedings of the MEDES '09: International ACM Conference on Management of Emergent Digital EcoSystems, 2009
Proceedings of the IEEE International Conference on Web Services, 2009
An Extension of Ontology based Databases to Handle Preferences.
Proceedings of the ICEIS 2009, 2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the First International Conference on Advances in Databases, 2009
Proceedings of the Dataspace: The Final Frontier, 2009
2008
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., 2008
Ontology-Based Model Annotation of Heterogeneous Geological Representations.
Proceedings of the WEBIST 2008, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the First International Workshop on Semantic Metadata Management and Applications, 2008
Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach.
Proceedings of the Software Architecture, Second European Conference, 2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
Proceedings of the 1st International ICST Conference on Ambient Media and Systems, 2008
2007
Exploitation of Ontology Languages for Both Persistence and Reasoning Purposes - Mapping PLIB, OWL and Flight Ontology Models.
Proceedings of the WEBIST 2007, 2007
Une approche langage pour la gestion de donnèes dans les systèmes de méta-modélisation.
Proceedings of the Actes du XXVème Congrès INFORSID, 2007
Proceedings of the IEEE International Conference on Pervasive Services, 2007
Proceedings of the IEEE International Conference on Pervasive Services, 2007
Proceedings of the Human-Computer Interaction. Interaction Design and Usability, 2007
Proceedings of the Advances in Databases: Concepts, 2007
Proceedings of the Advances in Databases and Information Systems, 2007
2006
Tech. Sci. Informatiques, 2006
Formal and experimental validation approaches in HCI systems design based on a shared event B model.
Int. J. Softw. Tools Technol. Transf., 2006
Domain Ontologies: A Database-Oriented Analysis.
Proceedings of the WEBIST 2006, 2006
Querying Ontology Based Databases - The OntoQL Proposal.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language.
Proceedings of the Leveraging Applications of Formal Methods, 2006
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve.
Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, 2006
2005
PLIB Ontology: A Mature Solution for Products Characterization in B2B Electronic Commerce.
Int. J. IT Stand. Stand. Res., 2005
Ingénierie des Systèmes d Inf., 2005
2004
A framework for heterogeneous formal modeling and compositional verification of avionics systems.
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004
Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation.
Proceedings of the Human Error, 2004
Proceedings of the Building the Information Society, 2004
Proceedings of the Building the Information Society, 2004
An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Databases.
Proceedings of the Database and Expert Systems Applications, 15th International Conference, 2004
Base de données à base ontologique: le modèle OntoDB.
Proceedings of the 20èmes Journées Bases de Données Avancées, 2004
2003
Formal Validation of HCI User Tasks.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003
Proceedings of the 2003 Conference on Languages, 2003
Analyse de robustesse de systèmes avioniques.
Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003
Reducing parts diversity in product design: a data centered approach.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003
PLIB ontology for B2B electronic commerce.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003
An Ontology-Based Approach for Exchanging Data Between Heterogeneous Database Systems.
Proceedings of the ICEIS 2003, 2003
2001
Proceedings of the Engineering for Human-Computer Interaction, 2001
2000
An object oriented approach to represent behavioural knowledge in heterogeneous information systems.
Proceedings of the 6th International Conference on Object Oriented Information Systems, 2000
Proceedings of the Integrated Formal Methods, Second International Conference, 2000
1999
Sci. Comput. Program., 1999
1998
Using the B Formal Approach for Incremental Specification Design of Interactiv Systems.
Proceedings of the Engineering for Human-Computer Interaction, 1998
A Uniform Approach for Specification and Design of Interactive Systems: the B Method.
Proceedings of the Design, 1998
1997
A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997
1995
Formal Transformational Program Developments Directed by Operational Properties Evaluations.
Int. J. Softw. Eng. Knowl. Eng., 1995
Formal Specification and Metaprogramming in the EXPRESS Language.
Proceedings of the SEKE'95, 1995
1993
Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs.
Proceedings of the SEKE'93, 1993
Proceedings of the 7th International Workshop on Software Specification and Design, 1993
1992
Proceedings of the SEKE'92, 1992
An Application of Abstract Interpretation to Floating Point Arithmetic.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992
1991
Non Functional Properties Can Guide Program Developments.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract).
Proceedings of the Logic Program Synthesis and Transformation, 1991