| Efficiently intertwining widening and narrowing G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani Science of Computer Programming 120, 1-24, 2016 | 26 | 2016 |
| 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 | 22 | 2013 |
| 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 | 18 | 2016 |
| 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 | 17 | 2012 |
| 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 | 6 | 2016 |
| Frameworks for analyzing multi-threaded C K Apinis Technische Universität München, 2014 | 4 | 2014 |
| 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 |
| Class-modular, class-escape and points-to analysis for object-oriented languages A Herz, K Apinis NASA Formal Methods Symposium, 106-119, 2012 | 1 | 2012 |
| Frameworks for Interprocedural Analysis of Concurrent Programs H Seidl, K Apinis, V Vojdani NATO Science for Peace and Security Series - D: Information and …, 2014 | | 2014 |
| Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis (Tech. report) K Apinis, H Seidl, V Vojdani | | 2012 |
| Approaches to Thread-Modular Static Analysis V Vojdani, K Apinis, S Saan NWPT 2019, 81, 0 | | |
| Efficiently intertwining widening and narrowing K Apinis, HSV Vojdani, GAF Scozzari | | |
