2020

Book sections

auteur
Vassil Todorov, Safouan Taha, Frédéric Boulanger
titre
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking
article
NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, pp.187-203, 2020, ⟨10.1007/978-3-030-55754-6_11⟩
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-02956436/file/Specification%20Quality%20Metrics%20Based%20on%20Mutation%20and%20Inductive%20Incremental%20Model%20Checking.pdf BibTex

2019

Journal articles

auteur
Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez
titre
PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT
article
System Informatics, 2019, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-02322645/file/Todorov_auth.pdf BibTex
auteur
Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez
titre
Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root
article
Modeling and Analysis of Information Systems, a, 2019, 26 (4), pp.520-533. ⟨10.18255/1818-1015-2019-4-520-533⟩
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-02668283/file/Todorov.pdf BibTex

Conference papers

auteur
Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez
titre
Improved Invariant Generation for Industrial Software Model Checking of Time Properties
article
2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), Jul 2019, Sofia, Bulgaria. pp.334-341, ⟨10.1109/QRS.2019.00050⟩
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-02322576/file/Improved%20Invariant%20Generation%20for%20Industrial%20Software%20Model%20Checking%20of%20Time%20Properties.pdf BibTex

2018

Conference papers

auteur
Vassil Todorov, Frédéric Boulanger, Safouan Taha
titre
Formal verification of automotive embedded software
article
FORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01768687/file/article-auteur.pdf BibTex