From post

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

Design and Runtime Verification Side-by-Side in eTrice.

S. Kanav, L. Lúcio, C. Hilden, и T. Schuetz. NFM, том 11460 из Lecture Notes in Computer Science, стр. 255-262. Springer, (2019)

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.

A modular approach to integrate verification tools in model based development.S. Kanav. MoDELS (Companion), стр. 150-155. ACM, (2018)CoVeriTeam Service: Verification as a Service.D. Beyer, S. Kanav, и H. Wachowitz. ICSE Companion, стр. 21-25. IEEE, (2023)An Interface Theory for Program Verification.D. Beyer, и S. Kanav. ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 168-186. Springer, (2020)Monitizer: Automating Design and Evaluation of Neural Network Monitors.M. Azeem, M. Grobelna, S. Kanav, J. Kretínský, S. Mohr, и S. Rieder. CoRR, (2024)Controlling a virtual rover using AutoFOCUS3.L. Lucio, S. Kanav, A. Bayha, и J. Eder. MoDELS (Workshops), том 2245 из CEUR Workshop Proceedings, стр. 356-365. CEUR-WS.org, (2018)CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.D. Beyer, и S. Kanav. TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 561-579. Springer, (2022)Design and Runtime Verification Side-by-Side in eTrice.S. Kanav, L. Lúcio, C. Hilden, и T. Schuetz. NFM, том 11460 из Lecture Notes in Computer Science, стр. 255-262. Springer, (2019)Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.D. Beyer, S. Kanav, и C. Richter. FASE, том 13241 из Lecture Notes in Computer Science, стр. 49-70. Springer, (2022)