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
632011
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
522008
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
412013
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
382012
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
342016
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
342007
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
252016
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
252010
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
242018
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
24*2011
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
232010
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
182013
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
17*2014
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
172005
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
152013
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
IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata
L Bu, Y Yang, X Li
Hardware and Software: Verification and Testing, 35-49, 2012
122012
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
112016
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
102014
Tass: Timing analyzer of scenario-based specifications
M Pan, L Bu, X Li
International Conference on Computer Aided Verification, 689-695, 2009
102009
The system can't perform the operation now. Try again later.
Articles 1–20