SpecGen: Automated Generation of Formal Program Specifications via Large Language Models - Lezhi Ma; Shangqing Liu; Yi Li; Xiaofei Xie; Lei Bu (47th IEEE/ACM International Conference on Software Engineering, ICSE 2025, Ottawa, ON, Canada, April 26 - May 6, 2025, 2025)

Intention is All you Need: Refining your Code from your Intention - Qi Guo; Xiaofei Xie; Shangqing Liu; Ming Hu; Xiaohong Li; Lei Bu (47th IEEE/ACM International Conference on Software Engineering, ICSE 2025, Ottawa, ON, Canada, April 26 - May 6, 2025, 2025)

Intention is All You Need: Refining Your Code from Your Intention - Qi Guo; Xiaofei Xie; Shangqing Liu; Ming Hu; Xiaohong Li; Lei Bu (CoRR, 2025)

Attack Effect Model based Malicious Behavior Detection - Limin Wang; Lei Bu; Muzimiao Zhang; Shihong Cang; Kai Ye (CoRR, 2025)

Constructing exception handling chains for testing Java virtual machine implementations - Bochuan Chen; Xiao Guo; Yuting Chen; Xiaofeng Yu; Lei Bu (J. Softw. Evol. Process., 2024)

Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs - Jiawan Wang; Wenxia Liu; Muzimiao Zhang; Jiaqi Wei; Yuhui Shi; Lei Bu; Xuandong Li (Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III, 2024)

Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters - Xiao Guo; Jianhua Zhao; Lei Bu (Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, 2024)

FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion - Qi Guo; Xiaohong Li; Xiaofei Xie; Shangqing Liu; Ze Tang; Ruitao Feng; Junjie Wang; Jidong Ge; Lei Bu (Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024, 2024)

Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings - Holger Hermanns; Jun Sun; Lei Bu (Springer, 2024)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models - Lezhi Ma; Shangqing Liu; Yi Li; Xiaofei Xie; Lei Bu (CoRR, 2024)

FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion - Qi Guo; Xiaohong Li; Xiaofei Xie; Shangqing Liu; Ze Tang; Ruitao Feng; Junjie Wang; Jidong Ge; Lei Bu (CoRR, 2024)

Model-Enhanced LLM-Driven VUI Testing of VPA Apps - Suwan Li; Lei Bu; Guangdong Bai; Fuman Xie; Kai Chen; Chang Yue (CoRR, 2024)

SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications - Lezhi Ma; Shangqing Liu; Lei Bu; Shangru Li; Yida Wang; Yang Liu (CoRR, 2024)

Blended English Teaching Model in Higher Education School Environment AR Constructive Technology - Jing Yang; Lei Bu (Int. J. Gaming Comput. Mediat. Simulations, 2023)

SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison - Limin Wang; Lei Bu; Fu Song (60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, 2023)

DStream: A Streaming-Based Highly Parallel IFDS Framework - Xizao Wang; Zhiqiang Zuo; Lei Bu; Jianhua Zhao (45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, 2023)

Security Checking of Trigger-Action-Programming Smart Home Integrations - Lei Bu; Qiuping Zhang; Suwan Li; Jinglin Dai; Guangdong Bai; Kai Chen; Xuandong Li (Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, 2023)

GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing - Zihan Wang; Pengbo Nie; Xinyuan Miao; Yuting Chen; Chengcheng Wan; Lei Bu; Jianjun Zhao (Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, 2023)

A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization - Shiyu Zhang; Wenxia Liu; Qixin Wang; Lei Bu; Yu Pei (29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2023, Niigata, Japan, August 30 - Sept. 1, 2023, 2023)

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems - Alessandro Abate; Matthias Althoff; Lei Bu; Gidon Ernst; Goran Frehse; Luca Geretti; Taylor T. Johnson; Claudio Menghi; Stefan Mitsch; Stefan Schupp; Sadegh Soudjani (TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions, TOOLympics 2023, Paris, France, 2023)

Preface - Tao Xie; Shengchao Qin; Wenhui Zhang; Jun Sun; Lei Bu; Ge Li (J. Comput. Sci. Technol., 2022)

PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS - Jiawan Wang; Lei Bu; Shaopeng Xing; Xuandong Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Taking Care of the Discretization Problem: A Comprehensive Study of the Discretization Problem and a Black-Box Adversarial Attack in Discrete Integer Domain - Lei Bu; Zhe Zhao; Yuchao Duan; Fu Song (IEEE Trans. Dependable Secur. Comput., 2022)

ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking - Lei Bu; Goran Frehse; Atanu Kundu; Rajarshi Ray; Yuhui Shi; Enea Zaffanella (Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022, 2022)

Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps - Fuman Xie; Yanjun Zhang; Chuan Yan; Suwan Li; Lei Bu; Kai Chen; Zi Huang; Guangdong Bai (37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022)

VITAS : Guided Model-based VUI Testing of VPA Apps - Suwan Li; Lei Bu; Guangdong Bai; Zhixiu Guo; Kai Chen; Hanlin Wei (37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022)

BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) - Lei Bu; Zhunyi Xie; Lecheng Lyu; Yichao Li; Xiao Guo; Jianhua Zhao; Xuandong Li (Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, 2022)

Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata - Yuming Wu; Lei Bu; Jiawan Wang; Xinyue Ren; Wen Xiong; Xuandong Li (Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings, 2022)

Machine learning steered symbolic execution framework for complex software code - Lei Bu; Yongjuan Liang; Zhunyi Xie; Hong Qian; Yi-Qi Hu; Yang Yu; Xin Chen; Xuandong Li (Formal Aspects Comput., 2021)

Verification Assisted Gas Reduction for Smart Contracts - Bo Gao; Siyuan Shen; Ling Shi; Jiaying Li; Jun Sun; Lei Bu (28th Asia-Pacific Software Engineering Conference, APSEC 2021, Taipei, Taiwan, December 6-9, 2021, 2021)

Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed - Jiawan Wang; Lei Bu; Shaopeng Xing; Yuming Wu; Xuandong Li (Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, 2021)

Approximate optimal hybrid control synthesis by classification-based derivative-free optimization - Shaopeng Xing; Jiawan Wang; Lei Bu; Xin Chen; Xuandong Li (HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, 2021)

Identifying privacy weaknesses from multi-party trigger-action integration platforms - Kulani Mahadewa; Yanjun Zhang; Guangdong Bai; Lei Bu; Zhiqiang Zuo; Dileepa Fernando; Zhenkai Liang; Jin Song Dong (ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021, 2021)

Scenario-Based Online Reachability Validation for CPS Fault Prediction - Lei Bu; Qixin Wang; Xinyue Ren; Shaopeng Xing; Xuandong Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking - Lei Bu; Alessandro Abate; Dieky Adzkiya; Muhammad Syifa'ul Mufid; Rajarshi Ray; Yuming Wu; Enea Zaffanella (ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020, 2020)

Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language - Shiyu Zhang; Juan Zhai; Lei Bu; Mingsong Chen; Linzhang Wang; Xuandong Li (2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020, 2020)

Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC - Chao Huang; Xin Chen; Enyi Tang; Mengda He; Lei Bu; Shengchao Qin; Yifeng Zeng (2020 IEEE International Conference on Robotics and Automation, ICRA 2020, Paris, France, May 31 - August 31, 2020, 2020)

Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS - Feng Tan; Liansheng Liu; Stefan Winter; Qixin Wang; Neeraj Suri; Lei Bu; Yu Peng; Xue Liu; Xiyuan Peng (ACM Trans. Cyber Phys. Syst., 2019)

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Anna Becchi; Lei Bu; Alessandro Cimatti; Mirco Giacobbe; Alberto Griggio; Sergio Mover; Muhammad Syifa'ul Mufid; Idriss Riouak; Stefano Tonetta; et al. (ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019, 2019)

ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics - Lei Bu; Rajarshi Ray; Stefan Schupp (ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019, 2019)

Incremental Online Verification of Dynamic Cyber-Physical Systems - Lei Bu; Shaopeng Xing; Xinyue Ren; Yang Yang; Qixin Wang; Xuandong Li (Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019, 2019)

From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT - Lei Bu; Jiawan Wang; Yuming Wu; Xuandong Li (Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures, 2019)

Things You May Not Know About Adversarial Example: A Black-box Adversarial Image Attack - Yuchao Duan; Zhe Zhao; Lei Bu; Fu Song (CoRR, 2019)

