From post

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

VeriPhy: verified controller executables from verified cyber-physical system models.

R. Bohrer, Y. Tan, S. Mitsch, M. Myreen, и A. Platzer. PLDI, стр. 617-630. ACM, (2018)

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.

Oliver Kiaman

Puangrat Yongvanit

Saman Kiamehr

Li Yong

Karn Yongsiriwit

Другие публикации лиц с тем же именем

Switched Systems as Hybrid Programs.Y. Tan, и A. Platzer. ADHS, том 54 из IFAC-PapersOnLine, стр. 247-252. Elsevier, (2021)Formalizing Coppersmith's Method in Isabelle/HOL.K. Kosaian, Y. Tan, и K. Rozier. CICM, том 14960 из Lecture Notes in Computer Science, стр. 127-145. Springer, (2024)Pegasus: A Framework for Sound Continuous Invariant Generation.A. Sogokon, S. Mitsch, Y. Tan, K. Cordwell, и A. Platzer. FM, том 11800 из Lecture Notes in Computer Science, стр. 138-157. Springer, (2019)Functional Big-Step Semantics.S. Owens, M. Myreen, R. Kumar, и Y. Tan. ESOP, том 9632 из Lecture Notes in Computer Science, стр. 589-615. Springer, (2016)Certified MaxSAT Preprocessing.H. Ihalainen, A. Oertel, Y. Tan, J. Berg, M. Järvisalo, и J. Nordström. CoRR, (2024)Implicit Definitions with Differential Equations for KeYmaera X - (System Description).J. Gallicchio, Y. Tan, S. Mitsch, и A. Platzer. IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 723-733. Springer, (2022)ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.S. Mitsch, A. Sogokon, Y. Tan, X. Jin, B. Zhan, S. Wang, и N. Zhan. ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 141-161. EasyChair, (2019)Deductive Stability Proofs for Ordinary Differential Equations.Y. Tan, и A. Platzer. TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 181-199. Springer, (2021)Differential Equation Invariance Axiomatization.A. Platzer, и Y. Tan. CoRR, (2019)An Axiomatic Approach to Liveness for Differential Equations.Y. Tan, и A. Platzer. FM, том 11800 из Lecture Notes in Computer Science, стр. 371-388. Springer, (2019)

BibSonomy

Disambiguation