| 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 | 24 | 2021 |
| Improving thread-modular abstract interpretation M Schwarz, S Saan, H Seidl, K Apinis, J Erhard, V Vojdani Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021 | 21 | 2021 |
| Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution) S Saan, M Schwarz, J Erhard, M Pietsch, H Seidl, S Tilscher, V Vojdani International Conference on Tools and Algorithms for the Construction and …, 2023 | 17 | 2023 |
| Clustered relational thread-modular abstract interpretation with local traces M Schwarz, S Saan, H Seidl, J Erhard, V Vojdani European Symposium on Programming, 28-58, 2023 | 17 | 2023 |
| Incremental abstract interpretation H Seidl, J Erhard, R Vogler From Lambda Calculus to Cybersecurity Through Program Analysis: Essays …, 2020 | 14 | 2020 |
| Goblint: Abstract Interpretation for Memory Safety and Termination: (Competition Contribution) S Saan, J Erhard, M Schwarz, S Bozhilov, K Holter, S Tilscher, V Vojdani, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 8 | 2024 |
| Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap J Erhard, S Saan, S Tilscher, M Schwarz, K Holter, V Vojdani, H Seidl International Journal on Software Tools for Technology Transfer, 1-21, 2024 | 6* | 2024 |
| Correctness witness validation by abstract interpretation S Saan, M Schwarz, J Erhard, H Seidl, S Tilscher, V Vojdani International Conference on Verification, Model Checking, and Abstract …, 2023 | 4 | 2023 |
| When long jumps fall short: Control-flow tracking and misuse detection for non-local jumps in C M Schwarz, J Erhard, V Vojdani, S Saan, H Seidl Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of …, 2023 | 4 | 2023 |
| Goblint Validator: Correctness Witness Validation by Abstract Interpretation: (Competition Contribution) S Saan, J Erhard, M Schwarz, S Bozhilov, K Holter, S Tilscher, V Vojdani, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
| 2-pointer logic H Seidl, J Erhard, M Schwarz, S Tilscher Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024 | 2 | 2024 |
| The digest framework: concurrency-sensitivity for abstract interpretation M Schwarz, J Erhard International Journal on Software Tools for Technology Transfer, 1-20, 2024 | 1 | 2024 |
| Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) J Erhard, M Bentele, M Heizmann, D Klumpp, S Saan, F Schüssele, ... arXiv preprint arXiv:2411.16612, 2024 | 1 | 2024 |
| When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C: Extended version J Erhard, M Schwarz, V Vojdani, S Saan, H Seidl International Journal on Software Tools for Technology Transfer, 1-17, 2024 | 1 | 2024 |
| Non-numerical weakly relational domains H Seidl, J Erhard, S Tilscher, M Schwarz International Journal on Software Tools for Technology Transfer 26 (4), 479-494, 2024 | 1 | 2024 |
| When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly J Erhard, JF Schinabeck, M Schwarz, H Seidl Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of …, 2024 | 1 | 2024 |
| Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts J Erhard, M Bentele, M Heizmann, D Klumpp, S Saan, F Schüssele, ... International Conference on Verification, Model Checking, and Abstract …, 2025 | | 2025 |
| C-2PO: A Weakly Relational Pointer Domain:“These Are Not the Memory Cells You Are Looking For” R Ghidini, J Erhard, M Schwarz, H Seidl Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and …, 2024 | | 2024 |
Helmut SeidlProfessor für Informatik, School of CIT, TU Münchenכתובת אימייל מאומתת בדומיין in.tum.de
