A. Burns

Robert I. Davis, A. Burns, I. Bate, 2018, 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

An experimental testbed for embedded real time Ada 95

A. Burns, P. T. Woolley, A. Burns, 1999, IRTAW '99.

Correcting the EDF protocol in Ada 2005

A. Burns, A. Wellings, A. Zerzelidis, 2007, IRTAW '07.

Topics Document for Entry in October 2007

Richard C. Paige, S. Stepney, A. Burns, 2007 .

Delivering Real-Time Behaviour

Alan Burns, Andy J. Wellings, A. Burns, 2007, Domain Modeling and the Duration Calculus.

Non-preemptive dispatching and locking policies

A. Burns, 2001, IRTAW '00.

AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems

Alan Burns, Leandro Soares Indrusiak, Robert I. Davis, 2018, 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

Supporting Critical Modes in AirTight

Robert I. Davis, A. Burns, I. Bate, 2019 .

The drtee architecture for distributed hard real-time systems

Alan Burns, Ken Tindell, Andy Wellings, 1992 .

Dynamics for WCET

A. Burns, D. Griffin, 2011 .

Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance

Robert I. Davis, A. Burns, 2020, 2020 IEEE Real-Time Systems Symposium (RTSS).

Guaranteeing message latencies on controller area network (can)

Alan Burns, Ken Tindell, K. Tindell, 1994 .

DRC Protocol for the Response Time Reduction in CAN based Distributed Embedded System

Robert I. Davis, R. J. Bril, F. C. Braescu, 2016 .

Programming Execution-Time Servers in Ada 2005

A. Burns, A. Wellings, 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

Object-oriented programming and tasking

Alan Burns, Andy Wellings, A. Burns, 2007 .

8 Language changes and extensions

Alan Burns, Andy Wellings, Andrew M. Lister, 1987 .

Utilization based Spare Capacity Distribution

Robert I. Davis, A. Burns, A. Zabos, 2008 .

Broadening real-time systems research

Alan Burns, A. Burns, 1996, CSUR.

Discretization and Stabilization of Energy-Based Controller for Period Switching Control and Flexible Scheduling

Seyed Amir Tafrishi, A. Burns, Y. Hirata, 2022, 2022 American Control Conference (ACC).

DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency

A. Burns, Wanli Chang, I. Bate, 2020, 2020 IEEE Real-Time Systems Symposium (RTSS).

Compensating Adaptive Mixed Criticality Scheduling

Robert I. Davis, A. Burns, I. Bate, 2022, RTNS.

Priority Assignment in Fixed Priority Pre-emptive Systems with Varying Context Switch Costs

Robert I. Davis, A. Burns, S. Altmeyer, 2018 .

Schedulability Analysis for Fixed Priority Wormhole Switching in On-Chip Networks

A. Burns, Zheng Shi, 2008 .

CRTS 2011 Proceedings of the 4 th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems

I. Shin, Björn Andersson, A. Burns, 2011 .

Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems — Requirements and Open Challenges

A. Burns, Wanli Chang, I. Bate, 2021, 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS).

Timebands Framework – 2011

A. Burns, J. Woodcock, I. Hayes, 2011 .

Real-time utilities

Alan Burns, Andy Wellings, A. Burns, 2007 .

Concurrent and Real-Time Programming in Ada 2005: Preface

Alan Burns, Andy Wellings, A. Burns, 2007 .

Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets

Alan Burns, Maciej Koutny, Alex Yakovlev, 2000 .

On developing and verifying design abstractions for reliable concurrent programming in Ada

A. Burns, A. Wellings, A. Yakovlev, 2001, IRTAW '00.

Report of session: flexible scheduling in Ada

Alan Burns, Tullio Vardanega, Andy Wellings, 2003, IRTAW.

An assessment of the use of occam for dependable real-time systems

Alan Burns, Andy Wellings, H. S. M. Zedan, 1990 .

6 Distributed systems

Alan Burns, Andy Wellings, Andrew M. Lister, 1987 .

2 The Ada Tasking model

Alan Burns, Andy Wellings, Andrew M. Lister, 1987 .

