Generating Transition Probabilities for Automatic Model-Based Test Generation. - Abderrahmane Feliachi; Hélène Le Guen (ICST, 2010)

Unifying Theories in Isabelle/HOL. - Abderrahmane Feliachi; Marie-Claude Gaudel; Burkhart Wolff (UTP, 2010)

Isabelle/Circus: A Process Specification and Verification Environment. - Abderrahmane Feliachi; Marie-Claude Gaudel; Burkhart Wolff (VSTTE, 2012)

Isabelle/Circus. - Abderrahmane Feliachi; Burkhart Wolff; Marie-Claude Gaudel (Arch. Formal Proofs, 2012)

Semantics-Based Testing for Circus. (Test basé sur la sémantique pour Circus). - Abderrahmane Feliachi (2012)

The Circus Testing Theory Revisited in Isabelle/HOL. - Abderrahmane Feliachi; Marie-Claude Gaudel; Makarius Wenzel; Burkhart Wolff (ICFEM, 2013)

Test Program Generation for a Microprocessor - A Case-Study. - Achim D. Brucker; Abderrahmane Feliachi; Yakoub Nemouchi; Burkhart Wolff (TAP@STAF, 2013)

Formal Specification of a Generic Separation Kernel. - Freek Verbeek; Sergey Tverdyshev; Oto Havle; Holger Blasum; Bruno Langenstein; Werner Stephan 001; Yakoub Nemouchi; Abderrahmane Feliachi; Burkhart Wolff; Julien Schmaltz (Arch. Formal Proofs, 2014)

Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study. - Abderrahmane Feliachi; Marie-Claude Gaudel; Burkhart Wolff (Int. J. Softw. Informatics, 2015)

The PERF Approach for Formal Verification. - Nazim Benaïssa; David Bonvoisin; Abderrahmane Feliachi; Julien Ordioni (RSSRail, 2016)

OVADO - Enhancing Data Validation for Safety-Critical Railway Systems. - Manel Fredj; Sven Leger; Abderrahmane Feliachi; Julien Ordioni (RSSRail, 2017)

B-PERFect - Applying the PERF Approach to B Based System Developments. - Alexandra Halchin; Abderrahmane Feliachi; Neeraj Kumar Singh 001; Yamine Aït Ameur; Julien Ordioni (RSSRail, 2017)

Certified Embedding of B Models in an Integrated Verification Framework. - Alexandra Halchin; Yamine Aït Ameur; Neeraj Kumar Singh 001; Abderrahmane Feliachi; Julien Ordioni (TASE, 2019)

Handling B models in the PERF integrated verification framework: Formalised and certified embedding. - Alexandra Halchin; Yamine Aït Ameur; Neeraj Kumar Singh 001; Julien Ordioni; Abderrahmane Feliachi (Sci. Comput. Program., 2020)

Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems. - Alexandra Halchin; Adja Ndeye Sylla; Sarah Benyagoub; Abderrahmane Feliachi; Yoann Fonteneau; Sven Leger (RSSRail, 2023)