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]