Concurrent and Real-Time Programming in Ada 2005: Scheduling real-time systems – fixed priority dispatching

Alan Burns, Andy Wellings, A. Burns, 2007 .

Task types and objects

Alan Burns, Andy Wellings, A. Burns, 2007 .

Concurrency in Ada (2nd ed.)

Alan Burns, Andy Wellings, A. Burns, 1998 .

5 Embedded systems

Alan Burns, Andy Wellings, Andrew M. Lister, 1987 .

7 Implementation issues

Alan Burns, Andy Wellings, Andrew M. Lister, 1987 .

The select statement and the rendezvous

Alan Burns, Andy Wellings, A. Burns, 2007 .

Protected objects and data-oriented communication

Alan Burns, Andy Wellings, A. Burns, 2007 .

4 Concurrent programming

Alan Burns, Andy Wellings, Andrew M. Lister, 1987 .

Concurrent and Real-Time Programming in Ada 2005: Avoidance synchronisation and the requeue facility

Alan Burns, Andy Wellings, A. Burns, 2007 .

Exceptions, abort and asynchronous transfer of control

Alan Burns, Andy Wellings, A. Burns, 2007 .

Concurrent and Real-Time Programming in Ada 2005: The nature and uses of concurrent programming

Alan Burns, Andy Wellings, A. Burns, 2007 .

The DrTee project

Alan Burns, Ken Tindell, Andy Wellings, 1992 .

Concurrent and Real-Time Programming in Ada 2005: Tasking and systems programming

Alan Burns, Andy Wellings, A. Burns, 2007 .

Summary of the 6th International Workshop on real-time Ada issues

Alan Burns, Andy Wellings, A. Burns, 1993, ALET.

Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling

Robert I. Davis, A. Burns, I. Bate, 2022, 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS).

A Framework for Building Dependable Systems

Alan Burns, Andrew M. Lister, A. Burns, 1991, Computer/law journal.

Modelling and verification of an atomic action protocol implemented in Ada

Alan Burns, Andy J. Wellings, Maciej Koutny, 2001, Comput. Syst. Sci. Eng..

A timeband framework for modelling real-time systems

Alan Burns, Ian J. Hayes, A. Burns, 2010, Real-Time Systems.

Time bands in systems structure

Alan Burns, Gordon Baxter, G. Baxter, 2006 .

Calculating controller area network (can) message response times

Alan Burns, Ken Tindell, Andy Wellings, 1994 .

A survey of hard real-time scheduling for multiprocessor systems

Alan Burns, Robert I. Davis, A. Burns, 2011, CSUR.

Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach

Alan Burns, Yanching Chu, A. Burns, 2007, 19th Euromicro Conference on Real-Time Systems (ECRTS'07).

Probabilistic timing analysis: An approach using copulas

Alan Burns, Guillem Bernat, Martin Newby, 2005, J. Embed. Comput..

Modelling temporal behaviour in complex systems with Timebands

Alan Burns, Jim Woodcock, Kun Wei, 2013, Formal Methods Syst. Des..

The meaning and role of value in scheduling flexible real-time systems

Alan Burns, Lorenzo Strigini, Andrea Bondavalli, 2000, J. Syst. Archit..

A Survey of Research into Mixed Criticality Systems

Alan Burns, Robert I. Davis, A. Burns, 2017, ACM Comput. Surv..

A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design

Xiaotian Dai, Wanli Chang, Shuai Zhao, 2019, ACM Trans. Embed. Comput. Syst..

Period adaptation of real-time control tasks with fixed-priority scheduling in cyber-physical systems

Alan Burns, Xiaotian Dai, A. Burns, 2020, J. Syst. Archit..

HRT-HOOD: A structured design method for hard real-time systems

Alan Burns, Andy J. Wellings, A. Burns, 2005, Real-Time Systems.

Hrt-Hood: A Structured Design Method for Hard Real-Time ADA Systems

Alan Burns, Andy Wellings, A. Burns, 1995 .

Real-Time System Scheduling

Alan Burns, Robert I. Davis, Neil Audsley, 1995 .

How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study*

Alan Burns, A. Burns, 2003, Real-Time Systems.

A value-based scheduling approach for real-time autonomous vehicle control

Alan Burns, Divya Prasad, A. Burns, 2000, Robotica.

Value-Based Scheduling of Flexible Real-Time Systems for Intelligent Autonomous Vehicle Control

Alan Burns, Divya Prasad, A. Burns, 1998 .

Real-time distributed computing

Alan Burns, Andy J. Wellings, Neil C. Audsley, 1995, Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.

Allocating hard real-time tasks: An NP-Hard problem made easy

Alan Burns, Andy J. Wellings, Ken Tindell, 1992, Real-Time Systems.

Contract based management of the memory resource

Alan Burns, Ismael Ripoll, Alfons Crespo, 2009 .

MSRP-FT: Reliable Resource Sharing on Multiprocessor Mixed-Criticality Systems

A. Burns, Wanli Chang, Ian Gray, 2022, 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS).

