Stefan Schulze Frielinghaus

According to our database, Stefan Schulze Frielinghaus authored at least 4 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Interprocedural Program Analysis: Herbrand Equalities and Local Solvers.

Stefan Schulze Frielinghaus

PhD thesis, 2018

Enforcing termination of interprocedural analysis.

Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler

Formal Methods Syst. Des., 2018

2017

Inter-procedural Two-Variable Herbrand Equalities.

Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl

Log. Methods Comput. Sci., 2017

2014

Inter-procedural Herbrand Equalities.

Stefan Schulze Frielinghaus

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014