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

Ralf Vogler

Name:Ralf Vogler
Raum:02.07.059
Tel:+49 89 289 18178
eMail:ralf.vogler<at>tum.de
Visitenkarte:

About

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

Jobs

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

Teaching

WS17: Einführung in die Informatik 2

SS17: Virtual Machines

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

Publications

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


Publications of Ralf Vogler

Journal Articles

The following articles appeared in peer-reviewed journals. The copyright of these articles lies with the respective journals.

  1. Stefan Schulze Frielinghaus, Helmut Seidl and Ralf Vogler. Enforcing Termination of Interprocedural Analysis. Formal Methods in System Design, , 2017.

    Reference: Bibtex Electronic Copy: DOI


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. In Xavier Rival, editor, Proceedings of the 23rd International Symposium on Static Analysis, SAS, volume 9837 of Lecture Notes in Computer Science, pages 447--468, 2016. Springer.

    Reference: Bibtex The original publication is available at www.springerlink.com



angehängte Dateien:


    fb_scaled.jpg
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 10 ms