Mixed Criticality Systems - A Review

Robert I. Davis, Alan Burns, A. Burns, 2015 .

Mixed Criticality Systems : Beyond Transient Faults

Alan Burns, Sasikumar Punnekkat, Radu Dobrin, 2015 .

Response-Time Analysis for Mixed Criticality Systems

Alan Burns, Sanjoy K. Baruah, Robert I. Davis, 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems

Alan Burns, Robert I. Davis, A. Burns, 2009, 2009 30th IEEE Real-Time Systems Symposium.

An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems

Alan Burns, George Marconi de Araujo Lima, A. Burns, 2003, IEEE Trans. Computers.

Feasibility analysis of fault-tolerant real-time task sets

Alan Burns, Robert I. Davis, Sasikumar Punnekkat, 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.

Hard Real-Time Scheduling: The Deadline-Monotonic Approach

Alan Burns, Andy Wellings, Neil Audsley, 1991 .

Analysis of Checkpointing for Real-Time Systems

Alan Burns, Robert I. Davis, Sasikumar Punnekkat, 2004, Real-Time Systems.

Decoupling Criticality and Importance in Mixed-Criticality Scheduling

Alan Burns, Eduardo Tovar, Konstantinos Bletsas, 2018 .

Robust Mixed-Criticality Systems

Robert I. Davis, Iain Bate, Sanjoy Baruah, 2018, IEEE Transactions on Computers.

Mixed Criticality Systems with Varying Context Switch Costs

Alan Burns, Robert I. Davis, Sebastian Altmeyer, 2018, 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

Mixed Criticality on Controller Area Network

Alan Burns, Robert I. Davis, A. Burns, 2013, 2013 25th Euromicro Conference on Real-Time Systems.

Weakly Hard Real-Time Systems

Alan Burns, Guillem Bernat, Albert Llamosí, 2001, IEEE Trans. Computers.

Probabilistic scheduling guarantees for fault-tolerant real-time systems

David Wright, Lorenzo Strigini, Sasikumar Punnekkat, 1999, Dependable Computing for Critical Applications 7.

Timing Analysis of Real-Time Communication Under Electromagnetic Interference

Alan Burns, Guillermo Rodríguez-Navas, Ian Broster, 2005, Real-Time Systems.

A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems

A. Burns, N. Audsley, Ian Gray, 2023, IEEE Transactions on Computers.

Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors

Alan Burns, Sanjoy K. Baruah, Zhishan Guo, 2016, 2016 28th Euromicro Conference on Real-Time Systems (ECRTS).

A Bailout Protocol for Mixed Criticality Systems

Alan Burns, Robert I. Davis, Iain Bate, 2015, 2015 27th Euromicro Conference on Real-Time Systems.

Scheduling slack time in fixed priority pre-emptive systems

Alan Burns, Robert I. Davis, Ken Tindell, 1993, 1993 Proceedings Real-Time Systems Symposium.

Real Time Scheduling Theory: A Historical Perspective

Alan Burns, Karl-Erik Årzén, Lui Sha, 2004, Real-Time Systems.

Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources

Nan Guan, Weichen Liu, Andy Wellings, 2021, IEEE Transactions on Computers.

A complete run-time overhead-aware schedulability analysis for MrsP under nested resources

