Alan Burns

According to our database1, Alan Burns authored at least 255 papers between 1982 and 2019.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2012, "For contributions to fixed-priority scheduling for embedded real-time systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Real-time analysis of priority-preemptive NoCs with arbitrary buffer sizes and router delays.
Real-Time Systems, 2019

A semi-partitioned model for mixed criticality systems.
Journal of Systems and Software, 2019

2018
Robust Mixed-Criticality Systems.
IEEE Trans. Computers, 2018

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

A Survey of Research into Mixed Criticality Systems.
ACM Comput. Surv., 2018

TZDKS: A New TrustZone-Based Dual-Criticality System with Balanced Performance.
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.
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.
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.
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies.
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
An Enhanced Bailout Protocol for Mixed Criticality Embedded Software.
IEEE Trans. Software Eng., 2017

Corrections to and Discussion of "Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks".
ACM Trans. Embedded Comput. Syst., 2017

Multi-core Cyclic Executives for Safety-Critical Systems.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

New schedulability analysis for MrsP.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Supporting Nested Resources in MrsP.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016
A review of priority assignment in real-time systems.
Journal of Systems Architecture - Embedded Systems Design, 2016

OpenPNM: A Pore Network Modeling Package.
Computing in Science and Engineering, 2016

Improving the Schedulability of Mixed Criticality Cyclic Executives via Limited Task Splitting.
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.
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.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015
Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Preemption.
ACM Trans. Embedded Comput. Syst., 2015

A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing.
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.
Real-Time Systems, 2015

Deriving period restrictions from a given utilization bound under RMS.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Reducing the Implementation Overheads of IPCP and DFP.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Semi-partitioned model for dual-core mixed criticality system.
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.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Priority-Based Functional Reactive Programming (P-FRP) Using Deferred Abort.
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.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

Cyclic Executives, Multi-core Platforms and Mixed Criticality Applications.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

A Bailout Protocol for Mixed Criticality Systems.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

2014
Foreword.
LITES, 2014

A Wormhole NoC Protocol for Mixed Criticality Systems.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Adaptive Mixed Criticality Scheduling with Deferred Preemption.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Schedulability Analysis for the Abort-and-Restart (AR) Model.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Deadline-Aware Programming and Scheduling.
Proceedings of the Reliable Software Technologies, 2014

2013
Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing.
ACM Trans. Embedded Comput. Syst., 2013

Guest editorial: multiprocessor scheduling.
Real-Time Systems, 2013

Modelling temporal behaviour in complex systems with Timebands.
Formal Methods in System Design, 2013

Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages.
Concurrency and Computation: Practice and Experience, 2013

Comparing Degrees of Non-Determinism in Expression Evaluation.
Comput. J., 2013

Fixed-priority scheduling of dual-criticality systems.
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Global fixed priority scheduling with deferred pre-emption.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

Predictability and Mixed Criticality.
Proceedings of the PECCS 2013, 2013

A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

Mixed Criticality on Controller Area Network.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012
Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme.
Real-Time Systems, 2012

Mixed critical system design and analysis.
Proceedings of the 12th International Conference on Embedded Software, 2012

Analytical approaches for performance evaluation of networks-on-chip.
Proceedings of the 15th International Conference on Compilers, 2012

Implementing and Verifying EDF Preemption-Level Resource Control.
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

Modelling Temporal Behaviour in Complex Systems with Timebands.
Proceedings of the Conquering Complexity, 2012

2011
Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling.
Real-Time Systems, 2011

Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems.
Real-Time Systems, 2011

A survey of hard real-time scheduling for multiprocessor systems.
ACM Comput. Surv., 2011

Response-Time Analysis for Mixed Criticality Systems.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

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

Resource sharing in RTSJ and SCJ systems.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Timed Circus: Timed CSP with the Miracle.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Timing Faults and Mixed Criticality Systems.
Proceedings of the Dependable and Historic Computing, 2011

Programming Languages for Real-Time Applications Executing on Parallel Hardware.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

Implementing Mixed Criticality Systems in Ada.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010
Schedulability analysis and task mapping for real-time on-chip communication.
Real-Time Systems, 2010

