| Exploring AADL verification tool through model transformation K Hu, T Zhang, Z Yang, WT Tsai Journal of Systems Architecture 61 (3-4), 141-156, 2015 | 31 | 2015 |
| Multi-threaded code generation from Signal program to OpenMP K Hu, T Zhang, Z Yang Frontiers of Computer Science 7, 617-626, 2013 | 16 | 2013 |
| SMEDL: combining synchronous and asynchronous monitoring T Zhang, P Gebhard, O Sokolsky International Conference on Runtime Verification, 482-490, 2016 | 12 | 2016 |
| Overhead-aware deployment of runtime monitors T Zhang, G Eakman, I Lee, O Sokolsky Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 9 | 2019 |
| Correct-by-construction implementation of runtime monitors using stepwise refinement T Zhang, J Wiegley, T Giannakopoulos, G Eakman, C Pit-Claudel, I Lee, ... International Symposium on Dependable Software Engineering: Theories, Tools …, 2018 | 7 | 2018 |
| Simulation of real-time systems with clock calculus K Hu, T Zhang, Z Yang, WT Tsai Simulation Modelling Practice and Theory 51, 69-86, 2015 | 7 | 2015 |
| Flexible monitor deployment for runtime verification of large scale software T Zhang, G Eakman, I Lee, O Sokolsky International Symposium on Leveraging Applications of Formal Methods, 42-50, 2018 | 5 | 2018 |
| Securing Aptos framework with formal verification J Park, T Zhang, W Grieskamp, M Xu, G Di Giacomo, K Chen, Y Lu, ... 5th International Workshop on Formal Methods for Blockchains (FMBC 2024), 9 …, 2024 | 4 | 2024 |
| Monitoring assumptions in assume-guarantee contracts O Sokolsky, T Zhang, I Lee, M McDougall arXiv preprint arXiv:1606.00505, 2016 | 4 | 2016 |
| Verification of concurrent code from synchronous specifications K Hu, T Zhang, Y Ding, J Zhu, JP Talpin Science of Computer Programming 206, 102625, 2021 | 2 | 2021 |
| Runtime verification of parametric properties using smedl T Zhang, R Kaur, I Lee, O Sokolsky From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A …, 2019 | 2 | 2019 |
| Monitoring time intervals T Zhang, J Wiegley, I Lee, O Sokolsky International Conference on Runtime Verification, 330-345, 2017 | 2 | 2017 |
| 面向同步规范的并行代码自动生成 K Hu, T Zhang, L Shang, Z Yang, JP Talpin Journal of Software 28, 1-15, 2017 | 1 | 2017 |
| Zaptos: Towards Optimal Blockchain Latency Z Xiang, Z Li, B Arun, T Zhang, A Spiegelman arXiv preprint arXiv:2501.10612, 2025 | | 2025 |
| RV-Enabled Framework for Self-Adaptive Software T Zhang University of Pennsylvania, 2021 | | 2021 |
| AADL2TASM: a Verification and Analysis Tool for AADL Models 蒋树， 胡凯， 杨志斌， 顾斌， 张腾， 姜泮昌 Journal of Donghua University (English Edition) 29 (1), 94-98, 2012 | | 2012 |
| Formal Verification of TASM Models by Translating into UPPAAL 胡凯， 张腾， 杨志斌， 顾斌， 蒋树， 姜泮昌 Journal of Donghua University (English Edition) 29 (1), 51-54, 2012 | | 2012 |