Publications

Linda Mohand-Oussaïd, Nadjet Kamel, Idir Aït-Sadoune, Yamine Aït-Ameur and Mohamed Ahmed-Nacer, Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport, IHM et transports (à~paraitre), Kolski, C, Paris, Hermes, 2010

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

Stéphane Jean, Yamine Aït-Ameur and Guy Pierra, Ontology Query Languages for Ontology-Based Databases: a Survey, Data Warehousing Design and Advanced Engineering Applications: Methods for Complex Construction, Advances in Data Warehousing and Mining Book Series (ADWN), L. Bellatreche, 2009

Dilek Tapucu, Gayo Diallo, Yamine Aït-Ameur and Murat Osman Ünalir, Ontology-Based Database Approach for Handling Preferences , Data Warehousing Design and Advanced Engineering Applications: Methods for Complex Construction, Edited by Ladjel Bellatreche, IGI Global, 2009

Yamine Ait-Ameur, 2e Conférence Francophone sur les Architectures Logicielles - CAL 2008, Cépaduès éditions, Mars, 2008

Yamine Ait-Ameur, Frederic Boniol and Virginie Wiels, ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Cépaduès éditions, 12-14 December, 2007

Stéphane Jean, Guy Pierra and Yamine Aït-Ameur, Domain Ontologies: a Database-Oriented Analysis, Web Information Systems and Technologies International Conferences, WEBIST 2005 and WEBIST 2006. Revised Selected Papers, chapt. 19, 1, Lecture Notes in Business Information Processing, J. Filipe, J. Cordeiro and V. Pedrosa, Springer-Verlag Berlin Heidelberg, August, 2007, pp. 238-254

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

Guy Pierra, Yamine Aït-Ameur and Eric Sardet, Industrial Automation Systems and Integration, Parts Library, Logical model of supplier library, ISO 13584-24, ISO, Genève, 2003

Francis Jambon, Philippe Brun and Yamine Aït-Ameur, Spécifications des systèmes interactifs, Analyse et conception de l'I.H.M. / Interaction Homme-Machine pour les S.I. vol.1, chapt. 6, Interaction homme-machine pour les S.I., Christophe Kolski, Hermès Science, 2001, pp. 175-206

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

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron and 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) - (à~paraitre), 2010

Ladjel Bellatreche, Yamine Aït-Ameur and 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 and Jean-Marc Mota, Encoding a process algebra using the Event B method, International Journal on Software Tools for Technology Transfer (STTT), vol. Volume 11(Number 3), 2009, pp. 239-253

Chimène Fankam, Ladjel Bellatreche, Hondjack Dehainsala, Yamine Ait-Ameur and Guy Pierra, SISRO : conception de bases de données à partir d’ontologies de domaine , Technique et science informatiques (TSI), vol. 28, 2009

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron and Jean-Marc Mota, Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement, RSTI série ISI Ingérnierie des Systèmes d'Information, Modélisation multiple, Formalisme et Modèles, vol. 13 (2), 2008, pp. 127-154

Yamine Aït-Ameur and Mickaël 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), vol. 8(6), November, 2006, pp. 547-563

Y. Aklouf, G. Pierra, Y. AIT-Ameur and H. 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), vol. 1(4), 2006, pp. 415-435

Guy Pierra, Hondjack Dehainsala, Yamine Aït-Ameur and Ladjel Bellatreche, Base de données à base ontologique : principe et mise en œuvre, Ingénierie des systèmes d'information, 2005

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

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

Idir Aït-Sadoune and Yamine Aït-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

Idir Aït-Sadoune and Yamine Aït-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

Stéphane Jean, Yamine Aït-Ameur and Guy Pierra, A Language for Ontology-Based Metamodeling Systems, 14th East-European on Advances In Databases and Information Systems (ADBIS 2010), edited by Springer, September, 2010

David Simon-Zayas, Yamine Ait-Ameur and 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, The IEEE Computer Society, March, 2010, pp. 355-360

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, IEEE Computer Society , 2009, pp. 211-218

Idir Ait-Sadoune and 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

Idir Ait-Sadoune and 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

Nabil BELAID, Yamine AIT-AMEUR and 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, IEEE, 2009, pp. 1030-1031

Nabil BELAID, Yamine AIT-AMEUR and 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, ACM, 2009, pp. 83-90

Nabil BELAID, Yamine AIT-AMEUR and Jean-François RAINAUD, SWAPT - Semantic Workflow Architecture for Petroleum Techniques, WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies, Lisbon, Portugal, March 23-26, 2009, 978-989-8111-81-4, INSTICC Press, 2009, pp. 101-104

Chimène Fankam, Stéphane Jean, Guy Pierra, Ladjel Bellatreche and 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

