Alan Burns | Academic Influence

Alan Burns 's AcademicInfluence.com Rankings

Alan Burns

Computer Science

#1411

World Rank

#1460

Historical Rank

Database

#1299

World Rank

#1370

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Alan Burns 's Degrees

Bachelors Computer Science University of York
PhD Computer Science University of York

Similar Degrees You Can Earn

Why Is Alan Burns Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Professor Alan Burns FREng FIET FBCS FIEEE CEng is a professor in the Computer Science Department at the University of York, England. He has been at the University of York since 1990, and held the post of Head of Department from 1999 until 30 June 2006, when he was succeeded by John McDermid.

(See a Problem?)

Alan Burns 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Applying new scheduling theory to static priority pre-emptive scheduling (1993) (1251)
A survey of hard real-time scheduling for multiprocessor systems (2011) (907)
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised (2007) (785)
Real Time Scheduling Theory: A Historical Perspective (2004) (657)
Calculating controller area network (can) message response times (1994) (626)
Hard Real-Time Scheduling: The Deadline-Monotonic Approach (1991) (571)
Mixed Criticality Systems - A Review (2015) (491)
An extendible approach for analyzing fixed priority hard real-time tasks (1994) (434)
Real-Time Systems and Programming Languages (2009) (422)
Weakly Hard Real-Time Systems (2001) (406)
Response-Time Analysis for Mixed Criticality Systems (2011) (362)
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX (2009) (324)
Real-time systems and their programming languages (1986) (319)
Preemptive priority-based scheduling: an appropriate engineering approach (1995) (308)
Fixed priority pre-emptive scheduling: An historical perspective (1995) (306)
Hierarchical fixed priority pre-emptive scheduling (2005) (291)
Allocating hard real-time tasks: An NP-Hard problem made easy (1992) (283)
Scheduling slack time in fixed priority pre-emptive systems (1993) (272)
Guest Editorial: A Review of Worst-Case Execution-Time Analysis (2000) (268)
Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems (2009) (234)
Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching (2008) (230)
Guide for the use of the Ada Ravenscar Profile in high integrity systems (2004) (230)
Hrt-Hood: A Structured Design Method for Hard Real-Time ADA Systems (1995) (219)
Schedulability Analysis for Real-Time Systems with EDF Scheduling (2009) (219)
The Ravenscar tasking profile for high integrity real-time programs (1998) (206)
Statistical analysis of WCET for scheduling (2001) (202)
Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems (2010) (195)
Guaranteeing message latencies on controller area network (can) (1994) (188)
Sustainable Scheduling Analysis (2006) (184)
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers (1995) (183)
Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems (2006) (180)
A Survey of Research into Mixed Criticality Systems (2017) (172)
Mode changes in priority preemptively scheduled systems (1992) (169)
Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems (2008) (150)
Concurrency in ADA (1995) (148)
Feasibility analysis of fault-tolerant real-time task sets (1996) (148)
The End Of The Line For Static Cyclic Scheduling? (1993) (141)
Analysis of hard real-time communications (1995) (141)
STRESS: A simulator for hard real‐time systems (1994) (139)
GUARANTEED MESSAGE LATENCIES FOR DISTRIBUTED SAFETY-CRITICAL HARD REAL-TIME CONTROL NETWORKS1 (1994) (130)
The meaning and role of value in scheduling flexible real-time systems (2000) (126)
The Ravenscar Profile (1999) (120)
Analysis of Checkpointing for Real-Time Systems (2004) (111)
Robust Priority Assignment for Fixed Priority Real-Time Systems (2007) (110)
Towards A More Practical Model for Mixed Criticality Systems (2013) (109)
Deadline monotonic scheduling theory and application (1993) (102)
Probabilistic analysis of CAN with faults (2002) (102)
Portable worst-case execution time analysis using Java Byte Code (2000) (100)
Writing temporally predictable code (2002) (98)
Schedulability analysis for mode changes in flexible real-time systems (1998) (96)
Probabilistic scheduling guarantees for fault-tolerant real-time systems (1999) (93)
Probabilistic timing analysis: An approach using copulas (2005) (91)
New results on fixed priority aperiodic servers (1999) (89)
A Probabilistic Framework for Schedulability Analysis (2003) (87)
On the Meaning of Safety and Security (1992) (85)
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems (2000) (79)
Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme (2011) (79)
Implementing Mixed Criticality Systems in Ada (2011) (78)
Sustainability in Real-time Scheduling (2008) (75)
A Survey of Hard Real-Time Scheduling Algorithms and Schedulability Analysis Techniques for Multiprocessor Systems (2009) (74)
A review of priority assignment in real-time systems (2016) (73)
An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems (2003) (72)
A Schedulability Compatible Multiprocessor Resource Sharing Protocol -- MrsP (2013) (72)
A Framework for Building Dependable Systems (1991) (70)
HRT-HOOD: A structured design method for hard real-time systems (2005) (70)
Real-Time System Scheduling (1995) (69)
A Wormhole NoC Protocol for Mixed Criticality Systems (2014) (69)
Sensitivity Analysis of Real-Time Task Sets (1997) (67)
Combining (/sub m//sup n/)-hard deadlines and dual priority scheduling (1997) (67)
Schedulability Analysis for Real Time On-Chip Communication with Wormhole Switching (2010) (66)
An analysable bus-guardian for event-triggered communication (2003) (65)
Predicting computation time for advanced processor architectures (2000) (65)
An Approach to Symbolic Worst-Case Execution Time Analysis (2000) (63)
Realism in Statistical Analysis of Worst Case Execution Times (2010) (63)
Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling (2004) (61)
Analysis of Hierarchical EDF Pre-emptive Scheduling (2007) (61)
Fixed priority scheduling with deadlines prior to completion (1994) (59)
Pipelined processors and worst case execution times (1993) (59)
A Review of Ada Tasking (1987) (57)
An optimal synchronous bandwidth allocation scheme for guaranteeing synchronous message deadlines with the timed-token MAC protocol (1995) (56)
Deadline Monotonic Scheduling Theory (1992) (55)
A Bailout Protocol for Mixed Criticality Systems (2015) (54)
Dynamic value-density for scheduling real-time systems (1999) (53)
Combining -Hard deadlines and Dual Priority Scheduling (1997) (53)
The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation (1993) (50)
An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems (2003) (50)
FPZL Schedulability Analysis (2011) (50)
A timeband framework for modelling real-time systems (2010) (50)
Timing Analysis of Real-Time Communication Under Electromagnetic Interference (2005) (49)
Implementing Atomic Actions in Ada 95 (1997) (49)
Response Time Upper Bounds for Fixed Priority Real-Time Systems (2008) (49)
Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks (2009) (47)
Schedulability analysis and task mapping for real-time on-chip communication (2010) (47)
Mechanisms for enhancing the flexibility and utility of hard real-time systems (1994) (47)
Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors (2016) (46)
Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation (1993) (45)
FSF: A Real-Time Scheduling Architecture Framework (2006) (44)
Timely use of the CAN protocol in critical hard real-time systems with faults (2001) (44)
Comparing real-time communication under electromagnetic interference (2004) (43)
How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study* (2003) (43)
Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole Networks-on-Chip (2015) (43)
Adaptive Mixed Criticality Scheduling with Deferred Preemption (2014) (42)
Robust priority assignment for messages on Controller Area Network (CAN) (2009) (41)
Mixed Criticality on Controller Area Network (2013) (41)
Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling (2009) (41)
Flexible scheduling for adaptable real-time systems (1995) (40)
Engineering a hard real‐time system: From theory to practice (1995) (40)
Data Consistency in Hard Real-Time Systems (1995) (39)
Optimal (D-J)-monotonic priority assignment (2007) (39)
An Investigation into Server Parameter Selection for Hierarchical Fixed Priority Pre-emptive Systems (2008) (39)
Time bands in systems structure (2006) (39)
Loop-free asynchronous data sharing in multiprocessor real-time systems based on timing properties (1999) (38)
Combining static worst-case timing analysis and program proof (1996) (38)
INCORPORATING UNBOUNDED ALGORITHMS INTO PREDICTABLE REAL-TIME SYSTEMS (1993) (38)
Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks (2008) (37)
Timing Faults and Mixed Criticality Systems (2011) (37)
Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic (1994) (36)
System Mode Changes-General and Criticality-Based (2014) (36)
The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models (1993) (35)
Asynchronous data sharing in multiprocessor real-time systems using process consensus (1998) (34)
Partitioned EDF Scheduling for Multiprocessors using a C=D Scheme (2010) (33)
Rewriting History to Exploit Gain Time (2004) (33)
Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-Emptive Systems (1995) (32)
Robust Mixed-Criticality Systems (2018) (32)
Absolute and relative temporal constraints in hard real-time databases (1992) (32)
Putting fixed priority scheduling theory into engineering practice for safety critical applications (1996) (32)
Generating feasible cyclic schedules (1995) (32)
An approach to task attribute assignment for uniprocessor systems (1999) (31)
Worst case response time analysis of hard real-time sporadic traffic in FIP networks (1997) (30)
A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing (2015) (30)
Message response time analysis for ideal controller area network (CAN) refuted (2006) (29)
Schedulability analysis of fixed priority real-time systems with offsets (1997) (29)
Formal specifications and proofs of inheritance protocols for real-time scheduling (1990) (29)
The Valid Use of Utility in Adaptive Real-Time Systems (2003) (28)
Real-time safety-critical systems: analysis and synthesis (1994) (28)
An efficient and practical local synchronous bandwidth allocation scheme for the timed-token MAC protocol (1996) (28)
An Enhanced Bailout Protocol for Mixed Criticality Embedded Software (2017) (27)
A three-slot asynchronous reader-writer mechanism for multiprocessor real-time systems (1997) (27)
Supporting Real-Time Distributed Computer-Controlled Systems with Multi-hop P-NET Networks (1999) (26)
Restricted tasking models (1997) (26)
Cyclic Executives, Multi-core Platforms and Mixed Criticality Applications (2015) (25)
Analysis of checkpointing for schedulability of real-time systems (1997) (24)
Comparing Degrees of Non-Determinism in Expression Evaluation (2013) (24)
Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs (2018) (24)
Building a Preliminary Safety Case: An Example from Aerospace (1999) (23)
Quantifying the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling for Sporadic Tasksets with Arbitrary Deadlines (2009) (22)
Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Preemption (2015) (22)
Processing group parameters in the real-time specification for Java (2003) (22)
Analysis of buffering effects on hard real-time priority-preemptive wormhole networks (2016) (22)
Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems (2010) (21)
Mixed Criticality Systems with Varying Context Switch Costs (2018) (21)
Global fixed priority scheduling with deferred pre-emption (2013) (21)
Static worst-case timing analysis of Ada (1994) (21)
Real-time analysis of priority-preemptive NoCs with arbitrary buffer sizes and router delays (2018) (21)
Exact scheduling analysis of non-accumulatively monotonic multiframe tasks (2009) (21)
Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems (1996) (21)
Programming Execution-Time Servers in Ada 2005 (2006) (21)
Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression (2014) (21)
ALLOCATING AND SCHEDULING HARD REAL-TIME TASKS ON A POINT-TO-POINT DISTRIBUTED SYSTEM (2007) (20)
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults (2005) (20)
Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems (2009) (20)
Supporting lock‐based multiprocessor resource sharing protocols in real‐time programming languages (2013) (20)
The Application of the Original Priority Ceiling Protocol to Mixed Criticality Systems (2013) (19)
Real-Time Scheduling for Embedded Systems (2005) (19)
Hard Real-Time Communication with the Timed Token Protocol: Current State and Challenging Problems (2004) (19)
Guaranteeing Hard Real Time End-to-End Communications Deadlines (1991) (19)
Weakly hard real-time constraints on controller area network (2002) (18)
A framework for real-time utilities for Ada 2005 (2007) (18)
A value-based scheduling approach for real-time autonomous vehicle control (2000) (18)
Period adaptation of real-time control tasks with fixed-priority scheduling in cyber-physical systems (2020) (17)
Value-Based Scheduling of Flexible Real-Time Systems for Intelligent Autonomous Vehicle Control (1998) (17)
On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods (1998) (17)
A Performance Analysis of a Hard Real-time System (1994) (17)
A Round Robin Scheduling Policy for Ada (2003) (17)
The Ravenscar Profile and implementation issues (session summary) (1999) (16)
Improvement of Schedulability Analysis with a Priority Share Policy in On-Chip Networks (2009) (16)
Concurrency in Ada (2nd ed.) (1998) (16)
An effective schedulability analysis for fault-tolerant hard real-time systems (2001) (16)
The Notion of Priority in Real-Time Programming Languages (1990) (16)
HARTEX—a safe real‐time kernel for distributed computer control systems (2002) (16)
DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency (2020) (16)
Correcting the EDF protocol in Ada 2005 (2007) (16)
Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms (2015) (16)
Semi-partitioned model for dual-core mixed criticality system (2015) (16)
Supporting Nested Resources in MrsP (2017) (16)
New schedulability analysis for MrsP (2017) (15)
Keynote paper: A performance analysis of a hard real-time system (1995) (15)
Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing (2013) (15)
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada (2010) (15)
Worst-case timing analysis of exception handling in Ada (1993) (15)
Guaranteeing Synchronous Message Sets in FDDI Networks (1995) (14)
Integrating Unbounded Software Components into Hard Real-Time Systems (1995) (14)
Real-Time Utilities for Ada 2005 (2007) (14)
TZDKS: A New TrustZone-Based Dual-Criticality System with Balanced Performance (2018) (14)
Programming Replicated Systems in Ada 95 (1996) (14)
Comparing Models of Nondeterministic Expression Evaluation (2011) (14)
Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling (2011) (14)
Fixed-priority scheduling of dual-criticality systems (2013) (14)
Beyond Ada 2005: allocating tasks to processors in SMP systems (2007) (14)
SCHEDULING HARD REAL-TIME MULTI-MEDIA DISK TRAFFIC (1993) (13)
Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems (2010) (13)
An engineering process for the verification of real-time systems (2007) (13)
A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design (2019) (13)
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java (2007) (13)
A consensus protocol for CAN-based systems (2003) (13)
A Timed Model of Circus with the Reactive Design Miracle (2010) (12)
Timed Circus: Timed CSP with the Miracle (2011) (12)
AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems (2018) (12)
Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets (2000) (12)
Designing Hard Real-Time Systems (1992) (12)
Cycle-Time Properties of the Timed Token Medium Access Control Protocol (2002) (12)
Using large families for handling priority requests (1987) (12)
Investigation of the pessimism in distributed systems timing analysis (1998) (12)
Asynchronous event handling and real-time threads in the real-time specification for Java (2002) (12)
Scheduling optional computations for adaptive real-time systems (2000) (12)
Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol (2002) (11)
Integrating Best Effort and Fixed Priority Scheduling (1994) (11)
ALLOCATING AND SCHEDULING HARD REAL-TIME TASKS ON A PARALLEL PROCESSING PLATFORM (1994) (11)
A Worst-Case Behavior Analysis for Hard Real-Time Transactions (1996) (11)
Flexible hard real-time scheduling for deliberative AI systems (2008) (11)
Tasking profiles (session summary) (1997) (11)
AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems (2018) (11)
Implementing analysable hard real-time sporadic tasks in Ada 9X (1994) (11)
Communication Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilization (2002) (11)
Supporting Deadlines and EDF Scheduling in Ada (2004) (11)
On priority assignment for controller area network when some message identifiers are fixed (2015) (11)
Concurrent and Real-Time Programming in Ada 2005: Preface (2007) (11)
Developing a real-time metaobject protocol (1997) (11)
Timing Properties of the Timed Token Protocol (1994) (10)
Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches (2014) (10)
Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines (2017) (10)
On Optimal Priority Assignment for Response Time Analysis of Global FixedPriority Pre-emptive Scheduling in Multiprocessor Hard Real-Time Systems (2010) (10)
Defining New Non-preemptive Dispatching and Locking Policies for Ada (2001) (10)
Appropriate mechanisms for the support of optional processing in hard real-time systems (1994) (10)
Probabilistic Guarantees for Fault-Tolerant Real-Time Systems (1997) (10)
On the schedulability of synchronous message sets with the minimum message deadline less than 2/spl middot/TTRT in an FDDI network (1995) (10)
The drtee architecture for distributed hard real-time systems (1992) (10)
EVALUATING TIMEBANDS AS A TOOL FOR STRUCTURING THE DESIGN OF SOCIO-TECHNICAL SYSTEMS (2007) (9)
Towards a fixed priority scheduler for an aircraft application (1996) (9)
Real-time Ada: outstanding problem areas (1989) (9)
On the meaning of modes in uniprocessor real-time systems (2008) (9)
Locking policies for multiprocessor ada (2013) (9)
Dual Priority Scheduling in ADA 95 and Real-Time Posix (1996) (9)
Ada and cc-NUMA architectures what can be achieved with Ada 2005? (2010) (9)
Semi-partitioned Cyclic Executives for Mixed Criticality Systems (2015) (9)
Mixed Criticality Systems : Beyond Transient Faults (2015) (9)
Timing properties of the timed token MAC protocol (1997) (9)
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks (2008) (9)
In support of the Ada 9X real-time facilities (1992) (9)
Decoupling Criticality and Importance in Mixed-Criticality Scheduling (2018) (9)
Spare Capacity Distribution Using Exact Response-Time Analysis (2009) (9)
Efficient initialisation routines for multiprocessor systems programmed in Ada (1985) (9)
Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach (1999) (9)
Multiprocessor systems session summary (2010) (8)
Adding Temporal Annotations and Associated Verification to Ravenscar Profile (2003) (8)
Real-Time Java (2007) (8)
Implementing a Flexible Scheduler in Ada (2001) (8)
Models of Replication for Safety Critical Hard Real Time Systems (1996) (8)
A STUDY OF TIMING PROPERTIES WITH THE TIMED TOKEN PROTOCOL (1994) (8)
Multi-core Cyclic Executives for Safety-Critical Systems (2017) (8)
Finding the minimum available transmission time for the timed token medium access control protocol (1999) (8)
A semi-partitioned model for mixed criticality systems (2019) (8)
Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance (2020) (8)
Reducing the Implementation Overheads of IPCP and DFP (2015) (8)
Ada 95: An Effective Concurrent Programming Language (1996) (8)
Priority-Based Functional Reactive Programming (P-FRP) Using Deferred Abort (2015) (7)
Improving the Schedulability of Mixed Criticality Cyclic Executives via Limited Task Splitting (2016) (7)
Supporting execution on multiprocessor platforms (2010) (7)
Build real-time communication for hybrid dual-OS system (2020) (7)
Improved Priority Assignment for the Abort-and-Restart ( AR ) Model (2013) (7)
Predictability as an Emergent Behaviour (2011) (7)
MOPping up exceptions (1998) (7)
How to verify concurrent Ada programs: the application of model checking (1999) (7)
Concurrent and Real-Time Programming in Ada 2005: Scheduling real-time systems – fixed priority dispatching (2007) (7)
Quantifying the sub-optimality of uniprocessor fixed-priority scheduling (2008) (7)
Dynamic CPU Scheduling with Imprecise Knowledge of Computation-Time (1999) (6)
Time-constrained sorting-a comparison of different algorithms (1999) (6)
Three obstacles to flexible scheduling (2001) (6)
Mixed critical system design and analysis (2012) (6)
Semi-Clairvoyance in Mixed-Criticality Scheduling (2019) (6)
Resource sharing in RTSJ and SCJ systems (2011) (6)
Protected ceiling changes (2002) (6)
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 (2009) (6)
Integrating optional software components into hard real-time systems (1996) (6)
Incorporating the deadline floor protocol in ada (2013) (6)
Real-time distributed computing (1995) (6)
The AirTight Protocol for Mixed Criticality Wireless CPS (2019) (6)
Modelling and Implementing Complex Systems with Timebands (2010) (6)
Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies (2018) (6)
Session summary: locking protocols (2013) (6)
Corrections to and Discussion of “Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks” (2017) (6)
Effective use of abort in programming mode changes (1990) (6)
A framework for scheduling in safety-critical embedded control systems (1999) (5)
Ada 2012: resource sharing and multiprocessors (2013) (5)
Timing-Independent Safety on Top of CAN (2002) (5)
Priority inheritance and message passing communication: A formal treatment (1991) (5)
Time-Cognizant Value Functions for Scheduling Real-Time Systems (1998) (5)
GMCB : An Industrial Benchmark for use in Real-Time Mixed-Criticality Networks-on-Chip (2015) (5)
Programming atomic actions in Ada (1989) (5)
Modelling temporal behaviour in complex systems with Timebands (2013) (5)
Dynamic change management and Ada (1989) (5)
Hybrid algorithms for dynamic schedulability testing (1995) (5)
Random Arrivals in Fixed Priority Analysis (5)
Accessing delay queues (2002) (5)
Real-time systems and their programming languages (2. ed.) (1997) (5)
Synchronous sessions and fixed priority scheduling (1997) (5)
Adaptive Scheduling Using Reflection (1997) (5)
A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs (2020) (4)
Real-Time Systems (2003) (4)
Heaven or Hell? A “Real-Time” UML? (2000) (4)
Efficient Transient Overload Tests for Real-Time Systems (1997) (4)
Emergence of an Architectural Topology for Safety-Critical Real-Time Systems (2007) (4)
Applying Random Arrival Models to Fixed Priority Analysis (4)
Generalizing the EDF scheduling support in Ada 2005 (2010) (4)
Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling (2022) (4)
Priority Assignment in Fixed Priority Pre-emptive Systems with Varying Context Switch Costs (2018) (4)
Implementing a high-integrity executive using Ravenscar (2001) (4)
Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme (2011) (4)
Implementing and Verifying EDF Preemption-Level Resource Control (2012) (4)
From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper) (2019) (4)
Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines (2008) (4)
Fixed or Dynamic Priority? That is the Question (2004) (4)
TARDIS: An Architectural Framework for Timely and Reliable Distributed Information Systems (1991) (4)
Towards bandwidth optimal temporal partitioning (2009) (3)
A complete run-time overhead-aware schedulability analysis for MrsP under nested resources (2020) (3)
Analysing high-integrity systems (1994) (3)
The Deadline Floor Protocol and Ada (2016) (3)
Jorvik: A Framework for Effective Scheduling (2001) (3)
Non-preemptive dispatching and locking policies (2001) (3)
Delivering Real-Time Behaviour (2007) (3)
Task parameter computations for constraint deadline real-time systems with EDF scheduling (2010) (3)
A Timely Distributed Consensus Solution in a Crash/Omission-Fault Environment (2001) (3)
Report of session: generating new AIs (2003) (3)
Temporal Constraints and Exception Handling in Object-Oriented Distributed Systems (1998) (3)
Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources (2021) (3)
Broadening real-time systems research (1996) (3)
Extending Mixed Criticality Scheduling WMC - RTSS 2013 (2013) (3)
Deriving Specifications of Control Programs for Cyber Physical Systems (2019) (3)
Object-oriented programming with protected types in Ada 95 (1995) (3)
Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition (2009) (3)
Measuring, monitoring and enforcing CPU execution time (1993) (3)
Integrating OOP and tasking: the missing requeue (2007) (3)
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 (2010) (3)
Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems (2017) (3)
An EDF run-time profile based on ravenscar (2013) (3)
The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems (2020) (3)
Task attribute-based scheduling: extending Ada's support for scheduling (2003) (3)
Language vulnerabilities: let's not forget concurrency (2010) (3)
Synchronous Task Control and Synchronous Barriers (2016) (2)
Minimizing Execution Duration in the Presence of Learning-Enabled Components (2020) (2)
The Ravenscar Profile for Real-Time and High Integrity Systems (2010) (2)
Support for multiprocessor platforms (2013) (2)
Integrating Real-Time Structured Design and Formal Techniques (1998) (2)
Utilization based Spare Capacity Distribution (2008) (2)
Determining the Worst-case Synchronous Message Response Time in FDDI Networks (2001) (2)
Asynchronous transfer of control in Ada 9X (1990) (2)
User-defined clocks is it the right time now? (2010) (2)
Concurrent and Real-Time Programming in Ada 2005: Timing events and execution-time control (2007) (2)
Contract based management of the memory resource (2009) (2)
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems (2016) (2)
Correspondence: Criticality and utility in the next generation (1991) (2)
Dynamic Ceiling Priorities: A Proposal for Ada0Y (2004) (2)
Notice of Retraction Sensitivity analysis of task period for EDF scheduled arbitrary deadline real-time systems (2010) (2)
Report of session: flexible scheduling in Ada (2003) (2)
Parallel Ada: a requirement for Ada 2020 (2013) (2)
17th IEEE Real-Time Systems Symposium: Work in Progress Sessions (1996) (2)
Guaranteeing timing constraints under shortest remaining processing time scheduling (1997) (2)
An experimental testbed for embedded real time Ada 95 (1999) (2)
A dependable distributed architecture for a safety critical hard real-time system (1997) (2)
The HSJ debate. GPs want choose and book--but is the system workable. (2005) (2)
Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory (2019) (2)
Session summary: future of the Ada language and language changes such as the Ravenscar profile (2002) (2)
Sporadic tasks in hard real-time systems (1995) (2)
Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework (2017) (2)
Sensitivity Analysis of the Minimum Task Period for Arbitrary Deadline Real-Time Systems (2010) (2)
TTF-ravenscar: a profile to support reliable high-integrity multiprocessor ada applications (2013) (2)
Notice of RetractionSensitivity analysis of task period for EDF scheduled arbitrary deadline real-time systems (2010) (2)
Flexible scheduling theory for advanced engine controllers (1996) (1)
Development Automation of Real-Time Java (2020) (1)
Task termination and Ada 95 (1997) (1)
Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach (2007) (1)
Programming Languages for Real-Time Applications Executing on Parallel Hardware (2011) (1)
Ada 9X protected types in Pascal-FC (1992) (1)
Ada and the software vulnerabilities project (2010) (1)
Validating high level simulation results against experimental data and low level simulation: a case study (2019) (1)
Deadline-Aware Programming and Scheduling (2014) (1)
Implementing Safety-Critical Java Missions in Ada (2016) (1)
Developing a Testbed for Distributed Real-Time Applications (1999) (1)
Modelling and verification of an atomic action protocol implemented in Ada (2001) (1)
Testing Conformity to the Real-Time Annex (2015) (1)
Session Summary: Conformance Issues (2015) (1)
Performance comparison between the SRP and DFP synchronization protocols in MaRTE OS (2013) (1)
On developing and verifying design abstractions for reliable concurrent programming in Ada (2001) (1)
Towards ADA 9x (1992) (1)
Expressing survivability considerations in mixed-criticality scheduling theory (2020) (1)
Interrupts, Timing Events and Dispatching Domains (2015) (1)
Feature interactions with dynamic priorities (1997) (1)
Notice of RetractionSensitivity analysis of relative deadline for EDF scheduled real-time systems (2010) (1)
Asynchronism in Ada 9X (1991) (1)
A Priority-Based Consensus Protocol (2007) (1)
Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005 (2007) (1)
An assessment of the use of occam for dependable real-time systems (1990) (1)
Supporting Critical Modes in AirTight (2019) (1)
A Rely-Guarantee Specification of Mixed-Criticality Scheduling (2020) (1)
Summary of the 6th International Workshop on real-time Ada issues (1993) (1)
Optimal Priority Ordering for Imprecise Computation-A Utility-Based Approach (2007) (1)
Session summary: language profile and application frameworks (2013) (1)
Efficient Implementation of IPCP and DFP (2015) (1)
Compensating Adaptive Mixed Criticality Scheduling (2022) (1)
Task Termination in Ada 95 (1997) (1)
Concurrent and Real-Time Programming in Ada 2005: Concurrency utilities (2007) (1)
Dividing point value selections for Improved Quick Processor-demand Analysis (2010) (1)
Analytical approaches for performance evaluation of networks-on-chip (2012) (1)
Constructing Predictable Real-Time Systems (1992) (1)
A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems (2023) (1)
MSRP-FT: Reliable Resource Sharing on Multiprocessor Mixed-Criticality Systems (2022) (1)
Cyclic Executives, Multi-Core Platforms and Mixed (2015) (0)
Concurrent and Real-Time Programming in Ada 2005: Scheduling real-time systems – other dispatching facilities (2007) (0)
Editorial: Multidisciplinary Engineering (1999) (0)
Evaluating P-NET Message's Response Time with Fixed Priority Queuing at Application Process Level (1998) (0)
Programming simple reactive systems in ada: premature program termination (2013) (0)
Concurrent and Real-Time Programming in Ada 2005: The nature and uses of concurrent programming (2007) (0)
Scheduling distributed safety critical systems (1993) (0)
Guest editorial: multiprocessor scheduling (2013) (0)
Real-Time Systems and Programming Languages WEB APPENDICES to 4 th Edition Occam 2 and Modula (2009) (0)
Real-time utilities (2007) (0)
The Design and Analysis of a Close-In Weapons System Simulator using HRT-HOOD (1995) (0)
Preemptive uniprocessor scheduling of dual-criticality implicit-deadline sporadic tasks (2016) (0)
Session Summary: Multiprocessor Locking (2018) (0)
Timebands Framework – 2011 (2011) (0)
CRTS 2011 Proceedings of the 4 th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (2011) (0)
A performance standard for Ada 9X (1990) (0)
Protected objects and data-oriented communication (2007) (0)
DEADLINE MONOTONIC SCHEDULING THEORY††This work is supported, in part, by the Information Engineering Advanced Technology Programme (UK), Grant GR/F 35920/4/1/1214; and the European Space Agency (ESTEC Contract 9198/90/NL/SF). (1992) (0)
Concurrent and Real-Time Programming in Ada 2005: Inter-process communication (2007) (0)
Discretization and Stabilization of Energy-Based Controller for Period Switching Control and Flexible Scheduling (2022) (0)
Guest editorial: Special issue on ECRTS 2008 (2009) (0)
Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems — Requirements and Open Challenges (2021) (0)
An Architecture for HCI in Real-time Systems (1992) (0)
Notice of Retraction: Sensitivity analysis of relative deadline for EDF scheduled real-time systems (2010) (0)
8 Language changes and extensions (1987) (0)
19th International Conference on Real-Time and Network Systems, RTNS '11, Nantes, France, September 29-30, 2011. Proceedings (2011) (0)
Topics Document for Entry in October 2007 (2007) (0)
3.6 Real-time Multiprocessing (2019) (0)
Real-Time Guarantees in Routerless Networks-on-Chip (2022) (0)
Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms (2015) (0)
Dynamics for WCET (2011) (0)
Work-in-Progress: Real-Time RPC for Hybrid Dual-OS System (2019) (0)
Applying new sc to static priority scheduling ; heduling theory pre-emptive by (2004) (0)
The DrTee project (1992) (0)
DRC Protocol for the Response Time Reduction in CAN based Distributed Embedded System (2016) (0)
Regular path algebra applied to non-functional properties of critical software (1998) (0)
Real-time analysis of priority-preemptive NoCs with arbitrary buffer sizes and router delays (2018) (0)
Concurrent and Real-Time Programming in Ada 2005: Avoidance synchronisation and the requeue facility (2007) (0)
2 The Ada Tasking model (1987) (0)
Session Summary: Deadline Floor Protocol (2016) (0)
Concurrent and Real-Time Programming in Ada 2005: Restrictions, metrics and the Ravenscar profile (2007) (0)
Editorial real-time systems - multidisciplinary engineering [Editorial] (1999) (0)
ABSOLUTE AND RELATIVE TEMPORAL CONSTRAINTS (1992) (0)
Schedulability Analysis for Fixed Priority Wormhole Switching in On-Chip Networks (2008) (0)
Modelling and Implementing Complex Systems with Timebands ( Invited Paper ) (2010) (0)
AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems (Artifact) (2018) (0)
Deriving period restrictions from a given utilization bound under RMS (2015) (0)
Fault-tolerant transmission of messages of differing criticalities across a shared communication medium (2019) (0)
7 Implementation issues (1987) (0)
The select statement and the rendezvous (2007) (0)
Heaven or hell? a Real-time UML? panel (2000) (0)
4 Concurrent programming (1987) (0)
Distributed Ada: developments and experiences: A Portable Common Executable Environment for Ada (1990) (0)
Proceedings of the ninth international workshop on Real-time Ada (1999) (0)
Ada-the reasons for change (1989) (0)
Task types and objects (2007) (0)
Object-oriented programming and tasking (2007) (0)
5 Embedded systems (1987) (0)
Schedulability Analysis for Guards Computational Models Guards D1a4/ao/7013b (1996) (0)
6 Distributed systems (1987) (0)
Functional Uncertainty in Real-Time Safety-Critical Systems (2022) (0)
Exceptions, abort and asynchronous transfer of control (2007) (0)
Concurrent and Real-Time Programming in Ada 2005: Tasking and systems programming (2007) (0)
3 Formal aspects (1987) (0)

This paper list is powered by the following services:

Other Resources About Alan Burns

en.wikipedia.org

What Schools Are Affiliated With Alan Burns ?

Alan Burns is affiliated with the following schools: