Alan Burns

According to our database, Alan Burns authored at least 321 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Extending rely-guarantee thinking to handle real-time scheduling.

Cliff B. Jones, Alan Burns

Formal Methods Syst. Des., June, 2024

Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification.

Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert I. Davis

Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

2023

Optimal Synthesis of Robust IDK Classifier Cascades.

Sanjoy K. Baruah, Alan Burns, Robert Ian Davis

ACM Trans. Embed. Comput. Syst., October, 2023

Real-Time Guarantees in Routerless Networks-on-Chip.

Leandro Soares Indrusiak, Alan Burns

ACM Trans. Embed. Comput. Syst., September, 2023

Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification.

Tarek F. Abdelzaher, Kunal Agrawal, Sanjoy K. Baruah, Alan Burns, Robert I. Davis, Zhishan Guo, Yigong Hu

Real Time Syst., September, 2023

Optimally ordering IDK classifiers subject to deadlines.

Sanjoy K. Baruah, Alan Burns, Robert I. Davis, Yue Wu

Real Time Syst., March, 2023

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

Zhe Jiang, Xiaotian Dai, Alan Burns, Neil C. Audsley, Zonghua Gu, Ian Gray

IEEE Trans. Computers, 2023

Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty.

Tarek F. Abdelzaher, Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert Ian Davis, Yigong Hu

Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

Multi-Model Specifications and their Application to Classification Systems.

Alan Burns, Sanjoy K. Baruah

Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

Precise Response Time Analysis for Multiple DAG Tasks with Intra-task Priority Assignment.

Nan Chen, Shuai Zhao, Ian Gray, Alan Burns, Siyuan Ji, Wanli Chang

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

2022

Compensating Adaptive Mixed Criticality Scheduling.

Robert Ian Davis, Alan Burns, Iain Bate

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

Functional Uncertainty in Real-Time Safety-Critical Systems.

Sanjoy K. Baruah, Alan Burns, David Griffin

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

On the Trade-offs between Generalization and Specialization in Real-Time Systems.

Georg von der Brüggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, Jan Reineke

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

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

Nan Chen, Shuai Zhao, Ian Gray, Alan Burns, Siyuan Ji, Wanli Chang

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling.

Iain Bate, Alan Burns, Robert I. Davis

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems.

Alan Burns, Cliff B. Jones

Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

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

Seyed Amir Tafrishi, Xiaotian Dai, Yasuhisa Hirata, Alan Burns

Proceedings of the American Control Conference, 2022

2021

Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources.

Shuai Zhao, Wanli Chang, Ran Wei, Weichen Liu, Nan Guan, Alan Burns, Andy J. Wellings

IEEE Trans. Computers, 2021

Foreword.

Alan Burns, Steve Goddard

Leibniz Trans. Embed. Syst., 2021

Optimal Synthesis of IDK-Cascades.

Sanjoy K. Baruah, Alan Burns, Yue Wu

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

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

Xiaotian Dai, Shuai Zhao, Iain Bate, Alan Burns, Xing Guo, Wanli Chang

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

2020

Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis.

Wanli Chang, Ran Wei, Shuai Zhao, Andy J. Wellings, Jim Woodcock, Alan Burns

ACM Trans. Embed. Comput. Syst., 2020

The AirTight Protocol for Mixed Criticality Wireless CPS.

James Harbin, Alan Burns, Robert I. Davis, Leandro Soares Indrusiak, Iain Bate, David Griffin

ACM Trans. Cyber Phys. Syst., 2020

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

Shuai Zhao, Jorge Garrido, Ran Wei, Alan Burns, Andy J. Wellings, Juan Antonio de la Puente

J. Syst. Softw., 2020

Build real-time communication for hybrid dual-OS system.

Pan Dong, Zhe Jiang, Alan Burns, Yan Ding, Jun Ma

J. Syst. Archit., 2020

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

Xiaotian Dai, Alan Burns

J. Syst. Archit., 2020

Expressing survivability considerations in mixed-criticality scheduling theory.

Sanjoy K. Baruah, Alan Burns

J. Syst. Archit., 2020

A Rely-Guarantee Specification of Mixed-Criticality Scheduling.

Cliff B. Jones, Alan Burns

CoRR, 2020

Deriving Specifications of Control Programs for Cyber Physical Systems.

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

Comput. J., 2020

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

Alan Burns, Robert I. Davis

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

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

Shuai Zhao, Xiaotian Dai, Iain Bate, Alan Burns, Wanli Chang

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs.

Alan Burns, Leandro Soares Indrusiak, N. Smirnov, J. Harrison

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems.

Kunal Agrawal, Sanjoy K. Baruah, Alan Burns

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

Minimizing Execution Duration in the Presence of Learning-Enabled Components.

Kunal Agrawal, Alan Burns, Abhishek Singh, Sanjoy K. Baruah

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

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

Xiaotian Dai, Wanli Chang, Shuai Zhao, Alan Burns

ACM Trans. Embed. Comput. Syst., 2019

Multi-core cyclic executives for safety-critical systems.

Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah

Sci. Comput. Program., 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

Real Time Syst., 2019

A semi-partitioned model for mixed criticality systems.

Hao Xu, Alan Burns

J. Syst. Softw., 2019

Work-in-Progress: Real-Time RPC for Hybrid Dual-OS System.

Pan Dong, Zhe Jiang, Alan Burns, Yan Ding, Jun Ma

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Semi-Clairvoyance in Mixed-Criticality Scheduling.

Kunal Agrawal, Sanjoy K. Baruah, Alan Burns

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Validating high level simulation results against experimental data and low level simulation: a case study.

David Griffin, James Harbin, Alan Burns, Iain Bate, Robert I. Davis, Leandro Soares Indrusiak

Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

Fault-tolerant transmission of messages of differing criticalities across a shared communication medium.

Kunal Agrawal, Sanjoy K. Baruah, Alan Burns

Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

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

Wanli Chang, Shuai Zhao, Ran Wei, Andy J. Wellings, Alan Burns

Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory.

Sanjoy K. Baruah, Alan Burns

Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

2018

Robust Mixed-Criticality Systems.

Alan Burns, Robert I. Davis, Sanjoy K. Baruah, Iain Bate

IEEE Trans. Computers, 2018

AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems (Artifact).

Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy K. Baruah, Alan Burns

Dagstuhl Artifacts Ser., 2018

A Survey of Research into Mixed Criticality Systems.

Alan Burns, Robert I. Davis

ACM Comput. Surv., 2018

TZDKS: A New TrustZone-Based Dual-Criticality System with Balanced Performance.

Pan Dong, Alan Burns, Zhe Jiang, Xiangke Liao

Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

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

Alan Burns, James Harbin, Leandro Soares Indrusiak, Iain Bate, Robert I. Davis, David Griffin

Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Mixed Criticality Systems with Varying Context Switch Costs.

Robert I. Davis, Sebastian Altmeyer, Alan Burns

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems.

Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy K. Baruah, Alan Burns

Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

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

Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, Nigel Tracey

Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs.

Leandro Soares Indrusiak, Alan Burns, Borislav Nikolic

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

An Enhanced Bailout Protocol for Mixed Criticality Embedded Software.

Iain Bate, Alan Burns, Robert I. Davis

IEEE Trans. Software Eng., 2017

Corrections to and Discussion of "Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks".

Tom Fleming, Huang-Ming Huang, Alan Burns, Christopher D. Gill, Sanjoy K. Baruah, Chenyang Lu

ACM Trans. Embed. Comput. Syst., 2017

New schedulability analysis for MrsP.

Shuai Zhao, Jorge Garrido, Alan Burns, Andy J. Wellings

Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Supporting Nested Resources in MrsP.

Jorge Garrido, Shuai Zhao, Alan Burns, Andy J. Wellings

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems.

Xiaotian Dai, Alan Burns

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework.

Alan Burns, Sanjoy K. Baruah

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016

A review of priority assignment in real-time systems.

Robert I. Davis, Liliana Cucu-Grosjean, Marko Bertogna, Alan Burns

J. Syst. Archit., 2016

Analysis of buffering effects on hard real-time priority-preemptive wormhole networks.

Leandro Soares Indrusiak, Alan Burns, Borislav Nikolic

CoRR, 2016

Improving the Schedulability of Mixed Criticality Cyclic Executives via Limited Task Splitting.

Tom Fleming, Sanjoy K. Baruah, Alan Burns

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

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

Sanjoy K. Baruah, Alan Burns, Zhishan Guo

Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems.

Alan Burns

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015

Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Preemption.

Robert I. Davis, Alan Burns, José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna

ACM Trans. Embed. Comput. Syst., 2015

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

Alan Burns, Marina Gutiérrez, Mario Aldea Rivas, Michael González Harbour

IEEE Trans. Computers, 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, Alan Burns, Sanjoy K. Baruah, Thomas Rothvoß, Laurent George, Oliver Gettings

Real Time Syst., 2015

Deriving period restrictions from a given utilization bound under RMS.

Dirk Müller, Alan Burns

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Reducing the Implementation Overheads of IPCP and DFP.

H. Almatary, Neil C. Audsley, Alan Burns

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Semi-partitioned model for dual-core mixed criticality system.

Hao Xu, Alan Burns

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

On priority assignment for controller area network when some message identifiers are fixed.

Robert I. Davis, Alan Burns, Victor Pollex, Frank Slomka

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Priority-Based Functional Reactive Programming (P-FRP) Using Deferred Abort.

Hing Choi Wong, Alan Burns

Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015

Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole Networks-on-Chip.

Leandro Soares Indrusiak, James Harbin, Alan Burns

Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

