| Domain ontologies: A database-oriented analysis S Jean, G Pierra, Y Ait-Ameur Web Information Systems and Technologies: International Conferences, WEBIST …, 2007 | 99 | 2007 |
| Querying ontology based database using ontoql (an ontology query language) S Jean, Y Aït-Ameur, G Pierra On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and …, 2006 | 71 | 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 | 58 | 2005 |
| Making explicit domain knowledge in formal system development Y Ait-Ameur, D Méry Science of Computer Programming 121, 100-127, 2016 | 44 | 2016 |
| Using the B formal approach for incremental specification design of interactive systems Y Aït-Ameur, P Girard, F Jambon Engineering for Human-Computer Interaction: IFIP TC2/TC13 WG2. 7/WG13. 4 …, 1999 | 44 | 1999 |
| 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 |
| 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 |
| An a priori approach for automatic integration of heterogeneous and autonomous databases L Bellatreche, G Pierra, DN Xuan, D Hondjack, YA Ameur Database and Expert Systems Applications: 15th International Conference …, 2004 | 41 | 2004 |
| Formal validation of HCI user tasks Y Aït-Ameur, M Baron, P Girard Proc. International Conference on Software Engineering Research and Practice …, 2003 | 41 | 2003 |
| 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 | 40 | 2006 |
| OntoQL, un langage d'exploitation des bases de données à base ontologique S Jean Université de Poitiers, 2007 | 39 | 2007 |
| Querying Ontology Based Databases-The OntoQL Proposal. S Jean, YA Ameur, G Pierra SEKE, 166-171, 2006 | 33 | 2006 |
| 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 Advances in Databases: Concepts, Systems and Applications: 12th …, 2007 | 31 | 2007 |
| 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 Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 28 | 2014 |
| 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 |
| 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 | 28 | 1997 |
| 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 | 27 | 2018 |
| A general framework for parametric product model within STEP and Parts Library G Pierra, Y Ait-Ameur, F Besnard, P Girard, JC Potier European Conference Product Data Technology, 18-19, 1996 | 26 | 1996 |
| Formal Specification and Metaprogramming in the EXPRESS Language. YA Ameur, F Besnard, P Girard, G Pierra, JC Potier SEKE, 181-188, 1995 | 26 | 1995 |
Stéphane JeanLIAS/ENSMA and University of PoitiersAdresse e-mail validée de ensma.fr