A timeband framework for modelling real-time systems.
Real-Time Systems, 2010

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

Realism in Statistical Analysis of Worst Case Execution Times.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Modelling and Implementing Complex Systems with Timebands.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

A Timed Model of Circus with the Reactive Design Miracle.
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.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems.
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.
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.
Proceedings of the Reliable Software Technologiey, 2010

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada.
Proceedings of the Reliable Software Technologiey, 2010

2009
Schedulability Analysis for Real-Time Systems with EDF Scheduling.
IEEE Trans. Computers, 2009

Exact scheduling analysis of non-accumulatively monotonic multiframe tasks.
Real-Time Systems, 2009

Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling.
Real-Time Systems, 2009

Robust priority assignment for messages on Controller Area Network (CAN).
Real-Time Systems, 2009

Guest editorial: Special issue on ECRTS 2008.
Real-Time Systems, 2009

Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems.
Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks.
Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005.
Proceedings of the Reliable Software Technologies, 2009

2008
Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems.
IEEE Trans. Computers, 2008

Flexible hard real-time scheduling for deliberative AI systems.
Real-Time Systems, 2008

Sustainability in Real-time Scheduling.
JCSE, 2008

On the meaning of modes in uniprocessor real-time systems.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Response Time Upper Bounds for Fixed Priority Real-Time Systems.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching.
Proceedings of the Second International Symposium on Networks-on-Chips, 2008

Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks.
Proceedings of the Theoretical Aspects of Computing, 2008

Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines.
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.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

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

Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised.
Real-Time Systems, 2007

Optimal (D-J)-monotonic priority assignment.
Inf. Process. Lett., 2007

An engineering process for the verification of real-time systems.
Formal Asp. Comput., 2007

Analysis of Hierarchical EDF Pre-emptive Scheduling.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Robust Priority Assignment for Fixed Priority Real-Time Systems.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

Real-Time Utilities for Ada 2005.
Proceedings of the Reliable Software Technologies, 2007

Delivering Real-Time Behaviour.
Proceedings of the Domain Modeling and the Duration Calculus, 2007

Concurrent and real-time programming in Ada.
Cambridge University Press, 2007

2006
Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Programming Execution-Time Servers in Ada 2005.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

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

FSF: A Real-Time Scheduling Architecture Framework.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

2005
Editorial.
ACM Trans. Embedded Comput. Syst., 2005

Timing Analysis of Real-Time Communication Under Electromagnetic Interference.
Real-Time Systems, 2005

Probabilistic timing analysis: An approach using copulas.
J. Embedded Computing, 2005

Hierarchical Fixed Priority Pre-Emptive Scheduling.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

Real-Time Scheduling for Embedded Systems.
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.
Real-Time Systems, 2004

Real Time Scheduling Theory: A Historical Perspective.
Real-Time Systems, 2004

Rewriting History to Exploit Gain Time.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Comparing Real-Time Communication Under Electromagnetic Interference.
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

Dissecting the Black Box: A Knowledge Management System for Transferring Levels of Technical Knowledge.
Proceedings of the 10th Americas Conference on Information Systems, 2004

Dynamic Ceiling Priorities: A Proposal for Ada0Y.
Proceedings of the Reliable Software Technologies, 2004

Supporting Deadlines and EDF Scheduling in Ada.
Proceedings of the Reliable Software Technologies, 2004

2003
An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems.
IEEE Trans. Computers, 2003

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

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

An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems.
Real-Time Systems, 2003

A Consensus Protocol for CAN-Based Systems.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

An Analysable Bus-Guardian for Event-Triggered Communication.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Processing Group Parameters in the Real-Time Specification for Java.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

A Probabilistic Framework for Schedulability Analysis.
Proceedings of the Embedded Software, Third International Conference, 2003

Adding Temporal Annotations and Associated Verification to Ravenscar Profile.
Proceedings of the Reliable Software Technologies, 2003

A Round Robin Scheduling Policy for Ada.
Proceedings of the Reliable Software Technologies, 2003

