Vassil Todorov

7
Documents

Publications

Publications

Deposit thumbnail

Design by contract formal verification for automotive embedded software robustness

Vassil Todorov , Alin Mihalache , Azzedine Azil , Armando Hernandez

ERTS 2024, SEE and 3AF associations, Jun 2024, Toulouse, France

Communication dans un congrès hal-05028176v1
Deposit thumbnail

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

Vassil Todorov , Safouan Taha , Frédéric Boulanger

NASA Formal Methods Symposium, May 2020, Moffett Field, United States. pp.187-203, ⟨10.1007/978-3-030-55754-6_11⟩

Communication dans un congrès hal-02956436v1
Deposit thumbnail

Improved Invariant Generation for Industrial Software Model Checking of Time Properties

Vassil Todorov , Safouan Taha , Frédéric Boulanger , Armando Hernandez

2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), Jul 2019, Sofia, Bulgaria. pp.334-341, ⟨10.1109/QRS.2019.00050⟩

Communication dans un congrès hal-02322576v1
Deposit thumbnail

Formal verification of automotive embedded software

Vassil Todorov , Frédéric Boulanger , Safouan Taha

FORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩

Communication dans un congrès hal-01768687v1