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
262018
ARCH-COMP 2019 Category Report: Falsification.
G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ...
ARCH@ CPSIoTWeek, 129-140, 2019
152019
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
92018
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
52019
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
42019
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
International Journal of Software Engineering and Knowledge Engineering 27 …, 2017
22017
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
Z Zhang, P Arcaini, I Hasuo
arXiv preprint arXiv:2001.05107, 2020
12020
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version)
Z Zhang, I Hasuo, P Arcaini
arXiv preprint arXiv:1905.07549, 2019
12019
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
12018
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
2020
ARCH-COMP 2020 Category Report: Falsification
G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ...
EPiC Series in Computing 74, 140-152, 2020
2020
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
2018
The system can't perform the operation now. Try again later.
Articles 1–13