Andy Wellings, Shuai Zhao, Alan Burns, 2020, J. Syst. Softw..

A review of priority assignment in real-time systems

Liliana Cucu-Grosjean, Robert I. Davis, Marko Bertogna, 2016, J. Syst. Archit..

Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms

Alan Burns, Sanjoy K. Baruah, Robert I. Davis, 2015, Real-Time Systems.

Fixed-priority scheduling of dual-criticality systems

Alan Burns, Sanjoy K. Baruah, A. Burns, 2013, RTNS '13.

Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling

Alan Burns, Sanjoy K. Baruah, Robert I. Davis, 2009, Real-Time Systems.

Spare Capacity Distribution Using Exact Response-Time Analysis

Robert I. Davis, Alan Burns, Michael González Harbour, 2009 .

Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005

Alan Burns, Andy J. Wellings, Fengxiang Zhang, 2009, Ada-Europe.

Robust priority assignment for messages on Controller Area Network (CAN)

Alan Burns, Robert I. Davis, A. Burns, 2009, Real-Time Systems.

Flexible hard real-time scheduling for deliberative AI systems

Alan Burns, Yanching Chu, A. Burns, 2008, Real-Time Systems.

Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks

Alan Burns, Zheng Shi, A. Burns, 2008, 2008 Real-Time Systems Symposium.

Response Time Upper Bounds for Fixed Priority Real-Time Systems

Alan Burns, Robert I. Davis, A. Burns, 2008, 2008 Real-Time Systems Symposium.

Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems

Alan Burns, Robert I. Davis, A. Zabos, 2008, IEEE Transactions on Computers.

Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching

Alan Burns, Zheng Shi, A. Burns, 2008, Second ACM/IEEE International Symposium on Networks-on-Chip (nocs 2008).

Sustainability in Real-time Scheduling

Alan Burns, Sanjoy K. Baruah, A. Burns, 2008, J. Comput. Sci. Eng..

Robust Priority Assignment for Fixed Priority Real-Time Systems

Alan Burns, Robert I. Davis, A. Burns, 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

Analysis of Hierarchical EDF Pre-emptive Scheduling

Alan Burns, Fengxiang Zhang, A. Burns, 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

Optimal (D-J)-monotonic priority assignment

Alan Burns, Areej Zuhily, A. Burns, 2007, Inf. Process. Lett..

Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised

Alan Burns, Robert I. Davis, Johan J. Lukkien, 2007, Real-Time Systems.

An engineering process for the verification of real-time systems

Alan Burns, Tse-Min Lin, A. Burns, 2007, Formal Aspects of Computing.

Sustainable Scheduling Analysis

Alan Burns, Sanjoy K. Baruah, A. Burns, 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

Hierarchical fixed priority pre-emptive scheduling

Alan Burns, Robert I. Davis, A. Burns, 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

Processing group parameters in the real-time specification for Java

Andy J. Wellings, M. S. Kim, A. Burns, 2003, JTRES '08.

A Probabilistic Framework for Schedulability Analysis

Alan Burns, Guillem Bernat, Ian Broster, 2003, EMSOFT.

An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems

Alan Burns, Iain Bate, A. Burns, 2003, Real-Time Systems.

Asynchronous event handling and real-time threads in the real-time specification for Java

Alan Burns, Andy J. Wellings, A. Burns, 2002, Proceedings. Eighth IEEE Real-Time and Embedded Technology and Applications Symposium.

On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods

Alan Burns, Neil C. Audsley, A. Burns, 1998, Inf. Process. Lett..

Schedulability analysis for mode changes in flexible real-time systems

Alan Burns, Paulo Pedro, A. Burns, 1998, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168).

Efficient Transient Overload Tests for Real-Time Systems

Alan Burns, Guillem Bernat, Albert Llamosí, 1997, Computer Performance Evaluation.

Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems

Alan Burns, Robert I. Davis, A. Burns, 1996, Inf. Process. Lett..

Analysis of hard real-time communications

Alan Burns, Andy J. Wellings, Ken Tindell, 1995, Real-Time Systems.

Engineering a hard real‐time system: From theory to practice

Alan Burns, Andy J. Wellings, A. Burns, 1995, Softw. Pract. Exp..

