The Case for Distributed Decision Making Systems. - Richard C. Thomas; Alan Burns 001 (Comput. J., 1982)

Enhanced input/output on Pascal. - Alan Burns 001 (ACM SIGPLAN Notices, 1983)

A Dialogue Development System for the Design and Implementation of User Interfaces in Ada. - J. Robinson; Alan Burns 001 (Comput. J., 1985)

Information Systems Support for Group Planning and Decision-Making Activities. - Margaret A. Rathwell; Alan Burns 001 (MIS Q., 1985)

Real-time systems and their programming languages. - Alan Burns 001; Andy J. Wellings (Addison-Wesley, 1986)

Program Generators and Generation Software. - P. A. Luker; Alan Burns 001 (Comput. J., 1986)

ADDS - A Dialogue Development System for the Ada Programming Language. - Alan Burns 001; J. Robinson (Int. J. Man Mach. Stud., 1986)

The Construction of Information Management System Prototypes in Ada. - Alan Burns 001; J. A. Kirkham (Softw. Pract. Exp., 1986)

A Review of Ada Tasking - Alan Burns 001; Andrew M. Lister; Andy J. Wellings (Springer, 1987)

Real-time Ada issues. - Alan Burns 001; Andy J. Wellings (IRTAW, 1987)

A distributed decision-making system. - Alan Burns 001; Margaret A. Rathwell; Richard C. Thomas (Decis. Support Syst., 1987)

A communications environment for co-operative information systems development. - Alan Burns 001; Margaret A. Rathwell (Softw. Eng. J., 1987)

Pascal-FC: a language for teaching concurrent programming. - Alan Burns 001; Gordon Davies (ACM SIGPLAN Notices, 1988)

A Modula-2 implementation of a real-time process abstraction. - Alan Burns 001; Gordon Davies; Andy J. Wellings (ACM SIGPLAN Notices, 1988)

Program Generation for Ada-A Case Study. - Pat Allen; Alan Burns 001 (Softw. Pract. Exp., 1988)

Real-time Ada: outstanding problem areas. - Alan Burns 001; Andy J. Wellings (IRTAW, 1989)

Usability of the Ada tasking-model. - Alan Burns 001; Andy J. Wellings (IRTAW, 1989)

Dynamic change management and Ada. - Alan Burns 001; Andy J. Wellings (J. Softw. Maintenance Res. Pract., 1989)

A performance standard for Ada 9X. - Alan Burns 001 (IRTAW, 1990)

Asynchronous transfer of control in Ada 9X. - Alan Burns 001; Andy J. Wellings; Gordon Davies (IRTAW, 1990)

The Teaching Language Pascal-FC. - Gordon Davies; Alan Burns 001 (Comput. J., 1990)

The Notion of Priority in Real-Time Programming Languages. - Alan Burns 001; Andy J. Wellings (Comput. Lang., 1990)

Formal specifications and proofs of inheritance protocols for real-time scheduling. - Michael Pilling; Alan Burns 001; Kerry Raymond (Softw. Eng. J., 1990)

A Framework for Building Dependable Systems. - Alan Burns 001; Andrew M. Lister (Comput. J., 1991)

Priority Inheritance and Message Passing Communication: A Formal Treatment. - Alan Burns 001; Andy J. Wellings (Real Time Syst., 1991)

Criticality and Utility in the Next Generation. - Alan Burns 001; Andy J. Wellings (Real Time Syst., 1991)

Designing Hard Real-Time Systems. - Alan Burns 001; Andy J. Wellings (Ada-Europe, 1992)

Absolute and relative temporal constraints in hard real-time databases. - Neil C. Audsley; Alan Burns 001; Mike F. Richardson; Andrew J. Wellings (RTS, 1992)

Mode Changes In Priority Pre-Emptively Scheduled Systems. - Ken Tindell; Alan Burns 001; Andy J. Wellings (RTSS, 1992)

On the Meaning of Safety and Security. - Alan Burns 001; John A. McDermid; John E. Dobson (Comput. J., 1992)

Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy. - Ken Tindell; Alan Burns 001; Andy J. Wellings (Real Time Syst., 1992)

Concurrent programming. - Alan Burns 001; Geoffrey Davies (Addison-Wesley, 1993)

The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation. - Alan Burns 001; Andy J. Wellings; C. M. Bailey; E. Fyfe (Ada-Europe, 1993)

The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models. - Alan Burns 001; Andy J. Wellings; A. D. Hutcheon (Ada-Europe, 1993)

The End Of The Line For Static Cyclic Scheduling? - Neil C. Audsley; Ken Tindell; Alan Burns 001 (RTS, 1993)

Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation. - Alan Burns 001; Andrew J. Wellings (RTS, 1993)

Scheduling slack time in fixed priority pre-emptive systems. - Robert I. Davis 001; Ken Tindell; Alan Burns 001 (RTSS, 1993)

Applying new scheduling theory to static priority pre-emptive scheduling. - Neil C. Audsley; Alan Burns 001; Mike M. Richardson; Ken Tindell; Andy J. Wellings (Softw. Eng. J., 1993)

Pipelined Processors and Worst Case Execution Times. - N. Zhang; Alan Burns 001; Mark Nicholson 001 (Real Time Syst., 1993)

Fixed priority scheduling with deadlines prior to completion. - Alan Burns 001; Ken Tindell; Andrew J. Wellings (RTS, 1994)

Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems. - Neil C. Audsley; Robert I. Davis 001; Alan Burns 001 (RTSS, 1994)

Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic. - Ken Tindell; Alan Burns 001 (Comput. J., 1994)

Real-time safety-critical systems: analysis and synthesis. - Alan Burns 001; John A. McDermid (Softw. Eng. J., 1994)

HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. - Alan Burns 001; Andy J. Wellings (Real Time Syst., 1994)

An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. - Ken Tindell; Alan Burns 001; Andy J. Wellings (Real Time Syst., 1994)

STRESS: a Simulator for Hard Real-time Systems. - Neil C. Audsley; Alan Burns 001; Mike F. Richardson; Andy J. Wellings (Softw. Pract. Exp., 1994)

