팔로우
Ralf Vogler
Ralf Vogler
Informatik, TU München
tum.de의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
Three improvements to the top-down solver
H Seidl, R Vogler
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
222018
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
192021
Incremental abstract interpretation
H Seidl, J Erhard, R Vogler
From Lambda Calculus to Cybersecurity Through Program Analysis: Essays …, 2020
102020
Enforcing termination of interprocedural analysis
S Schulze Frielinghaus, H Seidl, R Vogler
Formal Methods in System Design 53, 313-338, 2018
82018
The Top-Down Solver—An Exercise in I
S Tilscher, Y Stade, M Schwarz, R Vogler, H Seidl
Challenges of Software Verification, 157-179, 2023
22023
Proving absence of starvation by means of abstract interpretation and model checking
H Seidl, R Vogler
Automated Technology for Verification and Analysis: 15th International …, 2017
12017
Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint
R Vogler
2014
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–8