| SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations C Chen, P Ren, Z Duan, C Tian, X Lu, B Yu Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 10 | 2023 |
| A knowledge-based temporal planning approach for urban traffic control X Lu, N Zhang, C Tian, B Yu, Z Duan IEEE Transactions on Intelligent Transportation Systems 22 (3), 1907-1918, 2020 | 9 | 2020 |
| Planning with spatio-temporal search control knowledge X Lu, C Tian, Z Duan, H Du IEEE Transactions on Knowledge and Data Engineering 30 (10), 1915-1928, 2018 | 7 | 2018 |
| P2P network based smart parking system using edge computing N Zhang, X Lu, C Tian, Z Duan, Z Sun, T Zhang Mobile Networks and Applications 25 (6), 2226-2239, 2020 | 5 | 2020 |
| Multi-keyword ranked search with access control for multiple data owners in the cloud J Guo, C Tian, X Lu, L Zhao, Z Duan Journal of Information Security and Applications 82, 103742, 2024 | 4 | 2024 |
| Verify heaps via unified model checking X Lu, Z Duan, C Tian, H Du Theoretical Computer Science 819, 35-49, 2020 | 4 | 2020 |
| Runtime verification of ethereum smart contracts based on MSVL B Yu, X Lu, H Chen, M Lei, X Wang International Workshop on Structured Object-Oriented Formal Language and …, 2020 | 4 | 2020 |
| Temporalising Separation Logic for Planning with Search Control Knowledge. X Lu, C Tian, Z Duan IJCAI 17, 1167-1173, 2017 | 4 | 2017 |
| A distributed network-based runtime verification of full regular temporal properties B Yu, C Tian, X Lu, N Zhang, Z Duan IEEE Transactions on Parallel and Distributed Systems 34 (1), 76-91, 2022 | 3 | 2022 |
| Detecting atomicity violations in interrupt-driven programs via interruption points selecting and delayed ISR-triggering B Yu, C Tian, H Xing, Z Yang, J Su, X Lu, J Yang, L Zhao, X Li, Z Duan Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 2 | 2023 |
| Extending PPTL for verifying heap evolution properties X Lu, Z Duan, C Tian arXiv preprint arXiv:1507.08426, 2015 | 2 | 2015 |
| Integrating Separation Logic with PPTL X Lu, Z Duan, C Tian, H Liu International Workshop on Structured Object-Oriented Formal Language and …, 2013 | 2 | 2013 |
| Adaptively parallel runtime verification based on distributed network for temporal properties B Yu, X Lu, C Tian, M Wang, C Chen, M Lei, Z Duan Parallel Computing 117, 103034, 2023 | 1 | 2023 |
| An approach of transforming non-Markovian reward to Markovian reward R Miao, X Lu, J Cui International workshop on structured object-oriented formal language and …, 2022 | 1 | 2022 |
| On the exploitation of control knowledge for enhancing automated planning X Lu, B Yu, C Tian, C Chen, Z Duan Information Sciences 693, 121666, 2025 | | 2025 |
| ParMod: A Parallel and Modular Framework for Learning Non-Markovian Tasks R Miao, X Lu, C Tian, B Yu, Z Duan arXiv preprint arXiv:2412.12700, 2024 | | 2024 |
| Using experience classification for training non-Markovian tasks R Miao, X Lu, C Tian, B Yu, J Cui, Z Duan Expert Systems with Applications 255, 124649, 2024 | | 2024 |
| A Contract-Based Framework for Formal Verification of Embedded Software X Lu, C Tian, B Gu, B Yu, C Chen, Z Duan International Symposium on Dependable Software Engineering: Theories, Tools …, 2024 | | 2024 |
| Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback R Li, B Yu, X Lu, L Ke, J Chen, Z Yuan, J Wang, C Tian, Y Dong Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | | 2024 |
| Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems Z Ma, C Wen, J Su, M Zhao, B Yu, X Lu, C Tian arXiv preprint arXiv:2404.00795, 2024 | | 2024 |
