Lei Bu

Systematically Debugging IoT Control System Correctness for Building Automation

Chieh-Jan Mike Liang, Lei Bu, Zhao Li et al. · 2016 · 58 citations

Engineering, Verification, Software Engineering +23

BACH : Bounded ReAchability CHecker for Linear Hybrid Automata

Lei Bu, You Li, Linzhang Wang et al. · 2008 · 53 citations

Engineering, Reachability Problem, Verification +16

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior

Lei Bu, Qixin Wang, Xin Chen et al. · ACM SIGBED Review · 2011 · 50 citations

Train Control System, Engineering, Verification +18

From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations

Tao Li, Feng Tan, Qixin Wang et al. · IEEE Transactions on Parallel and Distributed Systems · 2013 · 41 citations

Engineering, Verification, Software Engineering +24

Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems

Lei Bu, Wenjie Xiong, Chieh-Jan Mike Liang et al. · ACM Transactions on Cyber-Physical Systems · 2018 · 38 citations · Full text

Web Of Thing, Engineering, Smart City +20