 | 2010 |
|---|
| 59 |       | Idir Aït-Sadoune,
Yamine Aït Ameur:
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services.
ASM 2010: 405-406 |
| 2009 |
|---|
| 58 | | Laura S. Mastella,
Yamine Aït Ameur,
Stéphane Jean,
Michel Perrin,
Jean-François Rainaud:
Semantic Exploitation of Engineering Models: An Application to Oilfield Models.
BNCOD 2009: 203-207 |
| 57 | | Idir Aït-Sadoune,
Yamine Aït Ameur:
A Proof Based Approach for Modelling and VerifyingWeb Services Compositions.
ICECCS 2009: 1-10 |
| 56 |  | Dilek Tapucu,
Yamine Aït Ameur,
Stéphane Jean,
Murat Osman Ünalir:
An Extension of Ontology based Databases to Handle Preferences.
ICEIS (1) 2009: 208-213 |
| 55 | | Nabil Belaid,
Yamine Aït Ameur,
Jean-François Rainaud:
A Semantic Repository for Geological Modeling Workflows.
ICWS 2009: 1030-1031 |
| 54 | | Nabil Belaid,
Yamine Aït Ameur,
Jean-François Rainaud:
A semantic handling of geological modeling workflows.
MEDES 2009: 83-90 |
| 53 | | Yamine Aït Ameur:
A Semantic Repository for Adaptive Services.
SERVICES I 2009: 211-218 |
| 52 | | Nabil Belaid,
Yamine Aït Ameur,
Jean-François Rainaud:
SWAPT - Semantic Workflow Architecture for Petroleum Techniques.
WEBIST 2009: 101-104 |
| 51 | | Yamine Aït Ameur,
Mickaël Baron,
Nadjet Kamel,
Jean-Marc Mota:
Encoding a process algebra using the Event B method.
STTT 11(3): 239-253 (2009) |
| 2008 |
|---|
| 50 | | Yamine Aït Ameur:
2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 3-7 Mars 2008, Montréal, Québec, Canada
Cépaduès-Éditions 2008 |
| 49 | | Idir Aït-Sadoune,
Yamine Aït Ameur:
Verification and Validation of Web Service Composition Using Event B Method.
ABZ 2008: 339-340 |
| 48 | | Chimène Fankam,
Stéphane Jean,
Ladjel Bellatreche,
Yamine Aït Ameur:
Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach.
ECSA 2008: 318-321 |
| 47 | | Idir Aït-Sadoune,
Yamine Aït Ameur:
Animating Event B Models by Formal Data Models.
ISoLA 2008: 37-55 |
| 46 | | Yamine Aït 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 S. Mastella,
Olivier Morel,
Michel Perrin,
Guy Pierra,
Jean-François Rainaud,
Idir Aït-Sadoune,
Eric Sardet,
Francois Tertre,
João Francisco Valiati:
Semantic Hubs for Geological Projects.
SeMMA 2008: 3-17 |
| 45 | | Laura S. Mastella,
Yamine Aït Ameur,
Michel Perrin,
Jean-François Rainaud:
Ontology-Based Model Annotation of Heterogeneous Geological Representations.
WEBIST (2) 2008: 290-293 |
| 44 | | Yamine Aït Ameur,
Idir Aït-Sadoune,
Mickaël Baron,
Jean-Marc Mota:
Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement.
Ingénierie des Systèmes d'Information 13(2): 127-154 (2008) |
| 2007 |
|---|
| 43 | | Yamine Aït Ameur,
Frédéric Boniol,
Virginie Wiels:
ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007
Cépaduès-Éditions 2007 |
| 42 | | Stéphane Jean,
Yamine Aït Ameur,
Guy Pierra:
An Object-Oriented Based Algebra for Ontologies and Their Instances.
ADBIS 2007: 141-156 |
| 41 | | Stéphane Jean,
Dehainsala Hondjack,
Dung Nguyen Xuan,
Guy Pierra,
Ladjel Bellatreche,
Yamine Aït Ameur:
OntoDB: It Is Time to Embed Your Domain Ontology in Your Database.
DASFAA 2007: 1119-1122 |
| 40 | | Alexandre Cortier,
Bruno d'Ausbourg,
Yamine Aït Ameur:
Formal Validation of Java/Swing User Interfaces with the Event B Method.
HCI (1) 2007: 1062-1071 |
| 39 | | Stéphane Jean,
Yamine Aït Ameur,
Guy Pierra:
Une approche langage pour la gestion de donnèes dans les systèmes de méta-modélisation.
INFORSID 2007: 171-188 |
| 2006 |
|---|
| 38 | | Yamine Aït Ameur,
Idir Aït-Sadoune,
Jean-Marc Mota,
Mickaël Baron:
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve.
IHM 2006: 123-130 |
| 37 | | Yamine Aït Ameur,
Remi Delmas,
Alexandre Cortier,
Virginie Wiels:
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language.
ISoLA 2006: 36-44 |
| 36 | | Stéphane Jean,
Yamine Aït Ameur,
Guy Pierra:
Querying Ontology Based Database Using OntoQL (An Ontology Query Language).
OTM Conferences (1) 2006: 704-721 |
| 35 | | Stéphane Jean,
Yamine Aït Ameur,
Guy Pierra:
Querying Ontology Based Databases - The OntoQL Proposal.
SEKE 2006: 166-171 |
| 34 | | Stéphane Jean,
Guy Pierra,
Yamine Aït Ameur:
Domain Ontologies: A Database-Oriented Analysis.
WEBIST (1) 2006: 341-351 |
| 33 | | Stéphane Jean,
Guy Pierra,
Yamine Aït Ameur:
Domain Ontologies: A Database-Oriented Analysis.
WEBIST (Selected Papers) 2006: 238-254 |
| 32 | | Yamine Aït Ameur,
Mickaël Baron:
Formal and experimental validation approaches in HCI systems design based on a shared event B model.
STTT 8(6): 547-563 (2006) |
| 31 | | Yamine Aït Ameur,
Remi Delmas,
Virginie Wiels:
Un cadre formel pour la spécification multivue de systèmes avioniques.
Technique et Science Informatiques 25(1): 43-72 (2006) |
| 2005 |
|---|
| 30 | | Guy Pierra,
Dehainsala Hondjack,
Yamine Aït Ameur,
Ladjel Bellatreche:
Bases de données à base ontologique. Principe et mise en oeuvre.
Ingénierie des Systèmes d'Information 10(2): 91-115 (2005) |
| 29 | | Youcef Aklouf,
Guy Pierra,
Yamine Aït Ameur,
Habiba Drias:
PLIB Ontology: A Mature Solution for Products Characterization in B2B Electronic Commerce.
Int. J. IT Standards and Standardization Res. 3(2): 66-81 (2005) |
| 2004 |
|---|
| 28 | | Guy Pierra,
Dehainsala Hondjack,
Yamine Aït Ameur,
Ladjel Bellatreche,
Jérôme Chochon,
Mourad El-Hadj Mimoune:
Base de données à base ontologique: le modèle OntoDB.
BDA 2004: 263-286 |
| 27 | | Ladjel Bellatreche,
Guy Pierra,
Dung Nguyen Xuan,
Dehainsala Hondjack,
Yamine Aït Ameur:
An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Databases.
DEXA 2004: 475-485 |
| 26 | | Yamine Aït Ameur,
Benoit Breholée,
Patrick Girard,
Laurent Guittet,
Francis Jambon:
Formal Verification and Validation of Interactive Systems Specifications.
Human Error, Safety and Systems Development 2004: 61-76 |
| 25 | | Yamine Aït Ameur:
Representation of procedural knowledge and its use to compute a form of subsumption.
IFIP Congress Topical Sessions 2004: 31-36 |
| 24 | | Yamine Aït Ameur,
Nadjet Kamel:
A generic formal specification of fusion of modalities in a multimodal HCI.
IFIP Congress Topical Sessions 2004: 415-420 |
| 23 | | Yamine Aït Ameur,
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 (Preliminary proceedings) 2004: 74-80 |
| 22 | | Yamine Aït Ameur,
Remi Delmas,
Virginie Wiels:
A framework for heterogeneous formal modeling and compositional verification of avionics systems.
MEMOCODE 2004: 223-232 |
| 2003 |
|---|
| 21 | | Mourad El-Hadj Mimoune,
Guy Pierra,
Yamine Aït Ameur:
An Ontology-Based Approach for Exchanging Data Between Heterogeneous Database Systems.
ICEIS (1) 2003: 512-524 |
| 20 | | Youcef Aklouf,
Guy Pierra,
Yamine Aït Ameur,
Habiba Drias:
PLIB ontology for B2B electronic commerce.
ISPE CE 2003: 269-278 |
| 19 | | Jérôme Chochon,
Yamine Aït Ameur,
Guy Pierra,
Jean-Claude Potier:
Reducing parts diversity in product design: a data centered approach.
ISPE CE 2003: 311-318 |
| 18 | | Yamine Aït Ameur,
Frédéric Boniol,
S. Pairault,
Virginie Wiels:
Analyse de robustesse de systèmes avioniques.
JFLA 2003: 111-124 |
| 17 | | Yamine Aït Ameur,
Gérard Bel,
Frédéric Boniol,
S. Pairault,
Virginie Wiels:
Robustness analysis of avionics embedded systems.
LCTES 2003: 123-132 |
| 16 | | Yamine Aït Ameur,
Mickaël Baron,
Patrick Girard:
Formal Validation of HCI User Tasks.
Software Engineering Research and Practice 2003: 732-738 |
| 2001 |
|---|
| 15 | | Francis Jambon,
Patrick Girard,
Yamine Aït Ameur:
Interactive System Safety and Usability Enforced with the Development Process.
EHCI 2001: 39-56 |
| 2000 |
|---|
| 14 | | Yamine Aït Ameur:
Cooperation of Formal Methods in an Engineering Based Software Development Process.
IFM 2000: 136-155 |
| 13 | | Yamine Aït Ameur,
Eric Sardet:
An object oriented approach to represent behavioural knowledge in heterogeneous information systems.
OOIS 2000: 315-335 |
| 1999 |
|---|
| 12 | | Yamine Aït Ameur:
Refinement of Rational End-Points Real Numbers by Means of Floating-Point Numbers.
Sci. Comput. Program. 33(2): 133-162 (1999) |
| 1998 |
|---|
| 11 | | Yamine Aït Ameur,
Patrick Girard,
Francis Jambon:
A Uniform Approach for Specification and Design of Interactive Systems: the B Method.
DSV-IS (2) 1998: 51-67 |
| 10 | | Yamine Aït Ameur,
Patrick Girard,
Francis Jambon:
Using the B Formal Approach for Incremental Specification Design of Interactiv Systems.
EHCI 1998: 91-109 |
| 1997 |
|---|
| 9 | | Yamine Aït Ameur:
A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs.
ASE 1997: 134-142 |
| 1995 |
|---|
| 8 | | Yamine Aït Ameur,
Frederic Besnard,
Patrick Girard,
Guy Pierra,
Jean-Claude Potier:
Formal Specification and Metaprogramming in the EXPRESS Language.
SEKE 1995: 181-188 |
| 7 | | Yamine Aït Ameur:
Formal Transformational Program Developments Directed by Operational Properties Evaluations.
International Journal of Software Engineering and Knowledge Engineering 5(2): 271-297 (1995) |
| 1993 |
|---|
| 6 | | Yamine Aït Ameur:
Predicting Operational Behaviour of Abstract Programs During Formal Developments.
IWSSD 1993: 172-183 |
| 5 | | Yamine Aït Ameur:
Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs.
SEKE 1993: 703-710 |
| 1992 |
|---|
| 4 | | Yamine Aït Ameur:
Formal Program Developments Directed by Operational Properties Evaluation.
SEKE 1992: 1-8 |
| 3 | | Yamine Aït Ameur,
Patrice Cros,
J.-J. Falcon,
A. Gomez:
An Application of Abstract Interpretation to Floating Point Arithmetic.
WSA 1992: 205-212 |
| 1991 |
|---|
| 2 | | Yamine Aït Ameur:
Non Functional Properties Can Guide Program Developments.
JTASPEFT/WSA 1991: 189-196 |
| 1 | | Yamine Aït Ameur:
Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract).
LOPSTR 1991: 297-299 |
