Lei Bu

Systematically Debugging IoT Control System Correctness for Building Automation

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

Computing, Computer Science, Systems Engineering +14

BACH : Bounded ReAchability CHecker for Linear Hybrid Automata

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

Computing, Computer Science, Algorithms +14

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 · 51 citations

Engineering, Computer Science, Systems Engineering +17

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

Computing, Computer Engineering, Computer Science +17

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 · 41 citations · Full text

Engineering, Computer Engineering, Systems Engineering +7