Alan Burns - RankMe

338 papers A* 1A 41B 43C 6Misc 44Journal 130Unranked 61

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Hybrid Approach to Refine WCRT Bounds for DAG Scheduling Using Anomaly Classification. IEEE Trans. Computers Nan Chen, Xiaotian Dai, Alan Burns, Iain Bate
2025	J	`jnl`	A Specification Framework for Mixed-Criticality Scheduling Protocols. ACM Trans. Embed. Comput. Syst. Alan Burns, Cliff B. Jones
2025	A	`conf`	LEFT-RS: A Lock-Free Fault-Tolerant Resource Sharing Protocol for Multicore Real-Time Systems. RTSS Nan Chen, Xiaotian Dai, Tong Cheng, Alan Burns, Iain Bate, Shuai Zhao
2025	J	`jnl`	LEFT-RS: A Lock-Free Fault-Tolerant Resource Sharing Protocol for Multicore Real-Time Systems. CoRR Nan Chen, Xiaotian Dai, Tong Cheng, Alan Burns, Iain Bate, Shuai Zhao
2025	A	`conf`	Timely Classification of Hierarchical Classes. RTSS Tarek F. Abdelzaher, Sanjoy Baruah, Alan Burns, Yigong Hu
2024	J	`jnl`	Extending rely-guarantee thinking to handle real-time scheduling. Formal Methods Syst. Des. Cliff B. Jones, Alan Burns
2024	A	`conf`	IDK Cascades for Time-Series Input Streams. RTSS Kunal Agrawal, Sanjoy K. Baruah, Alan Burns, Jinhao Zhao
2024	J	`jnl`	Multi-model workload specifications and their application to cyber-physical systems - ERRATUM. Res. Dir. Cyber Phys. Syst. Alan Burns, Sanjoy K. Baruah
2024	J	`jnl`	Multi-model workload specifications and their application to cyber-physical systems. Res. Dir. Cyber Phys. Syst. Alan Burns, Sanjoy K. Baruah
2024	A	`conf`	Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification. RTAS Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert I. Davis
2024	—	`conf`	Specifying Fault-Tolerant Mixed-Criticality Scheduling. The Application of Formal Methods Alan Burns, Cliff B. Jones
2024	—	`ch.`	Utilising Assumptions to Determine the WCET of Multi-component Classification Systems. The Practice of Formal Methods (I) Alan Burns, Sanjoy K. Baruah
2023	J	`jnl`	A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems. IEEE Trans. Computers Zhe Jiang, Xiaotian Dai, Alan Burns, Neil C. Audsley, Zonghua Gu, Ian Gray
2023	J	`jnl`	Extending Rely-Guarantee thinking to handle Real-Time Scheduling. CoRR Cliff B. Jones, Alan Burns
2023	Misc	`conf`	Multi-Model Specifications and their Application to Classification Systems. RTNS Alan Burns, Sanjoy K. Baruah
2023	J	`jnl`	Optimal Synthesis of Robust IDK Classifier Cascades. ACM Trans. Embed. Comput. Syst. Sanjoy K. Baruah, Alan Burns, Robert Ian Davis
2023	J	`jnl`	Optimally ordering IDK classifiers subject to deadlines. Real Time Syst. Sanjoy K. Baruah, Alan Burns, Robert I. Davis, Yue Wu
2023	A	`conf`	Precise Response Time Analysis for Multiple DAG Tasks with Intra-task Priority Assignment. RTAS Nan Chen, Shuai Zhao, Ian Gray, Alan Burns, Siyuan Ji, Wanli Chang
2023	J	`jnl`	Real-Time Guarantees in Routerless Networks-on-Chip. ACM Trans. Embed. Comput. Syst. Leandro Soares Indrusiak, Alan Burns
2023	Misc	`conf`	Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty. RTNS Tarek F. Abdelzaher, Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert Ian Davis, Yigong Hu
2023	J	`jnl`	Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification. Real Time Syst. Tarek F. Abdelzaher, Kunal Agrawal, Sanjoy K. Baruah, Alan Burns, Robert I. Davis, Zhishan Guo, Yigong Hu
2022	B	`conf`	An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. ECRTS Alan Burns, Cliff B. Jones
2022	A	`conf`	Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling. RTAS Iain Bate, Alan Burns, Robert I. Davis
2022	Misc	`conf`	Compensating Adaptive Mixed Criticality Scheduling. RTNS Robert Ian Davis, Alan Burns, Iain Bate
2022	C	`conf`	Discretization and Stabilization of Energy-Based Controller for Period Switching Control and Flexible Scheduling. ACC Seyed Amir Tafrishi, Xiaotian Dai, Yasuhisa Hirata, Alan Burns
2022	J	`jnl`	Discretization and Stabilization of Energy-Based Controller for Period Switching Control and Flexible Scheduling. CoRR Seyed Amir Tafrishi, Xiaotian Dai, Yasuhisa Hirata, Alan Burns
2022	Misc	`conf`	Functional Uncertainty in Real-Time Safety-Critical Systems. RTNS Sanjoy K. Baruah, Alan Burns, David Griffin
2022	A	`conf`	MSRP-FT: Reliable Resource Sharing on Multiprocessor Mixed-Criticality Systems. RTAS Nan Chen, Shuai Zhao, Ian Gray, Alan Burns, Siyuan Ji, Wanli Chang
2022	B	`conf`	On the Trade-offs between Generalization and Specialization in Real-Time Systems. RTCSA Georg von der Brüggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, Jan Reineke
2022	J	`jnl`	Real-Time Guarantees in Routerless Networks-on-Chip. CoRR Leandro Soares Indrusiak, Alan Burns
2021	A	`conf`	Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open Challenges. RTAS Xiaotian Dai, Shuai Zhao, Iain Bate, Alan Burns, Xing Guo, Wanli Chang
2021	J	`jnl`	Foreword. Leibniz Trans. Embed. Syst. Alan Burns, Steve Goddard
2021	Misc	`conf`	Optimal Synthesis of IDK-Cascades. RTNS Sanjoy K. Baruah, Alan Burns, Yue Wu
2021	J	`jnl`	Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources. IEEE Trans. Computers Shuai Zhao, Wanli Chang, Ran Wei, Weichen Liu, Nan Guan, Alan Burns, Andy J. Wellings
2020	A	`conf`	A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs. RTAS Alan Burns, Leandro Soares Indrusiak, N. Smirnov, J. Harrison
2020	J	`jnl`	A Rely-Guarantee Specification of Mixed-Criticality Scheduling. CoRR Cliff B. Jones, Alan Burns
2020	J	`jnl`	A complete run-time overhead-aware schedulability analysis for MrsP under nested resources. J. Syst. Softw. Shuai Zhao, Jorge Garrido, Ran Wei, Alan Burns, Andy J. Wellings, Juan Antonio de la Puente
2020	J	`jnl`	Build real-time communication for hybrid dual-OS system. J. Syst. Archit. Pan Dong, Zhe Jiang, Alan Burns, Yan Ding, Jun Ma
2020	A	`conf`	DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency. RTSS Shuai Zhao, Xiaotian Dai, Iain Bate, Alan Burns, Wanli Chang
2020	J	`jnl`	Deriving Specifications of Control Programs for Cyber Physical Systems. Comput. J. Alan Burns, Ian J. Hayes, Cliff B. Jones
2020	J	`jnl`	Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Trans. Embed. Comput. Syst. Wanli Chang, Ran Wei, Shuai Zhao, Andy J. Wellings, Jim Woodcock, Alan Burns
2020	J	`jnl`	Expressing survivability considerations in mixed-criticality scheduling theory. J. Syst. Archit. Sanjoy K. Baruah, Alan Burns
2020	A	`conf`	Minimizing Execution Duration in the Presence of Learning-Enabled Components. DATE Kunal Agrawal, Alan Burns, Abhishek Singh, Sanjoy K. Baruah
2020	J	`jnl`	Period adaptation of real-time control tasks with fixed-priority scheduling in cyber-physical systems. J. Syst. Archit. Xiaotian Dai, Alan Burns
2020	A	`conf`	Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance. RTSS Alan Burns, Robert I. Davis
2020	J	`jnl`	The AirTight Protocol for Mixed Criticality Wireless CPS. ACM Trans. Cyber Phys. Syst. James Harbin, Alan Burns, Robert I. Davis, Leandro Soares Indrusiak, Iain Bate, David Griffin
2020	B	`conf`	The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems. ECRTS Kunal Agrawal, Sanjoy K. Baruah, Alan Burns
2019	J	`jnl`	A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design. ACM Trans. Embed. Comput. Syst. Xiaotian Dai, Wanli Chang, Shuai Zhao, Alan Burns
2019	J	`jnl`	A semi-partitioned model for mixed criticality systems. J. Syst. Softw. Hao Xu, Alan Burns
2019	Misc	`conf`	Fault-tolerant transmission of messages of differing criticalities across a shared communication medium. RTNS Kunal Agrawal, Sanjoy K. Baruah, Alan Burns
2019	B	`conf`	From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper). LCTES Wanli Chang, Shuai Zhao, Ran Wei, Andy J. Wellings, Alan Burns
2019	C	`conf`	Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory. ISORC Sanjoy K. Baruah, Alan Burns
2019	J	`jnl`	Multi-core cyclic executives for safety-critical systems. Sci. Comput. Program. Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah
2019	J	`jnl`	Real-time analysis of priority-preemptive NoCs with arbitrary buffer sizes and router delays. Real Time Syst. Borislav Nikolic, Sebastian Tobuschat, Leandro Soares Indrusiak, Rolf Ernst, Alan Burns
2019	A	`conf`	Semi-Clairvoyance in Mixed-Criticality Scheduling. RTSS Kunal Agrawal, Sanjoy K. Baruah, Alan Burns
2019	Misc	`conf`	Validating high level simulation results against experimental data and low level simulation: a case study. RTNS David Griffin, James Harbin, Alan Burns, Iain Bate, Robert I. Davis, Leandro Soares Indrusiak
2019	A	`conf`	Work-in-Progress: Real-Time RPC for Hybrid Dual-OS System. RTSS Pan Dong, Zhe Jiang, Alan Burns, Yan Ding, Jun Ma
2018	J	`jnl`	A Survey of Research into Mixed Criticality Systems. ACM Comput. Surv. Alan Burns, Robert I. Davis
2018	J	`jnl`	AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems (Artifact). Dagstuhl Artifacts Ser. Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy K. Baruah, Alan Burns
2018	B	`conf`	AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems. ECRTS Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy K. Baruah, Alan Burns
2018	B	`conf`	AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems. RTCSA Alan Burns, James Harbin, Leandro Soares Indrusiak, Iain Bate, Robert I. Davis, David Griffin
2018	A	`conf`	Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs. DATE Leandro Soares Indrusiak, Alan Burns, Borislav Nikolic
2018	A	`conf`	Mixed Criticality Systems with Varying Context Switch Costs. RTAS Robert I. Davis, Sebastian Altmeyer, Alan Burns
2018	J	`jnl`	Robust Mixed-Criticality Systems. IEEE Trans. Computers Alan Burns, Robert I. Davis, Sanjoy K. Baruah, Iain Bate
2018	B	`conf`	TZDKS: A New TrustZone-Based Dual-Criticality System with Balanced Performance. RTCSA Pan Dong, Alan Burns, Zhe Jiang, Xiangke Liao
2018	B	`conf`	Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies. ECRTS Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, Nigel Tracey
2017	J	`jnl`	An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Trans. Software Eng. Iain Bate, Alan Burns, Robert I. Davis
2017	J	`jnl`	Corrections to and Discussion of "Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks". ACM Trans. Embed. Comput. Syst. Tom Fleming, Huang-Ming Huang, Alan Burns, Christopher D. Gill, Sanjoy K. Baruah, Chenyang Lu
2017	Misc	`conf`	Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework. Ada-Europe Alan Burns, Sanjoy K. Baruah
2017	Misc	`conf`	Multi-core Cyclic Executives for Safety-Critical Systems. SETTA Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah
2017	B	`conf`	New schedulability analysis for MrsP. RTCSA Shuai Zhao, Jorge Garrido, Alan Burns, Andy J. Wellings
2017	Misc	`conf`	Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems. Ada-Europe Xiaotian Dai, Alan Burns
2017	Misc	`conf`	Supporting Nested Resources in MrsP. Ada-Europe Jorge Garrido, Shuai Zhao, Alan Burns, Andy J. Wellings
2016	J	`jnl`	A review of priority assignment in real-time systems. J. Syst. Archit. Robert I. Davis, Liliana Cucu-Grosjean, Marko Bertogna, Alan Burns
2016	J	`jnl`	Analysis of buffering effects on hard real-time priority-preemptive wormhole networks. CoRR Leandro Soares Indrusiak, Alan Burns, Borislav Nikolic
2016	Misc	`conf`	Improving the Schedulability of Mixed Criticality Cyclic Executives via Limited Task Splitting. RTNS Tom Fleming, Sanjoy K. Baruah, Alan Burns
2016	B	`conf`	Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors. ECRTS Sanjoy K. Baruah, Alan Burns, Zhishan Guo
2016	Misc	`conf`	Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems. Ada-Europe Alan Burns
2015	B	`conf`	A Bailout Protocol for Mixed Criticality Systems. ECRTS Iain Bate, Alan Burns, Robert I. Davis
2015	J	`jnl`	A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing. IEEE Trans. Computers Alan Burns, Marina Gutiérrez, Mario Aldea Rivas, Michael González Harbour
2015	B	`conf`	Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole Networks-on-Chip. ECRTS Leandro Soares Indrusiak, James Harbin, Alan Burns
2015	B	`conf`	Cyclic Executives, Multi-core Platforms and Mixed Criticality Applications. ECRTS Alan Burns, Tom Fleming, Sanjoy K. Baruah
2015	—	`conf`	Deriving period restrictions from a given utilization bound under RMS. SIES Dirk Müller, Alan Burns
2015	J	`jnl`	Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms. Real Time Syst. Robert I. Davis, Alan Burns, Sanjoy K. Baruah, Thomas Rothvoß, Laurent George, Oliver Gettings
2015	J	`jnl`	Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Preemption. ACM Trans. Embed. Comput. Syst. Robert I. Davis, Alan Burns, José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna
2015	Misc	`conf`	On priority assignment for controller area network when some message identifiers are fixed. RTNS Robert I. Davis, Alan Burns, Victor Pollex, Frank Slomka
2015	B	`conf`	Priority-Based Functional Reactive Programming (P-FRP) Using Deferred Abort. RTCSA Hing Choi Wong, Alan Burns
2015	A	`conf`	Reducing the Implementation Overheads of IPCP and DFP. RTSS H. Almatary, Neil C. Audsley, Alan Burns
2015	Misc	`conf`	Semi-partitioned model for dual-core mixed criticality system. RTNS Hao Xu, Alan Burns
2014	A	`conf`	A Wormhole NoC Protocol for Mixed Criticality Systems. RTSS Alan Burns, James Harbin, Leandro Soares Indrusiak
2014	A	`conf`	Adaptive Mixed Criticality Scheduling with Deferred Preemption. RTSS Alan Burns, Robert I. Davis
2014	Misc	`conf`	Deadline-Aware Programming and Scheduling. Ada-Europe Alan Burns, Andy J. Wellings
2014	J	`jnl`	Foreword. Leibniz Trans. Embed. Syst. Alan Burns
2014	Misc	`conf`	Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches. RTNS David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis
2014	Misc	`conf`	Schedulability Analysis for the Abort-and-Restart (AR) Model. RTNS Hing Choi Wong, Alan Burns
2014	Misc	`conf`	Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression. RTNS David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis
2013	B	`conf`	A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP. ECRTS Alan Burns, Andy J. Wellings
2013	J	`jnl`	Comparing Degrees of Non-Determinism in Expression Evaluation. Comput. J. Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones
2013	Misc	`conf`	Fixed-priority scheduling of dual-criticality systems. RTNS Sanjoy K. Baruah, Alan Burns
2013	B	`conf`	Global fixed priority scheduling with deferred pre-emption. RTCSA Robert I. Davis, Alan Burns, José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna
2013	J	`jnl`	Guest editorial: multiprocessor scheduling. Real Time Syst. Alan Burns, Laurent George
2013	B	`conf`	Mixed Criticality on Controller Area Network. ECRTS Alan Burns, Robert I. Davis
2013	J	`jnl`	Modelling temporal behaviour in complex systems with Timebands. Formal Methods Syst. Des. Kun Wei, Jim Woodcock, Alan Burns
2013	—	`conf`	Predictability and Mixed Criticality. PECCS Alan Burns
2013	J	`jnl`	Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing. ACM Trans. Embed. Comput. Syst. Fengxiang Zhang, Alan Burns
2013	J	`jnl`	Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages. Concurr. Comput. Pract. Exp. Shiyao Lin, Andy J. Wellings, Alan Burns
2012	Misc	`conf`	Analytical approaches for performance evaluation of networks-on-chip. CASES Abbas Eslami Kiasari, Axel Jantsch, Marco Bekooij, Alan Burns, Zhonghai Lu
2012	Misc	`conf`	Implementing and Verifying EDF Preemption-Level Resource Control. Ada-Europe Mark Louis Fairbairn, Alan Burns
2012	Misc	`conf`	Mixed critical system design and analysis. EMSOFT Rolf Ernst, Alan Burns, Lothar Thiele, Jimmy Le Rhun
2012	—	`ch.`	Modelling Temporal Behaviour in Complex Systems with Timebands. Conquering Complexity Kun Wei, Jim Woodcock, Alan Burns
2012	J	`jnl`	Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme. Real Time Syst. Alan Burns, Robert I. Davis, P. Wang, Fengxiang Zhang
2011	Misc	`ed.`	19th International Conference on Real-Time and Network Systems, RTNS '11, Nantes, France, September 29-30, 2011. Proceedings RTNS Sébastien Faucou, Alan Burns, Laurent George
2011	J	`jnl`	A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. Robert I. Davis, Alan Burns
2011	A	`conf`	FPZL Schedulability Analysis. IEEE Real-Time and Embedded Technology and Applications Symposium Robert I. Davis, Alan Burns
2011	Misc	`conf`	Implementing Mixed Criticality Systems in Ada. Ada-Europe Sanjoy K. Baruah, Alan Burns
2011	J	`jnl`	Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. Real Time Syst. Robert I. Davis, Alan Burns
2011	Misc	`conf`	Programming Languages for Real-Time Applications Executing on Parallel Hardware. Ada-Europe Alan Burns
2011	—	`conf`	Resource sharing in RTSJ and SCJ systems. JTRES Andy J. Wellings, Shiyao Lin, Alan Burns
2011	A	`conf`	Response-Time Analysis for Mixed Criticality Systems. RTSS Sanjoy K. Baruah, Alan Burns, Robert I. Davis
2011	J	`jnl`	Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling. Real Time Syst. Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah
2011	B	`conf`	Timed Circus: Timed CSP with the Miracle. ICECCS Kun Wei, Jim Woodcock, Alan Burns
2011	—	`conf`	Timing Faults and Mixed Criticality Systems. Dependable and Historic Computing Alan Burns, Sanjoy K. Baruah
2010	B	`conf`	A Timed Model of Circus with the Reactive Design Miracle. SEFM Kun Wei, Jim Woodcock, Alan Burns
2010	J	`jnl`	A timeband framework for modelling real-time systems. Real Time Syst. Alan Burns, Ian J. Hayes
2010	Misc	`conf`	Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. Ada-Europe Alan Burns, Andy J. Wellings
2010	—	`conf`	Modelling and Implementing Complex Systems with Timebands. SSIRI Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei
2010	—	`conf`	Realism in Statistical Analysis of Worst Case Execution Times. WCET David Griffin, Alan Burns
2010	A	`conf`	Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems. RTSS Alan Burns, Bev Littlewood
2010	J	`jnl`	Schedulability Analysis for Real Time On-Chip Communication with Wormhole Switching. Int. J. Embed. Real Time Commun. Syst. Zheng Shi, Alan Burns, Leandro Soares Indrusiak
2010	J	`jnl`	Schedulability analysis and task mapping for real-time on-chip communication. Real Time Syst. Zheng Shi, Alan Burns
2010	B	`conf`	Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems. RTCSA Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah
2010	C	`conf`	Sensitivity Analysis of the Minimum Task Period for Arbitrary Deadline Real-Time Systems. PRDC Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah
2010	Misc	`conf`	The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005. Ada-Europe Andy J. Wellings, Alan Burns
2009	Misc	`conf`	Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. Ada-Europe Alan Burns, Andy J. Wellings, Fengxiang Zhang
2009	J	`jnl`	Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling. Real Time Syst. Robert I. Davis, Thomas Rothvoß, Sanjoy K. Baruah, Alan Burns
2009	J	`jnl`	Exact scheduling analysis of non-accumulatively monotonic multiframe tasks. Real Time Syst. Areej Zuhily, Alan Burns
2009	J	`jnl`	Guest editorial: Special issue on ECRTS 2008. Real Time Syst. Alan Burns
2009	B	`conf`	Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems. ECRTS Fengxiang Zhang, Alan Burns
2009	A	`conf`	Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems. RTSS Robert I. Davis, Alan Burns
2009	B	`conf`	Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks. ECRTS Zheng Shi, Alan Burns
2009	—	`book`	Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition. Alan Burns, Andrew J. Wellings
2009	J	`jnl`	Robust priority assignment for messages on Controller Area Network (CAN). Real Time Syst. Robert I. Davis, Alan Burns
2009	J	`jnl`	Schedulability Analysis for Real-Time Systems with EDF Scheduling. IEEE Trans. Computers Fengxiang Zhang, Alan Burns
2008	J	`jnl`	Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems. IEEE Trans. Computers Robert I. Davis, A. Zabos, Alan Burns
2008	C	`conf`	Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks. ICTAC Areej Zuhily, Alan Burns
2008	C	`conf`	Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines. ETFA Areej Zuhily, Alan Burns
2008	J	`jnl`	Flexible hard real-time scheduling for deliberative AI systems. Real Time Syst. Yanching Chu, Alan Burns
2008	Misc	`conf`	On the meaning of modes in uniprocessor real-time systems. SAC Paulo Martins, Alan Burns
2008	A	`conf`	Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks. RTSS Zheng Shi, Alan Burns
2008	—	`conf`	Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching. NOCS Zheng Shi, Alan Burns
2008	A	`conf`	Response Time Upper Bounds for Fixed Priority Real-Time Systems. RTSS Robert I. Davis, Alan Burns
2008	J	`jnl`	Sustainability in Real-time Scheduling. J. Comput. Sci. Eng. Alan Burns, Sanjoy K. Baruah
2007	—	`conf`	A framework for real-time utilities for Ada 2005. IRTAW Andy J. Wellings, Alan Burns
2007	J	`jnl`	An engineering process for the verification of real-time systems. Formal Aspects Comput. Alan Burns, Tse-Min Lin
2007	A	`conf`	Analysis of Hierarchical EDF Pre-emptive Scheduling. RTSS Fengxiang Zhang, Alan Burns
2007	—	`conf`	Beyond Ada 2005: allocating tasks to processors in SMP systems. IRTAW Andy J. Wellings, Alan Burns
2007	—	`book`	Concurrent and real-time programming in Ada. Alan Burns, Andy J. Wellings
2007	J	`jnl`	Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real Time Syst. Robert I. Davis, Alan Burns, Reinder J. Bril, Johan J. Lukkien
2007	—	`conf`	Correcting the EDF protocol in Ada 2005. IRTAW Alexandros Zerzelidis, Alan Burns, Andy J. Wellings
2007	—	`conf`	Delivering Real-Time Behaviour. Domain Modeling and the Duration Calculus Alan Burns, Andy J. Wellings
2007	—	`conf`	Integrating OOP and tasking: the missing requeue. IRTAW Andy J. Wellings, Alan Burns
2007	C	`conf`	Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. ISORC Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol
2007	—	`conf`	Introduction. IRTAW Alan Burns, Andy J. Wellings
2007	J	`jnl`	Optimal (D-J)-monotonic priority assignment. Inf. Process. Lett. Areej Zuhily, Alan Burns
2007	—	`ch.`	Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005. Handbook of Real-Time and Embedded Systems Alan Burns, Andy J. Wellings
2007	—	`conf`	Programming execution-time servers in Ada 2005. IRTAW Alan Burns, Andy J. Wellings
2007	—	`ch.`	Real-Time Java. Handbook of Real-Time and Embedded Systems Alan Burns, Andy J. Wellings
2007	Misc	`conf`	Real-Time Utilities for Ada 2005. Ada-Europe Andy J. Wellings, Alan Burns
2007	A	`conf`	Robust Priority Assignment for Fixed Priority Real-Time Systems. RTSS Robert I. Davis, Alan Burns
2007	B	`conf`	Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach. ECRTS Yanching Chu, Alan Burns
2006	—	`conf`	FSF: A Real-Time Scheduling Architecture Framework. IEEE Real Time Technology and Applications Symposium 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
2006	A	`conf`	Programming Execution-Time Servers in Ada 2005. RTSS Alan Burns, Andy J. Wellings
2006	A	`conf`	Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems. RTSS Robert I. Davis, Alan Burns
2006	A	`conf`	Sustainable Scheduling Analysis. RTSS Sanjoy K. Baruah, Alan Burns
2005	J	`jnl`	Editorial. ACM Trans. Embed. Comput. Syst. Alan Burns, Alberto L. Sangiovanni-Vincentelli
2005	A	`conf`	Hierarchical Fixed Priority Pre-Emptive Scheduling. RTSS Robert I. Davis, Alan Burns
2005	J	`jnl`	Probabilistic timing analysis: An approach using copulas. J. Embed. Comput. Guillem Bernat, Alan Burns, Martin Newby
2005	—	`ch.`	Real-Time Scheduling for Embedded Systems. Handbook of Networked and Embedded Control Systems Marco Caccamo, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Lui Sha
2005	—	`conf`	Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. LADC George Marconi de Araujo Lima, Alan Burns
2005	J	`jnl`	Timing Analysis of Real-Time Communication Under Electromagnetic Interference. Real Time Syst. Ian Broster, Alan Burns, Guillermo Rodríguez-Navas
2004	B	`conf`	Comparing Real-Time Communication Under Electromagnetic Interference. ECRTS Ian Broster, Alan Burns, Guillermo Rodríguez-Navas
2004	Misc	`conf`	Dynamic Ceiling Priorities: A Proposal for Ada0Y. Ada-Europe Jorge Real, Alan Burns, Javier Miranda, Edmond Schonberg, Alfons Crespo
2004	J	`jnl`	Hard Real-Time Communication with the Timed Token Protocol: Current State and Challenging Problems. Real Time Syst. Sijing Zhang, Alan Burns, Jing Chen, E. Stewart Lee
2004	J	`jnl`	Real Time Scheduling Theory: A Historical Perspective. Real Time Syst. 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
2004	A	`conf`	Rewriting History to Exploit Gain Time. RTSS Guillem Bernat, Ian Broster, Alan Burns
2004	Misc	`conf`	Supporting Deadlines and EDF Scheduling in Ada. Ada-Europe Alan Burns, Andy J. Wellings, S. Tucker Taft
2003	A	`conf`	A Consensus Protocol for CAN-Based Systems. RTSS George Marconi de Araujo Lima, Alan Burns
2003	Misc	`conf`	A Probabilistic Framework for Schedulability Analysis. EMSOFT Alan Burns, Guillem Bernat, Ian Broster
2003	Misc	`conf`	A Round Robin Scheduling Policy for Ada. Ada-Europe Alan Burns, Michael González Harbour, Andy J. Wellings
2003	Misc	`conf`	Adding Temporal Annotations and Associated Verification to Ravenscar Profile. Ada-Europe Alan Burns, Tse-Min Lin
2003	A	`conf`	An Analysable Bus-Guardian for Event-Triggered Communication. RTSS Ian Broster, Alan Burns
2003	J	`jnl`	An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. Real Time Syst. Iain Bate, Alan Burns
2003	J	`jnl`	An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems. IEEE Trans. Computers George Marconi de Araujo Lima, Alan Burns
2003	J	`jnl`	How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study. Real Time Syst. Alan Burns
2003	—	`conf`	Processing Group Parameters in the Real-Time Specification for Java. OTM Workshops Alan Burns, Andy J. Wellings
2003	—	`conf`	Report of session: flexible scheduling in Ada. IRTAW Alan Burns, Andy J. Wellings, Tullio Vardanega
2003	—	`conf`	Report of session: generating new AIs. IRTAW Alan Burns, Tullio Vardanega
2003	—	`conf`	Task attribute-based scheduling: extending Ada's support for scheduling. IRTAW Alan Burns, Andy J. Wellings
2003	J	`jnl`	The Valid Use of Utility in Adaptive Real-Time Systems. Real Time Syst. Divya Prasad, Alan Burns, Martin C. Atkins
2002	—	`conf`	Accessing delay queues. IRTAW Alan Burns, Andy J. Wellings
2002	—	`conf`	Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java. IEEE Real Time Technology and Applications Symposium Andy J. Wellings, Alan Burns
2002	J	`jnl`	Communication Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilization. Real Time Syst. Eduardo Tovar, Francisco Vasques, Alan Burns
2002	J	`jnl`	Cycle-Time Properties of the Timed Token Medium Access Control Protocol. IEEE Trans. Computers Sijing Zhang, Alan Burns, Tee-Hiang Cheng
2002	J	`jnl`	HARTEX - a safe real-time kernel for distributed computer control systems. Softw. Pract. Exp. C. K. Angelov, I. E. Ivanov, Alan Burns
2002	J	`jnl`	Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling. Real Time Syst. Guillem Bernat, Alan Burns
2002	A	`conf`	Probabilistic Analysis of CAN with Faults. RTSS Ian Broster, Alan Burns, Guillermo Rodríguez-Navas
2002	—	`conf`	Protected ceiling changes. IRTAW Jorge Real, Alfons Crespo, Andy J. Wellings, Alan Burns
2002	—	`conf`	Session summary: future of the Ada language and language changes such as the Ravenscar profile. IRTAW Alan Burns, Ben Brosgol
2002	J	`jnl`	Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol. Real Time Syst. Sijing Zhang, Alan Burns, Ahmed Mehaoua, E. Stewart Lee, Hongji Yang
2002	B	`conf`	Weakly Hard Real-time Constraints on Controller Area Network. ECRTS Ian Broster, Guillem Bernat, Alan Burns
2002	—	`conf`	Writing Temporally Predictable Code. WORDS Peter P. Puschner, Alan Burns
2001	B	`conf`	An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. ECRTS George Marconi de Araujo Lima, Alan Burns
2001	J	`jnl`	Analysis of Checkpointing for Real-Time Systems. Real Time Syst. Sasikumar Punnekkat, Alan Burns, Robert I. Davis
2001	Misc	`conf`	Defining New Non-preemptive Dispatching and Locking Policies for Ada. Ada-Europe Alan Burns
2001	J	`jnl`	Determining the Worst-case Synchronous Message Response Time in FDDI Networks. Comput. J. Sijing Zhang, E. Stewart Lee, Alan Burns
2001	J	`jnl`	Extreme Interleavings. IEEE Distributed Syst. Online Mordechai Ben-Ari, Alan Burns
2001	Misc	`conf`	Implementing a Flexible Scheduler in Ada. Ada-Europe Guillem Bernat, Alan Burns
2001	J	`jnl`	Modelling and verification of an atomic action protocol implemented in Ada. Comput. Syst. Sci. Eng. Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
2001	A	`conf`	Statistical Analysis of WCET for Scheduling. RTSS Stewart Edgar, Alan Burns
2001	B	`conf`	Three Obstacles to Flexible Scheduling. ECRTS Guillem Bernat, Alan Burns
2001	B	`conf`	Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with Faults. ECRTS Ian Broster, Alan Burns
2001	J	`jnl`	Weakly Hard Real-Time Systems. IEEE Trans. Computers Guillem Bernat, Alan Burns, Albert Llamosí
2000	J	`jnl`	A value-based scheduling approach for real-time autonomous vehicle control. Robotica Divya Prasad, Alan Burns
2000	J	`jnl`	Guest Editorial: A Review of Worst-Case Execution-Time Analysis. Real Time Syst. Peter P. Puschner, Alan Burns
2000	—	`conf`	Non-preemptive dispatching and locking policies. IRTAW Alan Burns
2000	—	`conf`	On developing and verifying design abstractions for reliable concurrent programming in Ada. IRTAW Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
2000	B	`conf`	Portable worst-case execution time analysis using Java Byte Code. ECRTS Guillem Bernat, Alan Burns, Andy J. Wellings
2000	B	`conf`	Predicting computation time for advanced processor architectures. ECRTS Alan Burns, Stewart Edgar
2000	J	`jnl`	Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems. IEEE Trans. Computers Stefan Poledna, Alan Burns, Andy J. Wellings, Peter Barrett
2000	J	`jnl`	Scheduling optional computations for adaptive real-time systems. J. Syst. Archit. Charlie McElhone, Alan Burns
2000	J	`jnl`	The meaning and role of value in scheduling flexible real-time systems. J. Syst. Archit. Alan Burns, Divya Prasad, Andrea Bondavalli, Felicita Di Giandomenico, Krithi Ramamritham, John A. Stankovic, Lorenzo Strigini
1999	B	`conf`	A Framework for Scheduling in Safety-Critical Embedded Control Systems. RTCSA Iain Bate, Alan Burns
1999	B	`conf`	Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach. ECRTS Eduardo Tovar, Francisco Vasques, Alan Burns
1999	B	`conf`	An approach to task attribute assignment for uniprocessor systems. ECRTS Iain Bate, Alan Burns
1999	—	`conf`	An experimental testbed for embedded real time Ada 95. IRTAW W. M. Walker, P. T. Woolley, Alan Burns
1999	B	`conf`	Dynamic value-density for scheduling real-time systems. ECRTS Saud Ahmed Aldarmi, Alan Burns
1999	J	`jnl`	Editorial real-time systems - multidisciplinary engineering [Editorial]. IEE Proc. Softw. I. J. Bate, Alan Burns
1999	B	`conf`	Finding the minimum available transmission time for the timed token medium access control protocol. ECRTS Sijing Zhang, E. Stewart Lee, Alan Burns, Hongji Yang
1999	—	`conf`	How to verify concurrent Ada programs: the application of model checking. IRTAW Alan Burns, Andy J. Wellings
1999	B	`conf`	Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties. RTCSA Jing Chen, Alan Burns
1999	A	`conf`	New Results on Fixed Priority Aperiodic Servers. RTSS Guillem Bernat, Alan Burns
1999	—	`ed.`	Proceedings of the Ninth International Workshop on Real-Time Ada, IRTAW 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999 IRTAW Alan Burns
1999	—	`conf`	The Ravenscar Profile and implementation issues (session summary). IRTAW Alan Burns
1999	B	`conf`	Time-constrained sorting-a comparison of different algorithms. ECRTS Peter P. Puschner, Alan Burns
1998	B	`conf`	Asynchronous data sharing in multiprocessor real-time systems using process consensus. ECRTS Jing Chen, Alan Burns
1998	—	`conf`	Integrating Real-Time Structured Design and Formal Techniques. FTRTFT Darren George Priddin, Alan Burns
1998	B	`conf`	Investigation of the pessimism in distributed systems timing analysis. ECRTS Iain Bate, Alan Burns
1998	—	`conf`	MOPping up Exceptions. ECOOP Workshops Stuart E. Mitchell, Alan Burns, Andy J. Wellings
1998	J	`jnl`	On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods. Inf. Process. Lett. Neil C. Audsley, Alan Burns
1998	B	`conf`	Schedulability analysis for mode changes in flexible real-time systems. ECRTS Paulo Pedro, Alan Burns
1998	Misc	`conf`	The Ravenscar Tasking Profile for High Integrity Real-Time Programs. Ada-Europe Alan Burns, Brian Dobbing, George Romanski
1998	—	`conf`	The Ravenscar Tasking Profile for High Integrity Real-Time Programs. SIGAda Brian Dobbing, Alan Burns
1997	—	`conf`	Adaptive Scheduling Using Reflection. ECOOP Workshops Stuart E. Mitchell, Alan Burns, Andy J. Wellings
1997	B	`conf`	Analysis of checkpointing for schedulability of real-time systems. RTCSA Sasikumar Punnekkat, Alan Burns
1997	A	`conf`	Combining ( RTSS Guillem Bernat, Alan Burns
1997	—	`conf`	Developing a real-time metaobject protocol. WORDS Stuart E. Mitchell, Alan Burns, Andrew J. Wellings
1997	—	`conf`	Efficient Transient Overload Tests for Real-Time Systems. Computer Performance Evaluation Guillem Bernat, Alan Burns, Albert Llamosí
1997	—	`conf`	Feature interactions with dynamic priorities. IRTAW Alan Burns, Andy J. Wellings
1997	—	`conf`	Guaranteeing timing constraints under shortest remaining processing time scheduling. RTS Robert I. Davis, Alan Burns, W. M. Walker
1997	J	`jnl`	Implementing Atomic Actions in Ada 95. IEEE Trans. Software Eng. Andy J. Wellings, Alan Burns
1997	—	`book`	Real-time systems and their programming languages (2. ed.). Alan Burns, Andrew J. Wellings
1997	—	`conf`	Restricted tasking models. IRTAW Alan Burns, Andy J. Wellings
1997	—	`conf`	Schedulability analysis of fixed priority real-time systems with offsets. RTS Iain Bate, Alan Burns
1997	—	`conf`	Sensitivity Analysis of Real-Time Task Sets. ASIAN Sasikumar Punnekkat, Robert I. Davis, Alan Burns
1997	J	`jnl`	Synchronous sessions and fixed priority scheduling. J. Syst. Archit. Alan Burns, Andy J. Wellings
1997	Misc	`conf`	Task Termination in Ada 95. Ada-Europe Andy J. Wellings, Alan Burns, Offer Pazy
1997	—	`conf`	Task termination and Ada 95. IRTAW Andy J. Wellings, Alan Burns, Offer Pazy
1997	—	`conf`	Tasking profiles (session summary). IRTAW Alan Burns, Ted Baker, Tullio Vardanega
1997	B	`conf`	Timing Properties of the Timed Token MAC Protocol. ICCCN Sijing Zhang, Alan Burns
1997	—	`conf`	Worst case response time analysis of hard real-time sporadic traffic in FIP networks. RTS Paulo Pedro, Alan Burns
1996	—	`conf`	A Worst-Case Behavior Analysis for Hard Real-Time Transactions. RTDB Jeongyoujng Byun, Andy J. Wellings, Alan Burns
1996	Misc	`conf`	Ada 95: An Effective Concurrent Programming Language. Ada-Europe Alan Burns, Andy J. Wellings
1996	A*	`conf`	An Efficient and Practical Local Synchronous Bandwidth Allocation Scheme for the Timed-Token MAC Protocol. INFOCOM Sijing Zhang, Alan Burns, Andy J. Wellings
1996	J	`jnl`	Broadening Real-Time Systems Research. ACM Comput. Surv. Alan Burns
1996	J	`jnl`	Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems. Inf. Process. Lett. Alan Burns, Robert I. Davis
1996	J	`jnl`	Combining Static Worst-Case Timing Analysis and Program Proof. Real Time Syst. Roderick Chapman, Alan Burns, Andy J. Wellings
1996	—	`conf`	Feasibility Analysis of Fault-Tolerant Real-Time Task Sets. RTS Alan Burns, Robert I. Davis, Sasikumar Punnekkat
1996	J	`jnl`	Integrating optional software components into hard real-time systems. Softw. Eng. J. Neil C. Audsley, Alan Burns, Robert I. Davis, D. J. Scholefield, Andy J. Wellings
1996	J	`jnl`	Programming Replicated Systems in Ada 95. Comput. J. Andy J. Wellings, Alan Burns
1996	—	`conf`	Putting fixed priority scheduling theory into engineering practice for safety critical applications. IEEE Real Time Technology and Applications Symposium Neil C. Audsley, I. J. Bate, Alan Burns
1996	—	`conf`	Towards a Fixed Priority Scheduler for an Aircraft Application. RTS Iain Bate, Alan Burns, John A. McDermid, Andy Vickers
1995	J	`jnl`	An optimal synchronous bandwidth allocation scheme for guaranteeing synchronous message deadlines with the timed-token MAC protocol. IEEE/ACM Trans. Netw. Sijing Zhang, Alan Burns
1995	J	`jnl`	Analysis of Hard Real-Time Communications. Real Time Syst. Ken Tindell, Alan Burns, Andy J. Wellings
1995	J	`jnl`	Data Consistency in Hard Real-Time Systems. Informatica (Slovenia) Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings
1995	J	`jnl`	Effective Analysis for Engineering Real-Time Fixed Priority Schedulers. IEEE Trans. Software Eng. Alan Burns, Ken Tindell, Andy J. Wellings
1995	J	`jnl`	Engineering a Hard Real-time System: From Theory to Practice. Softw. Pract. Exp. Alan Burns, Andy J. Wellings
1995	J	`jnl`	Fixed Priority Pre-emptive Scheduling: An Historical Perspective. Real Time Syst. Neil C. Audsley, Alan Burns, Robert I. Davis, Ken Tindell, Andy J. Wellings
1995	—	`conf`	Flexible scheduling for adaptable real-time systems. IEEE Real Time Technology and Applications Symposium Robert I. Davis, Sasikumar Punnekkat, Neil C. Audsley, Alan Burns
1995	—	`conf`	Hybrid algorithms for dynamic schedulability testing. RTS Charlie McElhone, Alan Burns, Robert I. Davis
1995	J	`jnl`	Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-Emptive Systems. Inf. Process. Lett. Robert I. Davis, Alan Burns
1995	—	`conf`	Real-time distributed computing. FTDCS Alan Burns, Neil C. Audsley, Andy J. Wellings
1995	B	`conf`	n the Schedulability of Synchronous Message Sets with the Minimum Message Deadline Less than 2*TTRT in an FDDI Network. ICCCN Sijing Zhang, Alan Burns
1994	J	`jnl`	An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. Real Time Syst. Ken Tindell, Alan Burns, Andy J. Wellings
1994	J	`jnl`	Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic. Comput. J. Ken Tindell, Alan Burns
1994	—	`conf`	Fixed priority scheduling with deadlines prior to completion. RTS Alan Burns, Ken Tindell, Andrew J. Wellings
1994	J	`jnl`	HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Real Time Syst. Alan Burns, Andy J. Wellings
1994	A	`conf`	Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems. RTSS Neil C. Audsley, Robert I. Davis, Alan Burns
1994	J	`jnl`	Real-time safety-critical systems: analysis and synthesis. Softw. Eng. J. Alan Burns, John A. McDermid
1994	J	`jnl`	STRESS: a Simulator for Hard Real-time Systems. Softw. Pract. Exp. Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings
1993	J	`jnl`	Applying new scheduling theory to static priority pre-emptive scheduling. Softw. Eng. J. Neil C. Audsley, Alan Burns, Mike M. Richardson, Ken Tindell, Andy J. Wellings
1993	—	`book`	Concurrent programming. Alan Burns, Geoffrey Davies
1993	—	`conf`	Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation. RTS Alan Burns, Andrew J. Wellings
1993	J	`jnl`	Pipelined Processors and Worst Case Execution Times. Real Time Syst. N. Zhang, Alan Burns, Mark Nicholson
1993	A	`conf`	Scheduling slack time in fixed priority pre-emptive systems. RTSS Robert I. Davis, Ken Tindell, Alan Burns
1993	—	`conf`	The End Of The Line For Static Cyclic Scheduling? RTS Neil C. Audsley, Ken Tindell, Alan Burns
1993	Misc	`conf`	The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models. Ada-Europe Alan Burns, Andy J. Wellings, A. D. Hutcheon
1993	Misc	`conf`	The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation. Ada-Europe Alan Burns, Andy J. Wellings, C. M. Bailey, E. Fyfe
1992	—	`conf`	Absolute and relative temporal constraints in hard real-time databases. RTS Neil C. Audsley, Alan Burns, Mike F. Richardson, Andrew J. Wellings
1992	J	`jnl`	Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy. Real Time Syst. Ken Tindell, Alan Burns, Andy J. Wellings
1992	Misc	`conf`	Designing Hard Real-Time Systems. Ada-Europe Alan Burns, Andy J. Wellings
1992	A	`conf`	Mode Changes In Priority Pre-Emptively Scheduled Systems. RTSS Ken Tindell, Alan Burns, Andy J. Wellings
1992	J	`jnl`	On the Meaning of Safety and Security. Comput. J. Alan Burns, John A. McDermid, John E. Dobson
1991	J	`jnl`	A Framework for Building Dependable Systems. Comput. J. Alan Burns, Andrew M. Lister
1991	J	`jnl`	Criticality and Utility in the Next Generation. Real Time Syst. Alan Burns, Andy J. Wellings
1991	J	`jnl`	Priority Inheritance and Message Passing Communication: A Formal Treatment. Real Time Syst. Alan Burns, Andy J. Wellings
1990	—	`conf`	A performance standard for Ada 9X. IRTAW Alan Burns
1990	—	`conf`	Asynchronous transfer of control in Ada 9X. IRTAW Alan Burns, Andy J. Wellings, Gordon Davies
1990	J	`jnl`	Formal specifications and proofs of inheritance protocols for real-time scheduling. Softw. Eng. J. Michael Pilling, Alan Burns, Kerry Raymond
1990	J	`jnl`	The Notion of Priority in Real-Time Programming Languages. Comput. Lang. Alan Burns, Andy J. Wellings
1990	J	`jnl`	The Teaching Language Pascal-FC. Comput. J. Gordon Davies, Alan Burns
1989	J	`jnl`	Dynamic change management and Ada. J. Softw. Maintenance Res. Pract. Alan Burns, Andy J. Wellings
1989	—	`conf`	Real-time Ada: outstanding problem areas. IRTAW Alan Burns, Andy J. Wellings
1989	—	`conf`	Usability of the Ada tasking-model. IRTAW Alan Burns, Andy J. Wellings
1988	J	`jnl`	A Modula-2 implementation of a real-time process abstraction. ACM SIGPLAN Notices Alan Burns, Gordon Davies, Andy J. Wellings
1988	J	`jnl`	Pascal-FC: a language for teaching concurrent programming. ACM SIGPLAN Notices Alan Burns, Gordon Davies
1988	J	`jnl`	Program Generation for Ada-A Case Study. Softw. Pract. Exp. Pat Allen, Alan Burns
1987	—	`book`	A Review of Ada Tasking Alan Burns, Andrew M. Lister, Andy J. Wellings
1987	J	`jnl`	A communications environment for co-operative information systems development. Softw. Eng. J. Alan Burns, Margaret A. Rathwell
1987	J	`jnl`	A distributed decision-making system. Decis. Support Syst. Alan Burns, Margaret A. Rathwell, Richard C. Thomas
1987	—	`conf`	Real-time Ada issues. IRTAW Alan Burns, Andy J. Wellings
1986	J	`jnl`	ADDS - A Dialogue Development System for the Ada Programming Language. Int. J. Man Mach. Stud. Alan Burns, J. Robinson
1986	J	`jnl`	Program Generators and Generation Software. Comput. J. P. A. Luker, Alan Burns
1986	—	`book`	Real-time systems and their programming languages. Alan Burns, Andy J. Wellings
1986	J	`jnl`	The Construction of Information Management System Prototypes in Ada. Softw. Pract. Exp. Alan Burns, J. A. Kirkham
1985	J	`jnl`	A Dialogue Development System for the Design and Implementation of User Interfaces in Ada. Comput. J. J. Robinson, Alan Burns
1985	J	`jnl`	Information Systems Support for Group Planning and Decision-Making Activities. MIS Q. Margaret A. Rathwell, Alan Burns
1983	J	`jnl`	Enhanced input/output on Pascal. ACM SIGPLAN Notices Alan Burns
1982	J	`jnl`	The Case for Distributed Decision Making Systems. Comput. J. Richard C. Thomas, Alan Burns