Yamine AIT-AMEUR, Ladjel BELLATRECHE, George Angelos Papadopoulos, Model and Data Engineering - 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings, Model and Data Engineering: Fourth International Conference (MEDI 2014), 8748, Lecture Notes in Computer Science, 2014

Yamine AIT-AMEUR, Mickael BARON, Nabil BELAID, Stéphane JEAN, Laura Mastella, Ontology Integration and Management within Data Intensive Engineering Systems, In Shared Earth Modeling: Knowledge Driven Solutions for Building and Managing Subsurface 3D Geological models (Shared Earth Modeling), chapt. 13, 2013, pp. 281-305

Linda MOHAND OUSSAID, Nadjet KAMEL, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Mohamed Ahmed-Nacer, A formal framework for design and validation of multimodal interactive systems in transport domain, Human–computer interaction in transport (Human–computer interaction in transport), edited by Christophe Kolski, edited by ISTE Ltd and John Wiley & Sons, Inc, 2011, pp. 93-108

Abdelghani Bakhtouchi, Chedlia CHAKROUN, Ladjel BELLATRECHE, Yamine AIT-AMEUR, Mediated Data Integration Systems using Functional Dependencies Embedded in Ontologies, Mediated Data Integration Systems using Functional Dependencies Embedded in Ontologies, 2011

Linda MOHAND OUSSAID, Nadjet KAMEL, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Mohamed Ahmed-Nacer, Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport, Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport, Paris, edited by Hermes Science Publications, 2010, pp. 113-149

Ladjel BELLATRECHE, Yamine AIT-AMEUR, Guy PIERRA, Guest editorial: Special issue on Contribution of Ontologies in Advanced Information Systems, Guest editorial: Special issue on Contribution of Ontologies in Advanced Information Systems, 2010

Dilek TAPUCU, Gayo DIALLO, Yamine AIT-AMEUR, Murat Osman Ünalir, Ontology-Based Database Approach for Handling Preferences , Ontology-Based Database Approach for Handling Preferences , edited by IGI Global, 2009

Yamine AIT-AMEUR, Gerry Radack, ISO/TS 29002-31 — Industrial automation systems and integration — Exchange of characteristic data — Part 31: Query for characteristic data, ISO/TS 29002-31 — Industrial automation systems and integration — Exchange of characteristic data — Part 31: Query for characteristic data, 2009

Stéphane JEAN, Yamine AIT-AMEUR, Guy PIERRA, Ontology Query Languages for Ontology-Based Databases: a Survey, Ontology Query Languages for Ontology-Based Databases: a Survey, 2009

Yamine AIT-AMEUR, 2e Conférence Francophone sur les Architectures Logicielles - CAL 2008, 2e Conférence Francophone sur les Architectures Logicielles - CAL 2008, Mars, 2008

Stéphane JEAN, Guy PIERRA, Yamine AIT-AMEUR, Domain Ontologies: a Database-Oriented Analysis, Domain Ontologies: a Database-Oriented Analysis, 1, Lecture Notes in Business Information Processing, August, 2007

Yamine AIT-AMEUR, Frédéric BONIOL, Virginie WIELS, ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, 12-14 December, 2007

Yamine AIT-AMEUR, Guy PIERRA, Industrial Automation Systems and Integration, Parts Library, Logical model of supplier library with aggregate values and explicit content, ISO 13584-25, Industrial Automation Systems and Integration, Parts Library, Logical model of supplier library with aggregate values and explicit content, ISO 13584-25, Genève, 2004

Guy PIERRA, Yamine AIT-AMEUR, Eric SARDET, Industrial Automation Systems and Integration, Parts Library, Logical model of supplier library, ISO 13584-24, Industrial Automation Systems and Integration, Parts Library, Logical model of supplier library, ISO 13584-24, Genève, 2003

Francis JAMBON, Philippe Brun, Yamine AIT-AMEUR, Spécifications des systèmes interactifs, Spécifications des systèmes interactifs, chapt. 6, Interaction homme-machine pour les S.I., edited by Hermès Science, 2001, pp. 175-206

Yamine AIT-AMEUR, Cooperation of Formal Methods in an Engineering Based Software Development Process, Cooperation of Formal Methods in an Engineering Based Software Development Process, 2000, pp. 136-155

Yamine AIT-AMEUR, Frédéric Besnard, Patrick GIRARD, Guy PIERRA, Jean-Claude POTIER, Specification and Metaprogramming in the EXPRESS Language, Specification and Metaprogramming in the EXPRESS Language, Rockville USA, 1995

Stéphane JEAN, Yamine AIT-AMEUR, Guy PIERRA, OntoQL: an Alternative to Semantic Web Query Languages, International Journal of Semantic Computing (IJSC), 2015, pp. 105-137

Yamine AIT-AMEUR, Mickael BARON, Ladjel BELLATRECHE, Stéphane JEAN, Eric SARDET, Ontologies in engineering: The OntoDB/OntoQL platform, Soft Computing (SC), 2015

