Zhenya Zhang
Title
Cited by
Cited by
Year
Two-layered falsification of hybrid systems guided by monte carlo tree search
Z Zhang, G Ernst, S Sedwards, P Arcaini, I Hasuo
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
402018
ARCH-COMP 2019 Category Report: Falsification.
G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ...
ARCH@ CPSIoTWeek, 129-140, 2019
262019
Arch-comp 2020 category report: Falsification
G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ...
EPiC Series in Computing, 2020
192020
Multi-armed bandits for boolean connectives in hybrid system falsification
Z Zhang, I Hasuo, P Arcaini
International Conference on Computer Aided Verification, 401-420, 2019
162019
Fast falsification of hybrid systems using probabilistically adaptive input
G Ernst, S Sedwards, Z Zhang, I Hasuo
International Conference on Quantitative Evaluation of Systems, 165-181, 2019
142019
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos, G Ernst, Z Zhang, ...
ARCH@ ADHS, 104-109, 2018
142018
Hybrid System Falsification Under (In) equality Constraints via Search Space Transformation
Z Zhang, P Arcaini, I Hasuo
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
42020
Constraining counterexamples in hybrid system falsification: Penalty-based approaches
Z Zhang, P Arcaini, I Hasuo
NASA Formal Methods Symposium, 401-419, 2020
32020
Time-staging enhancement of hybrid system falsification
G Ernst, I Hasuo, Z Zhang, S Sedwards
arXiv preprint arXiv:1803.03866, 2018
32018
Localization of linearizability faults on the coarse-grained level
Z Zhang, P Wu, Y Zhang
The 29th International Conference on Software Engineering and Knowledge …, 2017
32017
Multi-armed bandits for Boolean connectives in hybrid system falsification (Extended Version)
Z Zhang, I Hasuo, P Arcaini
arXiv preprint arXiv:1905.07549, 2019
22019
Time-Staging Enhancement of Hybrid System Falsification
Z Zhang, G Ernst, I Hasuo, S Sedwards
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018
22018
On the Effectiveness of Signal Rescaling in Hybrid System Falsification
Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao
NASA Formal Methods Symposium, 392-399, 2021
12021
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization
Y Chen, Z Zhang, P Wu, Y Zhang
International Symposium on Dependable Software Engineering: Theories, Tools …, 2018
12018
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness
Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao
International Conference on Computer Aided Verification, 595-618, 2021
2021
Falsification of Hybrid Systems Using Adaptive Probabilistic Search
G Ernst, S Sedwards, Z Zhang, I Hasuo
ACM Transactions on Modeling and Computer Simulation (TOMACS) 31 (3), 1-22, 2021
2021
Hierarchical Optimization for Hybrid System Falsification
Z Zhang
総合研究大学院大学, 2020
2020
Localization of linearizability faults on the coarse-grained level
Z Zhang, P Wu, Y Zhang
International Journal of Software Engineering and Knowledge Engineering 27 …, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–18