Alexandra Halchin

According to our database, Alexandra Halchin authored at least 6 papers between 2015 and 2023.

Collaborative distances:

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

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

2021

Development of a Formal Verification Methodology for B Specifications using PERF formal toolkit. Application to safety requirements of railway systems. (Élaboration d'une méthodologie de vérification formelle des spécifications B dans l'Atelier de Preuve PERF. Application aux exigences de sûreté de fonctionnement des systèmes ferroviaires).

Alexandra Halchin

PhD thesis, 2021

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

2015

Gateway Selection Optimization in Hybrid MANET-Satellite Network.

Riadh Dhaou, Laurent Franck, Alexandra Halchin, Emmanuel Dubois, Patrick Gelard

Proceedings of the Wireless and Satellite Systems, 2015