Hybrid algorithms for dynamic schedulability testing. - Charlie McElhone; Alan Burns 001; Robert I. Davis 001 (RTS, 1995)

Real-time distributed computing. - Alan Burns 001; Neil C. Audsley; Andy J. Wellings (FTDCS, 1995)

n the Schedulability of Synchronous Message Sets with the Minimum Message Deadline Less than 2*TTRT in an FDDI Network. - Sijing Zhang; Alan Burns 001 (ICCCN, 1995)

Flexible scheduling for adaptable real-time systems. - Robert I. Davis 001; Sasikumar Punnekkat; Neil C. Audsley; Alan Burns 001 (IEEE Real Time Technology and Applications Symposium, 1995)

Data Consistency in Hard Real-Time Systems. - Neil C. Audsley; Alan Burns 001; Mike F. Richardson; Andy J. Wellings (Informatica (Slovenia), 1995)

Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-Emptive Systems. - Robert I. Davis 001; Alan Burns 001 (Inf. Process. Lett., 1995)

Fixed Priority Pre-emptive Scheduling: An Historical Perspective. - Neil C. Audsley; Alan Burns 001; Robert I. Davis 001; Ken Tindell; Andy J. Wellings (Real Time Syst., 1995)

Analysis of Hard Real-Time Communications. - Ken Tindell; Alan Burns 001; Andy J. Wellings (Real Time Syst., 1995)

Engineering a Hard Real-time System: From Theory to Practice. - Alan Burns 001; Andy J. Wellings (Softw. Pract. Exp., 1995)

An optimal synchronous bandwidth allocation scheme for guaranteeing synchronous message deadlines with the timed-token MAC protocol. - Sijing Zhang; Alan Burns 001 (IEEE/ACM Trans. Netw., 1995)

Effective Analysis for Engineering Real-Time Fixed Priority Schedulers. - Alan Burns 001; Ken Tindell; Andy J. Wellings (IEEE Trans. Software Eng., 1995)

Ada 95: An Effective Concurrent Programming Language. - Alan Burns 001; Andy J. Wellings (Ada-Europe, 1996)

Towards a Fixed Priority Scheduler for an Aircraft Application. - Iain Bate; Alan Burns 001; John A. McDermid; Andy Vickers (RTS, 1996)

Feasibility Analysis of Fault-Tolerant Real-Time Task Sets. - Alan Burns 001; Robert I. Davis 001; Sasikumar Punnekkat (RTS, 1996)

An Efficient and Practical Local Synchronous Bandwidth Allocation Scheme for the Timed-Token MAC Protocol. - Sijing Zhang; Alan Burns 001; Andy J. Wellings (INFOCOM, 1996)

Putting fixed priority scheduling theory into engineering practice for safety critical applications. - Neil C. Audsley; I. J. Bate; Alan Burns 001 (IEEE Real Time Technology and Applications Symposium, 1996)

A Worst-Case Behavior Analysis for Hard Real-Time Transactions. - Jeongyoujng Byun; Andy J. Wellings; Alan Burns 001 (RTDB, 1996)

Programming Replicated Systems in Ada 95. - Andy J. Wellings; Alan Burns 001 (Comput. J., 1996)

Broadening Real-Time Systems Research. - Alan Burns 001 (ACM Comput. Surv., 1996)

Integrating optional software components into hard real-time systems. - Neil C. Audsley; Alan Burns 001; Robert I. Davis 001; D. J. Scholefield; Andy J. Wellings (Softw. Eng. J., 1996)

Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems. - Alan Burns 001; Robert I. Davis 001 (Inf. Process. Lett., 1996)

Combining Static Worst-Case Timing Analysis and Program Proof. - Roderick Chapman; Alan Burns 001; Andy J. Wellings (Real Time Syst., 1996)

Real-time systems and their programming languages (2. ed.). - Alan Burns 001; Andrew J. Wellings (Addison-Wesley, 1997)

Task Termination in Ada 95. - Andy J. Wellings; Alan Burns 001; Offer Pazy (Ada-Europe, 1997)

Sensitivity Analysis of Real-Time Task Sets. - Sasikumar Punnekkat; Robert I. Davis 001; Alan Burns 001 (ASIAN, 1997)

Efficient Transient Overload Tests for Real-Time Systems. - Guillem Bernat; Alan Burns 001; Albert Llamosí (Computer Performance Evaluation, 1997)

Adaptive Scheduling Using Reflection. - Stuart E. Mitchell; Alan Burns 001; Andy J. Wellings (ECOOP Workshops, 1997)

Schedulability analysis of fixed priority real-time systems with offsets. - Iain Bate; Alan Burns 001 (RTS, 1997)

Guaranteeing timing constraints under shortest remaining processing time scheduling. - Robert I. Davis 001; Alan Burns 001; W. M. Walker (RTS, 1997)

Worst case response time analysis of hard real-time sporadic traffic in FIP networks. - Paulo Pedro; Alan Burns 001 (RTS, 1997)

Timing Properties of the Timed Token MAC Protocol. - Sijing Zhang; Alan Burns 001 (ICCCN, 1997)

Tasking profiles (session summary). - Alan Burns 001; Ted Baker; Tullio Vardanega (IRTAW, 1997)

Feature interactions with dynamic priorities. - Alan Burns 001; Andy J. Wellings (IRTAW, 1997)

Restricted tasking models. - Alan Burns 001; Andy J. Wellings (IRTAW, 1997)

Task termination and Ada 95. - Andy J. Wellings; Alan Burns 001; Offer Pazy (IRTAW, 1997)

Analysis of checkpointing for schedulability of real-time systems. - Sasikumar Punnekkat; Alan Burns 001 (RTCSA, 1997)

Combining (mn)-hard deadlines and dual priority scheduling. - Guillem Bernat; Alan Burns 001 (RTSS, 1997)

Developing a real-time metaobject protocol. - Stuart E. Mitchell; Alan Burns 001; Andrew J. Wellings (WORDS, 1997)

Synchronous sessions and fixed priority scheduling. - Alan Burns 001; Andy J. Wellings (J. Syst. Archit., 1997)

