Domain ontologies: A database-oriented analysis S Jean, G Pierra, Y Ait-Ameur Web Information Systems and Technologies: International Conferences, WEBIST …, 2007 | 110 | 2007 |
Querying ontology based database using ontoql (an ontology query language) S Jean, Y Aït-Ameur, G Pierra OTM Confederated International Conferences" On the Move to Meaningful …, 2006 | 76 | 2006 |
Bases de données à base ontologique. Principe et mise en oeuvre. G Pierra, H Dehainsala, YA Ameur, L Bellatreche Ingénierie des Systèmes d Inf. 10 (2), 91-115, 2005 | 63 | 2005 |
Making explicit domain knowledge in formal system development Y Ait-Ameur, D Méry Science of Computer Programming 121, 100-127, 2016 | 49 | 2016 |
Using the B formal approach for incremental specification design of interactive systems Y Aït-Ameur, P Girard, F Jambon IFIP International Conference on Engineering for Human-Computer Interaction …, 1998 | 45 | 1998 |
Formal and experimental validation approaches in HCI systems design based on a shared event B model Y Ait-Ameur, M Baron International Journal on Software Tools for Technology Transfer 8, 547-563, 2006 | 44 | 2006 |
Formal validation of HCI user tasks Y Aït-Ameur, M Baron, P Girard Proc. International Conference on Software Engineering Research and Practice …, 2003 | 43 | 2003 |
A Uniform approach for the Specification and Design of Interactive Systems: the B method Y Aït-Ameur, P Girard, F Jambon Eurographics Workshop on Design, Specification, and Verification of …, 1998 | 43 | 1998 |
An a priori approach for automatic integration of heterogeneous and autonomous databases L Bellatreche, G Pierra, DN Xuan, D Hondjack, YA Ameur International Conference on Database and Expert Systems Applications, 475-485, 2004 | 42 | 2004 |
A proof based approach for modelling and verifyingweb services compositions I Ait-Sadoune, Y Ait-Ameur 2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009 | 41 | 2009 |
OntoQL, un langage d'exploitation des bases de données à base ontologique S Jean Université de Poitiers, 2007 | 40 | 2007 |
Ontodb: It is time to embed your domain ontology in your database S Jean, H Dehainsala, DN Xuan, G Pierra, L Bellatreche, Y Aït-Ameur International Conference on Database Systems for Advanced Applications, 1119 …, 2007 | 34 | 2007 |
Querying ontology based databases. the ontoql proposal S Jean, Y Aït-Ameur, G Pierra Proc. Software Engineering and Knowledge Engineering (SEKE 2006), 166--171, 2006 | 34 | 2006 |
SISRO: conception de bases de données à partir d'ontologies de domaine C Fankam, L Bellatreche, H Dehainsala, Y Aït-Ameur, G Pierra Revue des Sciences et Technologies de l'Information-Série TSI: Technique et …, 2009 | 33 | 2009 |
Proof-based approach to hybrid systems development: dynamic logic and Event-B G Dupont, Y Aït-Ameur, M Pantel, NK Singh Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 31 | 2018 |
A correct-by-construction model for asynchronously communicating systems Z Farah, Y Ait-Ameur, M Ouederni, K Tari International journal on software tools for technology transfer 19, 465-485, 2017 | 30 | 2017 |
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems: Version to Read Y Ait-Ameur, JP Gibson, D Méry International Symposium On Leveraging Applications of Formal Methods …, 2014 | 29 | 2014 |
Formal Specification: Modelling and Exchange of classes of components according to PLIB. A case study E Sardet, G Pierra, Y Ait-Ameur Proc. International Symposium on Global Engineering Networking (GEN 1997 …, 1997 | 29 | 1997 |
Ontologies in engineering: the OntoDB/OntoQL platform Y Ait-Ameur, M Baron, L Bellatreche, S Jean, E Sardet Soft Computing 21, 369-389, 2017 | 28 | 2017 |
Stepwise design of BPEL web services compositions: an event_b refinement based approach I Ait-Sadoune, Y Ait-Ameur Software Engineering Research, Management and Applications 2010, 51-68, 2010 | 28 | 2010 |