Kim Völlinger

I am a research associate at the Theory of Programming group.

I work on this DFG funded project Certifying Algorithms for Interactive Components and Distributed Systems.

I am also part of the group SOAMED.

addresse Humboldt-Universität zu Berlin
Institut für Informatik
Unter den Linden 6
10099 Berlin
office Humboldt-Universität zu Berlin
Institut für Informatik
Haus IV, 1. Etage, Raum 106

Rudower Chaussee 25
12489 Berlin
telefon +49 30 2093-3069
fax +49 30 2093-5484
mail Kim.Voellinger at informatik.hu-berlin.de

Publikations

2017

K. Völlinger
Verifying the Output of a Distributed Algorithm using Certification
17th International Conference on Runtime Verification, Seattle, USA

K. Völlinger, S. Akili
Verifying a Class of Certifying Distributed Programs
9th NASA Formal Methods Symposium, Moffett Field, USA

2015

K. Völlinger, W. Reisig
Certification of Distributed Algorithms Solving Problems with Optimal Substructure
Software Engineering and Formal Methods, York, UK

2013

V. Prevosto, J. Burghardt, J. Gerlach, K. Hartig, H. Pohl, K. Völlinger
Formal specification and automated verification of railway software with Frama-C
11th IEEE International Conference on Industrial Informatics, Bochum, Germany

K. Völlinger
Einsatz des Beweisassistenten Coq zur deduktiven Programmverifikation
Master thesis, Humboldt-Universität zu Berlin

Teaching

  • 2017: lecture „Modellierung und Spezifikation“ (temporarily)
  • 2016: tutorials for the lecture „Algorithmen und Datenstrukturen“
  • 2016: seminar for master students „Verifikation verteilter Systeme“
  • 2015: seminar „Methoden und Modelle des Systementwurfs“ (temporarily)
  • 2015: lecture and tutorial „Methoden und Modelle des Systementwurfs“ (temporarily)
  • 2014: seminar „Methoden und Modelle des Systementwurfs“ (temporarily)
  • 2014: lecture and tutorial „Methoden und Modelle des Systementwurfs“ (temporarily)

Supervision of student's thesises

ongoing thesises

  • Samira Akili, Master thesis, Formale Instanzverifikation in Coq: Verteiltes Prüfen eines Zeugen
  • Alexander Boll, Master thesis, Formale Instanzverifikation in Coq: Verteilter Bipartitheitstest

completed thesises

  • Samira Akili, Studienprojekt, 2016: Verifikation eines zertifizierenden verteilten Algorithmus: Leader Election
  • David Asher, Master thesis, 2016: Verifikation eines zertifizierenden verteilten Algorithmus
  • Samira Akili, Bachelor thesis, 2015: Simulation zertifizierender Netzwerkalgorithmen

Supervision of scholar internship

  • Frank Baigalmaa, January 2015 (9th grade, Hans-und-Hilde-Coppi-Gymnasium, Berlin)
  • Philip Osterroth, January 2015 (9th grade, Hans-und-Hilde-Coppi-Gymnasium, Berlin)