Cyclic Executives, Multi-core Platforms and Mixed Criticality Applications.

Alan Burns, Tom Fleming, Sanjoy K. Baruah

Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

A Bailout Protocol for Mixed Criticality Systems.

Iain Bate, Alan Burns, Robert I. Davis

Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

2014

Foreword.

Alan Burns

Leibniz Trans. Embed. Syst., 2014

A Wormhole NoC Protocol for Mixed Criticality Systems.

Alan Burns, James Harbin, Leandro Soares Indrusiak

Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Adaptive Mixed Criticality Scheduling with Deferred Preemption.

Alan Burns, Robert I. Davis

Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Schedulability Analysis for the Abort-and-Restart (AR) Model.

Hing Choi Wong, Alan Burns

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression.

David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches.

David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Deadline-Aware Programming and Scheduling.

Alan Burns, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 2014

2013

Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing.

Fengxiang Zhang, Alan Burns

ACM Trans. Embed. Comput. Syst., 2013

Guest editorial: multiprocessor scheduling.

Alan Burns, Laurent George

Real Time Syst., 2013

Modelling temporal behaviour in complex systems with Timebands.

Kun Wei, Jim Woodcock, Alan Burns

Formal Methods Syst. Des., 2013

Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages.

Shiyao Lin, Andy J. Wellings, Alan Burns

Concurr. Comput. Pract. Exp., 2013

Comparing Degrees of Non-Determinism in Expression Evaluation.

Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones

Comput. J., 2013

Fixed-priority scheduling of dual-criticality systems.

Sanjoy K. Baruah, Alan Burns

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Global fixed priority scheduling with deferred pre-emption.

Robert I. Davis, Alan Burns, José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna

Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

Predictability and Mixed Criticality.

Alan Burns

Proceedings of the PECCS 2013, 2013

A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP.

Alan Burns, Andy J. Wellings

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

Mixed Criticality on Controller Area Network.

Alan Burns, Robert I. Davis

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012

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

Alan Burns, Robert I. Davis, P. Wang, Fengxiang Zhang

Real Time Syst., 2012

Mixed critical system design and analysis.

Rolf Ernst, Alan Burns, Lothar Thiele, Jimmy Le Rhun

Proceedings of the 12th International Conference on Embedded Software, 2012

Analytical approaches for performance evaluation of networks-on-chip.

Abbas Eslami Kiasari, Axel Jantsch, Marco Bekooij, Alan Burns, Zhonghai Lu

Proceedings of the 15th International Conference on Compilers, 2012

Implementing and Verifying EDF Preemption-Level Resource Control.

Mark Louis Fairbairn, Alan Burns

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

Modelling Temporal Behaviour in Complex Systems with Timebands.

Kun Wei, Jim Woodcock, Alan Burns

Proceedings of the Conquering Complexity, 2012

2011

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

Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah

Real Time Syst., 2011

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

Robert I. Davis, Alan Burns

Real Time Syst., 2011

A survey of hard real-time scheduling for multiprocessor systems.

Robert I. Davis, Alan Burns

ACM Comput. Surv., 2011

Response-Time Analysis for Mixed Criticality Systems.

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

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

FPZL Schedulability Analysis.

Robert I. Davis, Alan Burns

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Resource sharing in RTSJ and SCJ systems.

Andy J. Wellings, Shiyao Lin, Alan Burns

Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Timed Circus: Timed CSP with the Miracle.

Kun Wei, Jim Woodcock, Alan Burns

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Timing Faults and Mixed Criticality Systems.

Alan Burns, Sanjoy K. Baruah

Proceedings of the Dependable and Historic Computing, 2011

Programming Languages for Real-Time Applications Executing on Parallel Hardware.

Alan Burns

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

Implementing Mixed Criticality Systems in Ada.

Sanjoy K. Baruah, Alan Burns

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010

Schedulability analysis and task mapping for real-time on-chip communication.

Zheng Shi, Alan Burns

Real Time Syst., 2010

A timeband framework for modelling real-time systems.

Alan Burns, Ian J. Hayes

Real Time Syst., 2010

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

Zheng Shi, Alan Burns, Leandro Soares Indrusiak

Int. J. Embed. Real Time Commun. Syst., 2010

Realism in Statistical Analysis of Worst Case Execution Times.

David Griffin, Alan Burns

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Modelling and Implementing Complex Systems with Timebands.

Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

A Timed Model of Circus with the Reactive Design Miracle.

Kun Wei, Jim Woodcock, Alan Burns

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems.

Alan Burns, Bev Littlewood

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems.

Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

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

Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005.

Andy J. Wellings, Alan Burns

Proceedings of the Reliable Software Technologiey, 2010

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada.

Alan Burns, Andy J. Wellings

Proceedings of the Reliable Software Technologiey, 2010

2009

Schedulability Analysis for Real-Time Systems with EDF Scheduling.

