Ralf Vogler

According to our database, Ralf Vogler authored at least 6 papers between 2016 and 2021.

Collaborative distances:

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

2021

Three improvements to the top-down solver.

Helmut Seidl, Ralf Vogler

Math. Struct. Comput. Sci., 2021

Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).

Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Incremental Abstract Interpretation.

Helmut Seidl, Julian Erhard, Ralf Vogler

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2018

Enforcing termination of interprocedural analysis.

Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler

Formal Methods Syst. Des., 2018

2017

Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking.

Helmut Seidl, Ralf Vogler

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Static race detection for device drivers: the Goblint approach.

Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016