| 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 |
Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenVerified email at in.tum.de
