Kim Völlinger

According to our database, Kim Völlinger authored at least 12 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq.

Leo Alexander Gummersbach, Kim Völlinger, Andrei Aleksandrov

Proceedings of the Theoretical Aspects of Software Engineering, 2025

2024

Switched Systems in Coq for Modeling Periodic Controllers.

Andrei Aleksandrov, Kim Völlinger

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

2023

Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq.

Andrei Aleksandrov, Kim Völlinger

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2020

Zertifizierende verteilte Algorithmen.

Kim Völlinger

PhD thesis, 2020

2019

Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness.

Samira Akili, Kim Völlinger

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

On Certifying Distributed Algorithms: Problem of Local Correctness.

Kim Völlinger

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.

Kim Völlinger, Samira Akili

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

Verifying the Output of a Distributed Algorithm Using Certification.

Kim Völlinger

Proceedings of the Runtime Verification - 17th International Conference, 2017

Verifying a Class of Certifying Distributed Programs.

Kim Völlinger, Samira Akili

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2015

Certification of Distributed Algorithms Solving Problems with Optimal Substructure.

Kim Völlinger, Wolfgang Reisig

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014

Certifying Algorithms for Interactive Components and Distributed Systems.

Kim Völlinger

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.

Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Völlinger

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013