Implementing Atomic Actions in Ada 95. - Andy J. Wellings; Alan Burns 001 (IEEE Trans. Software Eng., 1997)

The Ravenscar Tasking Profile for High Integrity Real-Time Programs. - Alan Burns 001; Brian Dobbing; George Romanski (Ada-Europe, 1998)

MOPping up Exceptions. - Stuart E. Mitchell; Alan Burns 001; Andy J. Wellings (ECOOP Workshops, 1998)

Investigation of the pessimism in distributed systems timing analysis. - Iain Bate; Alan Burns 001 (ECRTS, 1998)

Asynchronous data sharing in multiprocessor real-time systems using process consensus. - Jing Chen; Alan Burns 001 (ECRTS, 1998)

Schedulability analysis for mode changes in flexible real-time systems. - Paulo Pedro; Alan Burns 001 (ECRTS, 1998)

Integrating Real-Time Structured Design and Formal Techniques. - Darren George Priddin; Alan Burns 001 (FTRTFT, 1998)

The Ravenscar Tasking Profile for High Integrity Real-Time Programs. - Brian Dobbing; Alan Burns 001 (SIGAda, 1998)

On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods. - Neil C. Audsley; Alan Burns 001 (Inf. Process. Lett., 1998)

Dynamic value-density for scheduling real-time systems. - Saud Ahmed Aldarmi; Alan Burns 001 (ECRTS, 1999)

An approach to task attribute assignment for uniprocessor systems. - Iain Bate; Alan Burns 001 (ECRTS, 1999)

Time-constrained sorting-a comparison of different algorithms. - Peter P. Puschner; Alan Burns 001 (ECRTS, 1999)

Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach. - Eduardo Tovar; Francisco Vasques; Alan Burns 001 (ECRTS, 1999)

Finding the minimum available transmission time for the timed token medium access control protocol. - Sijing Zhang; E. Stewart Lee; Alan Burns 001; Hongji Yang (ECRTS, 1999)

The Ravenscar Profile and implementation issues (session summary). - Alan Burns 001 (IRTAW, 1999)

How to verify concurrent Ada programs: the application of model checking. - Alan Burns 001; Andy J. Wellings (IRTAW, 1999)

An experimental testbed for embedded real time Ada 95. - W. M. Walker; P. T. Woolley; Alan Burns 001 (IRTAW, 1999)

A Framework for Scheduling in Safety-Critical Embedded Control Systems. - Iain Bate; Alan Burns 001 (RTCSA, 1999)

Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties. - Jing Chen; Alan Burns 001 (RTCSA, 1999)

New Results on Fixed Priority Aperiodic Servers. - Guillem Bernat; Alan Burns 001 (RTSS, 1999)

Editorial real-time systems - multidisciplinary engineering [Editorial]. - I. J. Bate; Alan Burns 001 (IEE Proc. Softw., 1999)

Portable worst-case execution time analysis using Java Byte Code. - Guillem Bernat; Alan Burns 001; Andy J. Wellings (ECRTS, 2000)

Predicting computation time for advanced processor architectures. - Alan Burns 001; Stewart Edgar (ECRTS, 2000)

Non-preemptive dispatching and locking policies. - Alan Burns 001 (IRTAW, 2000)

On developing and verifying design abstractions for reliable concurrent programming in Ada. - Alan Burns 001; Andy J. Wellings; Albert Koelmans; Maciej Koutny; Alexander B. Romanovsky; Alexandre Yakovlev (IRTAW, 2000)

The meaning and role of value in scheduling flexible real-time systems. - Alan Burns 001; Divya Prasad; Andrea Bondavalli; Felicita Di Giandomenico; Krithi Ramamritham; John A. Stankovic; Lorenzo Strigini (J. Syst. Archit., 2000)

Scheduling optional computations for adaptive real-time systems. - Charlie McElhone; Alan Burns 001 (J. Syst. Archit., 2000)

A value-based scheduling approach for real-time autonomous vehicle control. - Divya Prasad; Alan Burns 001 (Robotica, 2000)

Guest Editorial: A Review of Worst-Case Execution-Time Analysis. - Peter P. Puschner; Alan Burns 001 (Real Time Syst., 2000)

Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems. - Stefan Poledna; Alan Burns 001; Andy J. Wellings; Peter Barrett (IEEE Trans. Computers, 2000)

Implementing a Flexible Scheduler in Ada. - Guillem Bernat; Alan Burns 001 (Ada-Europe, 2001)

Defining New Non-preemptive Dispatching and Locking Policies for Ada. - Alan Burns 001 (Ada-Europe, 2001)

Three Obstacles to Flexible Scheduling. - Guillem Bernat; Alan Burns 001 (ECRTS, 2001)

Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with Faults. - Ian Broster; Alan Burns 001 (ECRTS, 2001)

An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. - George Marconi de Araujo Lima; Alan Burns 001 (ECRTS, 2001)

Statistical Analysis of WCET for Scheduling. - Stewart Edgar; Alan Burns 001 (RTSS, 2001)

Determining the Worst-case Synchronous Message Response Time in FDDI Networks. - Sijing Zhang; E. Stewart Lee; Alan Burns 001 (Comput. J., 2001)

Modelling and verification of an atomic action protocol implemented in Ada. - Alan Burns 001; Andy J. Wellings; Frank P. Burns; Albert Koelmans; Maciej Koutny; Alexander B. Romanovsky; Alexandre Yakovlev (Comput. Syst. Sci. Eng., 2001)

Extreme Interleavings. - Mordechai Ben-Ari; Alan Burns 001 (IEEE Distributed Syst. Online, 2001)

Analysis of Checkpointing for Real-Time Systems. - Sasikumar Punnekkat; Alan Burns 001; Robert I. Davis 001 (Real Time Syst., 2001)

Weakly Hard Real-Time Systems. - Guillem Bernat; Alan Burns 001; Albert Llamosí (IEEE Trans. Computers, 2001)

Weakly Hard Real-time Constraints on Controller Area Network. - Ian Broster; Guillem Bernat; Alan Burns 001 (ECRTS, 2002)

