acm sigbed | emsoft | participants

Zhenya Zhang

Program Committees:

.

EMSOFT 2022: 22nd International Conference on Embedded Software

Online Reset for Signal Temporal Logic Monitoring

Zhenya Zhang, Paolo Arcaini, and Xuan Xie

10.1109/TCAD.2022.3197693

EMSOFT 2020: 20th International Conference on Embedded Software

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

Zhenya Zhang, Paolo Arcaini, and Ichiro Hasuo

10.1109/TCAD.2020.3013073

EMSOFT 2018: 18th International Conference on Embedded Software

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

Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, and Ichiro Hasuo