Ralf Vogler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2021
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | TACAS | 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 |
| 2018 | PPDP | Three Improvements to the Top-Down Solver. | Helmut Seidl, Ralf Vogler |
| 2017 | ATVA | Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking. | Helmut Seidl, Ralf Vogler |
| 2016 | SAS | Enforcing Termination of Interprocedural Analysis. | Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler |