Alexandra Halchin

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 4

Top Topics

Safety Analysis

Modeling Framework

Top Venues

Sci. Comput. Program.

Publications

Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems. RSSRail (2023)
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)
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)
Riadh Dhaou, Laurent Franck, Alexandra Halchin, Emmanuel Dubois, Patrick Gelard
Gateway Selection Optimization in Hybrid MANET-Satellite Network. WISATS (2015)