Kim Völlinger
Orcid: 0000-0002-8988-0053
According to our database1,
Kim Völlinger
authored at least 10 papers
between 2013 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
2020
2019
Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019
2018
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018
2017
Proceedings of the Runtime Verification - 17th International Conference, 2017
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017
2015
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
2014
Certifying Algorithms for Interactive Components and Distributed Systems.
Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014
2013
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013