Le Site du Laboratoire d'Informatique et Insdustrielle (LISI)

Publications

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

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, 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

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

Idir Ait-Sadoune and Yamine Ait-Ameur, From BPEL to Event-B, IM FMT Workshop at IFM'2009 Conférence Düsseldorf, 2009

Idir Ait-Sadoune and Yamine Ait-Ameur, A Proof Based Approach for Modelling and Verifying Web Services Compositions, 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), Potsdam Germany, 2009

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

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

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 , - POSTER - Proceedings of the 6th British National Conference on Databases (BNCOD 2009), LNCS, July , 2009

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 terrestres, 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

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

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

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, ISI (Ingénierie des Systèmes d'Informations), 2008

Idir Aït-Sadoune and Yamine Aït-Ameur, Animating Event B Models by Formal Data Models , 3rd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), 2008

Idir Ait-Sadoune and Yamine Ait-Ameur, Verification and Validation of Web Service Composition Using Event B Method , First International Conference ABZ'08, 2008

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

Stéphane Jean, Guy Pierra and Yamine Ait-Ameur, Domain Ontologies: A Database-Oriented Analysis, Web Information Systems and Technologies, Volume 1, Lecture Notes in Business Information Processing, Springer Berlin Heidelberg, 2007, pp. 238-254

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

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

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

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

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, Conférence invitée de la 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, Rabat, Maroc, Avril 2006, 2006

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 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), Montréal, avril, 2006, pp. 123-130

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 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, vol. 8(6), November, 2006, pp. 547-563

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 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

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

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 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

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

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

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

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

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

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, 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 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

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

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.