Hybrid algorithms for dynamic schedulability testing

Alan Burns, Robert I. Davis, Charlie McElhone, 1995, Proceedings Seventh Euromicro Workshop on Real-Time Systems.

Flexible scheduling for adaptable real-time systems

Alan Burns, Robert I. Davis, Sasikumar Punnekkat, 1995, Proceedings Real-Time Technology and Applications Symposium.

Effective Analysis for Engineering Real-Time Fixed Priority Schedulers

Alan Burns, Andy J. Wellings, Ken Tindell, 1995, IEEE Trans. Software Eng..

Keynote paper: A performance analysis of a hard real-time system

Andy Wellings, Alan Burns, C. H. Forsyth, 1995 .

Fixed priority pre-emptive scheduling: An historical perspective

Alan Burns, Andy J. Wellings, Robert I. Davis, 1995, Real-Time Systems.

Mechanisms for enhancing the flexibility and utility of hard real-time systems

Alan Burns, Robert I. Davis, Neil C. Audsley, 1994, 1994 Proceedings Real-Time Systems Symposium.

Fixed priority scheduling with deadlines prior to completion

Alan Burns, Andy J. Wellings, Ken Tindell, 1994, Proceedings Sixth Euromicro Workshop on Real-Time Systems.

STRESS: A simulator for hard real‐time systems

Alan Burns, Andy J. Wellings, Neil C. Audsley, 1994, Softw. Pract. Exp..

An extendible approach for analyzing fixed priority hard real-time tasks

Alan Burns, Andy J. Wellings, Ken Tindell, 1994, Real-Time Systems.

Pipelined processors and worst case execution times

Alan Burns, Mark Nicholson, N. Zhang, 1993, Real-Time Systems.

The End Of The Line For Static Cyclic Scheduling?

Alan Burns, Neil C. Audsley, Ken Tindell, 1993, Fifth Euromicro Workshop on Real-Time Systems.

The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation

Alan Burns, Andy J. Wellings, C. M. Bailey, 1993, Ada-Europe.

Mode changes in priority preemptively scheduled systems

Alan Burns, Andy J. Wellings, Ken Tindell, 1992, [1992] Proceedings Real-Time Systems Symposium.

Deadline Monotonic Scheduling Theory

Alan Burns, Andy Wellings, Neil Audsley, 1992 .

Timing Faults and Mixed Criticality Systems

Alan Burns, Sanjoy K. Baruah, A. Burns, 2011, Dependable and Historic Computing.

Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems

Alan Burns, Robert I. Davis, A. Burns, 2010, Real-Time Systems.

Quantifying the sub-optimality of uniprocessor fixed-priority scheduling

Alan Burns, Sanjoy Baruah, A. Burns, 2008 .

An Investigation into Server Parameter Selection for Hierarchical Fixed Priority Pre-emptive Systems

Robert I. Davis, Alan Burns, A. Burns, 2008 .

Real-Time Scheduling for Embedded Systems

Alan Burns, Lui Sha, Giorgio C. Buttazzo, 2005, Handbook of Networked and Embedded Control Systems.

Applying new sc to static priority scheduling ; heduling theory pre-emptive by

Audsley, K. Tindell, A. Burns, 2004 .

Real-Time Systems

A. Burns, A. Burns, 2003 .

Jorvik: A Framework for Effective Scheduling

Guillem Bernat, Alan Burns, G. Bernat, 2001 .

Integrating Unbounded Software Components into Hard Real-Time Systems

Alan Burns, Robert I. Davis, Andy Wellings, 1995 .

GUARANTEED MESSAGE LATENCIES FOR DISTRIBUTED SAFETY-CRITICAL HARD REAL-TIME CONTROL NETWORKS1

Alan Burns, Ken Tindell, K. Tindell, 1994 .

INCORPORATING UNBOUNDED ALGORITHMS INTO PREDICTABLE REAL-TIME SYSTEMS

Alan Burns, Andy Wellings, Neil Audsley, 1993 .

DEADLINE MONOTONIC SCHEDULING THEORY††This work is supported, in part, by the Information Engineering Advanced Technology Programme (UK), Grant GR/F 35920/4/1/1214; and the European Space Agency (ESTEC Contract 9198/90/NL/SF).

A. Burns, Andy Wellings, Neil Audsley, 1992 .

Guaranteeing Hard Real Time End-to-End Communications Deadlines

Alan Burns, Ken Tindell, Andy Wellings, 1991 .

Cyclic Executives, Multi-core Platforms and Mixed Criticality Applications

Alan Burns, Sanjoy K. Baruah, Tom Fleming, 2015, 2015 27th Euromicro Conference on Real-Time Systems.

Cyclic Executives, Multi-Core Platforms and Mixed

Alan Burns, Sanjoy Baruah, Tom Fleming, 2015 .

Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme

Alan Burns, Robert I. Davis, P. Wang, 2011, Real-Time Systems.

Partitioned EDF Scheduling for Multiprocessors using a C=D Scheme

Robert I. Davis, Alan Burns, Ping-Chuan Wang, 2010 .

A semi-partitioned model for mixed criticality systems

Alan Burns, Hao Xu, A. Burns, 2019, J. Syst. Softw..

Deriving Specifications of Control Programs for Cyber Physical Systems

Cliff B. Jones, Alan Burns, Ian J. Hayes, 2019, Comput. J..

An effective schedulability analysis for fault-tolerant hard real-time systems

Alan Burns, George Marconi de Araujo Lima, A. Burns, 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

Programming Execution-Time Servers in Ada 2005

Alan Burns, Andy J. Wellings, A. Burns, 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

FSF: A Real-Time Scheduling Architecture Framework

Alan Burns, Giuseppe Lipari, Guillem Bernat, 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

A Round Robin Scheduling Policy for Ada

Alan Burns, Andy J. Wellings, Michael González Harbour, 2003, Ada-Europe.

New results on fixed priority aperiodic servers

Alan Burns, Guillem Bernat, G. Bernat, 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

A Rely-Guarantee Specification of Mixed-Criticality Scheduling

A. Burns, Cliff B. Jones, 2020, ArXiv.

Comparing Degrees of Non-Determinism in Expression Evaluation

Alan Burns, Cliff B. Jones, Brijesh Dongol, 2013, Comput. J..

Comparing Models of Nondeterministic Expression Evaluation

Cliff B. Jones, Brijesh Dongol, Alan Burns, 2011 .

Combining static worst-case timing analysis and program proof

Alan Burns, Andy J. Wellings, Roderick Chapman, 1996, Real-Time Systems.

Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation

Alan Burns, Andy J. Wellings, A. Burns, 1993, Fifth Euromicro Workshop on Real-Time Systems.

ALLOCATING AND SCHEDULING HARD REAL-TIME TASKS ON A POINT-TO-POINT DISTRIBUTED SYSTEM

Ken Tindell, Alan Burns, Mark Nicholson, 2007 .

Programming Languages for Real-Time Applications Executing on Parallel Hardware

Alan Burns, A. Burns, 2011, Ada-Europe.

FPZL Schedulability Analysis

Alan Burns, Robert I. Davis, A. Burns, 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme

Robert I. Davis, A. Burns, Fengxiang Zhang, 2011, Real-Time Systems.

Development Automation of Real-Time Java

Andy Wellings, Shuai Zhao, Alan Burns, 2020, ACM Trans. Embed. Comput. Syst..

From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper)

Alan Burns, Andy J. Wellings, Wanli Chang, 2019, LCTES.

Real-Time Systems and Programming Languages

Alan Burns, Andy Wellings, A. Burns, 2009 .

Portable worst-case execution time analysis using Java Byte Code

Alan Burns, Andy J. Wellings, Guillem Bernat, 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

Exact scheduling analysis of non-accumulatively monotonic multiframe tasks

Alan Burns, Areej Zuhily, A. Burns, 2009, Real-Time Systems.

A framework for scheduling in safety-critical embedded control systems

Alan Burns, Iain Bate, A. Burns, 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

An approach to task attribute assignment for uniprocessor systems

Alan Burns, Iain Bate, A. Burns, 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

Evaluating P-NET Message's Response Time with Fixed Priority Queuing at Application Process Level