Fengxiang Zhang, Alan Burns

IEEE Trans. Computers, 2009

Exact scheduling analysis of non-accumulatively monotonic multiframe tasks.

Areej Zuhily, Alan Burns

Real Time Syst., 2009

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

Robert I. Davis, Thomas Rothvoß, Sanjoy K. Baruah, Alan Burns

Real Time Syst., 2009

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

Robert I. Davis, Alan Burns

Real Time Syst., 2009

Guest editorial: Special issue on ECRTS 2008.

Alan Burns

Real Time Syst., 2009

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

Robert I. Davis, Alan Burns

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

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

Fengxiang Zhang, Alan Burns

Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks.

Zheng Shi, Alan Burns

Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

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

Alan Burns, Andy J. Wellings, Fengxiang Zhang

Proceedings of the Reliable Software Technologies, 2009

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

Alan Burns, Andrew J. Wellings

International computer science series, Addison-Wesley, ISBN: 978-0-321-41745-9, 2009

2008

Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems.

Robert I. Davis, A. Zabos, Alan Burns

IEEE Trans. Computers, 2008

Flexible hard real-time scheduling for deliberative AI systems.

Yanching Chu, Alan Burns

Real Time Syst., 2008

Sustainability in Real-time Scheduling.

Alan Burns, Sanjoy K. Baruah

J. Comput. Sci. Eng., 2008

On the meaning of modes in uniprocessor real-time systems.

Paulo Martins, Alan Burns

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

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

Zheng Shi, Alan Burns

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Response Time Upper Bounds for Fixed Priority Real-Time Systems.

Robert I. Davis, Alan Burns

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

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

Zheng Shi, Alan Burns

Proceedings of the Second International Symposium on Networks-on-Chips, 2008

Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks.

Areej Zuhily, Alan Burns

Proceedings of the Theoretical Aspects of Computing, 2008

Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines.

Areej Zuhily, Alan Burns

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007

Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005.

Alan Burns, Andy J. Wellings

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Real-Time Java.

Alan Burns, Andy J. Wellings

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

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

Robert I. Davis, Alan Burns, Reinder J. Bril, Johan J. Lukkien

Real Time Syst., 2007

Optimal (D-J)-monotonic priority assignment.

Areej Zuhily, Alan Burns

Inf. Process. Lett., 2007

An engineering process for the verification of real-time systems.

Alan Burns, Tse-Min Lin

Formal Aspects Comput., 2007

Analysis of Hierarchical EDF Pre-emptive Scheduling.

Fengxiang Zhang, Alan Burns

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Robust Priority Assignment for Fixed Priority Real-Time Systems.

Robert I. Davis, Alan Burns

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

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

Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Correcting the EDF protocol in Ada 2005.

Alexandros Zerzelidis, Alan Burns, Andy J. Wellings

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

A framework for real-time utilities for Ada 2005.

Andy J. Wellings, Alan Burns

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Integrating OOP and tasking: the missing requeue.

Andy J. Wellings, Alan Burns

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Beyond Ada 2005: allocating tasks to processors in SMP systems.

Andy J. Wellings, Alan Burns

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Programming execution-time servers in Ada 2005.

Alan Burns, Andy J. Wellings

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Introduction.

Alan Burns, Andy J. Wellings

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

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

Yanching Chu, Alan Burns

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

Real-Time Utilities for Ada 2005.

Andy J. Wellings, Alan Burns

Proceedings of the Reliable Software Technologies, 2007

Delivering Real-Time Behaviour.

Alan Burns, Andy J. Wellings

Proceedings of the Domain Modeling and the Duration Calculus, 2007

Concurrent and real-time programming in Ada.

Alan Burns, Andy J. Wellings

Cambridge University Press, 2007

2006

Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems.

Robert I. Davis, Alan Burns

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Sustainable Scheduling Analysis.

Sanjoy K. Baruah, Alan Burns

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

FSF: A Real-Time Scheduling Architecture Framework.

Mario Aldea Rivas, Guillem Bernat, Ian Broster, Alan Burns, Radu Dobrin, José M. Drake, Gerhard Fohler, Paolo Gai, Michael González Harbour, Giacomo Guidi, J. Javier Gutiérrez, Tomas Lennvall, Giuseppe Lipari, José María Martínez, Julio L. Medina, José C. Palencia Gutiérrez, Michael Trimarchi

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

2005

Editorial.

Alan Burns, Alberto L. Sangiovanni-Vincentelli

ACM Trans. Embed. Comput. Syst., 2005

Timing Analysis of Real-Time Communication Under Electromagnetic Interference.

Ian Broster, Alan Burns, Guillermo Rodríguez-Navas

Real Time Syst., 2005

Probabilistic timing analysis: An approach using copulas.

Guillem Bernat, Alan Burns, Martin Newby

J. Embed. Comput., 2005

Hierarchical Fixed Priority Pre-Emptive Scheduling.

