Yamine Aït Ameur

Statistics

Publications

Citations

H-Index

Active since

1995

Affiliations

École Nationale Supérieure de Mécanique et d'Aérotechnique(Current)

Institut Polytechnique de Bordeaux

Institut de Recherche en Informatique de Toulouse

Université Toulouse III - Paul Sabatier

Université Toulouse - Jean Jaurès

Yamine Aït Ameur is an author at École Nationale Supérieure de Mécanique et d'Aérotechnique specializing in computing, computer science, and formal methods.

Publications per year

1995–2016

Publications

Toward a wider use of formal methods for aerospace systems design and verification

Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels · International Journal on Software Tools for Technology Transfer · 2009 · 22 citations

Computing, Aerospace Engineering, Systems Engineering +16

Querying ontology based databases. The OntoQL proposal

Stéphane Jean, Yamine Aït Ameur, Guy Pierra · HAL (Le Centre pour la Communication Scientifique Directe) · 2006 · 18 citations · Full text

Computing, Computer Science, Information Systems +11

Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B

Guillaume Babin, Yamine Aït Ameur, Marc Pantel · 2015 · 16 citations

Computing, Computer Engineering, Computer Science +13

Models and data engineering

Ladjel Bellatreche, Yamine Aït Ameur, George Α. Papadopoulos · Future Generation Computer Systems · 2016 · 16 citations

Computing, Computer Science, Data Engineering +11

A Formal Model for CARE Usability Properties Verification in Multimodal HCI

Nadjet Kamel, Yamine Aït Ameur · 2007 · 11 citations

Computing, Computer Science, Formal Methods +16

1–5 of 6