Eduardo Tovar, Alan Burns, Francisco Vasques, 1998, RTSS 1998.

Integrating optional software components into hard real-time systems

Alan Burns, Andy J. Wellings, Robert I. Davis, 1996, Softw. Eng. J..

Dynamic value-density for scheduling real-time systems

Alan Burns, Saud Ahmed Aldarmi, A. Burns, 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

Real-time systems and their programming languages

Alan Burns, Andy J. Wellings, A. Burns, 1986, International computer science series.

Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition

Alan Burns, Andy Wellings, A. Burns, 2009, International computer science series.

Scheduling hard real-time systems: a review

A. Burns, A. Burns, A. Burns, 1991, Softw. Eng. J..

Multi-core Cyclic Executives for Safety-Critical Systems

Alan Burns, Sanjoy K. Baruah, Calvin Deutschbein, 2017, SETTA.

Realism in Statistical Analysis of Worst Case Execution Times

Alan Burns, David Griffin, A. Burns, 2010, WCET.

The Design and Analysis of a Close-In Weapons System Simulator using HRT-HOOD

Alan Burns, Andy Wellings, Peter Cornwell, 1995 .

Schedulability Analysis for Real-Time Systems with EDF Scheduling

Alan Burns, Fengxiang Zhang, A. Burns, 2009, IEEE Transactions on Computers.

Predicting computation time for advanced processor architectures

Alan Burns, Stewart Edgar, A. Burns, 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

Timed Circus: Timed CSP with the Miracle

Alan Burns, Jim Woodcock, Kun Wei, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

A Timed Model of Circus with the Reactive Design Miracle

Alan Burns, Jim Woodcock, Kun Wei, 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

Modelling and Implementing Complex Systems with Timebands

Alan Burns, Jim Woodcock, Kun Wei, 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement.

Modelling and Implementing Complex Systems with Timebands ( Invited Paper )

A. Burns, J. Woodcock, M. Oliveira, 2010 .

Guest Editorial: A Review of Worst-Case Execution-Time Analysis

Alan Burns, Peter P. Puschner, P. Puschner, 2000, Real-Time Systems.

Real-time analysis of priority-preemptive NoCs with arbitrary buffer sizes and router delays

A. Burns, R. Ernst, L. Indrusiak, 2018, Real-Time Systems.

Schedulability Analysis for Real Time On-Chip Communication with Wormhole Switching

Alan Burns, Leandro Soares Indrusiak, Zheng Shi, 2010, Int. J. Embed. Real Time Commun. Syst..

A Timely Distributed Consensus Solution in a Crash/Omission-Fault Environment

Alan Burns, George M. De A. Lima, A. Burns, 2001 .

A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing

Alan Burns, Michael González Harbour, Mario Aldea Rivas, 2015, IEEE Transactions on Computers.

Generating feasible cyclic schedules

Alan Burns, M. F. Richardson, N. Hayes, 1995 .

The HSJ debate. GPs want choose and book--but is the system workable.

A. Burns, T. Coffey, 2005, The Health service journal.

On the Meaning of Safety and Security

A. Burns, J. Dobson, J. Mcdermid, 1992, Comput. J..

Expressing survivability considerations in mixed-criticality scheduling theory

Alan Burns, Sanjoy Baruah, A. Burns, 2020, J. Syst. Archit..

Semi-Clairvoyance in Mixed-Criticality Scheduling

Kunal Agrawal, Alan Burns, Sanjoy Baruah, 2019, 2019 IEEE Real-Time Systems Symposium (RTSS).

Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling

Alan Burns, Sanjoy K. Baruah, Fengxiang Zhang, 2011, Real-Time Systems.

Sensitivity Analysis of the Minimum Task Period for Arbitrary Deadline Real-Time Systems

Alan Burns, Sanjoy K. Baruah, Fengxiang Zhang, 2010, 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing.

Dividing point value selections for Improved Quick Processor-demand Analysis

Alan Burns, Fengxiang Zhang, A. Burns, 2010, 2010 2nd International Conference on Software Technology and Engineering.

Notice of Retraction: Sensitivity analysis of relative deadline for EDF scheduled real-time systems

