Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Lehrstuhl Mitarbeiter Ralf Vogler login

Ralf Vogler

Name:Ralf Vogler
Tel:+49 89 289 18178


I work on our static program analysis framework goblint [github].

Thesis topics and HiWi jobs

Come by my office (or email) if you are interested in work concerning program analysis, virtual machines or functional programming.


WS16: Program Optimization

SS16: Grundlagen Algorithmen und Datenstrukturen

WS15: Einführung in die Informatik 2

SS15: Grundlagen Algorithmen und Datenstrukturen

WS14: Program Optimization

SS14: Virtual Machines


Master's thesis: Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint

Publications of Ralf Vogler

Conference Papers

The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.

  1. Stefan Schulze Frielinghaus, Helmut Seidl and Ralf Vogler. Enforcing Termination of Interprocedural Analysis. Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, pages 447--468, 2016.

    Reference: Bibtex Electronic Copy: DOI

TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 11 ms