Pedro Alexandre Guimarães Lobo Ferreira Souto
AuthID: R-000-EN8
1
TITLE: Decoupling Criticality and Importance in Mixed-Criticality Scheduling
AUTHORS: Konstantinos Bletsas; Muhammad Ali Awan; Pedro Souto; Benny Åkesson; Alan Burns; Eduardo Tovar ;
PUBLISHED: 2018, SOURCE: 6th International Workshop on Mixed Criticality Systems (WMC 2018)
AUTHORS: Konstantinos Bletsas; Muhammad Ali Awan; Pedro Souto; Benny Åkesson; Alan Burns; Eduardo Tovar ;
PUBLISHED: 2018, SOURCE: 6th International Workshop on Mixed Criticality Systems (WMC 2018)
INDEXED IN:
Handle
Handle2
TITLE: Mixed-Criticality Systems with Partial Lockdown and Cache Reclamation Upon Mode Change
AUTHORS: Konstantinos Bletsas; Muhammad A Awan; Pedro Souto; Benny Åkesson; Eduardo Tovar ;
PUBLISHED: 2017, SOURCE: 29th Euromicro Conference on Real-Time Systems
AUTHORS: Konstantinos Bletsas; Muhammad A Awan; Pedro Souto; Benny Åkesson; Eduardo Tovar ;
PUBLISHED: 2017, SOURCE: 29th Euromicro Conference on Real-Time Systems
INDEXED IN:
Handle
Handle3
TITLE: Mixed-criticality scheduling with memory regulation
AUTHORS: Ali Awan; Konstantinos Bletsas; Pedro Souto; Benny Åkesson; Eduardo Tovar; Jibran Ali;
PUBLISHED: 2016, SOURCE: 28th Euromicro Conference on Real-Time Systems
AUTHORS: Ali Awan; Konstantinos Bletsas; Pedro Souto; Benny Åkesson; Eduardo Tovar; Jibran Ali;
PUBLISHED: 2016, SOURCE: 28th Euromicro Conference on Real-Time Systems
INDEXED IN:
Handle
Handle4
TITLE: Towards Certifiable Multicore-based Platforms for Avionics
AUTHORS: Muhammad A Awan; Patrick M Yomsi; Konstantinos Bletsas; Vincent Nélis; Eduardo Tovar ; Pedro Souto;
PUBLISHED: 2015
AUTHORS: Muhammad A Awan; Patrick M Yomsi; Konstantinos Bletsas; Vincent Nélis; Eduardo Tovar ; Pedro Souto;
PUBLISHED: 2015
INDEXED IN:
Handle
Handle5
TITLE: Model-checking a group membership protocol for TDMA-based networks with both static and dynamic scheduling
AUTHORS: Valério Rosset; Pedro F Souto; Francisco Vasques ;
PUBLISHED: 2006
AUTHORS: Valério Rosset; Pedro F Souto; Francisco Vasques ;
PUBLISHED: 2006
INDEXED IN:
Handle
Handle