Lei Bu
Xiangtan University(CN)Nanjing University(CN)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Model-Driven Software Engineering Techniques, Software Engineering Research
Most-Cited Works
- → Systematically Debugging IoT Control System Correctness for Building Automation(2016)59 cited
- → BACH : Bounded ReAchability CHecker for Linear Hybrid Automata(2008)53 cited
- → Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior(2011)51 cited
- → From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations(2013)41 cited
- → Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems(2018)38 cited
- → Symbolic execution of complex program driven by machine learning based constraint solving(2016)36 cited
- → Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps