1. S.K. Baruah , A. Burns , and Y. Wu . 2021. Optimal Synthesis of IDK-Cascades . In Proc. 29th International Conference on Real Time Networks and Systems, RTNS. ACM. S.K. Baruah, A. Burns, and Y. Wu. 2021. Optimal Synthesis of IDK-Cascades. In Proc. 29th International Conference on Real Time Networks and Systems, RTNS. ACM.
2. R. Bellman . 1957. Dynamic Programming (1ed.) . Princeton University Press , Princeton, NJ, USA . R. Bellman. 1957. Dynamic Programming (1ed.). Princeton University Press, Princeton, NJ, USA.
3. Contracts for System Design
4. A. Burns . 2019 . Multi-Model Systems – an MCS by any other name . In Proc. 7th Int. RTSS Workshop On Mixed Criticality Systems (WMC). 5–8. A. Burns. 2019. Multi-Model Systems – an MCS by any other name. In Proc. 7th Int. RTSS Workshop On Mixed Criticality Systems (WMC). 5–8.
5. A. Burns , S. Baruah , C.B. Jones , and I. Bate . 2019. Reasoning about the Relationship Between the Scheduler and Mixed-Criticality Jobs . In Proc. 7th Int. RTSS Workshop On Mixed Criticality Systems (WMC). 17–22 . A. Burns, S. Baruah, C.B. Jones, and I. Bate. 2019. Reasoning about the Relationship Between the Scheduler and Mixed-Criticality Jobs. In Proc. 7th Int. RTSS Workshop On Mixed Criticality Systems (WMC). 17–22.