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

2016

Enforcing Termination of Interprocedural Analysis.

Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler

Proceedings of the Static Analysis - 23rd International Symposium, 2016

2015

Inter-procedural Two-Variable Herbrand Equalities.

Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl

Proceedings of the Programming Languages and Systems, 2015

2014

Inter-procedural Herbrand Equalities.

Stefan Schulze Frielinghaus

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