Robert I. Davis, Alan Burns

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults.

George Marconi de Araujo Lima, Alan Burns

Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

Real-Time Scheduling for Embedded Systems.

Marco Caccamo, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Lui Sha

Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004

Hard Real-Time Communication with the Timed Token Protocol: Current State and Challenging Problems.

Sijing Zhang, Alan Burns, Jing Chen, E. Stewart Lee

Real Time Syst., 2004

Real Time Scheduling Theory: A Historical Perspective.

Lui Sha, Tarek F. Abdelzaher, Karl-Erik Årzén, Anton Cervin, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Marco Caccamo, John P. Lehoczky, Aloysius K. Mok

Real Time Syst., 2004

Rewriting History to Exploit Gain Time.

Guillem Bernat, Ian Broster, Alan Burns

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Comparing Real-Time Communication Under Electromagnetic Interference.

Ian Broster, Alan Burns, Guillermo Rodríguez-Navas

Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

Dynamic Ceiling Priorities: A Proposal for Ada0Y.

Jorge Real, Alan Burns, Javier Miranda, Edmond Schonberg, Alfons Crespo

Proceedings of the Reliable Software Technologies, 2004

Supporting Deadlines and EDF Scheduling in Ada.

Alan Burns, Andy J. Wellings, S. Tucker Taft

Proceedings of the Reliable Software Technologies, 2004

2003

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

George Marconi de Araujo Lima, Alan Burns

IEEE Trans. Computers, 2003

The Valid Use of Utility in Adaptive Real-Time Systems.

Divya Prasad, Alan Burns, Martin C. Atkins

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

Real Time Syst., 2003

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

Iain Bate, Alan Burns

Real Time Syst., 2003

A Consensus Protocol for CAN-Based Systems.

George Marconi de Araujo Lima, Alan Burns

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

An Analysable Bus-Guardian for Event-Triggered Communication.

Ian Broster, Alan Burns

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Processing Group Parameters in the Real-Time Specification for Java.

Alan Burns, Andy J. Wellings

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Report of session: flexible scheduling in Ada.

Alan Burns, Andy J. Wellings, Tullio Vardanega

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Task attribute-based scheduling: extending Ada's support for scheduling.

Alan Burns, Andy J. Wellings

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Report of session: generating new AIs.

Alan Burns, Tullio Vardanega

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

A Probabilistic Framework for Schedulability Analysis.

Alan Burns, Guillem Bernat, Ian Broster

Proceedings of the Embedded Software, Third International Conference, 2003

Adding Temporal Annotations and Associated Verification to Ravenscar Profile.

Alan Burns, Tse-Min Lin

Proceedings of the Reliable Software Technologies, 2003

A Round Robin Scheduling Policy for Ada.

Alan Burns, Michael González Harbour, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 2003

2002

Cycle-Time Properties of the Timed Token Medium Access Control Protocol.

Sijing Zhang, Alan Burns, Tee-Hiang Cheng

IEEE Trans. Computers, 2002

HARTEX - a safe real-time kernel for distributed computer control systems.

C. K. Angelov, I. E. Ivanov, Alan Burns

Softw. Pract. Exp., 2002

Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol.

Sijing Zhang, Alan Burns, Ahmed Mehaoua, E. Stewart Lee, Hongji Yang

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

Real Time Syst., 2002

Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling.

Guillem Bernat, Alan Burns

Real Time Syst., 2002

Writing Temporally Predictable Code.

Peter P. Puschner, Alan Burns

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Probabilistic Analysis of CAN with Faults.

Ian Broster, Alan Burns, Guillermo Rodríguez-Navas

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java.

Andy J. Wellings, Alan Burns

Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

Protected ceiling changes.

Jorge Real, Alfons Crespo, Andy J. Wellings, Alan Burns

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Accessing delay queues.

Alan Burns, Andy J. Wellings

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Session summary: future of the Ada language and language changes such as the Ravenscar profile.

Alan Burns, Ben Brosgol

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Weakly Hard Real-time Constraints on Controller Area Network.

Ian Broster, Guillem Bernat, Alan Burns

Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

2001

Weakly Hard Real-Time Systems.

Guillem Bernat, Alan Burns, Albert Llamosí

IEEE Trans. Computers, 2001

Analysis of Checkpointing for Real-Time Systems.

Sasikumar Punnekkat, Alan Burns, Robert I. Davis

Real Time Syst., 2001

Extreme Interleavings.

Mordechai Ben-Ari, Alan Burns

IEEE Distributed Syst. Online, 2001

Modelling and verification of an atomic action protocol implemented in Ada.

Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev

Comput. Syst. Sci. Eng., 2001

Determining the Worst-case Synchronous Message Response Time in FDDI Networks.

Sijing Zhang, E. Stewart Lee, Alan Burns

Comput. J., 2001

Statistical Analysis of WCET for Scheduling.

