Julien Ordioni

According to our database, Julien Ordioni authored at least 6 papers between 2016 and 2020.

Collaborative distances:

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

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

RBS2HLL - A Formal Modeling of Relay-Based Interlocking.

Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 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