default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYamine Aït-Ameur
Yamine Aït Ameur
Person information
- affiliation: University of Toulouse, IRIT, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j46]Peter Rivière
, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont:
Extending the EB4EB framework with parameterised events. Sci. Comput. Program. 243: 103279 (2025)- [e10]Guangdong Bai, Fuyuki Ishikawa, Yamine Aït-Ameur, George A. Papadopoulos:
Engineering of Complex Computer Systems - 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings. Lecture Notes in Computer Science 14784, Springer 2025, ISBN 978-3-031-66455-7 [contents] - 2024
- [j45]Yamine Aït-Ameur, Florin Craciun:
Introduction to the TASE 2022 Special issue. Sci. Comput. Program. 234: 103092 (2024) - [j44]Peter Rivière, Neeraj Kumar Singh, Yamine Aït-Ameur:
Reflexive Event-B: Semantics and Correctness the EB4EB Framework. IEEE Trans. Reliab. 73(2): 835-850 (2024) - [c129]Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur:
A Complete Fragment of LTL(EB). FoIKS 2024: 237-255 - [c128]Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont:
On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. ICFEM 2024: 314-331 - [c127]Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur, Marc Pantel:
Generating Simulink Models from Hybridised Event-B Models. SFPVV 2024: 189-207 - [i3]Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur:
A Complete Fragment of LTL(EB). CoRR abs/2401.16838 (2024) - 2023
- [j43]Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis:
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Aspects Comput. 35(1): 3:1 (2023) - [j42]Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe A. Palanque:
Formal domain-driven system development in Event-B: Application to interactive critical systems. J. Syst. Archit. 135: 102798 (2023) - [j41]Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel:
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. 35(7) (2023) - [c126]Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont:
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NFM 2023: 312-331 - [c125]Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont:
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. ABZ 2023: 193-211 - [e9]Yamine Aït-Ameur, Ferhat Khendek, Dominique Méry:
27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023. IEEE 2023, ISBN 979-8-3503-4004-4 [contents] - 2022
- [j40]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. Sci. Comput. Program. 216: 102765 (2022) - [c124]Ismaïl Mendil, Peter Riviere, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. APSEC 2022: 129-138 - [c123]Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur:
EB4EB: A Framework for Reflexive Event-B. ICECCS 2022: 71-80 - [c122]Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh:
Empowering the Event-B Method Using External Theories. IFM 2022: 18-35 - [c121]Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis:
Reachability Analysis and Simulation for Hybridised Event-B Models. IFM 2022: 109-128 - [e8]Yamine Aït Ameur, Florin Craciun:
Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings. Lecture Notes in Computer Science 13299, Springer 2022, ISBN 978-3-031-10362-9 [contents] - 2021
- [j39]Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky:
A refinement-based development of a distributed signalling system. Formal Aspects Comput. 33(6): 1009-1036 (2021) - [j38]Yamine Aït Ameur, Judy Bowen, José Creissac Campos, Philippe A. Palanque, Benjamin Weyers:
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Interact. Comput. 33(1): 1-2 (2021) - [j37]Neeraj Kumar Singh, Yamine Aït Ameur, Romain Geniet, Dominique Méry, Philippe A. Palanque:
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Interact. Comput. 33(1): 92-114 (2021) - [j36]Yamine Aït Ameur, Guillaume Babin, Marc Pantel:
An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation. Serv. Oriented Comput. Appl. 15(3): 205-230 (2021) - [j35]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 Trans. Embed. Comput. Syst. 20(4): 35:1-35:37 (2021) - [c120]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Event-B Refinement for Continuous Behaviours Approximation. ATVA 2021: 320-336 - [c119]Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh:
Towards Leveraging Domain Knowledge in State-Based Formal Methods. Logic, Computation and Rigorous Methods 2021: 1-13 - [c118]Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Standard Conformance-by-Construction with Event-B. FMICS 2021: 126-146 - [c117]Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub:
Realisability of Control-State Choreographies. MEDI 2021: 87-100 - [c116]Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA 2021: 40-58 - 2020
- [j34]Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Julien Ordioni, Abderrahmane Feliachi:
Handling B models in the PERF integrated verification framework: Formalised and certified embedding. Sci. Comput. Program. 196: 102477 (2020) - [j33]Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri:
Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks. J. Softw. Evol. Process. 32(2) (2020) - [j32]Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur:
Incremental correct-by-construction of distributed systems. J. Comput. Lang. 57: 100942 (2020) - [c115]Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque:
An Integrated Framework for the Formal Analysis of Critical Interactive Systems. APSEC 2020: 139-148 - [c114]Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe:
Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. ABZ 2020: 155-168 - [c113]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. ABZ 2020: 169-185 - [c112]Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky:
Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ 2020: 203-219 - [c111]Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub:
Realisability of Choreographies. FoIKS 2020: 263-280 - [c110]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. ICFEM 2020: 251-267 - [c109]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. IFM 2020: 82-102 - [i2]Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub:
Realisability of Control-State Choreographies. CoRR abs/2009.03623 (2020)
2010 – 2019
- 2019
- [c108]Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel:
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS 2019: 21-39 - [c107]Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky:
A Refinement Based Method for Developing Distributed Protocols. HASE 2019: 90-97 - [c106]Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky:
Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS 2019: 107-113 - [c105]Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Benoît Chausserie-Lapree, Béatrice Larzul:
Finding conservative schema evolutions by analysing API changes. SEKE 2019: 748-777 - [c104]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. TASE 2019: 9-16 - [c103]Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni:
Certified Embedding of B Models in an Integrated Verification Framework. TASE 2019: 168-175 - [e7]Yamine Aït Ameur, Shengchao Qin:
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Lecture Notes in Computer Science 11852, Springer 2019, ISBN 978-3-030-32408-7 [contents] - 2018
- [j31]Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Romain Kervarc, Benoit Chausserie-Lapree, Béatrice Larzul:
A scalable model based approach for data model evolution: Application to space missions data models. Comput. Lang. Syst. Struct. 54: 358-385 (2018) - [j30]Abdelkrim Chebieb, Yamine Aït Ameur:
A formal model for plastic human computer interfaces. Frontiers Comput. Sci. 12(2): 351-375 (2018) - [c102]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. ABZ 2018: 155-170 - [c101]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:
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ 2018: 425-430 - [c100]Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry:
Formal Ontology Driven Model Refactoring. ICECCS 2018: 136-145 - [c99]Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor:
Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. ICECCS 2018: 209-212 - [c98]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 Workshops 2018: 153-158 - [c97]Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor:
Handling Reparation in Incremental Construction of Realizable Conversation Protocols. MEDI Workshops 2018: 159-166 - [c96]Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor:
Incremental Construction of Realizable Choreographies. NFM 2018: 1-19 - 2017
- [j29]Kahina Hacid, Yamine Aït Ameur:
Handling Domain Knowledge in Design and Analysis of Engineering Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74 (2017) - [j28]Ladjel Bellatreche, Yamine Aït Ameur, George Angelos Papadopoulos:
Models and data engineering. Future Gener. Comput. Syst. 68: 442-444 (2017) - [j27]Ladjel Bellatreche, Yamine Aït Ameur, George Angelos Papadopoulos:
Models and data engineering. Future Gener. Comput. Syst. 70: 1-3 (2017) - [j26]Yamine Aït Ameur, Mickaël Baron, Ladjel Bellatreche, Stéphane Jean, Eric Sardet:
Ontologies in engineering: the OntoDB/OntoQL platform. Soft Comput. 21(2): 369-389 (2017) - [j25]Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe:
The landing gear case study: challenges and experiments. Int. J. Softw. Tools Technol. Transf. 19(2): 133-140 (2017) - [j24]Farah Zoubeyr, Yamine Aït Ameur, Meriem Ouederni, Abdelkamel Tari:
A correct-by-construction model for asynchronously communicating systems. Int. J. Softw. Tools Technol. Transf. 19(4): 465-485 (2017) - [j23]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 Trans. Serv. Comput. 10(1): 107-120 (2017) - [c95]Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yamine Aït Ameur:
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems. INTERACT Workshops 2017: 91-105 - [c94]Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Benoît Chausserie-Lapree, Béatrice Larzul:
Automating the Evolution of Data Models for Space Missions. A Model-Based Approach. MEDI 2017: 340-354 - [c93]Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït Ameur, Julien Ordioni:
B-PERFect - Applying the PERF Approach to B Based System Developments. RSSRail 2017: 160-172 - [c92]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 2017: 1-8 - [c91]Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd:
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. IMPEX/FM&MDD 2017: 24-33 - 2016
- [j22]Yamine Aït Ameur, Dominique Méry:
Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121: 100-127 (2016) - [j21]Yamine Aït Ameur, Klaus-Dieter Schewe:
Introduction to the ABZ 2014 special issue. Sci. Comput. Program. 131: 1-2 (2016) - [c90]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: 290-296 - [c89]Guillaume Babin, Yamine Aït Ameur, Marc Pantel:
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach. HASE 2016: 31-38 - [c88]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. ICECCS 2016: 43-52 - [c87]Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel:
A System Substitution Mechanism for Hybrid Systems in Event-B. ICFEM 2016: 106-121 - [c86]Kahina Hacid, Yamine Aït Ameur:
Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. ISoLA (1) 2016: 340-357 - [c85]Kahina Hacid, Yamine Aït Ameur:
Annotation of Engineering Models by References to Domain Ontologies. MEDI 2016: 234-244 - [c84]Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït Ameur:
Correct-by-Construction Evolution of Realisable Conversation Protocols. MEDI 2016: 260-273 - [c83]Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur:
Towards correct Evolution of Conversation Protocols. VECoS 2016: 193-201 - [e6]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, Springer 2016, ISBN 978-3-319-45546-4 [contents] - [i1]Yamine Aït Ameur, Shin Nakajima, Dominique Méry:
Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16). NII Shonan Meet. Rep. 2016 (2016) - 2015
- [j20]Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer:
A formal model for output multimodal HCI - An Event-B formalization. Computing 97(7): 713-740 (2015) - [j19]Stéphane Jean, Yamine Aït Ameur, Guy Pierra:
OntoQL: An Alternative to Semantic Web Query Languages. Int. J. Semantic Comput. 9(1): 105- (2015) - [j18]Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer:
Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation. Tech. Sci. Informatiques 34(5): 523-548 (2015) - [c82]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. SCC 2015: 98-105 - [c81]Guillaume Babin, Yamine Aït Ameur, Shin Nakajima, Marc Pantel:
Refinement and Proof Based Development of Systems Characterized by Continuous Functions. SETTA 2015: 55-70 - [c80]Abdelkrim Chebieb, Yamine Aït Ameur:
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies. TASE 2015: 79-86 - [p2]Idir Aït-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 2015: 1-27 - 2014
- [j17]Ladjel Bellatreche, Yamine Aït Ameur, Anne Monceaux, Eric Sardet:
Editorial. Comput. Ind. 65(9): 1215-1217 (2014) - [c79]Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer:
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. AAAI Spring Symposia 2014 - [c78]Selma Khouri, Ladjel Bellatreche, Stéphane Jean, Yamine Aït Ameur:
Requirements Driven Data Warehouse Design: We Can Go Further. ISoLA (2) 2014: 588-603 - [c77]Yamine Aït Ameur, J. Paul Gibson, Dominique Méry:
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. ISoLA (2) 2014: 604-618 - [e5]Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe:
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. Communications in Computer and Information Science 433, Springer 2014, ISBN 978-3-319-07511-2 [contents] - [e4]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. Lecture Notes in Computer Science 8477, Springer 2014, ISBN 978-3-662-43651-6 [contents] - [e3]Yamine Aït Ameur, Ladjel Bellatreche, George A. Papadopoulos:
Model and Data Engineering - 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings. Lecture Notes in Computer Science 8748, Springer 2014, ISBN 978-3-319-11586-3 [contents] - 2013
- [j16]Idir Aït-Sadoune, Yamine Aït Ameur:
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. Trans. Large Scale Data Knowl. Centered Syst. 10: 1-33 (2013) - [c76]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:
New Trends in Databases and Information Systems: Contributions from ADBIS 2013. ADBIS (2) 2013: 1-13 - [c75]Youness Bazhar, Yassine Ouhammou, Yamine Aït Ameur, Emmanuel Grolleau, Stéphane Jean:
Persistent Meta-Modeling Systems as Heterogeneous Model Repositories. MEDI 2013: 25-37 - [c74]Chedlia Chakroun, Ladjel Bellatreche, Yamine Aït Ameur, Nabila Berkani, Stéphane Jean:
Be careful when designing semantic databases: Data and concepts redundancy. RCIS 2013: 1-12 - [c73]Youness Bazhar, Yamine Aït Ameur, Stéphane Jean:
BeMoRe: a Repository for Handling Models Behaviors. SEKE 2013: 262-267 - [c72]Chedlia Chakroun, Ladjel Bellatreche, Yamine Aït Ameur:
It is Time to propose a Complete Methodology for Designing Semantic Databases. WEBIST 2013: 160-164 - [p1]Yamine Aït Ameur, Abdelkrim Chebieb:
Checking System Substitutability: An Application to Interactive Systems. Modeling Approaches and Algorithms for Advanced Computer Applications 2013: 3 - 2012
- [j15]Abdelghani Bakhtouchi, Ladjel Bellatreche, Stéphane Jean, Yamine Aït Ameur:
MIRSOFT: mediator for integrating and reconciling sources using ontological functional dependencies. Int. J. Web Grid Serv. 8(1): 72-110 (2012) - [j14]Yamine Aït Ameur:
Éditorial. Tech. Sci. Informatiques 31(6): 711-712 (2012) - [c71]Yamine Aït Ameur, Idir Aït-Sadoune:
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. DEXA (1) 2012: 9 - [c70]Henry Valéry Téguiak, Yamine Aït Ameur, Stéphane Jean, Éric Sardet:
MQL: A Mapping Management Language for Model-based Databases. ICEIS (1) 2012: 145-150 - [c69]Yamine Aït Ameur, Dominique Méry:
Handling Heterogeneity in Formal Developments of Hardware and Software Systems. ISoLA (2) 2012: 327-328 - [c68]Sébastien Maîtrehenry, Sylvain Metge, Yamine Aït Ameur, Pierre Bieber:
An MDE-Based Synthesis of Aircraft Safety Models. MEDI 2012: 43-54 - [c67]Youness Bazhar, Chedlia Chakroun, Yamine Aït Ameur, Ladjel Bellatreche, Stéphane Jean:
Extending Ontology-Based Databases with Behavioral Semantics. OTM Conferences (2) 2012: 879-896 - [c66]Abdelghani Bakhtouchi, Ladjel Bellatreche, Stéphane Jean, Yamine Aït Ameur:
Ontologies as a solution for simultaneously integrating and reconciliating data sources. RCIS 2012: 1-12 - [c65]Youness Bazhar, Yamine Aït Ameur, Stéphane Jean, Mickaël Baron:
A Flexible Support of Non Canonical Concepts in Ontology-based Databases. WEBIST 2012: 393-398 - 2011
- [j13]Ladjel Bellatreche, Yamine Aït Ameur, Chedlia Chakroun:
A design methodology of ontology based database applications. Log. J. IGPL 19(5): 648-665 (2011) - [j12]Nabil Belaid, Stéphane Jean, Yamine Aït Ameur, Jean-François Rainaud:
An Ontology and Indexation based Management of Services and Workflows Application to Geological Modeling. Int. J. Electron. Bus. Manag. 9(4): 296-309 (2011) - [c64]Abdelghani Bakhtouchi, Ladjel Bellatreche, Yamine Aït Ameur:
Ontologies and Functional Dependencies for Data Integration and Reconciliation. ER Workshops 2011: 98-107 - [c63]Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur:
Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. MEDI 2011: 200-213 - [c62]Chedlia Chakroun, Ladjel Bellatreche, Yamine Aït Ameur:
The Role of Class Dependencies in Designing Ontology-Based Databases. OTM Workshops 2011: 444-453 - 2010
- [j11]Ladjel Bellatreche, Yamine Aït Ameur, Guy Pierra:
Special issue on contribution of ontologies in designing advanced information systems. Data Knowl. Eng. 69(11): 1081-1083 (2010) - [j10]Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels:
Toward a wider use of formal methods for aerospace systems design and verification. Int. J. Softw. Tools Technol. Transf. 12(1): 1-7 (2010) - [c61]Stéphane Jean, Yamine Aït Ameur, Guy Pierra:
A Language for Ontology-Based Metamodeling Systems. ADBIS 2010: 247-261 - [c60]Idir Aït-Sadoune, Yamine Aït Ameur:
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. ASM 2010: 405-406 - [c59]Henry Valéry Téguiak, Yamine Aït Ameur, Stéphane Jean, Eric Sardet:
Incremental Design of Ontologies - A Model Transformation-based Approach. KEOD 2010: 94-103 - [c58]Nabil Belaid, Yamine Aït Ameur, Stéphane Jean, Jean-François Rainaud:
Toward a Semantic Management of Geological Modeling Workflows. KEOD 2010: 282-287 - [c57]David Simon Zayas, Anne Monceaux, Yamine Aït Ameur:
Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering. ICECCS 2010: 355-360 - [c56]Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels:
Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. ISoLA (1) 2010: 58-59 - [c55]Idir Aït-Sadoune, Yamine Aït Ameur:
Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. SERA (selected papers) 2010: 51-68
2000 – 2009
- 2009
- [j9]Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota:
Encoding a process algebra using the Event B method. Int. J. Softw. Tools Technol. Transf. 11(3): 239-253 (2009) - [j8]Chimène Fankam, Ladjel Bellatreche, Hondjack Dehainsala, Yamine Aït Ameur, Guy Pierra:
SISRO, conception de bases de données à partir d'ontologies de domaine. Tech. Sci. Informatiques 28(10): 1233-1261 (2009) - [c54]Laura S. Mastella, Yamine Aït Ameur, Stéphane Jean, Michel Perrin, Jean-François Rainaud:
Semantic Exploitation of Engineering Models: An Application to Oilfield Models. BNCOD 2009: 203-207 - [c53]Chimène Fankam, Stéphane Jean, Guy Pierra, Ladjel Bellatreche, Yamine Aït Ameur:
Towards Connecting Database Applications to Ontologies. DBKDA 2009: 131-137 - [c52]Idir Aït-Sadoune, Yamine Aït Ameur:
A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. ICECCS 2009: 1-10 - [c51]Dilek Tapucu, Yamine Aït Ameur, Stéphane Jean, Murat Osman Ünalir:
An Extension of Ontology based Databases to Handle Preferences. ICEIS (1) 2009: 208-213 - [c50]Nabil Belaid, Yamine Aït Ameur, Jean-François Rainaud:
A Semantic Repository for Geological Modeling Workflows. ICWS 2009: 1030-1031 - [c49]Nabil Belaid, Yamine Aït Ameur, Jean-François Rainaud:
A semantic handling of geological modeling workflows. MEDES 2009: 83-90 - [c48]Laura S. Mastella, Yamine Aït Ameur, Stéphane Jean, Michel Perrin, Jean-François Rainaud:
Semantic exploitation of persistent metadata in engineering models: application to geological models. RCIS 2009: 129-138 - [c47]Yamine Aït Ameur:
A Semantic Repository for Adaptive Services. SERVICES I 2009: 211-218 - [c46]Nabil Belaid, Yamine Aït Ameur, Jean-François Rainaud:
SWAPT - Semantic Workflow Architecture for Petroleum Techniques. WEBIST 2009: 101-104 - 2008
- [j7]Yamine Aït Ameur, Idir Aït-Sadoune, Mickaël Baron, Jean-Marc Mota:
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. 13(2): 127-154 (2008) - [c45]Nadjet Kamel, Yamine Aït Ameur, Sid-Ahmed Selouani, Habib Hamam:
A formal model to handle the adaptability of multimodal user interfaces. AMBI-SYS 2008: 3 - [c44]Idir Aït-Sadoune, Yamine Aït Ameur:
Verification and Validation of Web Service Composition Using Event B Method. ABZ 2008: 339-340 - [c43]Chimène Fankam, Stéphane Jean, Ladjel Bellatreche, Yamine Aït Ameur:
Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach. ECSA 2008: 318-321 - [c42]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:
Semantic Hubs for Geological Projects. SeMMA 2008: 3-17 - [c41]Idir Aït-Sadoune, Yamine Aït Ameur:
Animating Event B Models by Formal Data Models. ISoLA 2008: 37-55 - [c40]Laura S. Mastella, Yamine Aït Ameur, Michel Perrin, Jean-François Rainaud:
Ontology-Based Model Annotation of Heterogeneous Geological Representations. WEBIST (2) 2008: 290-293 - [e2]Yamine Aït Ameur:
2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 3-7 Mars 2008, Montréal, Québec, Canada. Revue des Nouvelles Technologies de l'Information RNTI-L-2, Cépaduès-Éditions 2008 [contents] - 2007
- [c39]Stéphane Jean, Yamine Aït Ameur, Guy Pierra:
An Object-Oriented Based Algebra for Ontologies and Their Instances. ADBIS 2007: 141-156 - [c38]Stéphane Jean, Hondjack Dehainsala, Dung Nguyen Xuan, Guy Pierra, Ladjel Bellatreche, Yamine Aït Ameur:
OntoDB: It Is Time to Embed Your Domain Ontology in Your Database. DASFAA 2007: 1119-1122 - [c37]Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur:
Formal Validation of Java/Swing User Interfaces with the Event B Method. HCI (1) 2007: 1062-1071 - [c36]Pascal Cherrier, Holger Mügge, Andres Fortier, Yamine Aït Ameur, Robert Hirschfeld:
Software Engineering of Pervasive Services. ICPS 2007: 283 - [c35]Nadjet Kamel, Yamine Aït Ameur:
A Formal Model for CARE Usability Properties Verification in Multimodal HCI. ICPS 2007: 341-348 - [c34]Stéphane Jean, Yamine Aït Ameur, Guy Pierra:
Une approche langage pour la gestion de donnèes dans les systèmes de méta-modélisation. INFORSID 2007: 171-188 - [c33]Chimène Fankam, Yamine Aït Ameur, Guy Pierra:
Exploitation of Ontology Languages for Both Persistence and Reasoning Purposes - Mapping PLIB, OWL and Flight Ontology Models. WEBIST (2) 2007: 254-262 - [e1]Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels:
ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007. Revue des Nouvelles Technologies de l'Information RNTI-SM-1, Cépaduès-Éditions 2007, ISBN 978-2-85428-814-8 [contents] - 2006
- [j6]Yamine Aït Ameur, Mickaël Baron:
Formal and experimental validation approaches in HCI systems design based on a shared event B model. Int. J. Softw. Tools Technol. Transf. 8(6): 547-563 (2006) - [j5]Yamine Aït Ameur, Remi Delmas, Virginie Wiels:
Un cadre formel pour la spécification multivue de systèmes avioniques. Tech. Sci. Informatiques 25(1): 43-72 (2006) - [c32]Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron:
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. IHM 2006: 123-130 - [c31]Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels:
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. ISoLA 2006: 36-44 - [c30]Stéphane Jean, Yamine Aït Ameur, Guy Pierra:
Querying Ontology Based Database Using OntoQL (An Ontology Query Language). OTM Conferences (1) 2006: 704-721 - [c29]Stéphane Jean, Yamine Aït Ameur, Guy Pierra:
Querying Ontology Based Databases - The OntoQL Proposal. SEKE 2006: 166-171 - [c28]Stéphane Jean, Guy Pierra, Yamine Aït Ameur:
Domain Ontologies: A Database-Oriented Analysis. WEBIST (Selected Papers) 2006: 238-254 - [c27]Stéphane Jean, Guy Pierra, Yamine Aït Ameur:
Domain Ontologies: A Database-Oriented Analysis. WEBIST (1) 2006: 341-351 - 2005
- [j4]Guy Pierra, Hondjack Dehainsala, Yamine Aït Ameur, Ladjel Bellatreche:
Bases de données à base ontologique. Principe et mise en oeuvre. Ingénierie des Systèmes d Inf. 10(2): 91-115 (2005) - [j3]Youcef Aklouf, Guy Pierra, Yamine Aït Ameur, Habiba Drias:
PLIB Ontology: A Mature Solution for Products Characterization in B2B Electronic Commerce. Int. J. IT Stand. Stand. Res. 3(2): 66-81 (2005) - 2004
- [c26]Guy Pierra, Hondjack Dehainsala, Yamine Aït Ameur, Ladjel Bellatreche, Jérôme Chochon, Mourad El-Hadj Mimoune:
Base de données à base ontologique: le modèle OntoDB. BDA 2004: 263-286 - [c25]Ladjel Bellatreche, Guy Pierra, Dung Nguyen Xuan, Hondjack Dehainsala, Yamine Aït Ameur:
An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Databases. DEXA 2004: 475-485 - [c24]Yamine Aït Ameur:
Representation of procedural knowledge and its use to compute a form of subsumption. IFIP Congress Topical Sessions 2004: 31-36 - [c23]Yamine Aït Ameur, Nadjet Kamel:
A generic formal specification of fusion of modalities in a multimodal HCI. IFIP Congress Topical Sessions 2004: 415-420 - [c22]Yamine Aït Ameur, Benoit Breholée, Patrick Girard, Laurent Guittet, Francis Jambon:
Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation. Human Error, Safety and Systems Development 2004: 61-76 - [c21]Yamine Aït Ameur, Mickaël Baron:
Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique. ISoLA (Preliminary proceedings) 2004: 74-80 - [c20]Yamine Aït Ameur, Remi Delmas, Virginie Wiels:
A framework for heterogeneous formal modeling and compositional verification of avionics systems. MEMOCODE 2004: 223-232 - 2003
- [c19]Mourad El-Hadj Mimoune, Guy Pierra, Yamine Aït Ameur:
An Ontology-Based Approach for Exchanging Data Between Heterogeneous Database Systems. ICEIS (1) 2003: 512-524 - [c18]Youcef Aklouf, Guy Pierra, Yamine Aït Ameur, Habiba Drias:
PLIB ontology for B2B electronic commerce. CE 2003: 269-278 - [c17]Jérôme Chochon, Yamine Aït Ameur, Guy Pierra, Jean-Claude Potier:
Reducing parts diversity in product design: a data centered approach. CE 2003: 311-318 - [c16]Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels:
Analyse de robustesse de systèmes avioniques. JFLA 2003: 111-124 - [c15]Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels:
Robustness analysis of avionics embedded systems. LCTES 2003: 123-132 - [c14]Yamine Aït Ameur, Mickaël Baron, Patrick Girard:
Formal Validation of HCI User Tasks. Software Engineering Research and Practice 2003: 732-738 - 2001
- [c13]Francis Jambon, Patrick Girard, Yamine Aït Ameur:
Interactive System Safety and Usability Enforced with the Development Process. EHCI 2001: 39-56 - 2000
- [c12]Yamine Aït Ameur:
Cooperation of Formal Methods in an Engineering Based Software Development Process. IFM 2000: 136-155 - [c11]Yamine Aït Ameur, Eric Sardet:
An object oriented approach to represent behavioural knowledge in heterogeneous information systems. OOIS 2000: 315-335
1990 – 1999
- 1999
- [j2]Yamine Aït Ameur:
Refinement of Rational End-Points Real Numbers by Means of Floating-Point Numbers. Sci. Comput. Program. 33(2): 133-162 (1999) - 1998
- [c10]Yamine Aït Ameur, Patrick Girard, Francis Jambon:
A Uniform Approach for Specification and Design of Interactive Systems: the B Method. DSV-IS (2) 1998: 51-67 - [c9]Yamine Aït Ameur, Patrick Girard, Francis Jambon:
Using the B Formal Approach for Incremental Specification Design of Interactiv Systems. EHCI 1998: 91-109 - 1997
- [c8]Yamine Aït Ameur:
A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. ASE 1997: 134-142 - 1995
- [j1]Yamine Aït Ameur:
Formal Transformational Program Developments Directed by Operational Properties Evaluations. Int. J. Softw. Eng. Knowl. Eng. 5(2): 271-297 (1995) - [c7]Yamine Aït Ameur, Frederic Besnard, Patrick Girard, Guy Pierra, Jean-Claude Potier:
Formal Specification and Metaprogramming in the EXPRESS Language. SEKE 1995: 181-188 - 1993
- [c6]Yamine Aït Ameur:
Predicting Operational Behaviour of Abstract Programs During Formal Developments. IWSSD 1993: 172-181 - [c5]Yamine Aït Ameur:
Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs. SEKE 1993: 703-710 - 1992
- [c4]Yamine Aït Ameur, Patrice Cros, Juan José Falcón, Alicia Gómez:
An Application of Abstract Interpretation to Floating Point Arithmetic. WSA 1992: 205-212 - [c3]Yamine Aït Ameur:
Formal Program Developments Directed by Operational Properties Evaluation. SEKE 1992: 1-8 - 1991
- [c2]Yamine Aït Ameur:
Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract). LOPSTR 1991: 297-299 - [c1]Yamine Aït Ameur:
Non Functional Properties Can Guide Program Developments. JTASPEFT/WSA 1991: 189-196
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-09 21:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
