Abderrahmane Feliachi

According to our database, Abderrahmane Feliachi authored at least 15 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2020

Handling B models in the PERF integrated verification framework: Formalised and certified embedding.

Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Julien Ordioni, Abderrahmane Feliachi

Sci. Comput. Program., 2020

2019

Certified Embedding of B Models in an Integrated Verification Framework.

Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2017

B-PERFect - Applying the PERF Approach to B Based System Developments.

Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït Ameur, Julien Ordioni

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

OVADO - Enhancing Data Validation for Safety-Critical Railway Systems.

Manel Fredj, Sven Leger, Abderrahmane Feliachi, Julien Ordioni

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

2016

The PERF Approach for Formal Verification.

Nazim Benaïssa, David Bonvoisin, Abderrahmane Feliachi, Julien Ordioni

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

2015

Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study.

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff

Int. J. Softw. Informatics, 2015

2014

Formal Specification of a Generic Separation Kernel.

Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz

Arch. Formal Proofs, 2014

2013

Test Program Generation for a Microprocessor - A Case-Study.

Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff

Proceedings of the Tests and Proofs - 7th International Conference, 2013

The Circus Testing Theory Revisited in Isabelle/HOL.

Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff

Proceedings of the Formal Methods and Software Engineering, 2013

2012

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

Abderrahmane Feliachi

PhD thesis, 2012

Isabelle/Circus.

Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel

Arch. Formal Proofs, 2012

Isabelle/Circus: A Process Specification and Verification Environment.

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2010

Unifying Theories in Isabelle/HOL.

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Generating Transition Probabilities for Automatic Model-Based Test Generation.

Abderrahmane Feliachi, Hélène Le Guen

Proceedings of the Third International Conference on Software Testing, 2010