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 - 4th International Conference (MEDI 2014), 8748, Lecture Notes in Computer Science, 2014

@BOOK{17522, author="Ait-Ameur Yamine and Bellatreche Ladjel and Papadopoulos George Angelos", title="Model and Data Engineering - 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings", publisher="Springer Verlag", year="2014", volume="8748", series="Lecture Notes in Computer Science", isbn="978-3-319-11586-3",}
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

@INBOOK{10772, author="Ait-Ameur Yamine and Baron Mickael and Belaid Nabil and Jean Stéphane and Mastella Laura", title="Ontology Integration and Management within Data Intensive Engineering Systems", year="2013",}
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

@INBOOK{10152, author="Mohand Oussaid Linda and Kamel Nadjet and Ait-Sadoune Idir and Ait-Ameur Yamine and Ahmed-Nacer Mohamed", title="A formal framework for design and validation of multimodal interactive systems in transport domain", publisher="ISTE Ltd and John Wiley & Sons, Inc", year="2011", edition="Christophe Kolski",}
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

@INBOOK{9499, author="Bakhtouchi Abdelghani and Chakroun Chedlia and Bellatreche Ladjel and Ait-Ameur Yamine", title="Mediated Data Integration Systems using Functional Dependencies Embedded in Ontologies", year="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


@INBOOK{8306, author="Mohand Oussaid Linda and Kamel Nadjet and Ait-Sadoune Idir and Ait-Ameur Yamine and Ahmed-Nacer Mohamed", title="Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport", publisher="Hermes Science Publications", year="2010", address="Paris",}
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

@BOOK{9207, author="Bellatreche Ladjel and Ait-Ameur Yamine and Pierra Guy", title="Guest editorial: Special issue on Contribution of Ontologies in Advanced Information Systems", publisher="Elsevier", year="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

@INBOOK{8346, author="Tapucu Dilek and Diallo Gayo and Ait-Ameur Yamine and Ünalir Murat Osman", title="Ontology-Based Database Approach for Handling Preferences ", publisher="IGI Global", year="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


@BOOK{8772, author="Ait-Ameur Yamine and Radack Gerry", title="ISO/TS 29002-31 — Industrial automation systems and integration — Exchange of characteristic data — Part 31: Query for characteristic data", publisher="ISO", year="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


@BOOK{8386, author="Jean Stéphane and Ait-Ameur Yamine and Pierra Guy", title="Ontology Query Languages for Ontology-Based Databases: a Survey", year="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

@BOOK{8750, author="Ait-Ameur Yamine", title="2e Conférence Francophone sur les Architectures Logicielles - CAL 2008", publisher="Cépaduès", year="2008",}
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

@BOOK{8756, author="Ait-Ameur Yamine and Boniol Frédéric and Wiels Virginie", title="ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation", publisher="Cépaduès", year="2007",}
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


@BOOK{9181, author="Jean Stéphane and Pierra Guy and Ait-Ameur Yamine", title="Domain Ontologies: a Database-Oriented Analysis", publisher="Springer-Verlag Berlin Heidelberg", year="2007", volume="1", series="Lecture Notes in Business Information Processing",}
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

@BOOK{6717, author="Ait-Ameur Yamine and Pierra Guy", title="Industrial Automation Systems and Integration, Parts Library, Logical model of supplier library with aggregate values and explicit content, ISO 13584-25", publisher="ISO (107 p.)", year="2004", address="Genève",}
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

@BOOK{7535, author="Pierra Guy and Ait-Ameur Yamine and Sardet Eric", title="Industrial Automation Systems and Integration, Parts Library, Logical model of supplier library, ISO 13584-24", publisher="ISO (660p)", year="2003", address="Genève",}
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


@INBOOK{6527, author="Jambon Francis and Brun Philippe and Ait-Ameur Yamine", title="Spécifications des systèmes interactifs", publisher="Hermès Science", year="2001", series="Interaction homme-machine pour les S.I.",}
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

@INBOOK{6774, author="Ait-Ameur Yamine", title="Cooperation of Formal Methods in an Engineering Based Software Development Process", year="2000",}
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

@BOOK{6288, author="Ait-Ameur Yamine and Besnard Frédéric and Girard Patrick and Pierra Guy and Potier Jean-Claude", title="Specification and Metaprogramming in the EXPRESS Language", publisher="IEEE-ACM Sigsoft", year="1995", address="Rockville
USA",}
Revues Internationales
(12)
Ladjel BELLATRECHE, Yamine AIT-AMEUR, George Angelos Papadopoulos, Models and data engineering, Future Generation Computer Systems (FGCS2017), vol. 68, 2017, pp. 442--444

@ARTICLE{32169, author="Bellatreche Ladjel and Ait-Ameur Yamine and Papadopoulos George Angelos", title="Models and data engineering", year="2017", volume="2017", pages="442--444", journal="Future Generation Computer Systems",}
Yamine AIT-AMEUR, Mickael BARON, Ladjel BELLATRECHE, Stéphane JEAN, Eric SARDET, Ontologies in engineering: The OntoDB/OntoQL platform, Soft Computing (SC), 2015


@ARTICLE{17794, author="Ait-Ameur Yamine and Baron Mickael and Bellatreche Ladjel and Jean Stéphane and Sardet Eric", title="Ontologies in engineering: The OntoDB/OntoQL platform", year="2015", journal="Soft Computing",}
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


@ARTICLE{18440, author="Jean Stéphane and Ait-Ameur Yamine and Pierra Guy", title="OntoQL: an Alternative to Semantic Web Query Languages", year="2015", pages="105-137", journal="International Journal of Semantic Computing",}
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


@ARTICLE{9631, author="Bakhtouchi Abdelghani and Bellatreche Ladjel and Jean Stéphane and Ait-Ameur Yamine", title="MIRSOFT: Mediator for Integrating and Reconciling Sources using Ontological FuncTional Dependencies", year="2012", volume="2012", number="1", journal="International Journal Web and Grid Services (Factor Impact = 0.978)",}
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


@ARTICLE{9654, author="Belaid Nabil and Jean Stéphane and Ait-Ameur Yamine and Rainaud Jean-François", title="An Ontology and Indexation Based Management of Services and Workflows: Application to Geological Modeling", year="2011", volume="2011", number="4", pages="296-309", journal="International Journal of Electronic Business Management",}
Ladjel BELLATRECHE, Yamine AIT-AMEUR, Chedlia CHAKROUN, A design methodology of ontology based database applications, Logic Journal of the IGPL (IGPL 2010), 2010

@ARTICLE{9020, author="Bellatreche Ladjel and Ait-Ameur Yamine and Chakroun Chedlia", title="A design methodology of ontology based database applications", year="2010", journal="Logic Journal of the IGPL",}
Ladjel BELLATRECHE, Yamine AIT-AMEUR, Guy PIERRA, Contribution of ontologies in designing advanced information systems, Data & Knowledge Engineering (DKE 2010), vol. 69, n. 11, November, 2010, pp. 1-3

@ARTICLE{9191, author="Bellatreche Ladjel and Ait-Ameur Yamine and Pierra Guy", title="Contribution of ontologies in designing advanced information systems", year="2010", volume="2010", number="11", pages="1-3", journal="Data & Knowledge Engineering",}
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


@ARTICLE{8594, author="Ait-Ameur Yamine and Baron Mickael and Kamel Nadjet and Mota Jean-Marc", title="Encoding a process algebra using the Event B method", year="2009", volume="2009", number="Number 3", pages="239-253", journal="International Journal on Software Tools for Technology Transfer",}
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

@ARTICLE{7221, author="Ait-Ameur Yamine and Baron Mickael", title="Formal and experimental validation approaches in HCI systems design based on a shared event B model", year="2006", volume="2006", number="6", pages="547-563", journal="International Journal on Software Tools for Technology Transfer",}
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


@ARTICLE{7403, author="Aklouf Youcef and Pierra Guy and Ait-Ameur Yamine and Drias Habiba", title="Cross usage of web services and PLIB ontologies to define a B2B exchange process of product catalogues ", year="2006", volume="2006", number="4", pages="415-435", journal="International Journal of Product LifeCycle Management",}
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 (ITSSR 2005), vol. 3, n. 2, 2005, pp. 66-81

@ARTICLE{8035, author="Aklouf Youcef and Pierra Guy and Ait-Ameur Yamine and Drias Habiba", title="PLIB Ontology: A Mature Solution for Products Characterization in B2B Electronic Commerce", year="2005", volume="2005", number="2", pages="66-81 ", journal="International Journal of IT Standards and Standardization Research",}
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


@ARTICLE{6631, author="Ait-Ameur Yamine and Pierra Guy", title="Spécification de modèles de données orientés objet dans le domaine technique : le langage EXPRESS", year="1995", volume="1995", number="8", pages="241-246", journal="Revue d'Automatique et de Productique Appliquée (RAPA)",}
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


@ARTICLE{9075, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Mota Jean-Marc", title="Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux", year="2010", volume="2010", number="1", pages="1-30", journal="Journal d'Interaction Personne-Système",}
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

@ARTICLE{8235, author="Fankam Chimène and Bellatreche Ladjel and Dehainsala Hondjack and Ait-Ameur Yamine and Pierra Guy", title="SISRO : conception de bases de données à partir d’ontologies de domaine ", year="2009", volume="2009", journal="Technique et science informatiques (TSI)",}
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

@ARTICLE{8274, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Mota Jean-Marc", title="Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement", year="2008", volume="2008", number="2", pages="127-154", journal="RSTI - ISI (Ingénierie des Systèmes d'Information)",}
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


@ARTICLE{7198, author="Pierra Guy and Dehainsala Hondjack and Ait-Ameur Yamine and Bellatreche Ladjel", title="Base de données à base ontologique : principe et mise en œuvre", year="2005", journal="Ingénierie des systèmes d'information",}
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

@ARTICLE{6740, author="Ait-Ameur Yamine", title="Refinement of rational end-points by means of floating-point numbers", year="1999", volume="1999", pages="132-163", journal="Science of Computer Programming",}
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

@INPROCEEDINGS{17359, author="Khouri Selma and Bellatreche Ladjel and Jean Stéphane and Ait-Ameur Yamine", title="Requirements Driven Data Warehouse Design: We Can Go Further", booktitle="Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications - 6th International Symposium,ISoLA 2014, Imperial, Corfu, Greece, ", year="2014", pages="588--603", month="oct",}
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


@INPROCEEDINGS{11028, author="Bazhar Youness and Ait-Ameur Yamine and Jean Stéphane", title="BeMoRe: a Repository for Handling Models Behaviors", booktitle="25th International Conference on Software Engineering and Knowledge Engineering", year="2013", month="jun",}
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


@INPROCEEDINGS{10832, author="Chakroun Chedlia and Bellatreche Ladjel and Ait-Ameur Yamine and Berkani Nabila and Jean Stéphane", title="Be Careful When Designing Semantic Databases: Data and Concepts Redundancy", booktitle="The Seventh IEEE International Conference on Research Challenges in Information Science.", year="2013", month="may",}
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

@INPROCEEDINGS{10762, author="Chakroun Chedlia and Bellatreche Ladjel and Ait-Ameur Yamine", title="It is time to propose a complete methodology for designing semantic databases", booktitle="9th International Conference on Web Information Systems and Technologies", year="2013", month="may",}
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


@INPROCEEDINGS{11683, author="Bazhar Youness and Ouhammou Yassine and Ait-Ameur Yamine and Grolleau Emmanuel and Jean Stéphane", title="Persistent Meta-Modeling Systems as Heterogeneous Model Repositories", booktitle="International Conference on Model and Data Engineering", year="2013", editor="Springer LNCS", pages="25-37", month="sep",}
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


@INPROCEEDINGS{9788, author="Teguiak Henry Valéry and Ait-Ameur Yamine and Jean Stéphane and Sardet Eric", title="MQL: a mapping management language for model-based databases", booktitle="14th International Conference on Enterprise Information Systems", year="2012", address="Wroclaw, Poland",}
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


@INPROCEEDINGS{9916, author="Bazhar Youness and Chakroun Chedlia and Ait-Ameur Yamine and Bellatreche Ladjel and Jean Stéphane", title="Extending Ontology-Based Databases with Behavioral Semantics", booktitle="Ontologies, DataBases, and Applications of Semantics", year="2012", pages="879-896",}
Youness BAZHAR, Yamine AIT-AMEUR, Stéphane JEAN, Mickael BARON, A Flexible Support of Non Canonical Concepts In Ontology-Based Databases, 8th International Conference on Web Information Systems and Technologies (WEBIST 2012), Porto, Portugal, April, 2012, pp. 393-398


@INPROCEEDINGS{9700, author="Bazhar Youness and Ait-Ameur Yamine and Jean Stéphane and Baron Mickael", title="A Flexible Support of Non Canonical Concepts In Ontology-Based Databases", booktitle="8th International Conference on Web Information Systems and Technologies", year="2012", pages="393-398", address="Porto, Portugal",}
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 2012), May, 2012, pp. 1-12


@INPROCEEDINGS{9713, author="Bakhtouchi Abdelghani and Bellatreche Ladjel and Jean Stéphane and Ait-Ameur Yamine", title="Ontologies as a Solution for Simultaneously Integrating and Reconciliating Data Sources", booktitle="Proceedings of the 6th IEEE International Conference on Research Challenges in Information Science", year="2012", pages="1-12",}
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

@INPROCEEDINGS{14158, author="Maitrehenry Sébastien and Metge Sylvain and Ait-Ameur Yamine and Bieber Pierre", title="An MDE-Based Synthesis of Aircraft Safety Models", booktitle="International Conference on Model & Data Engineering", year="2012", editor="Springer LNCS", pages="43-54", month="oct",}
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

@INPROCEEDINGS{10146, author="Ait-Sadoune Idir and Ait-Ameur Yamine and Baron Mickael", title="Verification and validation of BPEL processes. A proof and animation based approach", booktitle="Rodin User and Developer Workshop : Deploy Federated Event", year="2012", month="feb",}
Henry Valéry TEGUIAK, Yamine AIT-AMEUR, Eric SARDET, Use of persistent meta-modeling systems to handle mappings for ontology design, The Third International Conference on Models and Ontology-based Design of Protocols, Architectures and Services (MOPAS 2012), Chamonix, France, 2012

@INPROCEEDINGS{9706, author="Teguiak Henry Valéry and Ait-Ameur Yamine and Sardet Eric", title="Use of persistent meta-modeling systems to handle mappings for ontology design", booktitle="The Third International Conference on Models and Ontology-based Design of Protocols, Architectures and Services", year="2012", address="Chamonix, France",}
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

@INPROCEEDINGS{10159, author="Mohand Oussaid Linda and Ait-Sadoune Idir and Ait-Ameur Yamine", title="Modeling information fission in output multi-modal interactive systems using Event B", booktitle="International Conference on Model & Data Engineering", year="2011", editor="Springer LNCS", address="Obidos, Portugal", month="sep",}
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

@INPROCEEDINGS{9890, author="Simon Zayas David and Monceaux Anne and Ait-Ameur Yamine", title="Using knowledge and expressions to validate inter-model constraints", booktitle="18th Wolrd Congress IFAC", year="2011", editor="IFAC", publisher="IFAC",}
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

@INPROCEEDINGS{14224, author="Maitrehenry Sébastien and Metge Sylvain and Bieber Pierre and Ait-Ameur Yamine", title="Towards Model-Based Functional Hazard Assessment at Aircraft Level", booktitle="ESREL ", year="2011", editor="Springer Verlab", month="sep",}
David SIMON ZAYAS, Anne Monceaux, Yamine AIT-AMEUR, Knowledge based Characterization of Cross-Models Constraints to Check Design and Modeling Requirements, Conference on Data Systems in Aerospace (DASIA 2011), edited by DASIA, EUROSPACE, edited by DASIA, 2011

@INPROCEEDINGS{9884, author="Simon Zayas David and Monceaux Anne and Ait-Ameur Yamine", title="Knowledge based Characterization of Cross-Models Constraints to Check Design and Modeling Requirements", booktitle="Conference on Data Systems in Aerospace", year="2011", editor="DASIA", organization="EUROSPACE", publisher="DASIA",}
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), edited by LNCS, edited by Springer, October, 2011

@INPROCEEDINGS{9574, author="Chakroun Chedlia and Bellatreche Ladjel and Ait-Ameur Yamine", title="The Role of Class Dependencies in Designing Ontology-based Databases", booktitle="7th International IFIP Workshop on Semantic Web & Web Semantics", year="2011", editor="LNCS", publisher="Springer",}
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

@INPROCEEDINGS{9057, author="Simon Zayas David and Ait-Ameur Yamine and Monceaux Anne", title="Knowledge Models to Reduce the Gap Between Heterogeneous Models", booktitle="15th IEEE International Conference on Engineering of Complex Computer Systems", year="2010", editor="Radu Calinescu, Richard Paige, Marta Kwiatkowska", pages="355-360", organization="University of Oxford", publisher="The IEEE Computer Society", address="Oxford, United Kingdom",}
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


@INPROCEEDINGS{9005, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach", booktitle="Software Engineering Research, Management and Applications", year="2010", editor="Springer Berlin / Heidelberg", pages="51-68", address="Montreal, Canada",}
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


@INPROCEEDINGS{9337, author="Belaid Nabil and Ait-Ameur Yamine and Jean Stéphane and Rainaud Jean-François", title="TOWARD A SEMANTIC MANAGEMENT OF GEOLOGICAL MODELINGWORKFLOWS", booktitle="International Conference on Knowledge Engineering and Ontology Development", year="2010", editor="Joaquim Filipe and Jan L.G. Dietz",}
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) (ABZ 2010), vol. 5977/2010, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, Orford, Quebec, Canada, February, 2010, pp. 405-406


@INPROCEEDINGS{9000, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="A Proof Based Approach for Formal Verification of Transactional BPEL Web Services", booktitle="Abstract State Machines, Alloy, B and Z (ABZ'2010)", year="2010", editor="Springer Berlin / Heidelberg", pages="405-406", address="Orford, Quebec, Canada",}
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 2010), Mahdia, Tunisia, Juillet, 2010

@INPROCEEDINGS{9217, author="Ait-Ameur Yamine", title="Vérification formelle de modèles de données et de processus", booktitle="Ecole d’Eté Nouvelles Tendances en Informatique et Multimédia", year="2010", address="Mahdia, Tunisia",}
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


@INPROCEEDINGS{9347, author="Teguiak Henry Valéry and Ait-Ameur Yamine and Jean Stéphane and Sardet Eric", title="Incremental design of ontologies: A model transformation-based approach", booktitle="International Conference on Knowledge Engineering and Ontology Development", year="2010", editor="Joaquim Filipe and Jan L.G. Dietz", pages="94 - 103",}
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


@INPROCEEDINGS{9092, author="Jean Stéphane and Ait-Ameur Yamine and Pierra Guy", title="A Language for Ontology-Based Metamodeling Systems", booktitle="14th East-European on Advances In Databases and Information Systems (ADBIS 2010)", year="2010", editor="Springer", pages="247-261",}
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 (DBKDA 2009), edited by IEEE Computer Society, Conference Publishing Service, 2009, pp. 131-137


@INPROCEEDINGS{8544, author="Fankam Chimène and Jean Stéphane and Pierra Guy and Bellatreche Ladjel and Ait-Ameur Yamine", title="Towards Connecting Database Applications to Ontologies", booktitle="First International Conference on Advances in Databases, Knowledge, and Data Applications", year="2009", editor="IEEE Computer Society, Conference Publishing Service", pages="131-137",}
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

@INPROCEEDINGS{8297, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="From BPEL to Event-B", booktitle="International Workshop on Integration of Model-based Methods and Tools", year="2009", address="Düsseldorf Germany",}
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

@INPROCEEDINGS{8412, author="Mastella Laura and Ait-Ameur Yamine and Jean Stéphane and Perrin Michel and Rainaud Jean-François", title="Semantic Exploitation of Engineering Models: an Application to Oilfield Models ", booktitle="Proceedings of the 6th British National Conference on Databases", year="2009",}
Idir AIT-SADOUNE, Yamine AIT-AMEUR, A Proof Based Approach for Modelling and Verifying Web Services Compositions, 14th IEEE International Conference on Engineering of Complex Computer Systems (ECCS 2009), edited by IEEE Computer Society, Potsdam Germany, June, 2009, pp. 1-10


@INPROCEEDINGS{8486, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="A Proof Based Approach for Modelling and Verifying Web Services Compositions", booktitle="14th IEEE International Conference on Engineering of Complex Computer Systems", year="2009", editor="IEEE Computer Society", pages="1-10", address="Potsdam Germany",}
Nabil BELAID, Yamine AIT-AMEUR, Jean-François Rainaud, A semantic handling of geological modeling workflows, International ACM Conference on Management of Emergent Digital EcoSystems (MEDES 2009), 978-1-60558-829-2, edited by ACM, 2009, pp. 83-90

@INPROCEEDINGS{8642, author="Belaid Nabil and Ait-Ameur Yamine and Rainaud Jean-François", title="A semantic handling of geological modeling workflows", booktitle="International ACM Conference on Management of Emergent Digital EcoSystems", year="2009", pages="83-90", publisher="ACM", month="oct",}
Nabil BELAID, Yamine AIT-AMEUR, Jean-François Rainaud, A Semantic Repository for Geological Modeling Workflows, IEEE International Conference on Web Services (ICWS 2009), edited by IEEE, 2009, pp. 1030-1031

@INPROCEEDINGS{8656, author="Belaid Nabil and Ait-Ameur Yamine and Rainaud Jean-François", title="A Semantic Repository for Geological Modeling Workflows", booktitle="IEEE International Conference on Web Services", year="2009", pages="1030-1031", publisher="IEEE", month="jul",}
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

@INPROCEEDINGS{8666, author="Belaid Nabil and Ait-Ameur Yamine and Rainaud Jean-François", title="SWAPT - Semantic Workflow Architecture for Petroleum Techniques", booktitle="Fifth International Conference on Web Information Systems and Technologies", year="2009", pages="101-104", publisher="INSTICC Press", month="mar",}
Yamine AIT-AMEUR, A Semantic Repository for Adaptive Services, IEEE Congress on Services, Part I (IEEECongressServices 2009), 978-0-7695-3708-5, edited by IEEE Computer Society, 2009, pp. 211-218

@INPROCEEDINGS{8681, author="Ait-Ameur Yamine", title="A Semantic Repository for Adaptive Services", booktitle="IEEE Congress on Services, Part I", year="2009", pages="211-218", publisher="IEEE Computer Society", month="jul",}
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 2009), Rabat, Morroco, July, 2009

@INPROCEEDINGS{9039, author="Mohand Oussaid Linda and Ait-Ameur Yamine and Ahmed-Nacer Mohamed", title="A generic formal model for fission of modalities in output multi-modal interactive systems", booktitle="3rd International Workshop on Verification and Evaluation of Computer and Communication Systems", year="2009", address="Rabat, Morroco",}
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


@INPROCEEDINGS{8404, author="Mastella Laura and Ait-Ameur Yamine and Jean Stéphane and Perrin Michel and Rainaud Jean-François", title="Semantic exploitation of persistent metadata in engineering models: application to geological models", booktitle="IEEE International Conference on Research Challenges in Information Science", year="2009", editor="André Flory, Martine Collard", pages="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


@INPROCEEDINGS{8393, author="Tapucu Dilek and Jean Stéphane and Ait-Ameur Yamine and Ünalir Murat Osman", title="An Extension of Ontology Based Databases to Handle Preferences", booktitle="11th International Conference on Enterprise Information Systems", year="2009", pages="208-214", organization="INSTICC", month="apr",}
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) (ABZ 2008), vol. 5238, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, London UK, September, 2008, pp. 339-340


@INPROCEEDINGS{8284, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="Verification and Validation of Web Service Composition Using Event B Method ", booktitle="Abstract State Machines, B and Z (ABZ 2008)", year="2008", editor="Springer Berlin / Heidelberg", pages="339-340", address="London UK",}
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

@INPROCEEDINGS{8722, author="Mastella Laura and Ait-Ameur Yamine and Perrin Michel and Rainaud Jean-François", title="Ontology-based model annotation of heterogeneous geological representations", booktitle="Fourth International Conference on Web Information Systems and Technologies", year="2008", editor="J.C Hammoudi, J. Filipe, Slimane", pages="290-283", publisher="INSTICC Press", address="Funchal, Madeira, Portugal", month="may",}
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 (Europec 2008), Rome, Italy, edited by EarthDoc, 9-12 June, 2008

@INPROCEEDINGS{8738, author="Mastella Laura and Perrin Michel and Ait-Ameur Yamine and Abel Mara and Rainaud Jean-François", title="Formalising geological knowledge through ontologies and semantic annotation", booktitle="70th EAGE Conference & Exhibition incorporating SPE Europec 2008", year="2008", publisher="EarthDoc", address="Rome, Italy",}
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


@INPROCEEDINGS{8279, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="Animating Event B Models by Formal Data Models ", booktitle="Leveraging Applications of Formal Methods, Verification and Validation", year="2008", editor="Springer Berlin Heidelberg ", pages="37-55", address="Kassandra Greece",}
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


@INPROCEEDINGS{8457, author="Ait-Ameur Yamine and Belaid Nabil and Bennis Mohammed and Corby Olivier and Dieng-Kuntz Rose and Doucy Jérémie and Durville Priscille and Fankam Chimène and Gandon Fabien L. and Giboin Alain and Giroux Patrick and Grataloup Sandrine and Grilheres Bruno and Husson Florian and Jean Stéphane and Langlois Joel and Luong Phuc-Hiep and Mastella Laura and Morel Olivier and Perrin Michel and Pierra Guy and Rainaud Jean-François and Ait-Sadoune Idir and Sardet Eric and Tertre Francois and Valiati João Francisco", title="Semantic Hubs for Geological Projects", booktitle="Workshop on Semantic Metadata Management and Applications", year="2008", pages="3-17", month="jun",}
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


@INPROCEEDINGS{8123, author="Fankam Chimène and Jean Stéphane and Bellatreche Ladjel and Ait-Ameur Yamine", title="Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach", booktitle="Second European Conference on Software Architecture", year="2008", editor="LNCS Springer", pages="318-321",}
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

@INPROCEEDINGS{9363, author="Cortier Alexandre and D'ausbourg Bruno and Ait-Ameur Yamine", title="Formal Validation of Java/Swing User Interfaces with the Event-B Method", booktitle="12th International Conference on Human-Computer Interaction", year="2007", pages="1062-1071", month="jul",}
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 2007), vol. 4690/2007, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, 2007, pp. 141-156


@INPROCEEDINGS{7846, author="Jean Stéphane and Ait-Ameur Yamine and Pierra Guy", title="An Object-Oriented Based Algebra for Ontologies and their Instances", booktitle="Advances in Databases and Information Systems", year="2007", editor="Springer Berlin / Heidelberg", pages="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

@INPROCEEDINGS{9213, author="Ait-Ameur Yamine and Bellatreche Ladjel and Pierra Guy", title="Modélisation à base ontologique en ingénierie. Principes et applications", booktitle="International Symposium on Programming and Systems", year="2007",}
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

@INPROCEEDINGS{8481, author="Pierra Guy and Ait-Ameur Yamine and Bellatreche Ladjel and Dehainsala Hondjack and Jean Stéphane and Fankam Chimène and Nguyen Xuan Dung", title="Données à base ontologique: gestion, interrogation, intégration", booktitle="Première édition des Journées Francophones sur les Ontologies", year="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-262


@INPROCEEDINGS{7744, author="Fankam Chimène and Ait-Ameur Yamine and Pierra Guy", title="Exploitation of Ontology Languages for both Persistence and reasoning Purposes : Mapping PLIB, OWL and Flight ontology models.", booktitle="Third International Conference on Web Information Systems and Technologies", year="2007", editor="Edited by: Joaquim Filipe, José Cordeiro, Bruno Encarnação and Vitor Pedrosa. ", pages="254-262", publisher=" INSTICC Press",}
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 (Demo Paper), In the 12th International Conference on Database Systems for Advanced Applications (DASFAA 2007), edited by Springer's Lecture Notes in Computer Science, Bangkok - Thailand, April, 2007, pp. 1119-1122


@INPROCEEDINGS{7728, author="Jean Stéphane and Dehainsala Hondjack and Nguyen Xuan Dung and Pierra Guy and Bellatreche Ladjel and Ait-Ameur Yamine", title="OntoDB: It is Time to Embed your Domain Ontology in your Database (Demo Paper)", booktitle="In the 12th International Conference on Database Systems for Advanced Applications", year="2007", editor="Springer's Lecture Notes in Computer Science", pages="1119-1122", address="Bangkok - Thailand",}
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


@INPROCEEDINGS{7734, author="Jean Stéphane and Ait-Ameur Yamine and Pierra Guy", title="Querying Ontology Based Databases Using OntoQL (an Ontology Query Language)", booktitle="Ontologies, DataBases, and Applications of Semantics", year="2006", editor="R.Meersman, Z. Tari et al.", pages="704-721", publisher="Springer",}
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


@INPROCEEDINGS{7423, author="Jean Stéphane and Ait-Ameur Yamine and Pierra Guy", title="Querying ontology based databases. The OntoQL proposal", booktitle="Software Engineering and Knowledge Engineering", year="2006", pages="166-171", publisher="Knowledge Systems Institute Graduate School",}
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


@INPROCEEDINGS{7412, author="Jean Stéphane and Pierra Guy and Ait-Ameur Yamine", title="Domain Ontologies : a Database-Oriented Analysis", booktitle="Third International Conference on Web Information Systems and Technologies", year="2006", editor="José A. Moinhos Cordeiro, Vitor Pedrosa, Bruno Encarnação, Joaquim Filipe", pages="341-351", publisher="INSTICC PRESS", month="apr",}
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 2006), Paphos(Cyprus), 2006, 2006, pp. 27-35

@INPROCEEDINGS{9370, author="Ait-Ameur Yamine and Cortier Alexandre and Delmas Rémi and Wiels Virginie", title="Formal modelling of avionics systems. An approach based on category theory and the EXPRESS modelling language", booktitle="Proceedings of IEEE International Symposium on Leveraging Formal Methods Applications", year="2006", pages="27-35", address="Paphos(Cyprus)",}
Yamine AIT-AMEUR, Mickael BARON, Nadjet KAMEL, Encoding a Process Algebra Using the Event B Method., 2nd IEEE International Symposium on Leveraging Applications of Formal Methods (ISOLA 2005), edited by Loyola College, Department of Computer Science , Columbia, Maryland USA, 2005


@INPROCEEDINGS{7295, author="Ait-Ameur Yamine and Baron Mickael and Kamel Nadjet", title="Encoding a Process Algebra Using the Event B Method.", booktitle="2nd IEEE International Symposium on Leveraging Applications of Formal Methods", year="2005", editor="Loyola College, Department of Computer Science ", address="Columbia, Maryland USA",}
Stéphane JEAN, Guy PIERRA, Yamine AIT-AMEUR, OntoQL: an exploitation language for OBDBs, Very Large Data Bases (VLDB 2005), 29 Août, 2005


@INPROCEEDINGS{7282, author="Jean Stéphane and Pierra Guy and Ait-Ameur Yamine", title="OntoQL: an exploitation language for OBDBs", booktitle="Very Large Data Bases", year="2005", month="aug",}
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, Conference on Data Systems in Aerospace (DASIA 2004), June 28-30 2004, Nice, France, 2004

@INPROCEEDINGS{8079, author="Ait-Ameur Yamine and Boniol Frédéric and Delmas Rémi and Grolleau Emmanuel and Torrecillas Nathalie and Wiels Virginie", title="Integration of heterogeneous formal techniques for the design of avionics systems", booktitle="Conference on Data Systems in Aerospace", year="2004", address="June 28-30 2004, Nice, France", month="jun",}
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, 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), edited by Cyprus, Department of Computer Science, Paphos, Cyprus, 2004, pp. 74-81


@INPROCEEDINGS{7110, author="Ait-Ameur Yamine and Baron Mickael", title="Bridging the gap between formal and experimental validation approaches in HCI systems design : use of the event B proof based technique", booktitle="1st International Symposium on Leveraging Applications of Formal Methods", year="2004", editor="Cyprus, Department of Computer Science", pages="74-81", address="Paphos, Cyprus",}
Yamine AIT-AMEUR, Nadjet KAMEL, A generic formal specification of fusion of modalities in a multimodal HCI, IFIP 18th World Computer Congress Topical (WCC 2004), edited by Jacquart, René, Toulouse, France, edited by Kluwer Academic Publishers, 2004, pp. 415-420

@INPROCEEDINGS{7115, author="Ait-Ameur Yamine and Kamel Nadjet", title="A generic formal specification of fusion of modalities in a multimodal HCI", booktitle="IFIP 18th World Computer Congress Topical", year="2004", editor="Jacquart, René", pages="415-420", publisher="Kluwer Academic Publishers", address="Toulouse, France",}
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, Conference of Human Error, Safety and Systems Development (HESSD 2004), Toulouse, France, August 22-27, 2004


@INPROCEEDINGS{7066, author="Ait-Ameur Yamine and Bréholée Benoit and Girard Patrick and Guittet Laurent and Jambon Francis", title="Formal verification and validation of interactive systems specifications from informal specifications to formal validation", booktitle="Conference of Human Error, Safety and Systems Development", year="2004", address="Toulouse, France", month="aug",}
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


@INPROCEEDINGS{7000, author="Bellatreche Ladjel and Pierra Guy and Nguyen Xuan Dung and Dehainsala Hondjack and Ait-Ameur Yamine", title="An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Databases", booktitle="15th International Conference on Database and Expert Systems Applications", year="2004", publisher="LNCS", address="Zaragoza, Spain",}
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 (ISPS 2003), Algérie, 2003, pp. 57-66


@INPROCEEDINGS{6814, author="Ait-Ameur Yamine and Baron Mickael and Kamel Nadjet", title="Utilisation de techniques formelles dans la modélisation d'Interfaces Homme-Machine. Une expérience comparative entre B et Promela/SPIN", booktitle="6th International Symposium on Programming and Systems ISPS 2003", year="2003", pages="57-66", address="Algérie",}
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


@INPROCEEDINGS{6920, author="Ait-Ameur Yamine and Baron Mickael and Girard Patrick", title="Formal validation of HCI user tasks", booktitle="International Conference on Software Engineering Research and Practice", year="2003", editor="Ban, Al-Ani and H.R, Arabnia and Youngsong, Mum", pages="732-738", publisher="CSREA Press", address="Las Vegas, Nevada USA",}
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


@INPROCEEDINGS{6892, author="Aklouf Youcef and Pierra Guy and Ait-Ameur Yamine and Drias Habiba", title="PLIB Ontology For B2B Electronic Commerce", booktitle="Special track on Data Integration in Engineering", year="2003", editor="R. Jardim-Gonçalves and J. Cha and A. Steiger-Garçao", pages="269-278", organization="UNINOVA", publisher="A.A. Balkema",}
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


@INPROCEEDINGS{6838, author="Chochon Jérome and Ait-Ameur Yamine and Pierra Guy and Potier Jean-Claude", title="Reducing parts diversity in product design: a data centered approach", booktitle="Special track on Data Integration in Engineering", year="2003", editor="R. Jardim-Gonçalves and J. Cha and A. Steiger-Garçao", organization="UNINOVA", publisher="A.A. Balkema",}
Mourad MIMOUNE, Guy PIERRA, Yamine AIT-AMEUR, An Ontology-based approach for exchanging data between heterogeneous database systems, 5th International Conference on Enterprise Information Systems (ICEIS 2003), vol. 4, 2003, pp. 512-524


@INPROCEEDINGS{6831, author="Mimoune Mourad and Pierra Guy and Ait-Ameur Yamine", title="An Ontology-based approach for exchanging data between heterogeneous database systems", booktitle="5th International Conference on Enterprise Information Systems", year="2003", pages="512-524",}
Mohand AIT-MOHAMMED, Yamine AIT-AMEUR, Evaluation de la précision des calculs dans les programmes numériques, International Symposium on Programming and Systems (PS 2001), Alger, 2001

@INPROCEEDINGS{6764, author="Ait-Mohammed Mohand and Ait-Ameur Yamine", title="Evaluation de la précision des calculs dans les programmes numériques", booktitle="International Symposium on Programming and Systems", year="2001", address="Alger",}
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


@INPROCEEDINGS{6578, author="Sardet Eric and Pierra Guy and Murayama H. and Oodake Y. and Ait-Ameur Yamine", title="Simplified Representation of Parts Library : Model Practice and Implementation", booktitle="10th Symposium on Product Data Technology Europe", year="2001", pages="163-174", publisher="QMS edition", address="Brussels",}
Yamine AIT-AMEUR, Vérification formelle de programmes (Conférence Invitée), International Symposium on Programming and Systems (ISPS 2001), 2001

@INPROCEEDINGS{6786, author="Ait-Ameur Yamine", title="Vérification formelle de programmes (Conférence Invitée)", booktitle="International Symposium on Programming and Systems", year="2001",}
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 (GDR-PRCI3 2001), Equipe SIGMA LSR-IMAG et Equipe MODEME IAE de Lyon, 2001, pp. 229-246


@INPROCEEDINGS{5829, author="Mimoune Mourad and Pierra Guy and Ait-Ameur Yamine", title="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", booktitle="Actes de la Journée de Travail Bi-Thématique du GDR-PRC I3", year="2001", pages="229-246", organization="Equipe SIGMA LSR-IMAG et Equipe MODEME IAE de Lyon",}
Francis JAMBON, Patrick GIRARD, Yamine AIT-AMEUR, Interactive System Safety and Usability enforced with the development process, 8th IFIP International Conference - Engineering for Human-Computer Interaction (EHCI 2001), vol. 2254, Lecture Notes in Computer Science, edited by Little, Reed Murray and Nigay, Laurence, Berlin, edited by Springer, 2001, pp. 39-55


@INPROCEEDINGS{6103, author="Jambon Francis and Girard Patrick and Ait-Ameur Yamine", title="Interactive System Safety and Usability enforced with the development process", booktitle="8th IFIP International Conference - Engineering for Human-Computer Interaction", year="2001", editor="Little, Reed Murray and Nigay, Laurence", pages="39-55", publisher="Springer", address="Berlin",}
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., International Symposium on Programming and Systems (ISPS 2001), 2001, pp. 15-26


@INPROCEEDINGS{6274, author="Mimoune Mourad and Ait-Ameur Yamine and Pierra Guy", title="Modélisation du contenu des catalogues de composants industriels : de la représentation implicite à la représentation explicite.", booktitle="International Symposium on Programming and Systems", year="2001", pages="15-26",}
Karim CHEBIEB, Djamila Mansour, Yamine AIT-AMEUR, Expression, Analyse, et Evaluation de propriétés Ergonomiques, International Symposium on Programming and Systems (ISPS 2001), 2001

@INPROCEEDINGS{6758, author="Chebieb Karim and Mansour Djamila and Ait-Ameur Yamine", title="Expression, Analyse, et Evaluation de propriétés Ergonomiques", booktitle="International Symposium on Programming and Systems", year="2001",}
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


@INPROCEEDINGS{5910, author="Mimoune Mourad and Ait-Ameur Yamine and Pierra Guy and Potier Jean-Claude", title="Integration of component descriptions in product data management systems ", booktitle="ISPE International Conference on Concurrent Engineering", year="2000", editor="Technomic Publ. Co.", pages="370-380",}
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

@INPROCEEDINGS{6097, author="Jambon Francis and Girard Patrick and Ait-Ameur Yamine", title="Interactive System Safety and Usability enforced by the Development Process: the FADEC User Interface Case Study", booktitle="Safety and Usability Concerns in Aeronautics - IFIP WG 13.5 Workshop within HCI-Aero'2000", year="2000", editor="Hohnson, Chris and Palanque, Philippe and Paternò, Fabio", address="Toulouse, France",}
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 (OOIS 2000), London, 2000, pp. 315-339


@INPROCEEDINGS{6548, author="Ait-Ameur Yamine and Pierra Guy and Sardet Eric", title="An object oriented approach to represent behavioural knowledge in heterogeneous information systems", booktitle="International Conference on Object-Oriented Information Systems", year="2000", pages="315-339", address="London",}
Yamine AIT-AMEUR, Guy PIERRA, Eric SARDET, An Object Oriented Approach to Represent Behavioural Knowledge in Heterogeneous Information Systems, Object Oriented Information Systems (OOIS 2000), edited by Springer Verlag, Londres, 2000, pp. 303-315

@INPROCEEDINGS{6770, author="Ait-Ameur Yamine and Pierra Guy and Sardet Eric", title="An Object Oriented Approach to Represent Behavioural Knowledge in Heterogeneous Information Systems", booktitle="Object Oriented Information Systems", year="2000", editor="Springer Verlag", pages="303-315", address="Londres",}
Yamine AIT-AMEUR, Patrick GIRARD, Francis JAMBON, Using the B formal approach for incremental specification design of interactive systems, Engineering for Human-Computer Interaction (EHCI 1998), vol. 22, edited by Chatty, Stéphane and Dewan, Prasun, edited by Kluwer Academic Publishers, 1998, pp. 91-108


@INPROCEEDINGS{5952, author="Ait-Ameur Yamine and Girard Patrick and Jambon Francis", title="Using the B formal approach for incremental specification design of interactive systems", booktitle="Engineering for Human-Computer Interaction", year="1998", editor="Chatty, Stéphane and Dewan, Prasun", pages="91-108", publisher="Kluwer Academic Publishers",}
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 (DSVIS 1998), vol. Proceedings, edited by Markopoulos, Panos and Johnson, Peter, Abingdon, UK, 1998, pp. 333-352


@INPROCEEDINGS{5946, author="Ait-Ameur Yamine and Girard Patrick and Jambon Francis", title="A Uniform approach for the Specification and Design of Interactive Systems: the B method", booktitle="Eurographics Workshop on Design, Specification, and Verification of Interactive Systems", year="1998", editor="Markopoulos, Panos and Johnson, Peter", pages="333-352", address="Abingdon, UK",}
Eric SARDET, Guy PIERRA, Yamine AIT-AMEUR, Formal Specification : Modelling and Exchange of classes of components according to PLIB. A case study, International Symposium on Global Engineering Networking (GEN 1997), Antwerp Belgium, 1997, pp. 179-200


@INPROCEEDINGS{6568, author="Sardet Eric and Pierra Guy and Ait-Ameur Yamine", title="Formal Specification : Modelling and Exchange of classes of components according to PLIB. A case study", booktitle="International Symposium on Global Engineering Networking", year="1997", pages="179-200", address="Antwerp Belgium",}
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 1995), Rockville USA, edited by IEEE-ACM Sigsoft, 1995, pp. 181-189.

@INPROCEEDINGS{6586, author="Ait-Ameur Yamine and Besnard Frédéric and Girard Patrick and Pierra Guy and Potier Jean-Claude", title="Specification and Metaprogramming in the EXPRESS Language", booktitle="International Conference on Software Engineering and Knowledge Engineering", year="1995", pages="181-189.", publisher="IEEE-ACM Sigsoft", address="Rockville USA",}
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 2012), 2012


@INPROCEEDINGS{9765, author="Bazhar Youness and Jean Stéphane and Ait-Ameur Yamine and Baron Mickael", title="Extension de ONTODB pour construire une architecture générique de bases de données à base ontologique", booktitle="6ème Conférence francophone sur les Architectures Logicielles", year="2012",}
Yamine AIT-AMEUR, Persistance dans une Base de données à base ontologique, RFIA - Sources Ouvertes et Services (RFIA 2010), Caen, 2010

@INPROCEEDINGS{9272, author="Ait-Ameur Yamine", title="Persistance dans une Base de données à base ontologique", booktitle="RFIA - Sources Ouvertes et Services", year="2010", address="Caen",}
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

@INPROCEEDINGS{8873, author="Tapucu Dilek and Diallo Gayo and Jean Stéphane and Ait-Ameur Yamine and Ünalir Murat Osman and Belaidi Nacima", title="Définition et Exploitation des Préférences au Niveau Sémantique", booktitle="Journées Francophones sur les Ontologies", year="2009", pages="29-36", publisher="ACM",}
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 (INFORSID 2008), 2008, pp. 1-10

@INPROCEEDINGS{8729, author="Mastella Laura and Ait-Ameur Yamine and Perrin Michel and Rainaud Jean-François", title="Annotation à base ontologique de modèles : application aux modèles en géologie pour le stockage de CO2", booktitle="26ème Congrès INFORSID - Atelier Systèmes d'Information et de Décision pour l'Environnement", year="2008", pages="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, 26ème Congrès INFORSID - Atelier Systèmes d'Information et de Décision pour l'Environnement (INFORSID 2008), 2008, pp. 67-76

@INPROCEEDINGS{8471, author="Belaid Nabil and Ait-Sadoune Idir and Ait-Ameur Yamine and Rainaud Jean-François and Jean Stéphane", title="Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2", booktitle="26ème Congrès INFORSID - Atelier Systèmes d'Information et de Décision pour l'Environnement", year="2008", pages="67-76",}
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

@INPROCEEDINGS{7840, author="Dehainsala Hondjack and Pierra Guy and Bellatreche Ladjel and Ait-Ameur Yamine", title="Conception de bases de données à partir d'ontologies de domaine : Application aux bases de données du domaine technique", booktitle="1ères Journées Francophones sur les Ontologies", year="2007", month="oct",}
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 2007), Juillet, 2007, pp. 9-20

@INPROCEEDINGS{7833, author="Belaid Nabil and Bellatreche Ladjel and Ait-Ameur Yamine and Pierra Guy", title="Intégration de sources à base ontologique : architecture en réseau VS architure en étoile", booktitle="Plate-Forme AFIA: Atelier Thématique GDR I3 sur Ontologies et Gestion de l'hétérogénéité sémantique", year="2007", pages="9-20",}
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), 2007


@INPROCEEDINGS{8015, author="Fankam Chimène and Ait-Ameur Yamine", title="Prise en compte des ontologies non canoniques dans les BDBO : le modèle ONTODB2.", booktitle="XXVème Congrès INFORSID", year="2007", month="may",}
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, XXVème Congrès INFORSID (INFORSID 2007), 2007


@INPROCEEDINGS{7757, author="Jean Stéphane and Ait-Ameur Yamine and Pierra Guy", title="Une approche langage pour la gestion de données dans les systèmes de méta-modélisation", booktitle="XXVème Congrès INFORSID", year="2007", month="may",}
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

@INPROCEEDINGS{9045, author="Kamel Nadjet and Mohand Oussaid Linda and Ait-Ameur Yamine", title="Systèmes interactifs multimodaux dans le secteur du transport : un modèle formel de conception et de validation", booktitle="Workshop International : Logistique & Transport 2007", year="2007", address="Sousse, Tunisie", month="nov",}
Idir AIT-SADOUNE, Yamine AIT-AMEUR, B2EXPRESS : Un animateur de modèles B événementiel, Approches Formelles dans l'Assistance au Développement de Logiciel (AFADL 2007), Université de Namur, Belgique, Juin, 2007, pp. 295-296


@INPROCEEDINGS{7856, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="B2EXPRESS : Un animateur de modèles B événementiel", booktitle="Approches Formelles dans l'Assistance au Développement de Logiciel", year="2007", pages="295-296", address="Université de Namur, Belgique",}
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, Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités (MOSIM 2006), Rabat, Maroc, 3 - 5 avril, 2006, pp. 578-588


@INPROCEEDINGS{7316, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael", title="Etude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement", booktitle="Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités", year="2006", pages="578-588", address="Rabat, Maroc", month="apr",}
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 2006), La Rochelle , Juillet, 2006

@INPROCEEDINGS{9239, author="Ait-Sadoune Idir and Ait-Ameur Yamine", title="Animation de modèles B par transformation de modèles", booktitle="Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes", year="2006", address="La Rochelle ",}
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ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006), vol. 133, edited by ACM International Conference Proceeding Series, avril, 2006, pp. 123-130


