Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking. - Mingsong Chen 001; Daian Yue; Xiaoke Qin; Xin Fu; Prabhat Mishra 001 (DATE, 2015)

Flexible runtime verification based on logical clock constraints. - Daian Yue; Vania Joloboff; Frédéric Mallet (FDL, 2016)

TRAP: trace runtime analysis of properties. - Daian Yue; Vania Joloboff; Frédéric Mallet (Frontiers Comput. Sci., 2020)