Vassil Todorov
Orcid: 0000-0002-2739-499X
According to our database1,
Vassil Todorov
authored at least 4 papers
between 2018 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
0
1
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Automotive embedded software design using formal methods. (Intégration de méthodes formelles dans la conception des fonctions logicielles automobiles).
PhD thesis, 2020
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
2019
Improved Invariant Generation for Industrial Software Model Checking of Time Properties.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
2018
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018