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
Visitienkarte:


Publications of Stefan Schulze Frielinghaus

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

  2. Stefan Schulze Frielinghaus, Michael Petter and Helmut Seidl. Inter-procedural Two-Variable Herbrand Equalities. Programming Languages and Systems, volume 9032 of Lecture Notes in Computer Science, pages 457-482, 2015. Springer.

    Detail: Abstract Download: PDF 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