팔로우
Vesal Vojdani
제목
인용
인용
연도
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
682016
Goblint: Path-sensitive data race analysis
V Vojdani, V Vene
Annales Univ. Sci. Budapest., Sect. Comp 30, 141-155, 2009
462009
Efficiently intertwining widening and narrowing
G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani
Science of Computer Programming 120, 1-24, 2016
392016
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
352012
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
352011
Region analysis for race detection
H Seidl, V Vojdani
International Static Analysis Symposium, 171-187, 2009
292009
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
252013
Shape analysis of low-level C with overlapping structures
J Kreiker, H Seidl, V Vojdani
Verification, Model Checking, and Abstract Interpretation: 11th …, 2010
252010
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
192021
Static data race analysis of heap-manipulating C programs
V Vojdani
Ph. D. thesis, University of Tartu, 2010
142010
Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution)
S Saan, M Schwarz, J Erhard, M Pietsch, H Seidl, S Tilscher, V Vojdani
International Conference on Tools and Algorithms for the Construction and …, 2023
132023
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
132014
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
122021
Clustered relational thread-modular abstract interpretation with local traces
M Schwarz, S Saan, H Seidl, J Erhard, V Vojdani
European Symposium on Programming, 28-58, 2023
112023
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
92016
A smooth combination of linear and Herbrand equalities for polynomial time must-alias analysis
H Seidl, V Vojdani, V Vene
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009
82009
Goblint: Abstract Interpretation for Memory Safety and Termination: (Competition Contribution)
S Saan, J Erhard, M Schwarz, S Bozhilov, K Holter, S Tilscher, V Vojdani, ...
International Conference on Tools and Algorithms for the Construction and …, 2024
32024
When long jumps fall short: Control-flow tracking and misuse detection for non-local jumps in C
M Schwarz, J Erhard, V Vojdani, S Saan, H Seidl
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of …, 2023
32023
Correctness witness validation by abstract interpretation
S Saan, M Schwarz, J Erhard, H Seidl, S Tilscher, V Vojdani
International Conference on Verification, Model Checking, and Abstract …, 2023
22023
Interactive abstract interpretation: Reanalyzing whole programs for cheap
J Erhard, S Saan, S Tilscher, M Schwarz, K Holter, V Vojdani, H Seidl
arXiv preprint arXiv:2209.10445, 2022
22022
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20