From post

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

Dione: A Protocol Verification System Built with Dafny for I/O Automata.

C. Hsieh, и S. Mitra. IFM, том 11918 из Lecture Notes in Computer Science, стр. 227-245. 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.

Chiao Yeh

Kwan-Hua Chiao

Hui-Fang Chiao

Shih-Yang Chiao

Yun-Chuang Chiao

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

Dione: A Protocol Verification System Built with Dafny for I/O Automata.C. Hsieh, и S. Mitra. IFM, том 11918 из Lecture Notes in Computer Science, стр. 227-245. Springer, (2019)Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems.C. Hsieh, D. Wu, Y. Koh, и S. Mitra. CASE, стр. 2287-2292. IEEE, (2022)Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos.K. Joshi, C. Hsieh, S. Mitra, и S. Misailovic. CoRR, (2022)CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).Y. Chen, C. Hsieh, M. Tsai, B. Wang, и F. Wang. TACAS, том 9035 из Lecture Notes in Computer Science, стр. 426-428. Springer, (2015)CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination.R. Ghosh, J. Jansch-Porto, C. Hsieh, A. Gosse, M. Jiang, H. Taylor, P. Du, S. Mitra, и G. Dullerud. ICRA, стр. 6654-6660. IEEE, (2020)Assuring Safety of Vision-Based Swarm Formation Control.C. Hsieh, Y. Koh, Y. Li, и S. Mitra. ACC, стр. 3215-3222. IEEE, (2024)Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception.M. Abraham, A. Mayne, T. Perez, Í. de Oliveira, H. Yu, C. Hsieh, Y. Li, D. Sun, и S. Mitra. EMSOFT, стр. 17-20. IEEE, (2022)SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems.C. Hsieh, H. Sibai, H. Taylor, Y. Ni, и S. Mitra. ITSC, стр. 372-379. IEEE, (2021)PAC learning-based verification and model synthesis.Y. Chen, C. Hsieh, O. Lengál, T. Lii, M. Tsai, B. Wang, и F. Wang. ICSE, стр. 714-724. ACM, (2016)Verifying Recursive Programs Using Intraprocedural Analyzers.Y. Chen, C. Hsieh, M. Tsai, B. Wang, и F. Wang. SAS, том 8723 из Lecture Notes in Computer Science, стр. 118-133. Springer, (2014)

BibSonomy

Disambiguation