Model-based Construction and Verification of Cyber-Physical Systems - Lei Bu; Tian Zhang; Xin Chen; Linzhang Wang; Jianhua Zhao; Xuandong Li (ACM SIGSOFT Softw. Eng. Notes, 2018)

Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems - Lei Bu; Wen Xiong; Chieh-Jan Mike Liang; Shi Han; Dongmei Zhang; Shan Lin; Xuandong Li (ACM Trans. Cyber Phys. Syst., 2018)

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Lei Bu; Mirco Giacobbe; Muhammad Syifa'ul Mufid; Enea Zaffanella (ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018, 2018)

ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics - Lei Bu; Rajarshi Ray; Stefan Schupp (ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018, 2018)

Chasing Errors Using Biasing Automata - Lei Bu; Doron Peled; Dashuan Shen; Yael Tzirulnikov (Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, 2018)

Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking - Lei Bu; Doron Peled; Dachuan Shen; Yuan Zhuang (Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, 2018)

HAT: Analyzing Linear Hybrid Automata as Labelled Transition System - Lei Bu; Hui Jiang; Xin Chen; Enyi Tang; Xuandong Li (Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday, 2018)

Software Analysis, Testing, and Evolution - 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings - Lei Bu; Yingfei Xiong (Springer, 2018)

Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure - Dingbao Xie; Wen Xiong; Lei Bu; Xuandong Li (IEEE Trans. Computers, 2017)

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Lei Bu; Mirco Giacobbe (ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA, 2017)

ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics - Lei Bu; Rajarshi Ray; Stefan Schupp (ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA, 2017)

Sketch-guided GUI test generation for mobile applications - Chucheng Zhang; Haoliang Cheng; Enyi Tang; Xin Chen; Lei Bu; Xuandong Li (Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017, 2017)

ACSPChecker: an ASP based CSP model checking tool - Lingyun Situ; Yu Wang; Fengjuan Gao; Linzhang Wang; Lei Bu; Jianhua Zhao; Xuandong Li (Proceedings of the 8th Asia-Pacific Symposium on Internetware, Internetware 2016, Beijing, China, September 18, 2016, 2016)

Symbolic execution of complex program driven by machine learning based constraint solving - Xin Li; Yongjuan Liang; Hong Qian; Yi-Qi Hu; Lei Bu; Yang Yu; Xin Chen; Xuandong Li (Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, 2016)

Systematically Debugging IoT Control System Correctness for Building Automation - Chieh-Jan Mike Liang; Lei Bu; Zhao Li; Junbei Zhang; Shi Han; Börje F. Karlsson; Dongmei Zhang; Feng Zhao (Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, BuildSys@SenSys 2016, Palo Alto, CA, USA, November 16-17, 2016, 2016)

A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking - Feng Tan; Yufei Wang; Qixin Wang; Lei Bu; Neeraj Suri (IEEE Trans. Parallel Distributed Syst., 2015)

SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata - Dingbao Xie; Lei Bu; Jianhua Zhao; Xuandong Li (Formal Methods Syst. Des., 2014)

Flexible Carbon Nanotube Films for High Performance Strain Sensors - Olfa Kanoun; Christian Müller; Abderahmane Benchirouf; Abdulkadir Sanli; Nghia Trong Dinh; Ammar Al-Hamry; Lei Bu; Carina Gerlach; Ayda Bouhamed (Sensors, 2014)

From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations - Tao Li; Feng Tan; Qixin Wang; Lei Bu; Jiannong Cao; Xue Liu (IEEE Trans. Parallel Distributed Syst., 2014)

WiP abstract: A framework on profiling cross-domain noise propagation in control CPS - Feng Tan; Liansheng Liu; Stefan Winter; Qixin Wang; Neeraj Suri; Lei Bu; Yu Peng; Xue Liu; Xiyuan Peng (ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014, 2014)

Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification - Dingbao Xie; Lei Bu; Xuandong Li (Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014, 2014)

Verifying Aspect-Oriented Models against Crosscutting Properties - Zhanqi Cui; Linzhang Wang; Xi Liu; Lei Bu; Jianhua Zhao; Xuandong Li (Int. J. Softw. Eng. Knowl. Eng., 2013)

Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach - Feng Tan; Yufei Wang; Qixin Wang; Lei Bu; Rong Zheng; Neeraj Suri (2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013, 2013)

Loop reduction techniques for reachability analysis of linear hybrid automata - Minxue Pan; You Li; Lei Bu; Xuandong Li (Sci. China Inf. Sci., 2012)

Timing analysis of scenario-based specifications using linear programming - Xuandong Li; Minxue Pan; Lei Bu; Linzhang Wang; Jianhua Zhao (Softw. Test. Verification Reliab., 2012)

