Abderrahmane Feliachi

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 7

Top Venues

RSSRail

TASE

Int. J. Softw. Informatics

Sci. Comput. Program.

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems. RSSRail (2023)
Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Julien Ordioni, Abderrahmane Feliachi
Handling B models in the PERF integrated verification framework: Formalised and certified embedding. Sci. Comput. Program. 196 (2020)
Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni
Certified Embedding of B Models in an Integrated Verification Framework. TASE (2019)
Manel Fredj, Sven Leger, Abderrahmane Feliachi, Julien Ordioni
OVADO - Enhancing Data Validation for Safety-Critical Railway Systems. RSSRail (2017)
Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït Ameur, Julien Ordioni
B-PERFect - Applying the PERF Approach to B Based System Developments. RSSRail (2017)
Nazim Benaïssa, David Bonvoisin, Abderrahmane Feliachi, Julien Ordioni
The PERF Approach for Formal Verification. RSSRail (2016)
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study. Int. J. Softw. Informatics 9 (2) (2015)
Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs 2014 (2014)
Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff
The Circus Testing Theory Revisited in Isabelle/HOL. ICFEM (2013)
Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff
Test Program Generation for a Microprocessor - A Case-Study. TAP@STAF (2013)
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Isabelle/Circus: A Process Specification and Verification Environment. VSTTE (2012)
Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel
Isabelle/Circus. Arch. Formal Proofs 2012 (2012)
Abderrahmane Feliachi, Hélène Le Guen
Generating Transition Probabilities for Automatic Model-Based Test Generation. ICST (2010)
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Unifying Theories in Isabelle/HOL. UTP (2010)

Abderrahmane Feliachi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Abderrahmane Feliachi