Stefan Schulze Frielinghaus

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 5

Top Topics

Function Symbols

First Order Logic

Logic Programming

Top Venues

Joint Workshop of the German Research Training Groups in Computer Science

Formal Methods Syst. Des.

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler
Enforcing termination of interprocedural analysis. Formal Methods Syst. Des. 53 (2) (2018)
Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl
Inter-procedural Two-Variable Herbrand Equalities. Log. Methods Comput. Sci. 13 (2) (2017)
Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler
Enforcing Termination of Interprocedural Analysis. SAS (2016)
Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler
Enforcing Termination of Interprocedural Analysis. CoRR (2016)
Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl
Inter-procedural Two-Variable Herbrand Equalities. ESOP (2015)
Stefan Schulze Frielinghaus
Inter-procedural Herbrand Equalities. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl
Inter-procedural Two-Variable Herbrand Equalities. CoRR (2014)