Session summary: future of the Ada language and language changes such as the Ravenscar profile. - Alan Burns 001; Ben Brosgol (IRTAW, 2002)

Accessing delay queues. - Alan Burns 001; Andy J. Wellings (IRTAW, 2002)

Protected ceiling changes. - Jorge Real; Alfons Crespo; Andy J. Wellings; Alan Burns 001 (IRTAW, 2002)

Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java. - Andy J. Wellings; Alan Burns 001 (IEEE Real Time Technology and Applications Symposium, 2002)

Probabilistic Analysis of CAN with Faults. - Ian Broster; Alan Burns 001; Guillermo Rodríguez-Navas (RTSS, 2002)

Writing Temporally Predictable Code. - Peter P. Puschner; Alan Burns 001 (WORDS, 2002)

Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling. - Guillem Bernat; Alan Burns 001 (Real Time Syst., 2002)

Communication Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilization. - Eduardo Tovar; Francisco Vasques; Alan Burns 001 (Real Time Syst., 2002)

Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol. - Sijing Zhang; Alan Burns 001; Ahmed Mehaoua; E. Stewart Lee; Hongji Yang (Real Time Syst., 2002)

HARTEX - a safe real-time kernel for distributed computer control systems. - C. K. Angelov; I. E. Ivanov; Alan Burns 001 (Softw. Pract. Exp., 2002)

Cycle-Time Properties of the Timed Token Medium Access Control Protocol. - Sijing Zhang; Alan Burns 001; Tee-Hiang Cheng (IEEE Trans. Computers, 2002)

A Round Robin Scheduling Policy for Ada. - Alan Burns 001; Michael González Harbour; Andy J. Wellings (Ada-Europe, 2003)

Adding Temporal Annotations and Associated Verification to Ravenscar Profile. - Alan Burns 001; Tse-Min Lin (Ada-Europe, 2003)

A Probabilistic Framework for Schedulability Analysis. - Alan Burns 001; Guillem Bernat; Ian Broster (EMSOFT, 2003)

Report of session: generating new AIs. - Alan Burns 001; Tullio Vardanega (IRTAW, 2003)

Task attribute-based scheduling: extending Ada's support for scheduling. - Alan Burns 001; Andy J. Wellings (IRTAW, 2003)

Report of session: flexible scheduling in Ada. - Alan Burns 001; Andy J. Wellings; Tullio Vardanega (IRTAW, 2003)

Processing Group Parameters in the Real-Time Specification for Java. - Alan Burns 001; Andy J. Wellings (OTM Workshops, 2003)

An Analysable Bus-Guardian for Event-Triggered Communication. - Ian Broster; Alan Burns 001 (RTSS, 2003)

A Consensus Protocol for CAN-Based Systems. - George Marconi de Araujo Lima; Alan Burns 001 (RTSS, 2003)

An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. - Iain Bate; Alan Burns 001 (Real Time Syst., 2003)

How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study. - Alan Burns 001 (Real Time Syst., 2003)

The Valid Use of Utility in Adaptive Real-Time Systems. - Divya Prasad; Alan Burns 001; Martin C. Atkins (Real Time Syst., 2003)

An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems. - George Marconi de Araujo Lima; Alan Burns 001 (IEEE Trans. Computers, 2003)

Supporting Deadlines and EDF Scheduling in Ada. - Alan Burns 001; Andy J. Wellings; S. Tucker Taft (Ada-Europe, 2004)

Dynamic Ceiling Priorities: A Proposal for Ada0Y. - Jorge Real; Alan Burns 001; Javier Miranda; Edmond Schonberg; Alfons Crespo (Ada-Europe, 2004)

Comparing Real-Time Communication Under Electromagnetic Interference. - Ian Broster; Alan Burns 001; Guillermo Rodríguez-Navas (ECRTS, 2004)

Rewriting History to Exploit Gain Time. - Guillem Bernat; Ian Broster; Alan Burns 001 (RTSS, 2004)

Real Time Scheduling Theory: A Historical Perspective. - Lui Sha; Tarek F. Abdelzaher; Karl-Erik Årzén; Anton Cervin; Theodore P. Baker; Alan Burns 001; Giorgio C. Buttazzo; Marco Caccamo; John P. Lehoczky; Aloysius K. Mok (Real Time Syst., 2004)

Hard Real-Time Communication with the Timed Token Protocol: Current State and Challenging Problems. - Sijing Zhang; Alan Burns 001; Jing Chen; E. Stewart Lee (Real Time Syst., 2004)

Real-Time Scheduling for Embedded Systems. - Marco Caccamo; Theodore P. Baker; Alan Burns 001; Giorgio C. Buttazzo; Lui Sha (Handbook of Networked and Embedded Control Systems, 2005)

Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. - George Marconi de Araujo Lima; Alan Burns 001 (LADC, 2005)

Hierarchical Fixed Priority Pre-Emptive Scheduling. - Robert I. Davis 001; Alan Burns 001 (RTSS, 2005)

Probabilistic timing analysis: An approach using copulas. - Guillem Bernat; Alan Burns 001; Martin Newby (J. Embed. Comput., 2005)

Timing Analysis of Real-Time Communication Under Electromagnetic Interference. - Ian Broster; Alan Burns 001; Guillermo Rodríguez-Navas (Real Time Syst., 2005)

Editorial. - Alan Burns 001; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Embed. Comput. Syst., 2005)

FSF: A Real-Time Scheduling Architecture Framework. - Mario Aldea Rivas; Guillem Bernat; Ian Broster; Alan Burns 001; Radu Dobrin; José M. Drake; Gerhard Fohler; Paolo Gai; Michael González Harbour; Giacomo Guidi; J. Javier Gutiérrez; Tomas Lennvall; et al. (IEEE Real Time Technology and Applications Symposium, 2006)

Sustainable Scheduling Analysis. - Sanjoy K. Baruah; Alan Burns 001 (RTSS, 2006)

Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems. - Robert I. Davis 001; Alan Burns 001 (RTSS, 2006)

Concurrent and real-time programming in Ada. - Alan Burns 001; Andy J. Wellings (Cambridge University Press, 2007)

