


Остановите войну!
for scientists:


default search action
Yamine 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]