Vassil Todorov

Orcid: 0000-0002-2739-499X

According to our database1, Vassil Todorov authored at least 4 papers between 2018 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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
Formal verification of automotive embedded software.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018


  Loading...