Delivering Real-Time Behaviour. - Alan Burns 001; Andy J. Wellings (Domain Modeling and the Duration Calculus, 2007)

Real-Time Utilities for Ada 2005. - Andy J. Wellings; Alan Burns 001 (Ada-Europe, 2007)

Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach. - Yanching Chu; Alan Burns 001 (ECRTS, 2007)

Introduction. - Alan Burns 001; Andy J. Wellings (IRTAW, 2007)

Programming execution-time servers in Ada 2005. - Alan Burns 001; Andy J. Wellings (IRTAW, 2007)

Beyond Ada 2005: allocating tasks to processors in SMP systems. - Andy J. Wellings; Alan Burns 001 (IRTAW, 2007)

Integrating OOP and tasking: the missing requeue. - Andy J. Wellings; Alan Burns 001 (IRTAW, 2007)

A framework for real-time utilities for Ada 2005. - Andy J. Wellings; Alan Burns 001 (IRTAW, 2007)

Correcting the EDF protocol in Ada 2005. - Alexandros Zerzelidis; Alan Burns 001; Andy J. Wellings (IRTAW, 2007)

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. - Andy J. Wellings; Alan Burns 001; Osmar Marchi dos Santos; Benjamin M. Brosgol (ISORC, 2007)

Robust Priority Assignment for Fixed Priority Real-Time Systems. - Robert I. Davis 001; Alan Burns 001 (RTSS, 2007)

Analysis of Hierarchical EDF Pre-emptive Scheduling. - Fengxiang Zhang; Alan Burns 001 (RTSS, 2007)

An engineering process for the verification of real-time systems. - Alan Burns 001; Tse-Min Lin (Formal Aspects Comput., 2007)

Optimal (D-J)-monotonic priority assignment. - Areej Zuhily; Alan Burns 001 (Inf. Process. Lett., 2007)

Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. - Robert I. Davis 001; Alan Burns 001; Reinder J. Bril; Johan J. Lukkien (Real Time Syst., 2007)

Real-Time Java. - Alan Burns 001; Andy J. Wellings (Handbook of Real-Time and Embedded Systems, 2007)

Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005. - Alan Burns 001; Andy J. Wellings (Handbook of Real-Time and Embedded Systems, 2007)

Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines. - Areej Zuhily; Alan Burns 001 (ETFA, 2008)

Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks. - Areej Zuhily; Alan Burns 001 (ICTAC, 2008)

Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching. - Zheng Shi; Alan Burns 001 (NOCS, 2008)

Response Time Upper Bounds for Fixed Priority Real-Time Systems. - Robert I. Davis 001; Alan Burns 001 (RTSS, 2008)

Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks. - Zheng Shi; Alan Burns 001 (RTSS, 2008)

On the meaning of modes in uniprocessor real-time systems. - Paulo Martins 004; Alan Burns 001 (SAC, 2008)

Sustainability in Real-time Scheduling. - Alan Burns 001; Sanjoy K. Baruah (J. Comput. Sci. Eng., 2008)

Flexible hard real-time scheduling for deliberative AI systems. - Yanching Chu; Alan Burns 001 (Real Time Syst., 2008)

Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems. - Robert I. Davis 001; A. Zabos; Alan Burns 001 (IEEE Trans. Computers, 2008)

Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition. - Alan Burns 001; Andrew J. Wellings (Addison-Wesley, 2009)

Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. - Alan Burns 001; Andy J. Wellings; Fengxiang Zhang (Ada-Europe, 2009)

Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks. - Zheng Shi; Alan Burns 001 (ECRTS, 2009)

Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems. - Fengxiang Zhang; Alan Burns 001 (ECRTS, 2009)

Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems. - Robert I. Davis 001; Alan Burns 001 (RTSS, 2009)

Guest editorial: Special issue on ECRTS 2008. - Alan Burns 001 (Real Time Syst., 2009)

Robust priority assignment for messages on Controller Area Network (CAN). - Robert I. Davis 001; Alan Burns 001 (Real Time Syst., 2009)

Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling. - Robert I. Davis 001; Thomas Rothvoß; Sanjoy K. Baruah; Alan Burns 001 (Real Time Syst., 2009)

Exact scheduling analysis of non-accumulatively monotonic multiframe tasks. - Areej Zuhily; Alan Burns 001 (Real Time Syst., 2009)

Schedulability Analysis for Real-Time Systems with EDF Scheduling. - Fengxiang Zhang; Alan Burns 001 (IEEE Trans. Computers, 2009)

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. - Alan Burns 001; Andy J. Wellings (Ada-Europe, 2010)

The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005. - Andy J. Wellings; Alan Burns 001 (Ada-Europe, 2010)

Sensitivity Analysis of the Minimum Task Period for Arbitrary Deadline Real-Time Systems. - Fengxiang Zhang; Alan Burns 001; Sanjoy K. Baruah (PRDC, 2010)

Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems. - Fengxiang Zhang; Alan Burns 001; Sanjoy K. Baruah (RTCSA, 2010)

Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems. - Alan Burns 001; Bev Littlewood (RTSS, 2010)

A Timed Model of Circus with the Reactive Design Miracle. - Kun Wei; Jim Woodcock 001; Alan Burns 001 (SEFM, 2010)

Modelling and Implementing Complex Systems with Timebands. - Jim Woodcock 001; Marcel Oliveira; Alan Burns 001; Kun Wei (SSIRI, 2010)

Realism in Statistical Analysis of Worst Case Execution Times. - David Griffin 002; Alan Burns 001 (WCET, 2010)

Schedulability Analysis for Real Time On-Chip Communication with Wormhole Switching. - Zheng Shi; Alan Burns 001; Leandro Soares Indrusiak (Int. J. Embed. Real Time Commun. Syst., 2010)

A timeband framework for modelling real-time systems. - Alan Burns 001; Ian J. Hayes (Real Time Syst., 2010)

Schedulability analysis and task mapping for real-time on-chip communication. - Zheng Shi; Alan Burns 001 (Real Time Syst., 2010)

Implementing Mixed Criticality Systems in Ada. - Sanjoy K. Baruah; Alan Burns 001 (Ada-Europe, 2011)