@INPROCEEDINGS{7576, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Mota Jean-Marc", title="Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve", booktitle="18ème Conférence Francophone sur l'Interaction Homme-Machine", year="2006", editor="ACM International Conference Proceeding Series", pages="123-130",}
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


@INPROCEEDINGS{7183, author="Pierra Guy and Dehainsala Hondjack and Ait-Ameur Yamine and Bellatreche Ladjel and Chochon Jérome and Mimoune Mourad", title="Base de Données à Base Ontologique : le modèle OntoDB", booktitle="20 èmes Journées Bases de Données Avancées", year="2004", editor="J. Lemaitre", pages="263-286", month="oct",}
Yamine AIT-AMEUR, Frédéric BONIOL, Sylvain PAIRAULT, Virginie WIELS, Analyse de Robustesse de Systèmes Avioniques, Journées Francophones des Langages Applicatifs (LA 2003), Chamrousse, Janvier, 2003

@INPROCEEDINGS{6782, author="Ait-Ameur Yamine and Boniol Frédéric and Pairault Sylvain and Wiels Virginie", title="Analyse de Robustesse de Systèmes Avioniques", booktitle="Journées Francophones des Langages Applicatifs", year="2003", address="Chamrousse",}
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 2002), Toulouse, 2002

@INPROCEEDINGS{6750, author="Ait-Ameur Yamine and D'ausbourg Bruno and Boniol Frédéric and Wiels Virginie", title="A component Based Méthodology for Description of Complex Systems", booktitle="4th European Systems Engineering Conference", year="2002", address="Toulouse",}
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 (JQSL 2002), Nancy, 2002

