Yamine Aït Ameur Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIdir Aït-Sadoune, Yamine Aït Ameur: A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. ASM 2010: 405-406
2009
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura 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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIdir Aït-Sadoune, Yamine Aït Ameur: A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. ICECCS 2009: 1-10
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDilek 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNabil Belaid, Yamine Aït Ameur, Jean-François Rainaud: A Semantic Repository for Geological Modeling Workflows. ICWS 2009: 1030-1031
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNabil Belaid, Yamine Aït Ameur, Jean-François Rainaud: A semantic handling of geological modeling workflows. MEDES 2009: 83-90
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur: A Semantic Repository for Adaptive Services. SERVICES I 2009: 211-218
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNabil Belaid, Yamine Aït Ameur, Jean-François Rainaud: SWAPT - Semantic Workflow Architecture for Petroleum Techniques. WEBIST 2009: 101-104
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIdir Aït-Sadoune, Yamine Aït Ameur: Verification and Validation of Web Service Composition Using Event B Method. ABZ 2008: 339-340
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChimè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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIdir Aït-Sadoune, Yamine Aït Ameur: Animating Event B Models by Formal Data Models. ISoLA 2008: 37-55
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura 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
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Jean, Yamine Aït Ameur, Guy Pierra: An Object-Oriented Based Algebra for Ontologies and Their Instances. ADBIS 2007: 141-156
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSté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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre 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
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSté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
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Jean, Yamine Aït Ameur, Guy Pierra: Querying Ontology Based Database Using OntoQL (An Ontology Query Language). OTM Conferences (1) 2006: 704-721
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Jean, Yamine Aït Ameur, Guy Pierra: Querying Ontology Based Databases - The OntoQL Proposal. SEKE 2006: 166-171
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Jean, Guy Pierra, Yamine Aït Ameur: Domain Ontologies: A Database-Oriented Analysis. WEBIST (1) 2006: 341-351
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Jean, Guy Pierra, Yamine Aït Ameur: Domain Ontologies: A Database-Oriented Analysis. WEBIST (Selected Papers) 2006: 238-254
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy 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)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoucef 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
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLadjel 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
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur: Representation of procedural knowledge and its use to compute a form of subsumption. IFIP Congress Topical Sessions 2004: 31-36
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur, Nadjet Kamel: A generic formal specification of fusion of modalities in a multimodal HCI. IFIP Congress Topical Sessions 2004: 415-420
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur, Remi Delmas, Virginie Wiels: A framework for heterogeneous formal modeling and compositional verification of avionics systems. MEMOCODE 2004: 223-232
2003
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMourad 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
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoucef Aklouf, Guy Pierra, Yamine Aït Ameur, Habiba Drias: PLIB ontology for B2B electronic commerce. ISPE CE 2003: 269-278
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJé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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels: Analyse de robustesse de systèmes avioniques. JFLA 2003: 111-124
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels: Robustness analysis of avionics embedded systems. LCTES 2003: 123-132
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur, Mickaël Baron, Patrick Girard: Formal Validation of HCI User Tasks. Software Engineering Research and Practice 2003: 732-738
2001
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancis Jambon, Patrick Girard, Yamine Aït Ameur: Interactive System Safety and Usability Enforced with the Development Process. EHCI 2001: 39-56
2000
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur: Cooperation of Formal Methods in an Engineering Based Software Development Process. IFM 2000: 136-155
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur, Eric Sardet: An object oriented approach to represent behavioural knowledge in heterogeneous information systems. OOIS 2000: 315-335
1999
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur, Patrick Girard, Francis Jambon: Using the B Formal Approach for Incremental Specification Design of Interactiv Systems. EHCI 1998: 91-109
1997
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur: A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. ASE 1997: 134-142
1995
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur, Frederic Besnard, Patrick Girard, Guy Pierra, Jean-Claude Potier: Formal Specification and Metaprogramming in the EXPRESS Language. SEKE 1995: 181-188
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur: Predicting Operational Behaviour of Abstract Programs During Formal Developments. IWSSD 1993: 172-183
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur: Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs. SEKE 1993: 703-710
1992
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur: Formal Program Developments Directed by Operational Properties Evaluation. SEKE 1992: 1-8
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur, Patrice Cros, J.-J. Falcon, A. Gomez: An Application of Abstract Interpretation to Floating Point Arithmetic. WSA 1992: 205-212
1991
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur: Non Functional Properties Can Guide Program Developments. JTASPEFT/WSA 1991: 189-196
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYamine Aït Ameur: Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract). LOPSTR 1991: 297-299

Coauthor Index

1Idir Aït-Sadoune [38] [44] [46] [47] [49] [57] [59]
2Youcef Aklouf [20] [29]
3Mickaël Baron [16] [23] [32] [38] [44] [51]
4Gérard Bel [17]
5Nabil Belaid [46] [52] [54] [55]
6Ladjel Bellatreche [27] [28] [30] [41] [48]
7Mohammed Bennis [46]
8Frederic Besnard [8]
9Frédéric Boniol [17] [18] [43]
10Benoit Breholée [26]
11Jérôme Chochon [19] [28]
12Olivier Corby [46]
13Alexandre Cortier [37] [40]
14Patrice Cros [3]
15Remi Delmas [22] [31] [37]
16Rose Dieng (Rose Dieng-Kuntz) [46]
17Jérémie Doucy [46]
18Habiba Drias [20] [29]
19Priscille Durville [46]
20J.-J. Falcon [3]
21Chimène Fankam [46] [48]
22Fabien L. Gandon (Fabien Gandon) [46]
23Alain Giboin [46]
24Patrick Girard [8] [10] [11] [15] [16] [26]
25Patrick Giroux [46]
26A. Gomez [3]
27Sandrine Grataloup [46]
28Bruno Grilheres [46]
29Laurent Guittet [26]
30Dehainsala Hondjack [27] [28] [30] [41]
31Florian Husson [46]
32Francis Jambon [10] [11] [15] [26]
33Stéphane Jean [33] [34] [35] [36] [39] [41] [42] [46] [48] [56] [58]
34Nadjet Kamel [24] [51]
35Joel Langlois [46]
36Phuc-Hiep Luong [46]
37Laura S. Mastella [45] [46] [58]
38Mourad El-Hadj Mimoune [21] [28]
39Olivier Morel [46]
40Jean-Marc Mota [38] [44] [51]
41S. Pairault [17] [18]
42Michel Perrin [45] [46] [58]
43Guy Pierra [8] [19] [20] [21] [27] [28] [29] [30] [33] [34] [35] [36] [39] [41] [42] [46]
44Jean-Claude Potier [8] [19]
45Jean-François Rainaud [45] [46] [52] [54] [55] [58]
46Eric Sardet [13] [46]
47Dilek Tapucu [56]
48Francois Tertre [46]
49Murat Osman Ünalir [56]
50João Francisco Valiati [46]
51Virginie Wiels [17] [18] [22] [31] [37] [43]
52Dung Nguyen Xuan [27] [41]
53Bruno d'Ausbourg [40]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)