Programming Languages for Real-Time Applications Executing on Parallel Hardware. - Alan Burns 001 (Ada-Europe, 2011)

Timing Faults and Mixed Criticality Systems. - Alan Burns 001; Sanjoy K. Baruah (Dependable and Historic Computing, 2011)

Timed Circus: Timed CSP with the Miracle. - Kun Wei; Jim Woodcock 001; Alan Burns 001 (ICECCS, 2011)

Resource sharing in RTSJ and SCJ systems. - Andy J. Wellings; Shiyao Lin; Alan Burns 001 (JTRES, 2011)

FPZL Schedulability Analysis. - Robert I. Davis 001; Alan Burns 001 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Response-Time Analysis for Mixed Criticality Systems. - Sanjoy K. Baruah; Alan Burns 001; Robert I. Davis 001 (RTSS, 2011)

A survey of hard real-time scheduling for multiprocessor systems. - Robert I. Davis 001; Alan Burns 001 (ACM Comput. Surv., 2011)

Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. - Robert I. Davis 001; Alan Burns 001 (Real Time Syst., 2011)

Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling. - Fengxiang Zhang; Alan Burns 001; Sanjoy K. Baruah (Real Time Syst., 2011)

Modelling Temporal Behaviour in Complex Systems with Timebands. - Kun Wei; Jim Woodcock 001; Alan Burns 001 (Conquering Complexity, 2012)

Implementing and Verifying EDF Preemption-Level Resource Control. - Mark Louis Fairbairn; Alan Burns 001 (Ada-Europe, 2012)

Analytical approaches for performance evaluation of networks-on-chip. - Abbas Eslami Kiasari; Axel Jantsch; Marco Bekooij; Alan Burns 001; Zhonghai Lu (CASES, 2012)

Mixed critical system design and analysis. - Rolf Ernst; Alan Burns 001; Lothar Thiele; Jimmy Le Rhun (EMSOFT, 2012)

Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme. - Alan Burns 001; Robert I. Davis 001; P. Wang; Fengxiang Zhang (Real Time Syst., 2012)

Mixed Criticality on Controller Area Network. - Alan Burns 001; Robert I. Davis 001 (ECRTS, 2013)

A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP. - Alan Burns 001; Andy J. Wellings (ECRTS, 2013)

Predictability and Mixed Criticality. - Alan Burns 001 (PECCS, 2013)

Global fixed priority scheduling with deferred pre-emption. - Robert I. Davis 001; Alan Burns 001; José Marinho; Vincent Nélis; Stefan M. Petters; Marko Bertogna (RTCSA, 2013)

Fixed-priority scheduling of dual-criticality systems. - Sanjoy K. Baruah; Alan Burns 001 (RTNS, 2013)

Comparing Degrees of Non-Determinism in Expression Evaluation. - Ian J. Hayes; Alan Burns 001; Brijesh Dongol; Cliff B. Jones (Comput. J., 2013)

Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages. - Shiyao Lin; Andy J. Wellings; Alan Burns 001 (Concurr. Comput. Pract. Exp., 2013)

Modelling temporal behaviour in complex systems with Timebands. - Kun Wei; Jim Woodcock 001; Alan Burns 001 (Formal Methods Syst. Des., 2013)

Guest editorial: multiprocessor scheduling. - Alan Burns 001; Laurent George 001 (Real Time Syst., 2013)

Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing. - Fengxiang Zhang; Alan Burns 001 (ACM Trans. Embed. Comput. Syst., 2013)

Deadline-Aware Programming and Scheduling. - Alan Burns 001; Andy J. Wellings (Ada-Europe, 2014)

Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches. - David Griffin 002; Benjamin Lesage; Alan Burns 001; Robert I. Davis 001 (RTNS, 2014)

Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression. - David Griffin 002; Benjamin Lesage; Alan Burns 001; Robert I. Davis 001 (RTNS, 2014)

Schedulability Analysis for the Abort-and-Restart (AR) Model. - Hing Choi Wong; Alan Burns 001 (RTNS, 2014)

Adaptive Mixed Criticality Scheduling with Deferred Preemption. - Alan Burns 001; Robert I. Davis 001 (RTSS, 2014)

A Wormhole NoC Protocol for Mixed Criticality Systems. - Alan Burns 001; James Harbin; Leandro Soares Indrusiak (RTSS, 2014)

Foreword. - Alan Burns 001 (Leibniz Trans. Embed. Syst., 2014)

A Bailout Protocol for Mixed Criticality Systems. - Iain Bate; Alan Burns 001; Robert I. Davis 001 (ECRTS, 2015)

Cyclic Executives, Multi-core Platforms and Mixed Criticality Applications. - Alan Burns 001; Tom Fleming; Sanjoy K. Baruah (ECRTS, 2015)

Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole Networks-on-Chip. - Leandro Soares Indrusiak; James Harbin; Alan Burns 001 (ECRTS, 2015)

Priority-Based Functional Reactive Programming (P-FRP) Using Deferred Abort. - Hing Choi Wong; Alan Burns 001 (RTCSA, 2015)

On priority assignment for controller area network when some message identifiers are fixed. - Robert I. Davis 001; Alan Burns 001; Victor Pollex; Frank Slomka (RTNS, 2015)

Semi-partitioned model for dual-core mixed criticality system. - Hao Xu 008; Alan Burns 001 (RTNS, 2015)

Reducing the Implementation Overheads of IPCP and DFP. - H. Almatary; Neil C. Audsley; Alan Burns 001 (RTSS, 2015)

Deriving period restrictions from a given utilization bound under RMS. - Dirk Müller 002; Alan Burns 001 (SIES, 2015)

Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms. - Robert I. Davis 001; Alan Burns 001; Sanjoy K. Baruah; Thomas Rothvoß; Laurent George 001; Oliver Gettings (Real Time Syst., 2015)

A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing. - Alan Burns 001; Marina Gutiérrez; Mario Aldea Rivas; Michael González Harbour (IEEE Trans. Computers, 2015)

Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Preemption. - Robert I. Davis 001; Alan Burns 001; José Marinho; Vincent Nélis; Stefan M. Petters; Marko Bertogna (ACM Trans. Embed. Comput. Syst., 2015)

Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems. - Alan Burns 001 (Ada-Europe, 2016)

Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors. - Sanjoy K. Baruah; Alan Burns 001; Zhishan Guo (ECRTS, 2016)