2002
Cycle-Time Properties of the Timed Token Medium Access Control Protocol.
IEEE Trans. Computers, 2002

HARTEX - a safe real-time kernel for distributed computer control systems.
Softw., Pract. Exper., 2002

Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol.
Real-Time Systems, 2002

Communication Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilization.
Real-Time Systems, 2002

Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling.
Real-Time Systems, 2002

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

Probabilistic Analysis of CAN with Faults.
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.
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

Weakly Hard Real-time Constraints on Controller Area Network.
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

2001
Weakly Hard Real-Time Systems.
IEEE Trans. Computers, 2001

Analysis of Checkpointing for Real-Time Systems.
Real-Time Systems, 2001

Extreme Interleavings.
IEEE Distributed Systems Online, 2001

Modelling and verification of an atomic action protocol implemented in Ada.
Comput. Syst. Sci. Eng., 2001

Determining the Worst-case Synchronous Message Response Time in FDDI Networks.
Comput. J., 2001

Statistical Analysis of WCET for Scheduling.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems.
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.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Three Obstacles to Flexible Scheduling.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Defining New Non-preemptive Dispatching and Locking Policies for Ada.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

Implementing a Flexible Scheduler in Ada.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems.
IEEE Trans. Computers, 2000

Guest Editorial: A Review of Worst-Case Execution-Time Analysis.
Real-Time Systems, 2000

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

Scheduling optional computations for adaptive real-time systems.
Journal of Systems Architecture, 2000

The meaning and role of value in scheduling flexible real-time systems.
Journal of Systems Architecture, 2000

Predicting computation time for advanced processor architectures.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

Portable worst-case execution time analysis using Java Byte Code.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999
Editorial real-time systems - multidisciplinary engineering [Editorial].
IEE Proceedings - Software, 1999

New Results on Fixed Priority Aperiodic Servers.
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties.
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.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Finding the minimum available transmission time for the timed token medium access control protocol.
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.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

Time-constrained sorting-a comparison of different algorithms.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

An approach to task attribute assignment for uniprocessor systems.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

Dynamic value-density for scheduling real-time systems.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998
On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods.
Inf. Process. Lett., 1998

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

Integrating Real-Time Structured Design and Formal Techniques.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Schedulability analysis for mode changes in flexible real-time systems.
Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

Asynchronous data sharing in multiprocessor real-time systems using process consensus.
Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

Investigation of the pessimism in distributed systems timing analysis.
Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

MOPping up Exceptions.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

The Ravenscar Tasking Profile for High Integrity Real-Time Programs.
Proceedings of the Reliable Software Technologies, 1998

1997
Implementing Atomic Actions in Ada 95.
IEEE Trans. Software Eng., 1997

Synchronous sessions and fixed priority scheduling.
Journal of Systems Architecture, 1997

