Kalmer Apinis
Title
Cited by
Cited by
Year
Efficiently intertwining widening and narrowing
G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani
Science of Computer Programming 120, 1-24, 2016
262016
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
222013
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
182016
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
172012
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
112014
Enhancing top-down solving with widening and narrowing
K Apinis, H Seidl, V Vojdani
Semantics, Logics, and Calculi, 272-288, 2016
62016
Frameworks for analyzing multi-threaded C
K Apinis
Technische Universität München, 2014
42014
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
12018
Class-modular, class-escape and points-to analysis for object-oriented languages
A Herz, K Apinis
NASA Formal Methods Symposium, 106-119, 2012
12012
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
The system can't perform the operation now. Try again later.
Articles 1–13