Alexandra Halchin

B-PERFect - Applying the PERF Approach to B Based System Developments

Yamine Aït Ameur, Abderrahmane Feliachi, Julien Ordioni, 2017, RSSRail.

Certified Embedding of B Models in an Integrated Verification Framework

Yamine Aït Ameur, Abderrahmane Feliachi, Julien Ordioni, 2019, 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).

Gateway Selection Optimization in Hybrid MANET-Satellite Network

Patrick Gelard, Riadh Dhaou, Emmanuel Dubois, 2015, WISATS.

Handling B models in the PERF integrated verification framework: Formalised and certified embedding

Yamine Aït Ameur, Abderrahmane Feliachi, Julien Ordioni, 2020, Sci. Comput. Program..