Julien Ordioni

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 6

Top Topics

Formal Verification

Graph Embedding

Modeling Framework

Top Venues

Sci. Comput. Program.

Publications

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)
Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni
RBS2HLL - A Formal Modeling of Relay-Based Interlocking. RSSRail (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)