Travelled to:1 × China
1 × Cyprus
1 × France
1 × Germany
1 × Poland
1 × Spain
2 × Italy
5 × USA
Collaborated with:∅ S.Jean G.Pierra H.V.Téguiak É.Sardet Y.Bazhar A.Cortier B.d'Ausbourg M.E.Mimoune N.Belaid J.Rainaud D.Tapucu M.O.Ünalir C.Fankam L.Bellatreche P.Cros J.Falcon A.Gomez G.Bel F.Boniol S.Pairault V.Wiels F.Besnard P.Girard J.Potier
Talks about:program (8) base (7) ontolog (5) databas (5) formal (5) properti (4) develop (4) model (4) transform (3) function (3)
Person: Yamine Aït Ameur
DBLP: Ameur:Yamine_A=iuml=t
Contributed to:
2013
2012
20102009
2008
200720062003
2003
2000
1997199519931992
1992
19911991Wrote 18 papers:
- SEKE-2013-BazharAJ #behaviour #modelling #named #repository
- BeMoRe: a Repository for Handling Models Behaviors (YB, YAA, SJ), pp. 262–267.
- ICEIS-v1-2012-TeguiakAJS #database #modelling #named
- MQL: A Mapping Management Language for Model-based Databases (HVT, YAA, SJ, ÉS), pp. 145–150.
- KEOD-2010-BelaidAJR #modelling #semantics #towards #workflow
- Toward a Semantic Management of Geological Modeling Workflows (NB, YAA, SJ, JFR), pp. 282–287.
- KEOD-2010-TeguiakAJS #approach #design #incremental #model transformation #ontology
- Incremental Design of Ontologies — A Model Transformation-based Approach (HVT, YAA, SJ, ÉS), pp. 94–103.
- ICEIS-DISI-2009-TapucuAJU #database #ontology
- An Extension of Ontology based Databases to Handle Preferences (DT, YAA, SJ, MOÜ), pp. 208–213.
- ECSA-2008-FankamJBA #approach #architecture #database #ontology #semantics
- Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach (CF, SJ, LB, YAA), pp. 318–321.
- HCI-IDU-2007-CortierdA #java #user interface #validation
- Formal Validation of Java/Swing User Interfaces with the Event B Method (AC, Bd, YAA), pp. 1062–1071.
- SEKE-2006-JeanAP #database #ontology #query
- Querying Ontology Based Databases — The OntoQL Proposal (SJ, YAA, GP), pp. 166–171.
- ICEIS-v1-2003-MimounePA #approach #database #ontology #semistructured data
- An Ontology-Based Approach for Exchanging Data Between Heterogeneous Database Systems (MEHM, GP, YAA), pp. 512–524.
- LCTES-2003-AmeurBBPW #analysis #embedded #robust
- Robustness analysis of avionics embedded systems (YAA, GB, FB, SP, VW), pp. 123–132.
- IFM-2000-Ameur #development #formal method #process
- Cooperation of Formal Methods in an Engineering Based Software Development Process (YAA), pp. 136–155.
- ASE-1997-Ameur #comprehension #program analysis #source code
- A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs (YAA), pp. 134–142.
- SEKE-1995-Ait-AmeurBGPP #metaprogramming #specification
- Formal Specification and Metaprogramming in the EXPRESS Language (YAA, FB, PG, GP, JCP), pp. 181–188.
- SEKE-1993-Ameur #development #non-functional #source code
- Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs (YAA), pp. 703–710.
- SEKE-1992-Ameur #evaluation
- Formal Program Developments Directed by Operational Properties Evaluation (YAA), pp. 1–8.
- WSA-1992-AmeurCFG #abstract interpretation #float
- An Application of Abstract Interpretation to Floating Point Arithmetic (YAA, PC, JJF, AG), pp. 205–212.
- LOPSTR-1991-Ameur #evaluation #functional #program transformation
- Program Transformations Directed by the Evaluation of non Functional Properties (YAA), pp. 297–299.
- WSA-1991-Ameur #functional
- Non Functional Properties Can Guide Program Developments (YAA), pp. 189–196.