Component-based analysis of hierarchical scheduling using linear hybrid automata

Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey. Component-based analysis of hierarchical scheduling using linear hybrid automata. In 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, Chongqing, China, August 20-22, 2014. pages 1-10, IEEE, 2014. [doi]

Authors

Youcheng Sun

This author has not been identified. Look up 'Youcheng Sun' in Google

Giuseppe Lipari

This author has not been identified. Look up 'Giuseppe Lipari' in Google

Romain Soulat

This author has not been identified. Look up 'Romain Soulat' in Google

Laurent Fribourg

This author has not been identified. Look up 'Laurent Fribourg' in Google

Nicolas Markey

This author has not been identified. Look up 'Nicolas Markey' in Google