Gateway Selection Optimization in Hybrid MANET-Satellite Network. - Riadh Dhaou; Laurent Franck; Alexandra Halchin; Emmanuel Dubois 003; Patrick Gelard (WISATS, 2015)

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)

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)

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 (2021)

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 (RSSRail, 2023)