Abdelghani Bakhtouchi, Ladjel BELLATRECHE, Stéphane JEAN, Yamine AIT-AMEUR, MIRSOFT: Mediator for Integrating and Reconciling Sources using Ontological FuncTional Dependencies, International Journal Web and Grid Services (Factor Impact = 0.978) (IJWGS 2012), vol. 8, n. 1, 2012

Nabil BELAID, Stéphane JEAN, Yamine AIT-AMEUR, Jean-François Rainaud, An Ontology and Indexation Based Management of Services and Workflows: Application to Geological Modeling, International Journal of Electronic Business Management (IJEBM 2011), vol. 9, n. 4, 2011, pp. 296-309

Ladjel BELLATRECHE, Yamine AIT-AMEUR, Guy PIERRA, Contribution of ontologies in designing advanced information systems, Data & Knowledge Engineering (DKE) - Elsevier, vol. 69, n. 11, November, 2010, pp. 1-3

Ladjel BELLATRECHE, Yamine AIT-AMEUR, Chedlia CHAKROUN, A design methodology of ontology based database applications, Logic Journal of the IGPL - Oxford University Press, 2010

Yamine AIT-AMEUR, Mickael BARON, Nadjet KAMEL, Jean-Marc MOTA, Encoding a process algebra using the Event B method, International Journal on Software Tools for Technology Transfer (STTT 2009), vol. Volume 11, n. Number 3, 2009, pp. 239-253

Yamine AIT-AMEUR, Mickael BARON, Formal and experimental validation approaches in HCI systems design based on a shared event B model, International Journal on Software Tools for Technology Transfer (STTT 2006), vol. 8, n. 6, November, 2006, pp. 547-563

Youcef AKLOUF, Guy PIERRA, Yamine AIT-AMEUR, Habiba Drias, Cross usage of web services and PLIB ontologies to define a B2B exchange process of product catalogues , International Journal of Product LifeCycle Management (IJPLM 2006), vol. 1, n. 4, 2006, pp. 415-435

Youcef AKLOUF, Guy PIERRA, Yamine AIT-AMEUR, Habiba Drias, PLIB Ontology: A Mature Solution for Products Characterization in B2B Electronic Commerce, International Journal of IT Standards and Standardization Research, vol. 3, n. 2, 2005, pp. 66-81

Yamine AIT-AMEUR, Guy PIERRA, Spécification de modèles de données orientés objet dans le domaine technique : le langage EXPRESS, Revue d'Automatique et de Productique Appliquée (RAPA) (RAPA 1995), vol. 2-3, n. 8, 1995, pp. 241-246

Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux, Journal d'Interaction Personne-Système (JIPS 2010), vol. 1, n. 1, Septembre, 2010, pp. 1-30

Chimène FANKAM, Ladjel BELLATRECHE, Hondjack DEHAINSALA, Yamine AIT-AMEUR, Guy PIERRA, SISRO : conception de bases de données à partir d’ontologies de domaine , Technique et science informatiques (TSI) (TSI 2009), vol. 28, 2009

Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement, RSTI - ISI (Ingénierie des Systèmes d'Information) (ISI 2008), vol. 13 , n. 2, 2008, pp. 127-154

Guy PIERRA, Hondjack DEHAINSALA, Yamine AIT-AMEUR, Ladjel BELLATRECHE, Base de données à base ontologique : principe et mise en œuvre, Ingénierie des systèmes d'information (ISI 2005), 2005

Yamine AIT-AMEUR, Refinement of rational end-points by means of floating-point numbers, Science of Computer Programming (SCP 1999), vol. 33, 1999, pp. 132-163

Selma KHOURI, Ladjel BELLATRECHE, Stéphane JEAN, Yamine AIT-AMEUR, Requirements Driven Data Warehouse Design: We Can Go Further, Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications - 6th International Symposium,ISoLA 2014, Imperial, Corfu, Greece, (ISOLA 2014), 2014, pp. 588--603

Chedlia CHAKROUN, Ladjel BELLATRECHE, Yamine AIT-AMEUR, Nabila Berkani, Stéphane JEAN, Be Careful When Designing Semantic Databases: Data and Concepts Redundancy, The Seventh IEEE International Conference on Research Challenges in Information Science. (RCIS 2013), 2013

Youness BAZHAR, Yassine OUHAMMOU, Yamine AIT-AMEUR, Emmanuel GROLLEAU, Stéphane JEAN, Persistent Meta-Modeling Systems as Heterogeneous Model Repositories, International Conference on Model and Data Engineering (MEDI 2013), edited by Springer LNCS, 2013, pp. 25-37

Chedlia CHAKROUN, Ladjel BELLATRECHE, Yamine AIT-AMEUR, It is time to propose a complete methodology for designing semantic databases, 9th International Conference on Web Information Systems and Technologies (WEBIST 2013), 2013

Youness BAZHAR, Yamine AIT-AMEUR, Stéphane JEAN, BeMoRe: a Repository for Handling Models Behaviors, 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), 2013

