Yamine Aït Ameur - Concepedia

Author

Yamine Aït Ameur

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

Also Known As

Ait-Ameur, Yamine, Ameur, Yamine Ait, Ameur, Yamine Aït, Aït-Ameur, Yamine, Y. AIT Ameur, Y. Aït Ameur, Y.A. Ameur, Yamine AIT Ameur, Yamine Ait Ameur, Yamine Aït Ameur

Publications

281

Citations

H-Index

Concepts

All Affiliations

École Nationale Supérieure de Mécanique et d'Aérotechnique Institut Polytechnique de Bordeaux Institut de Recherche en Informatique de Toulouse Université Toulouse III - Paul Sabatier Université Toulouse - Jean Jaurès

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	91
2	Computer Science	3	3	43
3	Business	1	1	18
4	Management	1	1	16
5	Communication	1	1	11

Yamine Aït Ameur

Publications

Citations

H-Index

Page 1

	Year	Citations
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 Wider UseEngineeringAerospace SystemsFormal ModelingAerospace Engineering	2009	20
Querying ontology based databases. The OntoQL proposal Stéphane Jean, Yamine Aït Ameur, Guy Pierra HAL (Le Centre pour la Communication Scientifique Directe) Relational DatabaseEngineeringOntology EngineeringSemantic WebInformation Retrieval	2006	18
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 Software MaintenanceWeb Service SpecificationEngineeringVerificationSoftware Engineering	2015	16
Models and data engineering Ladjel Bellatreche, Yamine Aït Ameur, George Α. Papadopoulos Future Generation Computer Systems Information ModelEngineeringData ScienceData EngineeringManagement	2016	16
A Formal Model for CARE Usability Properties Verification in Multimodal HCI Nadjet Kamel, Yamine Aït Ameur EngineeringHuman-machine InteractionVerificationCare Usability PropertiesModel Checking	2007	11
Formal Specification and Metaprogramming in the EXPRESS Language. Yamine Aït Ameur, Frederic Besnard, Patrick Girard, Software Engineering and Knowledge Engineering Specification LanguageFormal SpecificationEngineeringAutomated ReasoningExpress Language	1995	10

Page 1