Daian Yue

According to our database, Daian Yue authored at least 2 papers between 2015 and 2016.

Collaborative distances:

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

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