Ling Shi

Modeling and verifying hierarchical real-time systems using stateful timed CSP

Jun Sun, Yang Liu, Jin Song Dong et al. · ACM Transactions on Software Engineering and Methodology · 2013 · 75 citations · Full text

Computing, Computer Engineering, Computer Science +14

Sports Strategy Analytics Using Probabilistic Reasoning

Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong et al. · 2015 · 17 citations

Business, Strategy, Decision Analytics +14

Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models

Ningke Li, Yuekang Li, Yi Liu et al. · Proceedings of the ACM on Programming Languages · 2024 · 16 citations · Full text

Computing, Computer Science, Knowledge Representation +15

Scrutinizing Implementations of Smart Home Integrations

Kulani Mahadewa, Kailong Wang, Guangdong Bai et al. · IEEE Transactions on Software Engineering · 2019 · 14 citations · Full text

Computing, Computer Science, Cybersecurity +17

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS

Ling Shi, Yongxin Zhao, Yang Liu et al. · Formal Aspects of Computing · 2018 · 12 citations

Computing, Computer Engineering, Computer Science +10