Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata

Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol. Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. In Jörg Desel, Alex Yakovlev, editors, 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016. pages 114-123, IEEE Computer Society, 2016. [doi]

Authors

Waheed Ahmad

This author has not been identified. Look up 'Waheed Ahmad' in Google

Marijn R. Jongerden

This author has not been identified. Look up 'Marijn R. Jongerden' in Google

Mariëlle Stoelinga

This author has not been identified. Look up 'Mariëlle Stoelinga' in Google

Jaco van de Pol

This author has not been identified. Look up 'Jaco van de Pol' in Google