Zhenya Zhang

H. M. N. Dilum Bandara

Shiping Chen

Jianjun Zhao

Yulei Sui

Proc. ACM Program. Lang., 2025

Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2025

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees (Artifact).

[BibT_eX]

[DOI]

Guanqin Zhang

Kota Fukuda

H. M. N. Dilum Bandara

Shiping Chen

Jianjun Zhao

Yulei Sui

Dagstuhl Artifacts Ser., 2025

On Synthesis of Timed Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2025

Control Synthesis of Cyber-Physical Systems for Real-Time Specifications Through Causation-Guided Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2025

PALM at the ICST 2025 Tool Competition - UAV Testing Track.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees.

[BibT_eX]

[DOI]

Guanqin Zhang

Kota Fukuda

H. M. N. Dilum Bandara

Shiping Chen

Jianjun Zhao

Yulei Sui

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference, 2025

Causality Monitoring for MIMOS.

[BibT_eX]

[DOI]

Proceedings of the Principles of Formal Quantitative Analysis, 2025

2024

CauMon: An Informative Online Monitor for Signal Temporal Logic.

[BibT_eX]

[DOI]

Dataset, June, 2024

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact).

[BibT_eX]

[DOI]

Dataset, April, 2024

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact).

[BibT_eX]

[DOI]

Dataset, April, 2024

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact).

[BibT_eX]

[DOI]

Dataset, April, 2024

On the effectiveness of hybrid pooling in mixup-based graph learning for language processing.

[BibT_eX]

[DOI]

J. Syst. Softw., 2024

TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024

LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

Impact of V2V Communication on Robustness of Autonomous Driving Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2024

CauMon: An Informative Online Monitor for Signal Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

TAT: Targeted backdoor attacks against visual object tracking.

[BibT_eX]

[DOI]

Pattern Recognit., October, 2023

A Survey on Automated Driving System Testing: Landscapes and Trends.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., September, 2023

A Robustness-Based Confidence Measure for Hybrid System Falsification.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2023

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., April, 2023

Online Causation Monitoring of Signal Temporal Logic (Artifact).

[BibT_eX]

[DOI]

Dataset, April, 2023

Online Causation Monitoring of Signal Temporal Logic (Artifact).

[BibT_eX]

[DOI]

Dataset, April, 2023

AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.

[BibT_eX]

[DOI]

CoRR, 2023

Boosting Source Code Learning with Data Augmentation: An Empirical Study.

[BibT_eX]

[DOI]

CoRR, 2023

MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Analysis, 2023

Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

On the Effectiveness of Graph Data Augmentation for Source Code Learning.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

Online Causation Monitoring of Signal Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

ARCH-COMP23 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Online Reset for Signal Temporal Logic Monitoring.

[BibT_eX]

[DOI]

Xuan Xie

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.

[BibT_eX]

[DOI]

Mohammad Mahdi Mahboob

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2021

On the Effectiveness of Signal Rescaling in Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Issue Categorization and Analysis of an Open-Source Driving Assistant System.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Gaussian Process-Based Confidence Estimation for Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Hierarchical Optimization for Hybrid System Falsification.

[BibT_eX]

[DOI]

PhD thesis, 2020

Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

ARCH-COMP 2020 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

ARCH-COMP 2019 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search.

[BibT_eX]

[DOI]

CoRR, 2018

Time-Staging Enhancement of Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.

[BibT_eX]

[DOI]

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2011

An Optimization Model for the Identification of Temperature in Intelligent Building.

[BibT_eX]

[DOI]

Shuguang Zhang

J. Inf. Technol. Res., 2011

2008

Clustering aggregation based on genetic algorithm for documents clustering.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2008

Correlation clustering based on genetic algorithm for documents clustering.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2008

2007

Research on delta-radius Based Generalization of Corner Classification.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Natural Computation, 2007

Keywords Extracting as Text ChanceDiscovery.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

2006

Research on Stereographic Projection and It's Application on Feed Forward Neural Network.

[BibT_eX]

[DOI]