| 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 |
| Goblint: Path-sensitive data race analysis V Vojdani, V Vene Annales Univ. Sci. Budapest., Sect. Comp 30, 141-155, 2009 | 45 | 2009 |
| Efficiently intertwining widening and narrowing G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani Science of Computer Programming 120, 1-24, 2016 | 41 | 2016 |
| Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol MD Schwarz, H Seidl, V Vojdani, P Lammich, M Müller-Olm POPL 2011: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on …, 2011 | 34 | 2011 |
| Side-effecting constraint systems: a swiss army knife for program analysis K Apinis, H Seidl, V Vojdani Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto …, 2012 | 32 | 2012 |
| Region analysis for race detection H Seidl, V Vojdani International Static Analysis Symposium, 171-187, 2009 | 29 | 2009 |
| How to combine widening and narrowing for non-monotonic systems of equations K Apinis, H Seidl, V Vojdani ACM SIGPLAN Notices 48 (6), 377-386, 2013 | 25 | 2013 |
| Shape analysis of low-level C with overlapping structures J Kreiker, H Seidl, V Vojdani Verification, Model Checking, and Abstract Interpretation: 11th …, 2010 | 23 | 2010 |
| Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) S Saan, M Schwarz, JE Kalmer Apinis, H Seidl, R Vogler, V Vojdani Tools and Algorithms for the Construction and Analysis of Systems 12652, 438, 2021 | 18 | 2021 |
| Static data race analysis of heap-manipulating C programs V Vojdani Ph. D. thesis, University of Tartu, 2010 | 14 | 2010 |
| Precise analysis of value-dependent synchronization in priority scheduled programs MD Schwarz, H Seidl, V Vojdani, K Apinis Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 12 | 2014 |
| 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 | 11 | 2023 |
| 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 | 10 | 2021 |
| 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 | 9 | 2023 |
| Enhancing top-down solving with widening and narrowing K Apinis, H Seidl, V Vojdani Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and …, 2016 | 9 | 2016 |
| A smooth combination of linear and Herbrand equalities for polynomial time must-alias analysis H Seidl, V Vojdani, V Vene FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009 | 8 | 2009 |
| 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 | 3 | 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 | 2 | 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 | 2 | 2023 |
| Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap J Erhard, S Saan, S Tilscher, M Schwarz, K Holter, V Vojdani, H Seidl arXiv preprint arXiv:2209.10445, 2022 | 2 | 2022 |
Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenVerifierad e-postadress på in.tum.de