Laura Silveira Mastella, Yamine Ait-Ameur, Stéphane Jean, Michel Perrin and 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

Laura Silveira Mastella, Yamine Ait-Ameur, Stéphane Jean, Michel Perrin and 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

Linda Mohand-Oussaïd, Yamine Aït-Ameur and 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

Dilek Tapucu, Gayo Diallo, Stéphane Jean, Yamine Aït-Ameur, Murat Osman Ünalir and Nacima Belaidi, Définition et Exploitation des Préférences au Niveau Sémantique, Journées Francophones sur les Ontologies (JFO 2009), ACM, 2009, pp. 29-36

Dilek Tapucu, Stephane Jean, Yamine Aït-Ameur and 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-214

Idir Aït-Sadoune and Yamine Aït-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 and 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

Nabil Belaid, Idir Aït-Sadoune, Yamine Aït-Ameur, Jean-François Rainaud and 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 and Jean-François Rainaud, Ontology-based model annotation of heterogeneous geological representations, WEBIST, edited by J.C Hammoudi, J. Filipe, Slimane, Funchal, Madeira, Portugal, INSTICC Press, August, 2008, pp. 290-283

Laura Mastella, Yamine Ait-Ameur, Michel Perrin and 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

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

Idir Ait-Sadoune and 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

Nabil Belaid, Ladjel Bellatreche, Yamine Ait-Ameur and 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

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

Chimène Fankam, Yamine Ait-Ameur and 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), vol. WIA(978-972-8865-78-8), edited by Edited by: Joaquim Filipe, José Cordeiro, Bruno Encarnação and Vitor Pedrosa. , INSTICC Press, March, 2007, pp. 254-262

Stéphane Jean, Yamine Aït-Ameur and Guy Pierra, Une approche langage pour la gestion de données dans les systèmes de méta-modélisation, INFORSID 2007, Mai, 2007

Stéphane Jean, Yamine Ait-Ameur and 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

