Abderrahmane Feliachi

16 papers A 1C 1Misc 1Journal 4Unranked 7

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