Daian Yue

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 2

Top Topics

Deterministic Finite Automaton

Automated Verification

Pspace Complete

Top Venues

Frontiers Comput. Sci.

Publications

Daian Yue, Vania Joloboff, Frédéric Mallet
TRAP: trace runtime analysis of properties. Frontiers Comput. Sci. 14 (3) (2020)
Daian Yue, Vania Joloboff, Frédéric Mallet
Flexible runtime verification based on logical clock constraints. FDL (2016)
Mingsong Chen, Daian Yue, Xiaoke Qin, Xin Fu, Prabhat Mishra
Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking. DATE (2015)