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:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2020
Zertifizierende verteilte Algorithmen.
PhD thesis, 2020

2019
Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness.
Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

On Certifying Distributed Algorithms: Problem of Local Correctness.
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
Verifying the Output of a Distributed Algorithm Using Certification.
Proceedings of the Runtime Verification - 17th International Conference, 2017

Verifying a Class of Certifying Distributed Programs.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2015
Certification of Distributed Algorithms Solving Problems with Optimal Substructure.
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
Formal specification and automated verification of railway software with Frama-C.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013


  Loading...