Bader Alahmad

High assurance real-time systems : scheduling, budgeting, and safety

Bader Alahmad, Bader Alahmad, B. Alahmad, 2019 .

On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems

Sathish Gopalakrishnan, Bader Alahmad, 2018, RTNS.

Isochronous Execution Models for High-Assurance Real-Time Systems

Sathish Gopalakrishnan, Bader Alahmad, S. Gopalakrishnan, 2019, 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE).

Work-in-Progress: Isochronous Execution Models for Mixed-Criticality Systems on Parallel Processors

Sathish Gopalakrishnan, Bader Alahmad, Bader Alahmad, 2017, 2017 IEEE Real-Time Systems Symposium (RTSS).

Energy efficient task partitioning and real-time scheduling on heterogeneous multiprocessor platforms with QoS requirements

Sathish Gopalakrishnan, Bader Alahmad, S. Gopalakrishnan, 2011, Sustain. Comput. Informatics Syst..

Risk-Aware Scheduling of Dual Criticality Job Systems Using Demand Distributions

Sathish Gopalakrishnan, Bader Alahmad, Bader Alahmad, 2018, Leibniz Trans. Embed. Syst..

New Results - Real-time scheduling

Liliana Cucu-Grosjean, Olivier Buffet, Robert I. Davis, 2011 .

A Risk-Constrained Markov Decision Process Approach to Scheduling Mixed-Criticality Job Sets

Sathish Gopalakrishnan, Bader Alahmad, S. Gopalakrishnan, 2016 .

Probabilities for Mixed-Criticality Problems: Bridging the Uncertainty Gap

Liliana Cucu-Grosjean, Luca Santinelli, Sathish Gopalakrishnan, 2011, RTSS 2011.