Static race detection for device drivers: the Goblint approach V Vojdani, K Apinis, V Rõtov, H Seidl, V Vene, R Vogler
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
65 2016 Three improvements to the top-down solver H Seidl, R Vogler
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
19 2018 Goblint : Thread-Modular Abstract Interpretation Using Side-Effecting Constraints: (Competition Contribution)S Saan, M Schwarz, K Apinis, J Erhard, H Seidl, R Vogler, V Vojdani
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
18 2021 Incremental abstract interpretation H Seidl, J Erhard, R Vogler
From Lambda Calculus to Cybersecurity Through Program Analysis: Essays …, 2020
10 2020 Enforcing termination of interprocedural analysis S Schulze Frielinghaus, H Seidl, R Vogler
Formal Methods in System Design 53, 313-338, 2018
8 2018 The Top-Down Solver—An Exercise in I S Tilscher, Y Stade, M Schwarz, R Vogler, H Seidl
Challenges of Software Verification, 157-179, 2023
1 2023 Proving absence of starvation by means of abstract interpretation and model checking H Seidl, R Vogler
Automated Technology for Verification and Analysis: 15th International …, 2017
1 2017 Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint R Vogler
2014