Vassil Todorov

Publications

Article dans une revue (2)

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root Vassil Todorov,Safouan Taha,Frédéric Boulanger,Armando Hernandez Modeling and Analysis of Information Systems, 2019, 26 (4), pp.520-533. ⟨10.18255/1818-1015-2019-4-520-533⟩ Article dans une revue hal-02668283v1
PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT Vassil Todorov,Safouan Taha,Frédéric Boulanger,Armando Hernandez System Informatics, 2019, 14, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩ Article dans une revue hal-02322645v1

Communication dans un congrès (4)

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
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
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
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

Thèse (1)

Automotive embedded software design using formal methods Vassil Todorov Modeling and Simulation. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG026⟩ Thèse tel-03082647v1