| 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 | 33 | 2016 |
| Enforcing termination of interprocedural analysis S Schulze Frielinghaus, H Seidl, R Vogler Formal Methods in System Design 53 (2), 313-338, 2018 | 7 | 2018 |
| 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 | 5 | 2021 |
| Incremental abstract interpretation H Seidl, J Erhard, R Vogler From Lambda Calculus to Cybersecurity Through Program Analysis, 132-148, 2020 | 5 | 2020 |
| Three improvements to the top-down solver H Seidl, R Vogler Proceedings of the 20th International Symposium on Principles and Practice …, 2018 | 5 | 2018 |
| 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 |
Helmut SeidlProfessor für Informatik, TU MünchenVerified email at in.tum.de
