Ralf Vogler

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 9

Top Topics

Satisfiability Modulo Theories

Abstract Interpretation

Top Venues

Math. Struct. Comput. Sci.

Formal Methods Syst. Des.

Publications

Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). TACAS (2) (2021)
Helmut Seidl, Ralf Vogler
Three improvements to the top-down solver. Math. Struct. Comput. Sci. 31 (9) (2021)
Helmut Seidl, Julian Erhard, Ralf Vogler
Incremental Abstract Interpretation. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Helmut Seidl, Ralf Vogler
Three Improvements to the Top-Down Solver. PPDP (2018)
Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler
Enforcing termination of interprocedural analysis. Formal Methods Syst. Des. 53 (2) (2018)
Helmut Seidl, Ralf Vogler
Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking. ATVA (2017)
Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler
Enforcing Termination of Interprocedural Analysis. SAS (2016)
Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler
Static race detection for device drivers: the Goblint approach. ASE (2016)
Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler
Enforcing Termination of Interprocedural Analysis. CoRR (2016)