Kim Völlinger

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 8

Top Topics

Activation Function

Solving Problems

Piecewise Affine

Top Venues

Publications

Andrei Aleksandrov, Kim Völlinger
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq. NFM (2023)
Andrei Aleksandrov, Kim Völlinger
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq. CoRR (2023)
Kim Völlinger
On Certifying Distributed Algorithms: Problem of Local Correctness. FORTE (2019)
Samira Akili, Kim Völlinger
Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness. FSEN (2019)
Kim Völlinger, Samira Akili
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency. FORTE (2018)
Kim Völlinger, Samira Akili
Verifying a Class of Certifying Distributed Programs. NFM (2017)
Kim Völlinger
Verifying the Output of a Distributed Algorithm Using Certification. RV (2017)
Kim Völlinger, Wolfgang Reisig
Certification of Distributed Algorithms Solving Problems with Optimal Substructure. SEFM (2015)
Kim Völlinger
Certifying Algorithms for Interactive Components and Distributed Systems. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Völlinger
Formal specification and automated verification of railway software with Frama-C. INDIN (2013)