Daian Yue

According to our database, Daian Yue authored at least 3 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

TRAP: trace runtime analysis of properties.

Daian Yue, Vania Joloboff, Frédéric Mallet

Frontiers Comput. Sci., 2020

2016

Flexible runtime verification based on logical clock constraints.

Daian Yue, Vania Joloboff, Frédéric Mallet

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2015

Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking.

Mingsong Chen, Daian Yue, Xiaoke Qin, Xin Fu, Prabhat Mishra

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015