Henry Valéry TEGUIAK, Yamine AIT-AMEUR, Stéphane JEAN, Eric SARDET, MQL: a mapping management language for model-based databases, 14th International Conference on Enterprise Information Systems (ICEIS 2012), Wroclaw, Poland, June, 2012

Sébastien MAITREHENRY, Sylvain Metge, Yamine AIT-AMEUR, Pierre Bieber, An MDE-Based Synthesis of Aircraft Safety Models, International Conference on Model & Data Engineering (MEDI 2012), edited by Springer LNCS, 2012, pp. 43-54

Henry Valéry TEGUIAK, Yamine AIT-AMEUR, Eric SARDET, Use of persistent meta-modeling systems to handle mappings for ontology design, MOPAS, Chamonix, France, 2012

Idir AIT-SADOUNE, Yamine AIT-AMEUR, Mickael BARON, Verification and validation of BPEL processes. A proof and animation based approach, Rodin User and Developer Workshop : Deploy Federated Event (Rodin User and Developer Workshop), 2012

Youness BAZHAR, Chedlia CHAKROUN, Yamine AIT-AMEUR, Ladjel BELLATRECHE, Stéphane JEAN, Extending Ontology-Based Databases with Behavioral Semantics, Ontologies, DataBases, and Applications of Semantics (ODBASE 2012), 2012, pp. 879-896

Youness BAZHAR, Yamine AIT-AMEUR, Stéphane JEAN, Mickael BARON, A Flexible Support of Non Canonical Concepts In Ontology-Based Databases, Proceedings of the 8th International Conference on Web Information Systems and Technologies (WEBIST), Porto, Portugal, April, 2012, pp. 393-398

Abdelghani Bakhtouchi, Ladjel BELLATRECHE, Stéphane JEAN, Yamine AIT-AMEUR, Ontologies as a Solution for Simultaneously Integrating and Reconciliating Data Sources, Proceedings of the 6th IEEE International Conference on Research Challenges in Information Science (RCIS), May, 2012, pp. 1-12

David SIMON ZAYAS, Anne Monceaux, Yamine AIT-AMEUR, Using knowledge and expressions to validate inter-model constraints, 18th Wolrd Congress IFAC (IFAC 2011), edited by IFAC, edited by IFAC, 2011

Linda MOHAND OUSSAID, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Modeling information fission in output multi-modal interactive systems using Event B, International Conference on Model & Data Engineering (MEDI 2011), edited by Springer LNCS, Obidos, Portugal, Sept, 2011

Sébastien MAITREHENRY, Sylvain Metge, Pierre Bieber, Yamine AIT-AMEUR, Towards Model-Based Functional Hazard Assessment at Aircraft Level, ESREL (ESREL 2011), edited by Springer Verlab, 2011