Stewart Edgar, Alan Burns

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems.

George Marconi de Araujo Lima, Alan Burns

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with Faults.

Ian Broster, Alan Burns

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Three Obstacles to Flexible Scheduling.

Guillem Bernat, Alan Burns

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Defining New Non-preemptive Dispatching and Locking Policies for Ada.

Alan Burns

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

Implementing a Flexible Scheduler in Ada.

Guillem Bernat, Alan Burns

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000

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

Stefan Poledna, Alan Burns, Andy J. Wellings, Peter Barrett

IEEE Trans. Computers, 2000

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

Peter P. Puschner, Alan Burns

Real Time Syst., 2000

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

Divya Prasad, Alan Burns

Robotica, 2000

Scheduling optional computations for adaptive real-time systems.

Charlie McElhone, Alan Burns

J. Syst. Archit., 2000

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

Alan Burns, Divya Prasad, Andrea Bondavalli, Felicita Di Giandomenico, Krithi Ramamritham, John A. Stankovic, Lorenzo Strigini

J. Syst. Archit., 2000

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

Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Non-preemptive dispatching and locking policies.

Alan Burns

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Predicting computation time for advanced processor architectures.

Alan Burns, Stewart Edgar

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

Portable worst-case execution time analysis using Java Byte Code.

Guillem Bernat, Alan Burns, Andy J. Wellings

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999

Editorial real-time systems - multidisciplinary engineering [Editorial].

I. J. Bate, Alan Burns

IEE Proc. Softw., 1999

New Results on Fixed Priority Aperiodic Servers.

Guillem Bernat, Alan Burns

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties.

Jing Chen, Alan Burns

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

A Framework for Scheduling in Safety-Critical Embedded Control Systems.

Iain Bate, Alan Burns

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

An experimental testbed for embedded real time Ada 95.

W. M. Walker, P. T. Woolley, Alan Burns

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

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

Alan Burns, Andy J. Wellings

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

The Ravenscar Profile and implementation issues (session summary).

Alan Burns

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

Finding the minimum available transmission time for the timed token medium access control protocol.

Sijing Zhang, E. Stewart Lee, Alan Burns, Hongji Yang

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach.

Eduardo Tovar, Francisco Vasques, Alan Burns

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

Time-constrained sorting-a comparison of different algorithms.

Peter P. Puschner, Alan Burns

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

An approach to task attribute assignment for uniprocessor systems.

Iain Bate, Alan Burns

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

Dynamic value-density for scheduling real-time systems.

Saud Ahmed Aldarmi, Alan Burns

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998

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

Neil C. Audsley, Alan Burns

Inf. Process. Lett., 1998

The Ravenscar Tasking Profile for High Integrity Real-Time Programs.

Brian Dobbing, Alan Burns

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

Integrating Real-Time Structured Design and Formal Techniques.

Darren George Priddin, Alan Burns

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Schedulability analysis for mode changes in flexible real-time systems.

Paulo Pedro, Alan Burns

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

Asynchronous data sharing in multiprocessor real-time systems using process consensus.

Jing Chen, Alan Burns

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

Investigation of the pessimism in distributed systems timing analysis.

Iain Bate, Alan Burns

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

MOPping up Exceptions.

Stuart E. Mitchell, Alan Burns, Andy J. Wellings

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

The Ravenscar Tasking Profile for High Integrity Real-Time Programs.

Alan Burns, Brian Dobbing, George Romanski

Proceedings of the Reliable Software Technologies, 1998

1997

Implementing Atomic Actions in Ada 95.

Andy J. Wellings, Alan Burns

IEEE Trans. Software Eng., 1997

Synchronous sessions and fixed priority scheduling.

Alan Burns, Andy J. Wellings

J. Syst. Archit., 1997

Developing a real-time metaobject protocol.

Stuart E. Mitchell, Alan Burns, Andrew J. Wellings

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Combining (_mⁿ)-hard deadlines and dual priority scheduling.

Guillem Bernat, Alan Burns

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Analysis of checkpointing for schedulability of real-time systems.

Sasikumar Punnekkat, Alan Burns

Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997

Task termination and Ada 95.

Andy J. Wellings, Alan Burns, Offer Pazy

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Restricted tasking models.

Alan Burns, Andy J. Wellings

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Feature interactions with dynamic priorities.

Alan Burns, Andy J. Wellings

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Tasking profiles (session summary).

Alan Burns, Ted Baker, Tullio Vardanega

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Timing Properties of the Timed Token MAC Protocol.

Sijing Zhang, Alan Burns

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

Worst case response time analysis of hard real-time sporadic traffic in FIP networks.

Paulo Pedro, Alan Burns

Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Guaranteeing timing constraints under shortest remaining processing time scheduling.

Robert I. Davis, Alan Burns, W. M. Walker

Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Schedulability analysis of fixed priority real-time systems with offsets.

