| 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 | 82 | 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 | 40 | 2012 |
| Efficiently intertwining widening and narrowing G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani Science of Computer Programming 120, 1-24, 2016 | 39 | 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 | 26 | 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 | 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 |
| 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 | 13 | 2014 |
| Frameworks for analyzing multi-threaded C K Apinis Technische Universität München, 2014 | 11 | 2014 |
| 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 |
| 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 | 3 | 2018 |
| Class-modular, class-escape and points-to analysis for object-oriented languages A Herz, K Apinis NASA Formal Methods Symposium, 106-119, 2012 | 2 | 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 | 1 | 2023 |
| Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program BRCA de Lima, M Kramer, K Apinis, K Micinski CEUR Workshop Proceedings 3801, 2-16, 2024 | | 2024 |
| On The Suitability of Differential Dataflow For Datalog Interpretation In Highly Dynamic Settings BR Carneiro Alves De Lima, M Kramer, K Apinis Proceedings of the 2023 6th Artificial Intelligence and Cloud Computing …, 2023 | | 2023 |
| A Differential Datalog Interpreter BRCA de Lima, M Kramer, K Apinis arXiv preprint arXiv:2308.04214, 2023 | | 2023 |
| A Differential Datalog Interpreter B Rucy Carneiro Alves de Lima, M Kramer, K Apinis arXiv e-prints, arXiv: 2308.04214, 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 | | |