Sanjoy Baruah, Alan Burns, Fengxiang Zhang, 2010 .

Notice of Retraction Sensitivity analysis of task period for EDF scheduled arbitrary deadline real-time systems

Sanjoy Baruah, Alan Burns, Fengxiang Zhang, 2010 .

Task parameter computations for constraint deadline real-time systems with EDF scheduling

Sanjoy Baruah, Alan Burns, Fengxiang Zhang, 2010, 2010 International Conference On Computer Design and Applications.

Quantifying the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling for Sporadic Tasksets with Arbitrary Deadlines

Robert I. Davis, Alan Burns, Sanjoy Baruah, 2009 .

Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems

Alan Burns, Fengxiang Zhang, A. Burns, 2009, 2009 21st Euromicro Conference on Real-Time Systems.

Statistical analysis of WCET for scheduling

Alan Burns, Stewart Edgar, A. Burns, 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

Sporadic tasks in hard real-time systems

A. Burns, A. J. Wellings, R. K. Allen, 1995, ALET.

Real-time safety-critical systems: analysis and synthesis

A. Burns, J.A. McDermid, A. Burns, 1994, Softw. Eng. J..

Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies

Alan Burns, Robert I. Davis, Iain Bate, 2018, ECRTS.

Real-Time Systems

A. Burns, 2003 .

Static worst-case timing analysis of Ada

Alan Burns, Andy Wellings, Roderick Chapman, 1994, ALET.

Designing Hard Real-Time Systems

Alan Burns, Andy J. Wellings, A. Burns, 1992, Ada-Europe.

Concurrency in ADA

Alan Burns, Andy Wellings, A. Burns, 1995 .

Real-Time Systems and Programming Languages

A. Burns, A. Wellings, 2009 .

Comparing real-time communication under electromagnetic interference

Alan Burns, Guillermo Rodríguez-Navas, Ian Broster, 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

An analysable bus-guardian for event-triggered communication

Alan Burns, Ian Broster, A. Burns, 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

Timely use of the CAN protocol in critical hard real-time systems with faults

Alan Burns, Ian Broster, A. Burns, 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

Adding Temporal Annotations and Associated Verification to Ravenscar Profile

Alan Burns, Tse-Min Lin, A. Burns, 2003, Ada-Europe.

Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems

Alan Burns, Andy J. Wellings, Peter Barrett, 2000, IEEE Trans. Computers.

HARTEX—a safe real‐time kernel for distributed computer control systems

Alan Burns, C. K. Angelov, I. E. Ivanov, 2002, Softw. Pract. Exp..

The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models

Alan Burns, Andy J. Wellings, Andrew D. Hutcheon, 1993, Ada-Europe.

Integrating Best Effort and Fixed Priority Scheduling

Alan Burns, Robert I. Davis, Neil Audsley, 1994, RTSS 1994.

How to verify concurrent Ada programs: the application of model checking

A. Burns, A. J. Wellings, A. Burns, 1999, IRTAW '99.

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java

Alan Burns, Andy J. Wellings, Osmar Marchi dos Santos, 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

Time-constrained sorting-a comparison of different algorithms

Alan Burns, Peter P. Puschner, P. Puschner, 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

Integrating OOP and tasking: the missing requeue

A. Burns, A. Wellings, 2007, IRTAW '07.

Object-oriented programming with protected types in Ada 95

Alan Burns, Andy Wellings, S. E. Mitchell, 1995, Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems.

Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines

Robert I. Davis, Alan Burns, A. Burns, 2017 .

Message response time analysis for ideal controller area network (CAN) refuted

Robert I. Davis, Reinder J. Bril, Alan Burns, 2006 .

SCHEDULING HARD REAL-TIME MULTI-MEDIA DISK TRAFFIC

Alan Burns, Ken Tindell, K. Tindell, 1993 .

Real-Time Java

Alan Burns, Andy J. Wellings, A. Burns, 2007, Handbook of Real-Time and Embedded Systems.

Loop-free asynchronous data sharing in multiprocessor real-time systems based on timing properties

Alan Burns, Jing Chen, A. Burns, 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).