Application of multi-walled carbon nanotube film strain gauge on metallic surface - Lei Bu; Martin Bahnemann; Sabrina Mockel; Thomas Keutel; Olfa Kanoun (International Multi-Conference on Systems, Signals & Devices, SSD 2012, Chemnitz, Germany, March 20-23, 2012, 2012)

Forward and backward: Bounded model checking of linear hybrid automata from two directions - Yang Yang; Lei Bu; Xuandong Li (Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, 2012)

From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP) - Tao Li; Feng Tan; Qixin Wang; Lei Bu; Jiannong Cao; Xue Liu (2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, ICCPS 2012, Beijing, China, April 17-19, 2012, 2012)

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online - Lei Bu; Dingbao Xie; Xin Chen; Linzhang Wang; Xuandong Li (2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, ICCPS 2012, Beijing, China, April 17-19, 2012, 2012)

Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata - Fengling Zhang; Lei Bu; Linzhang Wang; Jianhua Zhao; Xuandong Li (2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, ICCPS 2012, Beijing, China, April 17-19, 2012, 2012)

Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer - Zhanqi Cui; Linzhang Wang; Xi Liu; Lei Bu; Jianhua Zhao; Xuandong Li (Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012, 2012)

Path-oriented Test Data Generation Driven by Component Linear Fitting Functions - Wenxu Ding; Xin Chen; Peng Jiang; Nan Ye; Lei Bu; Xuandong Li (Sixth International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion Volume, 2012)

Regression Test Cases Generation Based on Automatic Model Revision - Nan Ye; Xin Chen; Wenxu Ding; Peng Jiang; Lei Bu; Xuandong Li (Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, 2012)

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior - Lei Bu; Qixin Wang; Xin Chen; Linzhang Wang; Tian Zhang; Jianhua Zhao; Xuandong Li (SIGBED Rev., 2011)

Path-oriented bounded reachability analysis of composed linear hybrid systems - Lei Bu; Xuandong Li (Int. J. Softw. Tools Technol. Transf., 2011)

IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata - Lei Bu; Yang Yang; Xuandong Li (Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, 2011)

Feedback-Directed Test Case Generation Based on UML Activity Diagrams - Xin Chen; Nan Ye; Peng Jiang; Lei Bu; Xuandong Li (Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume, 2011)

An Instrumentation Tool for Program Dynamic Analysis in Java - Huajie Chen; Tian Zhang; Lei Bu; Xuandong Li (Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume, 2011)

Online Verification of Control Parameter Calculations in Communication Based Train Control System - Lei Bu; Xin Chen; Linzhang Wang; Xuandong Li (CoRR, 2011)

BACH 2 : Bounded reachability checker for compositional linear hybrid systems - Lei Bu; You Li; Linzhang Wang; Xin Chen; Xuandong Li (Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010, 2010)

Model Checking of Hybrid Systems Using Shallow Synchronization - Lei Bu; Alessandro Cimatti; Xuandong Li; Sergio Mover; Stefano Tonetta (Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, 2010)

Analyzing the robustness of FTSP with timed automata - Lin Tan; Lei Bu; Jianhua Zhao; Linzhang Wang (Proceedings of the Second Asia-Pacific Symposium on Internetware, Internetware 2010, Suzhou, China, November 3-4, 2010, 2010)

Extending Ada to support multi-core based monitoring and fault tolerance - You Li; Lu Yang; Lei Bu; Linzhang Wang; Jianhua Zhao; Xuandong Li (Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010, 2010)

Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming - Lei Bu; Jianhua Zhao; Xuandong Li (Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings, 2010)

TASS: Timing Analyzer of Scenario-Based Specifications - Minxue Pan; Lei Bu; Xuandong Li (Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, 2009)

BACH : Bounded ReAchability CHecker for Linear Hybrid Automata - Lei Bu; You Li; Linzhang Wang; Xuandong Li (Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, 2008)

Scenario-Based Timing Consistency Checking for Time Petri Nets - Xuandong Li; Lei Bu; Jun Hu; Jianhua Zhao; Tao Zhang; Guoliang Zheng (Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, 2006)

Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming - Xuandong Li; Sumit Jha Aanand; Lei Bu (Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006, 2006)

Consistency Checking of Concurrent Models for Scenario-Based Specifications - Xuandong Li; Jun Hu; Lei Bu; Jianhua Zhao; Guoliang Zheng (SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings, 2005)