Concepedia
Statistics
Publications
3
Citations
60
H-Index
Active since
2009
Affiliations
Institut Polytechnique de Bordeaux(Current)
Institut de Recherche en Informatique de Toulouse
Université Toulouse III - Paul Sabatier
Université Toulouse - Jean Jaurès
Institut National Polytechnique de Toulouse
Yamine Aït-Ameur is an author at Institut Polytechnique de Bordeaux specializing in computing, computer science, and formal methods.
Publications per year
2009–2016
A correct-by-construction model for asynchronously communicating systems
Zoubeyr Farah, Yamine Aït-Ameur, Meriem Ouederni et al. · International Journal on Software Tools for Technology Transfer · 2016 · 25 citations
Computing, Computer Engineering, Computer Science +10
Encoding a process algebra using the Event B method
Yamine Aït-Ameur, Mickaël Baron, Nadjet Kamel et al. · International Journal on Software Tools for Technology Transfer · 2009 · 21 citations
Computing, Computer Science, Formal Methods +4
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method
Guillaume Babin, Yamine Aït-Ameur, Marc Pantel · IEEE Transactions on Services Computing · 2016 · 14 citations
Computing, Computer Engineering, Computer Science +13
1–3 of 3