Kim Völlinger

13 papers B 2C 4Misc 1Journal 1Unranked 4
YearRankTypeTitle / Venue / Authors
2025 Misc conf
A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq.
TASE
Leo Alexander Gummersbach, Kim Völlinger, Andrei Aleksandrov
2024 C conf
Switched Systems in Coq for Modeling Periodic Controllers.
ICTAC
Andrei Aleksandrov, Kim Völlinger
2023 — conf
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq.
NFM
Andrei Aleksandrov, Kim Völlinger
2023 J jnl
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq.
CoRR
Andrei Aleksandrov, Kim Völlinger
2020 — —
Zertifizierende verteilte Algorithmen.
Kim Völlinger
2019 — conf
Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness.
FSEN
Samira Akili, Kim Völlinger
2019 C conf
On Certifying Distributed Algorithms: Problem of Local Correctness.
FORTE
Kim Völlinger
2018 C conf
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency.
FORTE
Kim Völlinger, Samira Akili
2017 — conf
Verifying a Class of Certifying Distributed Programs.
NFM
Kim Völlinger, Samira Akili
2017 B conf
Verifying the Output of a Distributed Algorithm Using Certification.
RV
Kim Völlinger
2015 B conf
Certification of Distributed Algorithms Solving Problems with Optimal Substructure.
SEFM
Kim Völlinger, Wolfgang Reisig
2014 — conf
Certifying Algorithms for Interactive Components and Distributed Systems.
Joint Workshop of the German Research Training Groups in Computer Science
Kim Völlinger
2013 C conf
Formal specification and automated verification of railway software with Frama-C.
INDIN
Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Völlinger