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 | 78 | 2016 |
Three improvements to the top-down solver H Seidl, R Vogler Proceedings of the 20th International Symposium on Principles and Practice …, 2018 | 25 | 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 | 22 | 2021 |
Incremental abstract interpretation H Seidl, J Erhard, R Vogler From Lambda Calculus to Cybersecurity Through Program Analysis: Essays …, 2020 | 12 | 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 | 4 | 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 |