| Goblint: Path-sensitive data race analysis V Vojdani, V Vene Annales Univ. Sci. Budapest., Sect. Comp 30, 141-155, 2009 | 42 | 2009 |
| 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 |
| Efficiently intertwining widening and narrowing G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani Science of Computer Programming 120, 1-24, 2016 | 32 | 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 | 32 | 2011 |
| Region analysis for race detection H Seidl, V Vojdani International Static Analysis Symposium, 171-187, 2009 | 30 | 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 | 24 | 2013 |
| Side-effecting constraint systems: a swiss army knife for program analysis K Apinis, H Seidl, V Vojdani Asian Symposium on Programming Languages and Systems, 157-172, 2012 | 21 | 2012 |
| Shape analysis of low-level C with overlapping structures J Kreiker, H Seidl, V Vojdani International Workshop on Verification, Model Checking, and Abstract …, 2010 | 19 | 2010 |
| Static data race analysis of heap-manipulating C programs V Vojdani | 13 | 2010 |
| Precise analysis of value-dependent synchronization in priority scheduled programs MD Schwarz, H Seidl, V Vojdani, K Apinis International Conference on Verification, Model Checking, and Abstract …, 2014 | 11 | 2014 |
| Enhancing top-down solving with widening and narrowing K Apinis, H Seidl, V Vojdani Semantics, Logics, and Calculi, 272-288, 2016 | 7 | 2016 |
| A smooth combination of linear and Herbrand equalities for polynomial time must-alias analysis H Seidl, V Vojdani, V Vene International Symposium on Formal Methods, 644-659, 2009 | 6 | 2009 |
| 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 | 5* | 2021 |
| TruffleReloader: A low-overhead language-neutral reloader T Pool, AR Gregersen, V Vojdani Proceedings of the 11th Workshop on Implementation, Compilation …, 2016 | 2 | 2016 |
| Demand-driven interprocedural analysis for map-based abstract domains K Apinis, V Vene, V Vojdani Journal of Logical and Algebraic Methods in Programming 100, 57-70, 2018 | 1 | 2018 |
| Improving Thread-Modular Abstract Interpretation M Schwarz, S Saan, H Seidl, K Apinis, J Erhard, V Vojdani International Static Analysis Symposium, 359-383, 2021 | | 2021 |
| Approaches to Thread-Modular Static Analysis V Vojdani, K Apinis, S Saan NWPT 2019, 81, 2019 | | 2019 |
| Context-Sensitive Meta-Constraint Systems for Modular and Explainable Program Analysis‹ K Apinis, V Vojdani | | |
| Lucce: Lazy and Unintrusive Calling Context Encoding for Java N Salnikov-Tarnovski, V Vojdani | | |
Helmut SeidlProfessor für Informatik, TU MünchenVerified email at in.tum.de
