Lei Bu

According to our database1, Lei Bu authored at least 50 papers between 2005 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS.
TCPS, 2019

Incremental Online Verification of Dynamic Cyber-Physical Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018
Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems.
TCPS, 2018

Model-based Construction and Verification of Cyber-Physical Systems.
ACM SIGSOFT Software Engineering Notes, 2018

Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking.
Proceedings of the Model Checking Software - 25th International Symposium, 2018

Chasing Errors Using Biasing Automata.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

HAT: Analyzing Linear Hybrid Automata as Labelled Transition System.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure.
IEEE Trans. Computers, 2017

Sketch-guided GUI test generation for mobile applications.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016
Systematically Debugging IoT Control System Correctness for Building Automation.
Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, 2016

Symbolic execution of complex program driven by machine learning based constraint solving.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

ACSPChecker: an ASP based CSP model checking tool.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

2015
A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking.
IEEE Trans. Parallel Distrib. Syst., 2015

2014
From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations.
IEEE Trans. Parallel Distrib. Syst., 2014

Flexible Carbon Nanotube Films for High Performance Strain Sensors.
Sensors, 2014

SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata.
Formal Methods in System Design, 2014

Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

WiP abstract: A framework on profiling cross-domain noise propagation in control CPS.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

2013
Verifying Aspect-Oriented Models against Crosscutting Properties.
International Journal of Software Engineering and Knowledge Engineering, 2013

Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012
Timing analysis of scenario-based specifications using linear programming.
Softw. Test., Verif. Reliab., 2012

Loop reduction techniques for reachability analysis of linear hybrid automata.
SCIENCE CHINA Information Sciences, 2012

Regression Test Cases Generation Based on Automatic Model Revision.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Path-oriented Test Data Generation Driven by Component Linear Fitting Functions.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP).
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Forward and backward: Bounded model checking of linear hybrid automata from two directions.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011
Path-oriented bounded reachability analysis of composed linear hybrid systems.
STTT, 2011

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.
SIGBED Review, 2011

An Instrumentation Tool for Program Dynamic Analysis in Java.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Feedback-Directed Test Case Generation Based on UML Activity Diagrams.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata.
Proceedings of the Hardware and Software: Verification and Testing, 2011

2010
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.
Proceedings of the Verification, 2010

Extending Ada to support multi-core based monitoring and fault tolerance.
Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010

Analyzing the robustness of FTSP with timed automata.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Model Checking of Hybrid Systems Using Shallow Synchronization.
Proceedings of the Formal Techniques for Distributed Systems, 2010

BACH 2 : Bounded reachability checker for compositional linear hybrid systems.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
TASS: Timing Analyzer of Scenario-Based Specifications.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
BACH : Bounded ReAchability CHecker for Linear Hybrid Automata.
Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007
Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming.
Electr. Notes Theor. Comput. Sci., 2007

2006
Scenario-Based Timing Consistency Checking for Time Petri Nets.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005
Consistency Checking of Concurrent Models for Scenario-Based Specifications.
Proceedings of the SDL 2005: Model Driven, 2005


  Loading...