| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ladjel Bellatreche, Yamine Aït Ameur, Chedlia Chakroun |
A design methodology of ontology based database applications.  |
Logic Journal of the IGPL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur |
Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. |
MEDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chedlia Chakroun, Ladjel Bellatreche, Yamine Aït Ameur |
The Role of Class Dependencies in Designing Ontology-Based Databases. |
OTM Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelghani Bakhtouchi, Ladjel Bellatreche, Yamine Aït Ameur |
Ontologies and Functional Dependencies for Data Integration and Reconciliation. |
ER Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ladjel Bellatreche, Yamine Aït Ameur, Guy Pierra |
Special issue on contribution of ontologies in designing advanced information systems. |
Data Knowl. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels |
Toward a wider use of formal methods for aerospace systems design and verification. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nabil Belaid, Yamine Aït Ameur, Stéphane Jean, Jean-François Rainaud |
Toward a Semantic Management of Geological Modeling Workflows. |
KEOD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Henry Valéry Téguiak, Yamine Aït Ameur, Stéphane Jean, Eric Sardet |
Incremental Design of Ontologies - A Model Transformation-based Approach. |
KEOD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels |
Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Simon Zayas, Anne Monceaux, Yamine Aït Ameur |
Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Idir Aït-Sadoune, Yamine Aït Ameur |
Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. |
SERA (selected papers) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Idir Aït-Sadoune, Yamine Aït Ameur |
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Jean, Yamine Aït Ameur, Guy Pierra |
A Language for Ontology-Based Metamodeling Systems. |
ADBIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chimène Fankam, Ladjel Bellatreche, Dehainsala Hondjack, Yamine Aït Ameur, Guy Pierra |
SISRO, conception de bases de données à partir d'ontologies de domaine. |
Technique et Science Informatiques |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota |
Encoding a process algebra using the Event B method. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra |
| 1 | Dilek Tapucu, Yamine Aït Ameur, Stéphane Jean, Murat Osman Ünalir |
An Extension of Ontology based Databases to Handle Preferences. |
ICEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nabil Belaid, Yamine Aït Ameur, Jean-François Rainaud |
SWAPT - Semantic Workflow Architecture for Petroleum Techniques. |
WEBIST |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Ontology-based databases, Oilfield engineering models, Ontologies, Semantic annotation |
| 1 | Nabil Belaid, Yamine Aït Ameur, Jean-François Rainaud |
A semantic handling of geological modeling workflows. |
MEDES |
2009 |
DBLP DOI BibTeX RDF |
geomodeling, semantic workflow, ontology, meta-model |
| 1 | Yamine Aït Ameur |
A Semantic Repository for Adaptive Services. |
SERVICES I |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chimène Fankam, Stéphane Jean, Guy Pierra, Ladjel Bellatreche, Yamine Aït Ameur |
Towards Connecting Database Applications to Ontologies. |
DBKDA |
2009 |
DBLP DOI BibTeX RDF |
Ontology-Based Databases, OBDB, Ontology, Database, Metadata, Meta-modeling, MOF |
| 1 | Laura S. Mastella, Yamine Aït Ameur, Stéphane Jean, Michel Perrin, Jean-François Rainaud |
Semantic exploitation of persistent metadata in engineering models: application to geological models. |
RCIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Idir Aït-Sadoune, Yamine Aït Ameur |
A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nabil Belaid, Yamine Aït Ameur, Jean-François Rainaud |
A Semantic Repository for Geological Modeling Workflows. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura S. Mastella, Yamine Aït Ameur, Michel Perrin, Jean-François Rainaud |
Ontology-Based Model Annotation of Heterogeneous Geological Representations. |
WEBIST |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur (eds.) |
2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 3-7 Mars 2008, Montréal, Québec, Canada |
CAL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Idir Aït-Sadoune, Yamine Aït Ameur |
Animating Event B Models by Formal Data Models. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Idir Aït-Sadoune, Yamine Aït Ameur |
Verification and Validation of Web Service Composition Using Event B Method. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur |
Formal Validation of Java/Swing User Interfaces with the Event B Method. |
HCI |
2007 |
DBLP DOI BibTeX RDF |
Method B, CTT, User Interface, Formal Methods, Static Analysis, Validation, Tasks Model |
| 1 | Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels (eds.) |
ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007 |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Jean, Yamine Aït Ameur, Guy Pierra |
An Object-Oriented Based Algebra for Ontologies and Their Instances. |
ADBIS |
2007 |
DBLP DOI BibTeX RDF |
PLIB, RDF-S, Ontology, Database, OWL, Query Algebra |
| 1 | Yamine Aït Ameur, Remi Delmas, Virginie Wiels |
Un cadre formel pour la spécification multivue de systèmes avioniques. |
Technique et Science Informatiques |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Mickaël Baron |
Formal and experimental validation approaches in HCI systems design based on a shared event B model. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Interaction properties verification and validation, User task modelling and validation, Event B method, CTT (ConcurTaskTrees) language, Formal methods |
| 1 | Stéphane Jean, Guy Pierra, Yamine Aït Ameur |
Domain Ontologies: A Database-Oriented Analysis. |
WEBIST (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
Ontology Based Information Systems, PLIB, Ontology, Semantic Web, Data Exchange, Semantic Integration |
| 1 | Stéphane Jean, Guy Pierra, Yamine Aït Ameur |
Domain Ontologies: A Database-Oriented Analysis. |
WEBIST |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
CARE properties, multi-modal HCI, proof based technique, verification/validation |
| 1 | Stéphane Jean, Yamine Aït Ameur, Guy Pierra |
Querying Ontology Based Database Using OntoQL (An Ontology Query Language). |
OTM Conferences |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Jean, Yamine Aït Ameur, Guy Pierra |
Querying Ontology Based Databases - The OntoQL Proposal. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Remi Delmas, Virginie Wiels |
A framework for heterogeneous formal modeling and compositional verification of avionics systems. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur |
Representation of procedural knowledge and its use to compute a form of subsumption. |
IFIP Congress Topical Sessions |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Nadjet Kamel |
A generic formal specification of fusion of modalities in a multimodal HCI. |
IFIP Congress Topical Sessions |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mourad El-Hadj Mimoune, Guy Pierra, Yamine Aït Ameur |
An Ontology-Based Approach for Exchanging Data Between Heterogeneous Database Systems. |
ICEIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels |
Analyse de robustesse de systèmes avioniques. |
JFLA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Youcef Aklouf, Guy Pierra, Yamine Aït Ameur, Habiba Drias |
PLIB ontology for B2B electronic commerce. |
ISPE CE |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Mickaël Baron, Patrick Girard |
Formal Validation of HCI User Tasks. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels |
Robustness analysis of avionics embedded systems. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
accuracy analysis, avionics embedded systems, lustre specifications, abstract interpretation, safety analysis |
| 1 | Francis Jambon, Patrick Girard, Yamine Aït Ameur |
Interactive System Safety and Usability Enforced with the Development Process. |
EHCI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Eric Sardet |
An object oriented approach to represent behavioural knowledge in heterogeneous information systems. |
OOIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur |
Cooperation of Formal Methods in an Engineering Based Software Development Process. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
cooperation of techniques, human-computer interaction, formal techniques, development methodology |
| 1 | Yamine Aït Ameur |
Refinement of Rational End-Points Real Numbers by Means of Floating-Point Numbers. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Patrick Girard, Francis Jambon |
Using the B Formal Approach for Incremental Specification Design of Interactiv Systems. |
EHCI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Patrick Girard, Francis Jambon |
A Uniform Approach for Specification and Design of Interactive Systems: the B Method. |
DSV-IS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur |
A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. (PDF / PS) |
ASE |
1997 |
DBLP DOI BibTeX RDF |
nonfunctional property evaluation, numerical type, numerical computational accuracy, reverse engineering, reverse engineering, software maintenance, program transformations, program analysis, software reuse, program comprehension, functional language, data representations, program design, numerical programs |
| 1 | Yamine Aït Ameur |
Formal Transformational Program Developments Directed by Operational Properties Evaluations. |
International Journal of Software Engineering and Knowledge Engineering |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Frederic Besnard, Patrick Girard, Guy Pierra, Jean-Claude Potier |
Formal Specification and Metaprogramming in the EXPRESS Language. |
SEKE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur |
Predicting Operational Behaviour of Abstract Programs During Formal Developments. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur |
Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs. |
SEKE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur |
Formal Program Developments Directed by Operational Properties Evaluation. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Patrice Cros, J.-J. Falcon, A. Gomez |
An Application of Abstract Interpretation to Floating Point Arithmetic. |
WSA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur |
Non Functional Properties Can Guide Program Developments. |
JTASPEFT/WSA |
1991 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur |
Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract). |
LOPSTR |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")