Stéphane Jean, Hondjack Dehainsala, Dung Nguyen Xuan, Guy Pierra, Ladjel Bellatreche and Yamine Aït-Ameur, OntoDB: It is Time to Embed your Domain Ontology in your Database, Database Systems for Advanced Applications (DASFAA'07) (Demo Paper), LNCS, 2007, pp. 1119-1122

Nadjet Kamel, Linda Mohand-Oussaïd and Yamine Aït-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

Guy Pierra, Yamine Aït-Ameur, Ladjel Bellatreche, Hondjack Dehainsala, Stéphane Jean, Chimène Fankam and 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

Yamine Ait-Ameur, Idir Ait-Sadoune and 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

Yamine Aït-Ameur, Idir Ait-Sadoune, Mickael Baron and 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-130

Idir Aït-Sadoune and Yamine Aït-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

Stéphane Jean, Yamine Aït-Ameur and Guy Pierra, Querying ontology based databases. The OntoQL proposal, Software Engineering and Knowledge Engineering (SEKE2006), Knowledge Systems Institute Graduate School, Juillet, 2006, pp. 166-171

Stéphane Jean, Yamine Aït-Ameur and 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., Springer, 2006, pp. 704-721

Stéphane Jean, Guy Pierra and Yamine Ait-Ameur, Domain Ontologies : a Database-Oriented Analysis, Web Information Systems and Technologies (WEBIST’2006), edited by José A. Moinhos Cordeiro, Vitor Pedrosa, Bruno Encarnação, Joaquim Filipe, INSTICC PRESS, april, 2006, pp. 341-351

Yamine Ait-Ameur, Mickael Baron and Kamel Nadjet, 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

Stéphane Jean, Guy Pierra and Yamine Ait-Ameur, OntoQL: an exploitation language for OBDBs, VLDB PhD Workshop, 29 Août, 2005

Yamine Aït-Ameur and Mickaël Baron, Bridging the gap between formal and experimental validation approaches in HCI systems design : use of the event B proof based technique, ISOLA 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

Yamine Aït-Ameur, Frédéric Boniol, Rémi Delmas, Emmanuel Grolleau, Nathalie Torrecillas and 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 Aït-Ameur, Benoit Bréholée, Patrick Girard, Laurent Guittet and 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 Aït-Ameur and Nadjet Kamel, A generic formal specification of fusion of modalities in a multimodal HCI, IFIP World Computer Science, edited by Jacquart, René, Toulouse, France, Kluwer Academic Publishers, 2004, pp. 415-420

Ladjel Bellatreche, Guy Pierra, Dung Nguyen Xuan, Hondjack Dehainsala and 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, Aout, 2004

Guy PIERRA, Hondjack DEHAINSALA, Yamine AIT-AMEUR, Ladjel BELLATRECHE, Jérôme CHOCHON and Mourad EL-HADJ 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 Aït-Ameur, Mickaël Baron and Patrick Girard, Formal validation of HCI user tasks, The 2003 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, CSREA Press, 2003, pp. 732-738

Yamine Aït-Ameur, Mickaël Baron and 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

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

Youcef Aklouf, Guy Pierra, Yamine Aït-Ameur and 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, A.A. Balkema, July, 2003, pp. 269-278

Jérôme Chochon, Yamine Ait-Ameur, Guy Pierra and 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, A.A. Balkema, July, 2003

Mourad El-Hadj Mimoune, Guy Pierra and Yamine Aït-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, 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, Bruno D'AUSBOURG, Frédéric BONIOL and Virginie WIELS, A component Based Méthodology for Description of Complex Systems, 4th European Systems Engineering Conference, EuSEC, Toulouse, 2002

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

Mohand AIT-MOHAMMED and 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 and Yamine AIT-AMEUR, Expression, Analyse, et Evaluation de propriétés Ergonomiques, International Symposium on Programming and Systems, ISPS, Alger, 2001

Francis Jambon, Patrick Girard and Yamine Aït-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, Springer, 2001, pp. 39-55

Mourad El-Hadj Mimoune, Yamine Aït-Ameur and 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

Mourad El-Hadj Mimoune, Guy Pierra and Y. 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

Eric Sardet, Guy Pierra, H. Murayama, Y. Oodake and Yamine Ait-Ameur, Simplified Representation of Parts Library : Model Practice and Implementation, 10th Symposium on Product Data Technology Europe , PDT Days 2001, Brussels, QMS edition, 2001, pp. 163-174

Yamine Aït-Ameur, Guy Pierra and 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 and 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 and Yamine Aït-Ameur, Interactive System Safety and Usability enforced by the Development Process: the FADEC User Interface Case Study, Safety and Usability Concerns in Aeronautics (SUCA 2000) IFIP WG 13.5 Workshop within HCI-Aero'2000, edited by Hohnson, Chris and Palanque, Philippe and Paternò, Fabio, Toulouse, France, 2000

Mourad El-Hadj Mimoune, Yamine Ait-Ameur, Guy Pierra and 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-380

Yamine Aït-Ameur, Patrick Girard and 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, Kluwer Academic Publishers, 1998, pp. 91-108

Yamine Aït-Ameur, Patrick Girard and 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

Eric Sardet, Guy Pierra and 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, F Besnard, Patric Girard, Guy Pierra and Jean-Claude Potier, Specification and Metaprogramming in the EXPRESS Language, International Conference on Software Engineering and Knowledge Engineering SEKE'95, Rockville USA, IEEE-ACM Sigsoft, 1995, pp. 181-189.

Yamine Aït-Ameur, Développements Contrôlés de Programmes par Modélisations et Vérifications de Propriétés, Thesis, Habilitation à diriger les recherches, Université de Poitiers, 2000

Yamine Ait-Ameur, Idir Ait-Sadoune, Mickael Baron, Chimène Fankam, Stéphane Jean, Guy Pierra and Eric Sardet, Rapport Evaluation - Lot 1 (Tache 1.3) - Projet E-Wok-Hub, LISI / ENSMA, 2009

Yamine Ait-Ameur, Hondjack Dehainsala, Stéphane Jean, Guy Pierra and 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, Chimène Fankam, Stéphane Jean, Guy Pierra and Eric Sardet, Outils et Services de gestion des Ontologies - Lot 2 - Projet ANR E-Wok-Hub, LISI / ENSMA, 2007

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron, Nadjet Kamel and Jean-Marc Mota., Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA), Projet RNRT VERBATIM, 2006

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron and Jean-Marc Mota, Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA), Projet RNRT VERBATIM, 2006

Yamine Aït-Ameur, Idir Aït-Sadoune, Jean-Marc Mota and Lionel Van-Aertryck, Validation d'IHM3 par animation de modèles B : LOT 4 (LISI/ENSMA)(SILICOMP/AQL), Projet RNRT VERBATIM, 2006

Yamine Aït-Ameur, Idir Aït-Sadoune and Mickaël 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érôme CHOCHON and Mourad EL-HADJ MIMOUNE, Base de Données à Base Ontologique : le modèle OntoDB, LISI-ENSMA, 04-002, 2004

Yamine Aït-Ameur, Benoit Bréholée, Patrick Girard, Laurent Guittet and Francis Jambon, Formal verification and validation of interactive systems specifications, Laboratory of Applied Computer Science (LISI/ENSMA), LISI 00-007, May, 2000