Travelled to:1 × France
1 × Germany
1 × Spain
1 × USA
Collaborated with:X.Li J.Zhao L.Wang Y.Li M.Pan X.Chen Z.Cui X.Liu L.Yang C.Zhang H.Cheng E.Tang X.C.0027 X.Li Y.Liang H.Qian Y.Hu Y.Yu
Talks about:base (3) reachabl (2) program (2) orient (2) hybrid (2) analyz (2) constraint (1) nonlinear (1) scenario (1) properti (1)
Person: Lei Bu
DBLP: Bu:Lei
Contributed to:
2012
2010
2010
2010
2009
20162017Wrote 7 papers:
- SEKE-2012-CuiWLBZL #aspect-oriented #diagrams #petri net #process #verification
- Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer (ZC, LW, XL, LB, JZ, XL), pp. 369–374.
- DATE-2010-BuLWCL #bound #composition #hybrid #linear #reachability
- BACH 2 : Bounded reachability checker for compositional linear hybrid systems (LB, YL, LW, XC, XL), pp. 1512–1517.
- SIGAda-2010-LiYBWZL #ada #fault tolerance #manycore #monitoring
- Extending Ada to support multi-core based monitoring and fault tolerance (YL, LY, LB, LW, JZ, XL), pp. 53–62.
- VMCAI-2010-BuZL #automaton #hybrid #programming #reachability #using #verification
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming (LB, JZ, XL), pp. 78–94.
- CAV-2009-PanBL #named #specification
- TASS: Timing Analyzer of Scenario-Based Specifications (MP, LB, XL), pp. 689–695.
- ASE-2016-LiLQHBYCL #constraints #execution #machine learning #symbolic computation #theorem proving
- Symbolic execution of complex program driven by machine learning based constraint solving (XL, YL, HQ, YQH, LB, YY, XC, XL), pp. 554–559.
- ASE-2017-ZhangCTCBL #generative #mobile #sketching #testing #user interface
- Sketch-guided GUI test generation for mobile applications (CZ, HC, ET, XC0, LB, XL), pp. 38–43.