Kim Völlinger


Ich bin wissenschaftliche Mitarbeiterin am Lehrstuhl Theorie der Programmierung und arbeite an dem DFG-Projekt Zertifizierende Algorithmen für interaktive Komponenten und verteilte Systeme. Ich bin Assozierte des Graduiertenkollegs SOAMED.

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

Rudower Chaussee 25
12489 Berlin
Sprechstunde nach Vereinbarung (E-Mail bevorzugt)
Telefon +49 30 2093-3069
Fax +49 30 2093-5484
E-Mail Kim.Voellinger at informatik.hu-berlin.de

Publikationen

2017

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

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

2015

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

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, 2013

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

Lehrveranstaltungen

  • 2017: Vorlesung zu Modellierung und Spezifikation (temp. Vertretung)
  • 2016: Übungen zur Vorlesung Algorithmen und Datenstrukturen
  • 2016: Master-Seminar „Verifikation verteilter Systeme“
  • 2015: Praktikum/Seminar zu Methoden und Modelle des Systementwurfs (temp. Vertretung)
  • 2015: Vorlesung und Übung zu Methoden und Modelle des Systementwurfs (temp. Vertretung)
  • 2014: Praktikum/Seminar zu Methoden und Modelle des Systementwurfs (temp. Vertretung)
  • 2014: Vorlesung und Übung zu Methoden und Modelle des Systementwurfs (temp. Vertretung)

Betreuung von Arbeiten

laufende Arbeiten

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

abgeschlossene Arbeiten

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

Betreuung von Schülerpraktika

  • Frank Baigalmaa im Januar 2015 (9. Klasse, Hans-und-Hilde-Coppi-Gymnasium, Berlin)
  • Philip Osterroth im Januar 2015 (9. Klasse, Hans-und-Hilde-Coppi-Gymnasium, Berlin)