From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Static race detection for device drivers: the Goblint approach.

V. Vojdani, K. Apinis, V. Rõtov, H. Seidl, V. Vene, и R. Vogler. ASE, стр. 391-402. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Enforcing Termination of Interprocedural Analysis.S. Frielinghaus, H. Seidl, и R. Vogler. SAS, том 9837 из Lecture Notes in Computer Science, стр. 447-468. Springer, (2016)Incremental Abstract Interpretation.H. Seidl, J. Erhard, и R. Vogler. From Lambda Calculus to Cybersecurity Through Program Analysis, том 12065 из Lecture Notes in Computer Science, стр. 132-148. Springer, (2020)Three Improvements to the Top-Down Solver.H. Seidl, и R. Vogler. PPDP, стр. 21:1-21:14. ACM, (2018)Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking.H. Seidl, и R. Vogler. ATVA, том 10482 из Lecture Notes in Computer Science, стр. 3-22. Springer, (2017)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. TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 438-442. Springer, (2021)