Formal verification of automotive embedded software. - Vassil Todorov; Frédéric Boulanger; Safouan Taha (FormaliSE@ICSE, 2018)

Improved Invariant Generation for Industrial Software Model Checking of Time Properties. - Vassil Todorov; Safouan Taha; Frédéric Boulanger; Armando Hernández (QRS, 2019)

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking. - Vassil Todorov; Safouan Taha; Frédéric Boulanger (NFM, 2020)

Automotive embedded software design using formal methods. (Intégration de méthodes formelles dans la conception des fonctions logicielles automobiles). - Vassil Todorov (2020)