Follow
Lei Bu
Title
Cited by
Cited by
Year
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior
L Bu, Q Wang, X Chen, L Wang, T Zhang, J Zhao, X Li
ACM SIGBED Review 8 (2), 7-10, 2011
652011
BACH: Bounded reachability checker for linear hybrid automata
L Bu, Y Li, L Wang, X Li
2008 Formal Methods in Computer-Aided Design, 1-4, 2008
572008
From offline toward real time: A hybrid systems model checking and CPS codesign approach for medical device plug-and-play collaborations
T Li, F Tan, Q Wang, L Bu, JN Cao, X Liu
IEEE Transactions on Parallel and Distributed Systems 25 (3), 642-652, 2013
492013
Systematically debugging IoT control system correctness for building automation
CJM Liang, L Bu, Z Li, J Zhang, S Han, BF Karlsson, D Zhang, F Zhao
Proceedings of the 3rd ACM international conference on systems for energy …, 2016
462016
From offline toward real-time: A hybrid systems model checking and CPS co-design approach for medical device plug-and-play (MDPnP)
T Li, F Tan, Q Wang, L Bu, JN Cao, X Liu
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 13-22, 2012
412012
Systematically ensuring the confidence of real-time home automation IoT systems
L Bu, W Xiong, CJM Liang, S Han, D Zhang, S Lin, X Li
ACM Transactions on Cyber-Physical Systems 2 (3), 1-23, 2018
372018
Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming
X Li, SJ Aanand, L Bu
Electronic Notes in Theoretical Computer Science 174 (3), 57-70, 2007
352007
Symbolic execution of complex program driven by machine learning based constraint solving
X Li, Y Liang, H Qian, YQ Hu, L Bu, Y Yu, X Chen, X Li
2016 31st IEEE/ACM International Conference on Automated Software …, 2016
292016
BACH 2: Bounded ReachAbility CHecker for compositional linear hybrid systems
L Bu, Y Li, L Wang, X Chen, X Li
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
292010
Model checking of hybrid systems using shallow synchronization
L Bu, A Cimatti, X Li, S Mover, S Tonetta
Formal Techniques for Distributed Systems, 155-169, 2010
272010
Path-oriented bounded reachability analysis of composed linear hybrid systems
L Bu, X Li
International Journal on Software Tools for Technology Transfer (STTT) 13 (4 …, 2011
26*2011
SAT–LP–IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
D Xie, L Bu, J Zhao, X Li
Formal Methods in System Design 45 (1), 42-62, 2014
24*2014
Guaranteeing proper-temporal-embedding safety rules in wireless cps: A hybrid formal modeling approach
F Tan, Y Wang, Q Wang, L Bu, R Zheng, N Suri
2013 43rd annual IEEE/IFIP international conference on dependable systems …, 2013
222013
Modeling and evaluation of wireless sensor network protocols by stochastic timed automata
F Zhang, L Bu, L Wang, J Zhao, X Chen, T Zhang, X Li
Electronic Notes in Theoretical Computer Science 296, 261-277, 2013
192013
Consistency checking of concurrent models for scenario-based specifications
X Li, J Hu, L Bu, J Zhao, G Zheng
International SDL Forum, 298-312, 2005
182005
Taking care of the discretization problem: A comprehensive study of the discretization problem and a black-box adversarial attack in discrete integer domain
L Bu, Z Zhao, Y Duan, F Song
IEEE Transactions on Dependable and Secure Computing, 2021
17*2021
Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
L Bu, J Zhao, X Li
International Workshop on Verification, Model Checking, and Abstract …, 2010
152010
A lease based hybrid design pattern for proper-temporal-embedding of wireless CPS interlocking
F Tan, Y Wang, Q Wang, L Bu, N Suri
IEEE Transactions on Parallel and Distributed Systems 26 (10), 2630-2642, 2014
142014
Sketch-guided GUI test generation for mobile applications
C Zhang, H Cheng, E Tang, X Chen, L Bu, X Li
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
132017
Deriving unbounded reachability proof of linear hybrid automata during bounded checking procedure
D Xie, W Xiong, L Bu, X Li
IEEE Transactions on Computers 66 (3), 416-430, 2016
132016
The system can't perform the operation now. Try again later.
Articles 1–20