Follow
Ralf Vogler
Ralf Vogler
Informatik, TU München
Verified email at tum.de - Homepage
Title
Cited by
Cited by
Year
Static race detection for device drivers: the Goblint approach
V Vojdani, K Apinis, V Rõtov, H Seidl, V Vene, R Vogler
2016 31st IEEE/ACM International Conference on Automated Software …, 2016
332016
Enforcing termination of interprocedural analysis
S Schulze Frielinghaus, H Seidl, R Vogler
Formal Methods in System Design 53 (2), 313-338, 2018
72018
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints
S Saan, M Schwarz, K Apinis, J Erhard, H Seidl, R Vogler, V Vojdani
International Conference on Tools and Algorithms for the Construction and …, 2021
52021
Incremental abstract interpretation
H Seidl, J Erhard, R Vogler
From Lambda Calculus to Cybersecurity Through Program Analysis, 132-148, 2020
52020
Three improvements to the top-down solver
H Seidl, R Vogler
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
52018
Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking
H Seidl, R Vogler
International Symposium on Automated Technology for Verification and …, 2017
2017
Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint
R Vogler
2014
The system can't perform the operation now. Try again later.
Articles 1–7