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)

RBS2HLL - A Formal Modeling of Relay-Based Interlocking. - Naïm Aber; Benjamin Blanc; Nathalie Ferkane; Mohand Meziani; Julien Ordioni (RSSRail, 2019)

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)