@INPROCEEDINGS{6790, author="Ait-Ameur Yamine", title="Méthodologie de Conception et de Développements de Composants Avioniques et Utilisations de Techniques Formalles", booktitle="Conférence invitée aux Journées Qalité et Sûreté Logicielle du LORIA", year="2002", address="Nancy",}
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

@PHDTHESIS{5933, author="Ait-Ameur Yamine", title="Développements Contrôlés de Programmes par Modélisations et Vérifications de Propriétés", year="2000", month="jan",}
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, 2011


@TECHREPORT{9740, author="Teguiak Henry Valéry and Ait-Ameur Yamine and Sardet Eric and Bellatreche Ladjel", title="MQL: an extension of SQL for mappings manipulation", institution="LIAS/ISAE-ENSMA", year="2011", month="2011",}
Chedlia CHAKROUN, Ladjel BELLATRECHE, Yamine AIT-AMEUR, Ontological Concept Dependencies driven Approach to Design Ontology-Based Databases, LISI/ENSMA(3), February , 2011


@TECHREPORT{9444, author="Chakroun Chedlia and Bellatreche Ladjel and Ait-Ameur Yamine", title="Ontological Concept Dependencies driven Approach to Design Ontology-Based Databases", institution="LISI/ENSMA", year="2011", number="3", month="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

@TECHREPORT{8908, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Fankam Chimène and Jean Stéphane and Pierra Guy and Sardet Eric", title="Rapport Evaluation - Lot 1 (Tache 1.3) - Projet E-Wok-Hub", institution="LISI / ENSMA", year="2009", month="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

@TECHREPORT{8892, author="Ait-Ameur Yamine and Fankam Chimène and Jean Stéphane and Pierra Guy and Sardet Eric", title="Outils et Services de gestion des Ontologies - Lot 2 - Projet ANR E-Wok-Hub", institution="LISI / ENSMA", year="2007", month="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

@TECHREPORT{8899, author="Ait-Ameur Yamine and Dehainsala Hondjack and Jean Stéphane and Pierra Guy and Sardet Eric", title="Persistance des données ontologiques avec OntoDB et langage d'exploitation OntoQL - Lot 3 - Projet E-Wok-Hub", institution="LISI / ENSMA", year="2007", month="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


@TECHREPORT{7878, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Mota Jean-Marc and Van-Aertryck Lionel", title="Validation d'IHM3 par animation de modèles B : LOT 4 (LISI/ENSMA)(SILICOMP/AQL)", institution="Projet RNRT VERBATIM", year="2006", month="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


@TECHREPORT{7871, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Mota Jean-Marc", title="Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA)", institution="Projet RNRT VERBATIM", year="2006", month="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


@TECHREPORT{7865, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Kamel Nadjet and Mota Jean-Marc", title="Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA)", institution="Projet RNRT VERBATIM", year="2006", month="2006",}
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA), LISI/ENSMA, 2005


@TECHREPORT{7228, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael", title="Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA)", institution="LISI/ENSMA", year="2005", month="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


@TECHREPORT{7027, author="Pierra Guy and Dehainsala Hondjack and Ait-Ameur Yamine and Bellatreche Ladjel and Chochon Jérome and Mimoune Mourad", title="Base de Données à Base Ontologique : le modèle OntoDB", institution="LISI-ENSMA", year="2004", number="04-002", month="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

@TECHREPORT{5941, author="Ait-Ameur Yamine and Bréholée Benoit and Girard Patrick and Guittet Laurent and Jambon Francis", title="Formal verification and validation of interactive systems specifications", institution="Laboratory of Applied Computer Science (LISI/ENSMA)", year="2000", number="LISI 00-007", month="2000",}