Login / Signup
Alexandra Halchin
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 4
Top Topics
Safety Analysis
Modeling Framework
Formal Proof
Node Density
Top Venues
RSSRail
TASE
Sci. Comput. Program.
WISATS
</>
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)