Iain Bate, Alan Burns

Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Adaptive Scheduling Using Reflection.

Stuart E. Mitchell, Alan Burns, Andy J. Wellings

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Efficient Transient Overload Tests for Real-Time Systems.

Guillem Bernat, Alan Burns, Albert Llamosí

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1997

Sensitivity Analysis of Real-Time Task Sets.

Sasikumar Punnekkat, Robert I. Davis, Alan Burns

Proceedings of the Advances in Computing Science, 1997

Task Termination in Ada 95.

Andy J. Wellings, Alan Burns, Offer Pazy

Proceedings of the Reliable Software Technologies, 1997

Real-time systems and their programming languages (2. ed.).

Alan Burns, Andrew J. Wellings

Addison-Wesley, ISBN: 978-0-201-40365-7, 1997

1996

Combining Static Worst-Case Timing Analysis and Program Proof.

Roderick Chapman, Alan Burns, Andy J. Wellings

Real Time Syst., 1996

Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems.

Alan Burns, Robert I. Davis

Inf. Process. Lett., 1996

Integrating optional software components into hard real-time systems.

Neil C. Audsley, Alan Burns, Robert I. Davis, D. J. Scholefield, Andy J. Wellings

Softw. Eng. J., 1996

Broadening Real-Time Systems Research.

Alan Burns

ACM Comput. Surv., 1996

Programming Replicated Systems in Ada 95.

Andy J. Wellings, Alan Burns

Comput. J., 1996

A Worst-Case Behavior Analysis for Hard Real-Time Transactions.

Jeongyoujng Byun, Andy J. Wellings, Alan Burns

Proceedings of the Online-Proceedings of the First International Workshop on Real-Time Databases: Issues and Applications, 1996

Putting fixed priority scheduling theory into engineering practice for safety critical applications.

Neil C. Audsley, I. J. Bate, Alan Burns

Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

An Efficient and Practical Local Synchronous Bandwidth Allocation Scheme for the Timed-Token MAC Protocol.

Sijing Zhang, Alan Burns, Andy J. Wellings

Proceedings of the Proceedings IEEE INFOCOM '96, 1996

Feasibility Analysis of Fault-Tolerant Real-Time Task Sets.

Alan Burns, Robert I. Davis, Sasikumar Punnekkat

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

Towards a Fixed Priority Scheduler for an Aircraft Application.

Iain Bate, Alan Burns, John A. McDermid, Andy Vickers

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

Ada 95: An Effective Concurrent Programming Language.

Alan Burns, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 1996

1995

Effective Analysis for Engineering Real-Time Fixed Priority Schedulers.

Alan Burns, Ken Tindell, Andy J. Wellings

IEEE Trans. Software Eng., 1995

An optimal synchronous bandwidth allocation scheme for guaranteeing synchronous message deadlines with the timed-token MAC protocol.

Sijing Zhang, Alan Burns

IEEE/ACM Trans. Netw., 1995

Engineering a Hard Real-time System: From Theory to Practice.

Alan Burns, Andy J. Wellings

Softw. Pract. Exp., 1995

Analysis of Hard Real-Time Communications.

Ken Tindell, Alan Burns, Andy J. Wellings

Real Time Syst., 1995

Fixed Priority Pre-emptive Scheduling: An Historical Perspective.

Neil C. Audsley, Alan Burns, Robert I. Davis, Ken Tindell, Andy J. Wellings

Real Time Syst., 1995

Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-Emptive Systems.

Robert I. Davis, Alan Burns

Inf. Process. Lett., 1995

Data Consistency in Hard Real-Time Systems.

Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings

Informatica (Slovenia), 1995

Flexible scheduling for adaptable real-time systems.

Robert I. Davis, Sasikumar Punnekkat, Neil C. Audsley, Alan Burns

Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 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

Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

Real-time distributed computing.

Alan Burns, Neil C. Audsley, Andy J. Wellings

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

Hybrid algorithms for dynamic schedulability testing.

Charlie McElhone, Alan Burns, Robert I. Davis

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994

STRESS: a Simulator for Hard Real-time Systems.

Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings

Softw. Pract. Exp., 1994

An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks.

Ken Tindell, Alan Burns, Andy J. Wellings

Real Time Syst., 1994

HRT-HOOD: A Structured Design Method for Hard Real-Time Systems.

Alan Burns, Andy J. Wellings

Real Time Syst., 1994

Real-time safety-critical systems: analysis and synthesis.

Alan Burns, John A. McDermid

Softw. Eng. J., 1994

Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic.

Ken Tindell, Alan Burns

Comput. J., 1994

Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems.

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

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

Fixed priority scheduling with deadlines prior to completion.

Alan Burns, Ken Tindell, Andrew J. Wellings

Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994

1993

Pipelined Processors and Worst Case Execution Times.

N. Zhang, Alan Burns, Mark Nicholson

