Mixed Criticality Scheduling of Probabilistic Real-Time Systems

Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo. Mixed Criticality Scheduling of Probabilistic Real-Time Systems. In Nan Guan, Joost-Pieter Katoen, Jun Sun 0001, editors, Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings. Volume 11951 of Lecture Notes in Computer Science, pages 89-105, Springer, 2019. [doi]

Authors

Jasdeep Singh

This author has not been identified. Look up 'Jasdeep Singh' in Google

Luca Santinelli

This author has not been identified. Look up 'Luca Santinelli' in Google

Federico Reghenzani

This author has not been identified. Look up 'Federico Reghenzani' in Google

Konstantinos Bletsas

This author has not been identified. Look up 'Konstantinos Bletsas' in Google

David Doose

This author has not been identified. Look up 'David Doose' in Google

Zhishan Guo

This author has not been identified. Look up 'Zhishan Guo' in Google