Developing a real-time metaobject protocol.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Combining (/sub m//sup n/)-hard deadlines and dual priority scheduling.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Analysis of checkpointing for schedulability of real-time systems.
Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997

Timing Properties of the Timed Token MAC Protocol.
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.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Guaranteeing timing constraints under shortest remaining processing time scheduling.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Schedulability analysis of fixed priority real-time systems with offsets.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Adaptive Scheduling Using Reflection.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Efficient Transient Overload Tests for Real-Time Systems.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1997

Sensitivity Analysis of Real-Time Task Sets.
Proceedings of the Advances in Computing Science, 1997

Task Termination in Ada 95.
Proceedings of the Reliable Software Technologies, 1997

Real-time systems and their programming languages (2. ed.).
Addison-Wesley, ISBN: 978-0-201-40365-7, 1997

1996
Combining Static Worst-Case Timing Analysis and Program Proof.
Real-Time Systems, 1996

Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems.
Inf. Process. Lett., 1996

Integrating optional software components into hard real-time systems.
Software Engineering Journal, 1996

Broadening Real-Time Systems Research.
ACM Comput. Surv., 1996

Programming Replicated Systems in Ada 95.
Comput. J., 1996

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

Putting fixed priority scheduling theory into engineering practice for safety critical applications.
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.
Proceedings of the Proceedings IEEE INFOCOM '96, 1996

Feasibility Analysis of Fault-Tolerant Real-Time Task Sets.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

Towards a Fixed Priority Scheduler for an Aircraft Application.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

Ada 95: An Effective Concurrent Programming Language.
Proceedings of the Reliable Software Technologies, 1996

1995
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers.
IEEE Trans. Software Eng., 1995

An optimal synchronous bandwidth allocation scheme for guaranteeing synchronous message deadlines with the timed-token MAC protocol.
IEEE/ACM Trans. Netw., 1995

Engineering a Hard Real-time System: From Theory to Practice.
Softw., Pract. Exper., 1995

Analysis of Hard Real-Time Communications.
Real-Time Systems, 1995

Fixed Priority Pre-emptive Scheduling: An Historical Perspective.
Real-Time Systems, 1995

Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-Emptive Systems.
Inf. Process. Lett., 1995

Data Consistency in Hard Real-Time Systems.
Informatica (Slovenia), 1995

Flexible scheduling for adaptable real-time systems.
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.
Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

Real-time distributed computing.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

Hybrid algorithms for dynamic schedulability testing.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994
STRESS: a Simulator for Hard Real-time Systems.
Softw., Pract. Exper., 1994

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

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

Real-time safety-critical systems: analysis and synthesis.
Software Engineering Journal, 1994

Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic.
Comput. J., 1994

Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems.
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

Fixed priority scheduling with deadlines prior to completion.
Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994

1993
Pipelined Processors and Worst Case Execution Times.
Real-Time Systems, 1993

Applying new scheduling theory to static priority pre-emptive scheduling.
Software Engineering Journal, 1993

Scheduling slack time in fixed priority pre-emptive systems.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation.
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

The End Of The Line For Static Cyclic Scheduling?
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.
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.
Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993

Concurrent programming.
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.
Real-Time Systems, 1992

On the Meaning of Safety and Security.
Comput. J., 1992

Mode Changes In Priority Pre-Emptively Scheduled Systems.
Proceedings of the Real-Time Systems Symposium, 1992

Absolute and relative temporal constraints in hard real-time databases.
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

Designing Hard Real-Time Systems.
Proceedings of the Ada: Moving Towards 2000, 1992

1991
Criticality and Utility in the Next Generation.
Real-Time Systems, 1991

Priority Inheritance and Message Passing Communication: A Formal Treatment.
Real-Time Systems, 1991

A Framework for Building Dependable Systems.
Comput. J., 1991

1990
Formal specifications and proofs of inheritance protocols for real-time scheduling.
Software Engineering Journal, 1990

The Notion of Priority in Real-Time Programming Languages.
Comput. Lang., 1990

The Teaching Language Pascal-FC.
Comput. J., 1990

1989
Dynamic change management and Ada.
Journal of Software Maintenance, 1989

1988
Program Generation for Ada-A Case Study.
Softw., Pract. Exper., 1988

A Modula-2 implementation of a real-time process abstraction.
SIGPLAN Notices, 1988

Pascal-FC: a language for teaching concurrent programming.
SIGPLAN Notices, 1988

1987
A communications environment for co-operative information systems development.
Software Engineering Journal, 1987

A distributed decision-making system.
Decision Support Systems, 1987

A Review of Ada Tasking
Lecture Notes in Computer Science 262, Springer, ISBN: 3-540-18008-7, 1987

1986
The Construction of Information Management System Prototypes in Ada.
Softw., Pract. Exper., 1986

ADDS - A Dialogue Development System for the Ada Programming Language.
International Journal of Man-Machine Studies, 1986

Program Generators and Generation Software.
Comput. J., 1986

Real-time systems and their programming languages.
International computer science series, Addison-Wesley, ISBN: 978-0-201-17529-5, 1986

1985
Information Systems Support for Group Planning and Decision-Making Activities.
MIS Quarterly, 1985

A Dialogue Development System for the Design and Implementation of User Interfaces in Ada.
Comput. J., 1985

1983
Enhanced input/output on Pascal.
SIGPLAN Notices, 1983

1982
The Case for Distributed Decision Making Systems.
Comput. J., 1982


  Loading...