Real Time Syst., 1993

Applying new scheduling theory to static priority pre-emptive scheduling.

Neil C. Audsley, Alan Burns, Mike M. Richardson, Ken Tindell, Andy J. Wellings

Softw. Eng. J., 1993

Scheduling slack time in fixed priority pre-emptive systems.

Robert I. Davis, Ken Tindell, Alan Burns

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation.

Alan Burns, Andrew J. Wellings

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

The End Of The Line For Static Cyclic Scheduling?

Neil C. Audsley, Ken Tindell, Alan Burns

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

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

Alan Burns, Andy J. Wellings, A. D. Hutcheon

Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993

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, E. Fyfe

Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993

Concurrent programming.

Alan Burns, Geoffrey Davies

International computer science series, Addison-Wesley, ISBN: 978-0-201-54417-6, 1993

1992

Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy.

Ken Tindell, Alan Burns, Andy J. Wellings

Real Time Syst., 1992

On the Meaning of Safety and Security.

Alan Burns, John A. McDermid, John E. Dobson

Comput. J., 1992

Mode Changes In Priority Pre-Emptively Scheduled Systems.

Ken Tindell, Alan Burns, Andy J. Wellings

Proceedings of the Real-Time Systems Symposium, 1992

Absolute and relative temporal constraints in hard real-time databases.

Neil C. Audsley, Alan Burns, Mike F. Richardson, Andrew J. Wellings

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

Designing Hard Real-Time Systems.

Alan Burns, Andy J. Wellings

Proceedings of the Ada: Moving Towards 2000, 1992

1991

Criticality and Utility in the Next Generation.

Alan Burns, Andy J. Wellings

Real Time Syst., 1991

Priority Inheritance and Message Passing Communication: A Formal Treatment.

Alan Burns, Andy J. Wellings

Real Time Syst., 1991

A Framework for Building Dependable Systems.

Alan Burns, Andrew M. Lister

Comput. J., 1991

1990

Formal specifications and proofs of inheritance protocols for real-time scheduling.

Michael Pilling, Alan Burns, Kerry Raymond

Softw. Eng. J., 1990

The Notion of Priority in Real-Time Programming Languages.

Alan Burns, Andy J. Wellings

Comput. Lang., 1990

The Teaching Language Pascal-FC.

Gordon Davies, Alan Burns

Comput. J., 1990

Asynchronous transfer of control in Ada 9X.

Alan Burns, Andy J. Wellings, Gordon Davies

Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

A performance standard for Ada 9X.

Alan Burns

Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

1989

Dynamic change management and Ada.

Alan Burns, Andy J. Wellings

J. Softw. Maintenance Res. Pract., 1989

Usability of the Ada tasking-model.

Alan Burns, Andy J. Wellings

Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

Real-time Ada: outstanding problem areas.

Alan Burns, Andy J. Wellings

Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

1988

Program Generation for Ada-A Case Study.

Pat Allen, Alan Burns

Softw. Pract. Exp., 1988

A Modula-2 implementation of a real-time process abstraction.

Alan Burns, Gordon Davies, Andy J. Wellings

ACM SIGPLAN Notices, 1988

Pascal-FC: a language for teaching concurrent programming.

Alan Burns, Gordon Davies

ACM SIGPLAN Notices, 1988

1987

A communications environment for co-operative information systems development.

Alan Burns, Margaret A. Rathwell

Softw. Eng. J., 1987

A distributed decision-making system.

Alan Burns, Margaret A. Rathwell, Richard C. Thomas

Decis. Support Syst., 1987

Real-time Ada issues.

Alan Burns, Andy J. Wellings

Proceedings of the First International Workshop on Real-Time Ada Issues, 1987

A Review of Ada Tasking

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

Lecture Notes in Computer Science 262, Springer, ISBN: 3-540-18008-7, 1987

1986

The Construction of Information Management System Prototypes in Ada.

Alan Burns, J. A. Kirkham

Softw. Pract. Exp., 1986

ADDS - A Dialogue Development System for the Ada Programming Language.

Alan Burns, J. Robinson

Int. J. Man Mach. Stud., 1986

Program Generators and Generation Software.

P. A. Luker, Alan Burns

Comput. J., 1986

Real-time systems and their programming languages.

Alan Burns, Andy J. Wellings

International computer science series, Addison-Wesley, ISBN: 978-0-201-17529-5, 1986

1985

Information Systems Support for Group Planning and Decision-Making Activities.

Margaret A. Rathwell, Alan Burns

MIS Q., 1985

A Dialogue Development System for the Design and Implementation of User Interfaces in Ada.

J. Robinson, Alan Burns

Comput. J., 1985

1983

Enhanced input/output on Pascal.

Alan Burns

ACM SIGPLAN Notices, 1983

1982

The Case for Distributed Decision Making Systems.

Richard C. Thomas, Alan Burns

Comput. J., 1982