Chedlia CHAKROUN, Ladjel BELLATRECHE, Yamine AIT-AMEUR, The Role of Class Dependencies in Designing Ontology-based Databases, 7th International IFIP Workshop on Semantic Web & Web Semantics (SWWS'2011), Springer LNCS, October, 2011

David SIMON ZAYAS, Anne Monceaux, Yamine AIT-AMEUR, Knowledge based Characterization of Cross-Models Constraints to Check Design and Modeling Requirements, DASIA 2011, edited by DASIA, EUROSPACE, edited by DASIA, 2011

Idir AIT-SADOUNE, Yamine AIT-AMEUR, Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach, Software Engineering Research, Management and Applications (SERA 2010), vol. 296/2010, Studies in Computational Intelligence, edited by Springer Berlin / Heidelberg, Montreal, Canada, May, 2010, pp. 51-68

Idir AIT-SADOUNE, Yamine AIT-AMEUR, A Proof Based Approach for Formal Verification of Transactional BPEL Web Services, Abstract State Machines, Alloy, B and Z (ABZ'2010), vol. 5977/2010, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, Orford, Quebec, Canada, February, 2010, pp. 405-406

Yamine AIT-AMEUR, Vérification formelle de modèles de données et de processus, Ecole d’Eté Nouvelles Tendances en Informatique et Multimédia (NTIM), Mahdia, Tunisia, Juillet, 2010

Stéphane JEAN, Yamine AIT-AMEUR, Guy PIERRA, A Language for Ontology-Based Metamodeling Systems, 14th East-European on Advances In Databases and Information Systems (ADBIS 2010) (ADBIS 2010), LNCS 6295, edited by Springer, September, 2010, pp. 247-261

Henry Valéry TEGUIAK, Yamine AIT-AMEUR, Stéphane JEAN, Eric SARDET, Incremental design of ontologies: A model transformation-based approach, International Conference on Knowledge Engineering and Ontology Development (KEOD 2010), edited by Joaquim Filipe and Jan L.G. Dietz, 2010, pp. 94 - 103

David SIMON ZAYAS, Yamine AIT-AMEUR, Anne Monceaux, Knowledge Models to Reduce the Gap Between Heterogeneous Models, 15th IEEE International Conference on Engineering of Complex Computer Systems (ECCS 2010), edited by Radu Calinescu, Richard Paige, Marta Kwiatkowska, Oxford, United Kingdom, University of Oxford, edited by The IEEE Computer Society, March, 2010, pp. 355-360

Nabil BELAID, Yamine AIT-AMEUR, Stéphane JEAN, Jean-François Rainaud, TOWARD A SEMANTIC MANAGEMENT OF GEOLOGICAL MODELINGWORKFLOWS, International Conference on Knowledge Engineering and Ontology Development (KEOD 2010), edited by Joaquim Filipe and Jan L.G. Dietz, 2010

Idir AIT-SADOUNE, Yamine AIT-AMEUR, From BPEL to Event-B, International Workshop on Integration of Model-based Methods and Tools (IFM 2009), Düsseldorf Germany, Fevruary , 2009

Laura Mastella, Yamine AIT-AMEUR, Stéphane JEAN, Michel Perrin, Jean-François Rainaud, Semantic Exploitation of Engineering Models: an Application to Oilfield Models , Proceedings of the 6th British National Conference on Databases (BNCOD 2009), LNCS, July , 2009

Idir AIT-SADOUNE, Yamine AIT-AMEUR, A Proof Based Approach for Modelling and Verifying Web Services Compositions, Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, edited by IEEE Computer Society, Potsdam Germany, June, 2009, pp. 1-10

Chimène FANKAM, Stéphane JEAN, Guy PIERRA, Ladjel BELLATRECHE, Yamine AIT-AMEUR, Towards Connecting Database Applications to Ontologies, First International Conference on Advances in Databases, Knowledge, and Data Applications, edited by IEEE Computer Society, Conference Publishing Service, 2009, pp. 131-137

Nabil BELAID, Yamine AIT-AMEUR, Jean-François Rainaud, A semantic handling of geological modeling workflows, MEDES '09: International ACM Conference on Management of Emergent Digital EcoSystems, Lyon, France, October 27-30, 2009, 978-1-60558-829-2, edited by ACM, 2009, pp. 83-90

Nabil BELAID, Yamine AIT-AMEUR, Jean-François Rainaud, A Semantic Repository for Geological Modeling Workflows, ICWS'09, IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, edited by IEEE, 2009, pp. 1030-1031

Nabil BELAID, Yamine AIT-AMEUR, Jean-François Rainaud, SWAPT - Semantic Workflow Architecture for Petroleum Techniques, Fifth International Conference on Web Information Systems and Technologies (WEBIST 2009), 978-989-8111-81-4, edited by INSTICC Press, 2009, pp. 101-104

Yamine AIT-AMEUR, A Semantic Repository for Adaptive Services, 2009 IEEE Congress on Services, Part I, SERVICES I 2009, Los Angeles, CA, USA, July 6-10, 2009, 978-0-7695-3708-5, edited by IEEE Computer Society , 2009, pp. 211-218

Linda MOHAND OUSSAID, Yamine AIT-AMEUR, Mohamed Ahmed-Nacer, A generic formal model for fission of modalities in output multi-modal interactive systems, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), Rabat, Morroco, July, 2009

Laura Mastella, Yamine AIT-AMEUR, Stéphane JEAN, Michel Perrin, Jean-François Rainaud, Semantic exploitation of persistent metadata in engineering models: application to geological models, IEEE International Conference on Research Challenges in Information Science (RCIS 2009), edited by André Flory, Martine Collard, April, 2009, pp. 147-156

Dilek TAPUCU, Stéphane JEAN, Yamine AIT-AMEUR, Murat Osman Ünalir, An Extension of Ontology Based Databases to Handle Preferences, 11th International Conference on Enterprise Information Systems (ICEIS 2009), INSTICC, May, 2009, pp. 208-214

Idir AIT-SADOUNE, Yamine AIT-AMEUR, Animating Event B Models by Formal Data Models , Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), vol. 17, Communications in Computer and Information Science, edited by Springer Berlin Heidelberg , Kassandra Greece, October, 2008, pp. 37-55

Idir AIT-SADOUNE, Yamine AIT-AMEUR, Verification and Validation of Web Service Composition Using Event B Method , Abstract State Machines, B and Z (ABZ 2008), vol. 5238, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, London UK, September, 2008, pp. 339-340

Chimène FANKAM, Stéphane JEAN, Ladjel BELLATRECHE, Yamine AIT-AMEUR, Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach, Second European Conference on Software Architecture (ECSA 2008), edited by LNCS Springer, September, 2008, pp. 318-321

Yamine AIT-AMEUR, Nabil BELAID, Mohammed Bennis, Olivier Corby, Rose Dieng-Kuntz, Jérémie Doucy, Priscille Durville, Chimène FANKAM, Fabien L. Gandon, Alain Giboin, Patrick Giroux, Sandrine Grataloup, Bruno Grilheres, Florian Husson, Stéphane JEAN, Joel Langlois, Phuc-Hiep Luong, Laura Mastella, Olivier Morel, Michel Perrin, Guy PIERRA, Jean-François Rainaud, Idir AIT-SADOUNE, Eric SARDET, Francois Tertre, João Francisco Valiati, Semantic Hubs for Geological Projects, Workshop on Semantic Metadata Management and Applications (SeMMA 2008), June, 2008, pp. 3-17

