Yamine AIT-AMEUR
Yamine AIT-AMEUR
Professeur des Universités

email : yamine@ensma.fr
tutelle: ISAE - ENSMA
adresse : ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
équipe : Ingénierie des Données et des Modèles
Publications
(141)
Ouvrages individuels ou collectifs
(17)
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-149http://www.somabec.com/9782746230101/INTERACTION_HOMME-MACHINE_DANS_LES_TRANSPORTS.htmhttp://www.somabec.com/9782746230101/INTERACTION_HOMME-MACHINE_DANS_LES_TRANSPORTS.htm
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, 2009http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=53616http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=53616
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, 20098386/JEAN_ADWM09.pdf
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, 20079181/WEBIST_JEAN_Book_Chapter_2007.pdf
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-206http://www.editions-hermes.fr/fiche.asp?qid=4241http://www.editions-hermes.fr/fiche.asp?qid=4241
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
Revues Internationales
(11)
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-13718440/ijcs-ontoql-cameraready.pdf
Yamine AIT-AMEUR, Mickael BARON, Ladjel BELLATRECHE, Stéphane JEAN, Eric SARDET, Ontologies in engineering: The OntoDB/OntoQL platform, Soft Computing (SC), 201517794/main-soft-computing-2014.pdf
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, 20129631/Baktouch_IJWGS2012.pdf
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-3099654/2011-IJEBM-Belaid.pdf
Ladjel BELLATRECHE, Yamine AIT-AMEUR, Chedlia CHAKROUN, A design methodology of ontology based database applications, Logic Journal of the IGPL - Oxford University Press, 2010
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
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-253http://springerlink.com/content/e678300406631434/?p=06debe5114e64a758dae3651b5c97db9&pi=5http://springerlink.com/content/e678300406631434/?p=06debe5114e64a758dae3651b5c97db9&pi=5
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-4357403/2006-IJPLM-Aklouf.pdf
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-2466631/1995-RAPA-Ait-Ameur.pdf
Revues Nationales
(5)
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-30http://jips.gforge.inria.fr/articles/1/1/3-aitameur.htmlhttp://jips.gforge.inria.fr/articles/1/1/3-aitameur.html
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), 20057198/2005-I-Pierra.pdf
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
Conférences Internationales
(78)
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, It is time to propose a complete methodology for designing semantic databases, 9th International Conference on Web Information Systems and Technologies (WEBIST), 2013
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), 201310832/rcis2013_submission_137.pdf
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-3711683/medi2013-bazhar.pdf
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), 201311028/seke2013.pdf
Henry Valéry TEGUIAK, Yamine AIT-AMEUR, Stéphane JEAN, Eric SARDET, MQL: a mapping management language for model-based databases, ICEIS, Wroclaw, Poland, June, 20129788/TEGUIAK_ICEIS_2012.pdf
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), Rome, Italy, September, 2012, pp. 879-8969916/odbase2012.pdf
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-3989700/webist2012_bazhar.pdf
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-129713/rcis2012_Bakhtouchi_camera_ready.pdf
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
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
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
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
David SIMON ZAYAS, Anne Monceaux, Yamine AIT-AMEUR, Using knowledge and expressions to validate inter-model constraints, 18th Wolrd Congress IFAC 2011, edited by IFAC, edited by IFAC, 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
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
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, Yamine AIT-AMEUR, Anne Monceaux, Knowledge Models to Reduce the Gap Between Heterogeneous Models, 15th IEEE International Conference on Engineering of Complex Computer Systems, 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
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-68http://www.springerlink.com/content/0612x57w85734303/http://www.springerlink.com/content/0612x57w85734303/
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'10), 20109337/KEOD_2010_Nabil_BELAID_final.pdf
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-406http://www.springerlink.com/content/f57k36015k882p46/http://www.springerlink.com/content/f57k36015k882p46/
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
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), n. ISBN 978-989-8425-29-4, edited by Joaquim Filipe and Jan L.G. Dietz, Valencia, Spain, October, 2010, pp. 94 - 1039347/keod_valery.pdf
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), LNCS 6295, edited by Springer, September, 2010, pp. 247-2619092/adbis2010_stephane_jean.pdf
Idir AIT-SADOUNE, Yamine AIT-AMEUR, From BPEL to Event-B, International Workshop on Integration of Model-based Methods and Tools IM FMT'09 at IFM'09 Conference, 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-10http://portal.acm.org/citation.cfm?id=1584906http://portal.acm.org/citation.cfm?id=1584906
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-1378544/2009-FICADKDA-Fankam.pdf
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-1568404/RCIS09.pdf
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), May, 2009, pp. 208-2148393/tapucu_iceis2009.pdf
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
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-3218123/ecsa08_fankam.pdf
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-55http://www.springerlink.com/content/k131wr57g3j778v6/http://www.springerlink.com/content/k131wr57g3j778v6/
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-340http://www.springerlink.com/content/ln1537700p003486/http://www.springerlink.com/content/ln1537700p003486/
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-178457/e-WOK_HUB-semma2008.pdf
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
Yamine AIT-AMEUR, Ladjel BELLATRECHE, Guy PIERRA, Modélisation à base ontologique en ingénierie. Principes et applications, in 8th International Symposium on Programming and Systems (ISPS'2007), May, 2007
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-1567846/2007-ADIS-Jean.pdf
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
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
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-2627744/2007-TICWIST-Fankam.pdf
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-11227728/2007-DSAAP-Jean.pdf
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-3517412/2006-WEBIST-Jean.pdf
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-1717423/2006-SEKE-Jean.pdf
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-7217734/2006-ODAS-Jean.pdf
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, Guy PIERRA, Yamine AIT-AMEUR, OntoQL: an exploitation language for OBDBs, Very Large Data Bases (VLDB 2005), 29 Août, 20057282/2005-VLDB-Jean.pdf
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, 20057295/2005-isola05-yabaka.pdf
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, 20047066/HESSD04_AitAmeur.pdf
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-817110/2004-isola04-yaba.pdf
Ladjel BELLATRECHE, Guy PIERRA, Dung NGUYEN XUAN, Hondjack DEHAINSALA, Yamine AIT-AMEUR, An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Databases, 15 th International Conference on Database and Expert Systems Applications (DEXA'04), pp. 475-485, Lecture Notes in Computer Science (LNCS), Zaragoza, Spain, august, 20047000/2004-ICDESA-Bellatreche.pdf
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-7386920/2003-serp03-yabagi.pdf
Youcef AKLOUF, Guy PIERRA, Yamine AIT-AMEUR, Habiba Drias, PLIB Ontology For B2B Electronic Commerce, Proceedings of CE'2003, Special track on Data Integration in Engineering, Madeira, Portugal, edited by R. Jardim-Gonçalves and J. Cha and A. Steiger-Garçao, Madeira, Portugal, UNINOVA, edited by A.A. Balkema, July, 2003, pp. 269-2786892/2003-CE2003-Aklouf.pdf
Jérome CHOCHON, Yamine AIT-AMEUR, Guy PIERRA, Jean-Claude POTIER, Reducing parts diversity in product design: a data centered approach, Proceedings of CE'2003, Special track on Data Integration in Engineering, Madeira, Portugal, edited by R. Jardim-Gonçalves and J. Cha and A. Steiger-Garçao, Madeira, Portugal, UNINOVA, edited by A.A. Balkema, July, 20036838/2003-CE2003-Chochon.pdf
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-5246831/2003-ICEIS03-ELHADJ-MIMOUNE.pdf
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-666814/2003-isps2003-yabakn.pdf
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-2465829/2001-GDR-Mimoune.pdf
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-556103/2001-ehci01-jambon-pg-yaa.pdf
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-266274/2001-ISPS-EL_HADJ_MIMOUNE.pdf
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, 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-1746578//papers/2001/2001-PDT-Sardet.pdf
Mourad MIMOUNE, Yamine AIT-AMEUR, Guy PIERRA, Jean-Claude POTIER, Integration of component descriptions in product data management systems , Proc. of ISPE International Conference on Concurrent Engineering, edited by Technomic Publ. Co., 2000, pp. 370-3805910/2000-ISPE-Mimoune.pdf
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-3396548//papers/2000/2000-ICOOIS-Ait-Ameur.pdf
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-3525946/1998-dsvis-yaa_pg_fj.pdf
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-1085952/1998-ehci-yaa_pg_fj.pdf
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-2006568//papers/1997/1997-GEN-Sardet.pdf
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.
Conférences Nationales
(18)
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, 20129765/cal2012_Bazhar.pdf
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
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
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
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-296http://www.info.fundp.ac.be/~pys/AFADL07/Actes_AFADL_2007.pdfhttp://www.info.fundp.ac.be/~pys/AFADL07/Actes_AFADL_2007.pdf
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
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
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, INFORSID 2007, Mai, 20077757/2007-INFORSID-Jean.pdf
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, 20078015/2007-INFORSID-FANKAM.pdf
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
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), vol. 133, edited by ACM International Conference Proceeding Series, Montréal, avril, 2006, pp. 123-130http://portal.acm.org/citation.cfm?id=1132752&dl=GUIDE&coll=GUIDE&CFID=92606310&CFTOKEN=31035272http://portal.acm.org/citation.cfm?id=1132752&dl=GUIDE&coll=GUIDE&CFID=92606310&CFTOKEN=31035272
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-588http://www.lavoisier.fr/notice/fr2743008920.htmlhttp://www.lavoisier.fr/notice/fr2743008920.html
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
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-2867183/2004-JBDA-PIERRA.pdf
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
Thèses et HDR
(1)
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
Rapports de Recherche
(11)
Henry Valéry TEGUIAK, Yamine AIT-AMEUR, Eric SARDET, Ladjel BELLATRECHE, MQL: an extension of SQL for mappings manipulation, LIAS/ISAE-ENSMA, 20119739/2011-LISI-.pdf
Chedlia CHAKROUN, Ladjel BELLATRECHE, Yamine AIT-AMEUR, Ontological Concept Dependencies driven Approach to Design Ontology-Based Databases, LISI/ENSMA(3), February , 20119443/2011-LISI-3.pdf
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, Mickael BARON, Jean-Marc MOTA, Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA), Projet RNRT VERBATIM, 20067870/2006-LISI-lot3.pdf
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, 20067864/2006-LISI-lot2.pdf
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, 20067877/2006-LISI-lot4.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA), LISI/ENSMA, 20057227/2005-LOT1-Verbatim.pdf
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), 20047026/2004-LISI-04-002.pdf
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