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 | 62 | 2016 |
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 |
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 | 30 | 2012 |
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 |
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 | 16 | 2021 |
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 |
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 |
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 |
Frameworks for analyzing multi-threaded C K Apinis Technische Universität München, 2014 | 8 | 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 | 2 | 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 |
Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis K Apinis, V Vojdani International Conference on Tools and Algorithms for the Construction and …, 2023 | | 2023 |
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 |
Loimeanalüüs Goblintis V Vojdani, K Apinis | | |
Context-Sensitive Meta-Constraint Systems for Modular and Explainable Program Analysis‹ K Apinis, V Vojdani | | |
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 | | |