Laura Mastella, Yamine AIT-AMEUR, Michel Perrin, Jean-François Rainaud, Ontology-based model annotation of heterogeneous geological representations, Fourth International Conference on Web Information Systems and Technologies (WEBIST 2008), edited by J.C Hammoudi, J. Filipe, Slimane, Funchal, Madeira, Portugal, edited by INSTICC Press, August, 2008, pp. 290-283

Laura Mastella, Michel Perrin, Yamine AIT-AMEUR, Mara Abel, Jean-François Rainaud, Formalising geological knowledge through ontologies and semantic annotation, 70th EAGE Conference & Exhibition incorporating SPE Europec 2008, Rome, Italy, edited by EarthDoc, 9-12 June, 2008

Guy PIERRA, Yamine AIT-AMEUR, Ladjel BELLATRECHE, Hondjack DEHAINSALA, Stéphane JEAN, Chimène FANKAM, Dung NGUYEN XUAN, Données à base ontologique: gestion, interrogation, intégration, Première édition des Journées Francophones sur les Ontologies (JFO 2007), Octobre, 2007

Stéphane JEAN, Hondjack DEHAINSALA, Dung NGUYEN XUAN, Guy PIERRA, Ladjel BELLATRECHE, Yamine AIT-AMEUR, OntoDB: It is Time to Embed your Domain Ontology in your Database, Database Systems for Advanced Applications (DASFAA'07) (Demo Paper), edited by LNCS, 2007, pp. 1119-1122

Chimène FANKAM, Yamine AIT-AMEUR, Guy PIERRA, Exploitation of Ontology Languages for both Persistence and reasoning Purposes : Mapping PLIB, OWL and Flight ontology models., Third International Conference on Web Information Systems and Technologies (WEBIST 2007), vol. WIA, n. 978-972-8865-78-8, edited by Edited by: Joaquim Filipe, José Cordeiro, Bruno Encarnação and Vitor Pedrosa. , edited by INSTICC Press, March, 2007, pp. 254-262

Stéphane JEAN, Yamine AIT-AMEUR, Guy PIERRA, An Object-Oriented Based Algebra for Ontologies and their Instances, Advances in Databases and Information Systems (ADBIS'07), vol. 4690/2007, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, 2007, pp. 141-156

Yamine AIT-AMEUR, Ladjel BELLATRECHE, Guy PIERRA, Modélisation à base ontologique en ingénierie. Principes et applications, International Symposium on Programming and Systems (ISPS 2007), 2007

Alexandre Cortier, Bruno D'AUSBOURG, Yamine AIT-AMEUR, Formal Validation of Java/Swing User Interfaces with the Event-B Method, 12th International Conference on Human-Computer Interaction (HCII 2007), 2007, pp. 1062-1071

Stéphane JEAN, Yamine AIT-AMEUR, Guy PIERRA, Querying Ontology Based Databases Using OntoQL (an Ontology Query Language), Ontologies, DataBases, and Applications of Semantics (ODBASE 2006), vol. 4275, Lecture Notes in Computer Science, edited by R.Meersman, Z. Tari et al., edited by Springer, 2006, pp. 704-721

Yamine AIT-AMEUR, Alexandre Cortier, Rémi Delmas, Virginie WIELS, Formal modelling of avionics systems. An approach based on category theory and the EXPRESS modelling language, Proceedings of IEEE International Symposium on Leveraging Formal Methods Applications (ISOLA), Paphos(Cyprus), 2006, 2006, pp. 27-35

Stéphane JEAN, Yamine AIT-AMEUR, Guy PIERRA, Querying ontology based databases. The OntoQL proposal, Software Engineering and Knowledge Engineering (SEKE 2006), edited by Knowledge Systems Institute Graduate School, Juillet, 2006, pp. 166-171

Stéphane JEAN, Guy PIERRA, Yamine AIT-AMEUR, Domain Ontologies : a Database-Oriented Analysis, Third International Conference on Web Information Systems and Technologies (WEBIST 2006), edited by José A. Moinhos Cordeiro, Vitor Pedrosa, Bruno Encarnação, Joaquim Filipe, edited by INSTICC PRESS, april, 2006, pp. 341-351

Stéphane JEAN, Guy PIERRA, Yamine AIT-AMEUR, OntoQL: an exploitation language for OBDBs, Very Large Data Bases (VLDB 2005), 29 Août, 2005

Yamine AIT-AMEUR, Mickael BARON, Nadjet KAMEL, Encoding a Process Algebra Using the Event B Method., ISOLA 2005 - 2nd IEEE International Symposium on Leveraging Applications of Formal Methods, edited by Loyola College, Department of Computer Science University of, Columbia, Maryland USA, 2005

Yamine AIT-AMEUR, Benoit Bréholée, Patrick GIRARD, Laurent GUITTET, Francis JAMBON, Formal verification and validation of interactive systems specifications from informal specifications to formal validation, HESSD : Conference of Human Error, Safety and Systems Development, Toulouse, France, August 22-27, 2004

Yamine AIT-AMEUR, Nadjet KAMEL, A generic formal specification of fusion of modalities in a multimodal HCI, IFIP World Computer Science, edited by Jacquart, René, Toulouse, France, edited by Kluwer Academic Publishers, 2004, pp. 415-420

Yamine AIT-AMEUR, Frédéric BONIOL, Rémi Delmas, Emmanuel GROLLEAU, Nathalie Torrecillas, Virginie WIELS, Integration of heterogeneous formal techniques for the design of avionics systems, DASIA 2004 (Data Systems in Aerospace), June 28-30 2004, Nice, France, 2004

Yamine AIT-AMEUR, Mickael BARON, Bridging the gap between formal and experimental validation approaches in HCI systems design : use of the event B proof based technique, ISOLA 2004 - 1st International Symposium on Leveraging Applications of Formal Methods, edited by Cyprus, Department of Computer Science University of, Paphos, Cyprus, 2004, pp. 74-81

Ladjel BELLATRECHE, Guy PIERRA, Dung NGUYEN XUAN, Hondjack DEHAINSALA, Yamine AIT-AMEUR, An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Databases, 15th International Conference on Database and Expert Systems Applications (DEXA 2004), Zaragoza, Spain, edited by LNCS, august, 2004

Yamine AIT-AMEUR, Mickael BARON, Patrick GIRARD, Formal validation of HCI user tasks, International Conference on Software Engineering Research and Practice (SERP 2003), vol. 2, edited by Ban, Al-Ani and H.R, Arabnia and Youngsong, Mum, Las Vegas, Nevada USA, edited by CSREA Press, 2003, pp. 732-738

Youcef AKLOUF, Guy PIERRA, Yamine AIT-AMEUR, Habiba Drias, PLIB Ontology For B2B Electronic Commerce, Special track on Data Integration in Engineering (CE 2003), edited by R. Jardim-Gonçalves and J. Cha and A. Steiger-Garçao, UNINOVA, edited by A.A. Balkema, 2003, pp. 269-278

Jérome CHOCHON, Yamine AIT-AMEUR, Guy PIERRA, Jean-Claude POTIER, Reducing parts diversity in product design: a data centered approach, Special track on Data Integration in Engineering (CE 2003), edited by R. Jardim-Gonçalves and J. Cha and A. Steiger-Garçao, UNINOVA, edited by A.A. Balkema, 2003

Mourad MIMOUNE, Guy PIERRA, Yamine AIT-AMEUR, An Ontology-based approach for exchanging data between heterogeneous database systems, ICEIS'03, vol. 4, ESEO Angers, 2003, pp. 512-524

Yamine AIT-AMEUR, Mickael BARON, Nadjet KAMEL, Utilisation de techniques formelles dans la modélisation d'Interfaces Homme-Machine. Une expérience comparative entre B et Promela/SPIN, 6th International Symposium on Programming and Systems ISPS 2003, Algérie, 2003, pp. 57-66

Mourad MIMOUNE, Yamine AIT-AMEUR, Guy PIERRA, Modélisation du contenu des catalogues de composants industriels : de la représentation implicite à la représentation explicite., Fifth International Symposium On Programming System, ISPS'2001, Alger, Mai, 2001, pp. 15-26

Francis JAMBON, Patrick GIRARD, Yamine AIT-AMEUR, Interactive System Safety and Usability enforced with the development process, Engineering for Human-Computer Interaction (8th IFIP International Conference, EHCI'01, Toronto, Canada, May 2001), vol. 2254, Lecture Notes in Computer Science, edited by Little, Reed Murray and Nigay, Laurence, Berlin, edited by Springer, 2001, pp. 39-55

Mourad MIMOUNE, Guy PIERRA, Yamine AIT-AMEUR, Une approche pour l’échange entre bases de données hétérogènes basée sur des méta-modèles génériques exprimés en langage EXPRESS, Actes de la Journée de Travail Bi-Thématique du GDR-PRC I3, Lyon, 13 Décembre, 2001, pp. 229-246

Yamine AIT-AMEUR, Vérification formelle de programmes, Conféérence invitée, ISPS, 2001

Mohand AIT-MOHAMMED, Yamine AIT-AMEUR, Evaluation de la précision des calculs dans les programmes numériques, International Symposium on Programming and Systems, Alger, 2001

Karim CHEBIEB, Djamila Mansour, Yamine AIT-AMEUR, Expression, Analyse, et Evaluation de propriétés Ergonomiques, International Symposium on Programming and Systems (ISPS 2001), Alger, 2001

Eric SARDET, Guy PIERRA, H. Murayama, Y. Oodake, Yamine AIT-AMEUR, Simplified Representation of Parts Library : Model Practice and Implementation, 10th Symposium on Product Data Technology Europe (PDT 2001), Brussels, edited by QMS edition, 2001, pp. 163-174

Mourad MIMOUNE, Yamine AIT-AMEUR, Guy PIERRA, Jean-Claude POTIER, Integration of component descriptions in product data management systems , ISPE International Conference on Concurrent Engineering (ISPE 2000), edited by Technomic Publ. Co., 2000, pp. 370-380

Yamine AIT-AMEUR, Guy PIERRA, Eric SARDET, An object oriented approach to represent behavioural knowledge in heterogeneous information systems, International Conference on Object-Oriented Information Systems, London, 2000, pp. 315-339

Yamine AIT-AMEUR, Guy PIERRA, Eric SARDET, An Object Oriented Approach to Represent Behavioural Knowledge in Heterogeneous Information Systems, Object Oriented Information Systems, edited by Springer Verlag, Londres, 2000, pp. 303-315

Francis JAMBON, Patrick GIRARD, Yamine AIT-AMEUR, Interactive System Safety and Usability enforced by the Development Process: the FADEC User Interface Case Study, Safety and Usability Concerns in Aeronautics - IFIP WG 13.5 Workshop within HCI-Aero'2000 (SUCA 2000), edited by Hohnson, Chris and Palanque, Philippe and Paternò, Fabio, Toulouse, France, 2000

Yamine AIT-AMEUR, Patrick GIRARD, Francis JAMBON, A Uniform approach for the Specification and Design of Interactive Systems: the B method, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'98), vol. Proceedings, edited by Markopoulos, Panos and Johnson, Peter, Abingdon, UK, 1998, pp. 333-352

Yamine AIT-AMEUR, Patrick GIRARD, Francis JAMBON, Using the B formal approach for incremental specification design of interactive systems, Engineering for Human-Computer Interaction, vol. 22, edited by Chatty, Stéphane and Dewan, Prasun, edited by Kluwer Academic Publishers, 1998, pp. 91-108

Eric SARDET, Guy PIERRA, Yamine AIT-AMEUR, Formal Specification : Modelling and Exchange of classes of components according to PLIB. A case study, GEN'97 International Symposium on Global Engineering Networking, Antwerp Belgium, 1997, pp. 179-200

Yamine AIT-AMEUR, Frédéric Besnard, Patrick GIRARD, Guy PIERRA, Jean-Claude POTIER, Specification and Metaprogramming in the EXPRESS Language, International Conference on Software Engineering and Knowledge Engineering SEKE'95, Rockville USA, edited by IEEE-ACM Sigsoft, 1995, pp. 181-189.

Youness BAZHAR, Stéphane JEAN, Yamine AIT-AMEUR, Mickael BARON, Extension de ONTODB pour construire une architecture générique de bases de données à base ontologique, 6ème Conférence francophone sur les Architectures Logicielles (CAL), Montpellier, France, May, 2012

Yamine AIT-AMEUR, Persistance dans une Base de données à base ontologique, RFIA - Sources Ouvertes et Services (RFIA 2010), Caen, 2010

Dilek TAPUCU, Gayo DIALLO, Stéphane JEAN, Yamine AIT-AMEUR, Murat Osman Ünalir, Nacima Belaidi, Définition et Exploitation des Préférences au Niveau Sémantique, Journées Francophones sur les Ontologies (JFO 2009), edited by ACM, 2009, pp. 29-36

Nabil BELAID, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Jean-François Rainaud, Stéphane JEAN, Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2, Actes de l’atelier Systèmes d’Information et de Décision pour l’Environnement du Congrès INFORSID 2008, 2008, pp. 67-76

Laura Mastella, Yamine AIT-AMEUR, Michel Perrin, Jean-François Rainaud, Annotation à base ontologique de modèles : application aux modèles en géologie pour le stockage de CO2, 26ème Congrès INFORSID - Atelier Systèmes d'Information et de Décision pour l'Environnement, Fontainebleau, France, Mai, 2008, pp. 1-10

Nadjet KAMEL, Linda MOHAND OUSSAID, Yamine AIT-AMEUR, Systèmes interactifs multimodaux dans le secteur du transport : un modèle formel de conception et de validation, Workshop International : Logistique & Transport 2007 (LT 2007), Sousse, Tunisie, novembre, 2007

Nabil BELAID, Ladjel BELLATRECHE, Yamine AIT-AMEUR, Guy PIERRA, Intégration de sources à base ontologique : architecture en réseau VS architure en étoile, Plate-Forme AFIA: Atelier Thématique GDR I3 sur Ontologies et Gestion de l'hétérogénéité sémantique (OGHS), Juillet, 2007, pp. 9-20

Idir AIT-SADOUNE, Yamine AIT-AMEUR, B2EXPRESS : Un animateur de modèles B événementiel, Dans les actes des journées AFADL 2007 (Approches Formelles dans l'Assistance au Développement de Logiciel), Université de Namur, Belgique, Juin, 2007, pp. 295-296

Stéphane JEAN, Yamine AIT-AMEUR, Guy PIERRA, Une approche langage pour la gestion de données dans les systèmes de méta-modélisation, INFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID 2007), Mai, 2007

Chimène FANKAM, Yamine AIT-AMEUR, Prise en compte des ontologies non canoniques dans les BDBO : le modèle ONTODB2., XXVème Congrès INFORSID (INFORSID 2007), Perros-Guirec France, Mai, 2007

Hondjack DEHAINSALA, Guy PIERRA, Ladjel BELLATRECHE, Yamine AIT-AMEUR, Conception de bases de données à partir d'ontologies de domaine : Application aux bases de données du domaine technique, 1ères Journées Francophones sur les Ontologies (JFO 2007), Octobre, 2007

Idir AIT-SADOUNE, Yamine AIT-AMEUR, Animation de modèles B par transformation de modèles, Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes (PRIDES), La Rochelle , Juillet, 2006

Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve, 18° Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006), vol. 133, edited by ACM International Conference Proceeding Series, Montréal, avril, 2006, pp. 123-130

Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Etude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement, MOSIM 2006 - 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités, edited by Lavoisier, Rabat, Maroc, Avril, 2006, pp. 578-588

Guy PIERRA, Hondjack DEHAINSALA, Yamine AIT-AMEUR, Ladjel BELLATRECHE, Jérome CHOCHON, Mourad MIMOUNE, Base de Données à Base Ontologique : le modèle OntoDB, 20 èmes Journées Bases de Données Avancées (BDA 2004), edited by J. Lemaitre, 2004, pp. 263-286

Yamine AIT-AMEUR, Frédéric BONIOL, Sylvain PAIRAULT, Virginie WIELS, Analyse de Robustesse de Systèmes Avioniques, Journées Francophones des Langages Applicatifs, Chamrousse, Janvier, 2003

Yamine AIT-AMEUR, Bruno D'AUSBOURG, Frédéric BONIOL, Virginie WIELS, A component Based Méthodology for Description of Complex Systems, 4th European Systems Engineering Conference, EuSEC, Toulouse, 2002

Yamine AIT-AMEUR, Méthodologie de Conception et de Développements de Composants Avioniques et Utilisations de Techniques Formalles, Conférence invitée aux Journées Qalité et Sûreté Logicielle du LORIA, Nancy, 2002

Yamine AIT-AMEUR, Développements Contrôlés de Programmes par Modélisations et Vérifications de Propriétés, HDR, Habilitation à diriger les recherches, Université de Poitiers, january, 2000

Chedlia CHAKROUN, Ladjel BELLATRECHE, Yamine AIT-AMEUR, Ontological Concept Dependencies driven Approach to Design Ontology-Based Databases, LISI/ENSMA(3), February , 2011

Henry Valéry TEGUIAK, Yamine AIT-AMEUR, Eric SARDET, Ladjel BELLATRECHE, MQL: an extension of SQL for mappings manipulation, LIAS/ISAE-ENSMA, 2011

Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Chimène FANKAM, Stéphane JEAN, Guy PIERRA, Eric SARDET, Rapport Evaluation - Lot 1 (Tache 1.3) - Projet E-Wok-Hub, LISI / ENSMA, 2009

Yamine AIT-AMEUR, Chimène FANKAM, Stéphane JEAN, Guy PIERRA, Eric SARDET, Outils et Services de gestion des Ontologies - Lot 2 - Projet ANR E-Wok-Hub, LISI / ENSMA, 2007

Yamine AIT-AMEUR, Hondjack DEHAINSALA, Stéphane JEAN, Guy PIERRA, Eric SARDET, Persistance des données ontologiques avec OntoDB et langage d'exploitation OntoQL - Lot 3 - Projet E-Wok-Hub, LISI / ENSMA, 2007

Yamine AIT-AMEUR, Idir AIT-SADOUNE, Jean-Marc MOTA, Lionel Van-Aertryck, Validation d'IHM3 par animation de modèles B : LOT 4 (LISI/ENSMA)(SILICOMP/AQL), Projet RNRT VERBATIM, 2006

Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Nadjet KAMEL, Jean-Marc MOTA, Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA), Projet RNRT VERBATIM, 2006

Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA), Projet RNRT VERBATIM, 2006

Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA), LISI/ENSMA, 2005

Guy PIERRA, Hondjack DEHAINSALA, Yamine AIT-AMEUR, Ladjel BELLATRECHE, Jérome CHOCHON, Mourad MIMOUNE, Base de Données à Base Ontologique : le modèle OntoDB, LISI-ENSMA(04-002), 2004

Yamine AIT-AMEUR, Benoit Bréholée, Patrick GIRARD, Laurent GUITTET, Francis JAMBON, Formal verification and validation of interactive systems specifications, Laboratory of Applied Computer Science (LISI/ENSMA)(LISI 00-007), May, 2000