Stop the war!Остановите войну!
for scientists:
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
- 2023
[j42]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)- [j41]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) - [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 - 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]