Improving the Schedulability of Mixed Criticality Cyclic Executives via Limited Task Splitting. - Tom Fleming; Sanjoy K. Baruah; Alan Burns 001 (RTNS, 2016)

Analysis of buffering effects on hard real-time priority-preemptive wormhole networks. - Leandro Soares Indrusiak; Alan Burns 001; Borislav Nikolic (CoRR, 2016)

A review of priority assignment in real-time systems. - Robert I. Davis 001; Liliana Cucu-Grosjean; Marko Bertogna; Alan Burns 001 (J. Syst. Archit., 2016)

Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework. - Alan Burns 001; Sanjoy K. Baruah (Ada-Europe, 2017)

Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems. - Xiaotian Dai 001; Alan Burns 001 (Ada-Europe, 2017)

Supporting Nested Resources in MrsP. - Jorge Garrido; Shuai Zhao 004; Alan Burns 001; Andy J. Wellings (Ada-Europe, 2017)

New schedulability analysis for MrsP. - Shuai Zhao 004; Jorge Garrido; Alan Burns 001; Andy J. Wellings (RTCSA, 2017)

Corrections to and Discussion of "Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks". - Tom Fleming; Huang-Ming Huang; Alan Burns 001; Christopher D. Gill; Sanjoy K. Baruah; Chenyang Lu 001 (ACM Trans. Embed. Comput. Syst., 2017)

An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. - Iain Bate; Alan Burns 001; Robert I. Davis 001 (IEEE Trans. Software Eng., 2017)

Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs. - Leandro Soares Indrusiak; Alan Burns 001; Borislav Nikolic (DATE, 2018)

Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies. - Robert I. Davis 001; Iain Bate; Guillem Bernat; Ian Broster; Alan Burns 001; Antoine Colin; Stuart Hutchesson; Nigel Tracey (ECRTS, 2018)

AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems. - Alessandro Vittorio Papadopoulos; Enrico Bini; Sanjoy K. Baruah; Alan Burns 001 (ECRTS, 2018)

Mixed Criticality Systems with Varying Context Switch Costs. - Robert I. Davis 001; Sebastian Altmeyer; Alan Burns 001 (RTAS, 2018)

AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems. - Alan Burns 001; James Harbin; Leandro Soares Indrusiak; Iain Bate; Robert I. Davis 001; David Griffin 002 (RTCSA, 2018)

TZDKS: A New TrustZone-Based Dual-Criticality System with Balanced Performance. - Pan Dong; Alan Burns 001; Zhe Jiang 004; Xiangke Liao (RTCSA, 2018)

A Survey of Research into Mixed Criticality Systems. - Alan Burns 001; Robert I. Davis 001 (ACM Comput. Surv., 2018)

AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems (Artifact). - Alessandro Vittorio Papadopoulos; Enrico Bini; Sanjoy K. Baruah; Alan Burns 001 (Dagstuhl Artifacts Ser., 2018)

Robust Mixed-Criticality Systems. - Alan Burns 001; Robert I. Davis 001; Sanjoy K. Baruah; Iain Bate (IEEE Trans. Computers, 2018)

Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory. - Sanjoy K. Baruah; Alan Burns 001 (ISORC, 2019)

From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper). - Wanli Chang 001; Shuai Zhao 004; Ran Wei; Andy J. Wellings; Alan Burns 001 (LCTES, 2019)

Fault-tolerant transmission of messages of differing criticalities across a shared communication medium. - Kunal Agrawal 001; Sanjoy K. Baruah; Alan Burns 001 (RTNS, 2019)

Validating high level simulation results against experimental data and low level simulation: a case study. - David Griffin 002; James Harbin; Alan Burns 001; Iain Bate; Robert I. Davis 001; Leandro Soares Indrusiak (RTNS, 2019)

Semi-Clairvoyance in Mixed-Criticality Scheduling. - Kunal Agrawal 001; Sanjoy K. Baruah; Alan Burns 001 (RTSS, 2019)

Work-in-Progress: Real-Time RPC for Hybrid Dual-OS System. - Pan Dong; Zhe Jiang 004; Alan Burns 001; Yan Ding; Jun Ma 015 (RTSS, 2019)

A semi-partitioned model for mixed criticality systems. - Hao Xu 008; Alan Burns 001 (J. Syst. Softw., 2019)

Real-time analysis of priority-preemptive NoCs with arbitrary buffer sizes and router delays. - Borislav Nikolic; Sebastian Tobuschat; Leandro Soares Indrusiak; Rolf Ernst; Alan Burns 001 (Real Time Syst., 2019)

Multi-core cyclic executives for safety-critical systems. - Calvin Deutschbein; Tom Fleming; Alan Burns 001; Sanjoy K. Baruah (Sci. Comput. Program., 2019)

A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design. - Xiaotian Dai 001; Wanli Chang 001; Shuai Zhao 004; Alan Burns 001 (ACM Trans. Embed. Comput. Syst., 2019)

Minimizing Execution Duration in the Presence of Learning-Enabled Components. - Kunal Agrawal 001; Alan Burns 001; Abhishek Singh 007; Sanjoy K. Baruah (DATE, 2020)

The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems. - Kunal Agrawal 001; Sanjoy K. Baruah; Alan Burns 001 (ECRTS, 2020)

A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs. - Alan Burns 001; Leandro Soares Indrusiak; N. Smirnov; J. Harrison (RTAS, 2020)

DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency. - Shuai Zhao 004; Xiaotian Dai 001; Iain Bate; Alan Burns 001; Wanli Chang 001 (RTSS, 2020)

Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance. - Alan Burns 001; Robert I. Davis 001 (RTSS, 2020)

Deriving Specifications of Control Programs for Cyber Physical Systems. - Alan Burns 001; Ian J. Hayes; Cliff B. Jones (Comput. J., 2020)

