Abderrahmane Feliachi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2010–2019
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TASE | Certified Embedding of B Models in an Integrated Verification Framework. | Alexandra Halchin, Yamine At Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni |
| 2013 | ICFEM | The Circus Testing Theory Revisited in Isabelle/HOL. | Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff |
| 2013 | TAP | Test Program Generation for a Microprocessor - A Case-Study. | Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff |
| 2010 | ICST | Generating Transition Probabilities for Automatic Model-Based Test Generation. | Abderrahmane Feliachi, Hlne Le Guen |