Abderrahmane Feliachi
Author
Alternate name Abderrahmane Feliachi
Institution Régie Autonome des Transports Parisiens (France)
Past institutions Régie Autonome des Transports Parisiens (France), Laboratoire de Recherche en Informatique, Université Paris-Sud, Centre National de la Recherche Scientifique, Université Paris-Saclay +2 more
H-index: 7
I10-index: 5
Works count: 23
Citations count: 141
Isabelle/Circus: A Process Specification and Verification Environment
2012 · Abderrahmane Feliachi, Marie-Claude Gaudel, et al. · Lecture notes in computer science
Unifying Theories in Isabelle/HOL
2010 · Abderrahmane Feliachi, Marie-Claude Gaudel, et al. · Lecture notes in computer science
Generating Transition Probabilities for Automatic Model-Based Test Generation
2010 · Abderrahmane Feliachi, Hèléne Le Guen