A Rely-Guarantee Specification of Mixed-Criticality Scheduling. - Cliff B. Jones; Alan Burns 001 (CoRR, 2020)

Expressing survivability considerations in mixed-criticality scheduling theory. - Sanjoy K. Baruah; Alan Burns 001 (J. Syst. Archit., 2020)

Period adaptation of real-time control tasks with fixed-priority scheduling in cyber-physical systems. - Xiaotian Dai 001; Alan Burns 001 (J. Syst. Archit., 2020)

Build real-time communication for hybrid dual-OS system. - Pan Dong; Zhe Jiang 004; Alan Burns 001; Yan Ding; Jun Ma 015 (J. Syst. Archit., 2020)

A complete run-time overhead-aware schedulability analysis for MrsP under nested resources. - Shuai Zhao 004; Jorge Garrido; Ran Wei; Alan Burns 001; Andy J. Wellings; Juan Antonio de la Puente (J. Syst. Softw., 2020)

The AirTight Protocol for Mixed Criticality Wireless CPS. - James Harbin; Alan Burns 001; Robert I. Davis 001; Leandro Soares Indrusiak; Iain Bate; David Griffin 002 (ACM Trans. Cyber Phys. Syst., 2020)

Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. - Wanli Chang 001; Ran Wei; Shuai Zhao 004; Andy J. Wellings; Jim Woodcock 001; Alan Burns 001 (ACM Trans. Embed. Comput. Syst., 2020)

Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open Challenges. - Xiaotian Dai 001; Shuai Zhao 004; Iain Bate; Alan Burns 001; Xing Guo; Wanli Chang 001 (RTAS, 2021)

Optimal Synthesis of IDK-Cascades. - Sanjoy K. Baruah; Alan Burns 001; Yue Wu (RTNS, 2021)

Foreword. - Alan Burns 001; Steve Goddard (Leibniz Trans. Embed. Syst., 2021)

Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources. - Shuai Zhao 004; Wanli Chang 001; Ran Wei; Weichen Liu; Nan Guan; Alan Burns 001; Andy J. Wellings (IEEE Trans. Computers, 2021)

Discretization and Stabilization of Energy-Based Controller for Period Switching Control and Flexible Scheduling. - Seyed Amir Tafrishi; Xiaotian Dai 001; Yasuhisa Hirata; Alan Burns 001 (ACC, 2022)

An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. - Alan Burns 001; Cliff B. Jones (ECRTS, 2022)

Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling. - Iain Bate; Alan Burns 001; Robert I. Davis 001 (RTAS, 2022)

MSRP-FT: Reliable Resource Sharing on Multiprocessor Mixed-Criticality Systems. - Nan Chen; Shuai Zhao 004; Ian Gray; Alan Burns 001; Siyuan Ji; Wanli Chang 001 (RTAS, 2022)

On the Trade-offs between Generalization and Specialization in Real-Time Systems. - Georg von der Brüggen; Alan Burns 001; Jian-Jia Chen; Robert I. Davis 001; Jan Reineke 001 (RTCSA, 2022)

Functional Uncertainty in Real-Time Safety-Critical Systems. - Sanjoy K. Baruah; Alan Burns 001; David Griffin 002 (RTNS, 2022)

Compensating Adaptive Mixed Criticality Scheduling. - Robert Ian Davis; Alan Burns 001; Iain Bate (RTNS, 2022)

Precise Response Time Analysis for Multiple DAG Tasks with Intra-task Priority Assignment. - Nan Chen; Shuai Zhao 004; Ian Gray; Alan Burns 001; Siyuan Ji; Wanli Chang 001 (RTAS, 2023)

Multi-Model Specifications and their Application to Classification Systems. - Alan Burns 001; Sanjoy K. Baruah (RTNS, 2023)

Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty. - Tarek F. Abdelzaher; Sanjoy K. Baruah; Iain Bate; Alan Burns 001; Robert Ian Davis; Yigong Hu (RTNS, 2023)

A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems. - Zhe Jiang 004; Xiaotian Dai 001; Alan Burns 001; Neil C. Audsley; Zonghua Gu 001; Ian Gray (IEEE Trans. Computers, 2023)

Optimally ordering IDK classifiers subject to deadlines. - Sanjoy K. Baruah; Alan Burns 001; Robert I. Davis 001; Yue Wu (Real Time Syst., 2023)

Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification. - Tarek F. Abdelzaher; Kunal Agrawal 001; Sanjoy K. Baruah; Alan Burns 001; Robert I. Davis 001; Zhishan Guo; Yigong Hu (Real Time Syst., 2023)

Real-Time Guarantees in Routerless Networks-on-Chip. - Leandro Soares Indrusiak; Alan Burns 001 (ACM Trans. Embed. Comput. Syst., 2023)

Optimal Synthesis of Robust IDK Classifier Cascades. - Sanjoy K. Baruah; Alan Burns 001; Robert Ian Davis (ACM Trans. Embed. Comput. Syst., 2023)

Specifying Fault-Tolerant Mixed-Criticality Scheduling. - Alan Burns 001; Cliff B. Jones (The Application of Formal Methods, 2024)

Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification. - Sanjoy K. Baruah; Iain Bate; Alan Burns 001; Robert I. Davis 001 (RTAS, 2024)

IDK Cascades for Time-Series Input Streams. - Kunal Agrawal 001; Sanjoy K. Baruah; Alan Burns 001; Jinhao Zhao (RTSS, 2024)

Multi-model workload specifications and their application to cyber-physical systems - ERRATUM. - Alan Burns 001; Sanjoy K. Baruah (Res. Dir. Cyber Phys. Syst., 2024)

Multi-model workload specifications and their application to cyber-physical systems. - Alan Burns 001; Sanjoy K. Baruah (Res. Dir. Cyber Phys. Syst., 2024)

Utilising Assumptions to Determine the WCET of Multi-component Classification Systems. - Alan Burns 001; Sanjoy K. Baruah (The Practice of Formal Methods (I), 2024)

Extending rely-guarantee thinking to handle real-time scheduling. - Cliff B. Jones; Alan Burns 001 (Formal Methods Syst. Des., 2024)