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 (INDIN, 2013)

Certifying Algorithms for Interactive Components and Distributed Systems. - Kim Völlinger (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Certification of Distributed Algorithms Solving Problems with Optimal Substructure. - Kim Völlinger; Wolfgang Reisig (SEFM, 2015)

Verifying a Class of Certifying Distributed Programs. - Kim Völlinger; Samira Akili (NFM, 2017)

Verifying the Output of a Distributed Algorithm Using Certification. - Kim Völlinger (RV, 2017)

On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency. - Kim Völlinger; Samira Akili (FORTE, 2018)

On Certifying Distributed Algorithms: Problem of Local Correctness. - Kim Völlinger (FORTE, 2019)

Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness. - Samira Akili; Kim Völlinger (FSEN, 2019)

Zertifizierende verteilte Algorithmen. - Kim Völlinger (2020)

Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq. - Andrei Aleksandrov; Kim Völlinger (NFM, 2023)

Switched Systems in Coq for Modeling Periodic Controllers. - Andrei Aleksandrov; Kim Völlinger (ICTAC, 2024)

A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq. - Leo Alexander Gummersbach; Kim Völlinger; Andrei Aleksandrov (TASE, 2025)