Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Lehrstuhl Mitarbeiter Stefan Schulze Frielinghaus login

Stefan Schulze Frielinghaus

Name:Stefan Schulze Frielinghaus
Raum:02.07.53
Tel:+49 89 289 18184
eMail:schulzef<at>in.tum.de
Visitenkarte:


Publications of Stefan Schulze Frielinghaus

Journal Articles

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

  1. Stefan Schulze Frielinghaus, Michael Petter and Helmut Seidl. Inter-procedural Two-Variable Herbrand Equalities. Logical Methods in Computer Science, 13(2), 2017.

    Reference: Bibtex Electronic Copy: DOI

  2. 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

  2. Stefan Schulze Frielinghaus, Michael Petter and Helmut Seidl. Inter-procedural Two-Variable Herbrand Equalities. In Jan Vitek, editor, Proceedings of the 24th European Symposium on Programming, ESOP, volume 9032 of Lecture Notes in Computer Science, pages 457--482, 2015. Springer.

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



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