| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alan Burns, Robert I. Davis, P. Wang, Fengxiang Zhang |
Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme.  |
Real-Time Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah |
Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling. |
Real-Time Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert I. Davis, Alan Burns |
Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. |
Real-Time Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert I. Davis, Alan Burns |
A survey of hard real-time scheduling for multiprocessor systems. |
ACM Comput. Surv. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns |
Programming Languages for Real-Time Applications Executing on Parallel Hardware. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjoy K. Baruah, Alan Burns |
Implementing Mixed Criticality Systems in Ada. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjoy K. Baruah, Alan Burns, Robert I. Davis |
Response-Time Analysis for Mixed Criticality Systems. |
RTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Sanjoy K. Baruah |
Timing Faults and Mixed Criticality Systems. |
Dependable and Historic Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kun Wei, Jim Woodcock, Alan Burns |
Timed Circus: Timed CSP with the Miracle. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert I. Davis, Alan Burns |
FPZL Schedulability Analysis. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Shi, Alan Burns, Leandro Soares Indrusiak |
Schedulability Analysis for Real Time On-Chip Communication with Wormhole Switching. |
IJERTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Ian J. Hayes |
A timeband framework for modelling real-time systems. |
Real-Time Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Shi, Alan Burns |
Schedulability analysis and task mapping for real-time on-chip communication. |
Real-Time Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah |
Sensitivity Analysis of the Minimum Task Period for Arbitrary Deadline Real-Time Systems. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kun Wei, Jim Woodcock, Alan Burns |
A Timed Model of Circus with the Reactive Design Miracle. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Alan Burns |
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Andy J. Wellings |
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah |
Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems. |
RTCSA |
2010 |
DBLP DOI BibTeX RDF |
real-time systems, embedded systems, scheduling analysis, performance and reliability |
| 1 | Alan Burns, Bev Littlewood |
Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems. |
RTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei |
Modelling and Implementing Complex Systems with Timebands. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Griffin, Alan Burns |
Realism in Statistical Analysis of Worst Case Execution Times. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengxiang Zhang, Alan Burns |
Schedulability Analysis for Real-Time Systems with EDF Scheduling. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert I. Davis, Thomas Rothvoß, Sanjoy K. Baruah, Alan Burns |
Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling. |
Real-Time Systems |
2009 |
DBLP DOI BibTeX RDF |
Fixed priority pre-emptive scheduling, Sub-optimality, Processor speedup factor, Constrained deadline, Implicit deadline, Omega constant, Real-time, Earliest Deadline First (EDF), Uniprocessor |
| 1 | Alan Burns |
Guest editorial: Special issue on ECRTS 2008. |
Real-Time Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Areej Zuhily, Alan Burns |
Exact scheduling analysis of non-accumulatively monotonic multiframe tasks. |
Real-Time Systems |
2009 |
DBLP DOI BibTeX RDF |
Multiframe, Frame specific deadlines, Scheduling, Arbitrary deadlines |
| 1 | Robert I. Davis, Alan Burns |
Robust priority assignment for messages on Controller Area Network (CAN). |
Real-Time Systems |
2009 |
DBLP DOI BibTeX RDF |
Robust priority assignment, Optimal priority assignment, Real-time, Schedulability analysis, Fixed priority scheduling, Controller Area Network (CAN), Response time analysis, Transmission errors |
| 1 | Alan Burns, Andy J. Wellings, Fengxiang Zhang |
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengxiang Zhang, Alan Burns |
Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems. |
ECRTS |
2009 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Schedulability Analysis, EDF Scheduling |
| 1 | Zheng Shi, Alan Burns |
Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks. |
ECRTS |
2009 |
DBLP DOI BibTeX RDF |
real time communication, on-chip network |
| 1 | Robert I. Davis, Alan Burns |
Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems. |
IEEE Real-Time Systems Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Sanjoy K. Baruah |
Sustainability in Real-time Scheduling. |
JCSE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Robert I. Davis, A. Zabos, Alan Burns |
Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanching Chu, Alan Burns |
Flexible hard real-time scheduling for deliberative AI systems. |
Real-Time Systems |
2008 |
DBLP DOI BibTeX RDF |
Real-time AI, Deliberative agents, Optimal priority ordering, Fixed priority scheduling, Response time analysis |
| 1 | Zheng Shi, Alan Burns |
Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching. |
NOCS |
2008 |
DBLP DOI BibTeX RDF |
real-time, schedulable analysis, wormhole switching |
| 1 | Areej Zuhily, Alan Burns |
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Martins, Alan Burns |
On the meaning of modes in uniprocessor real-time systems. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
mode changes, real-time systems analysis and design, modes |
| 1 | Zheng Shi, Alan Burns |
Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks. |
IEEE Real-Time Systems Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert I. Davis, Alan Burns |
Response Time Upper Bounds for Fixed Priority Real-Time Systems. |
IEEE Real-Time Systems Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Areej Zuhily, Alan Burns |
Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Tse-Min Lin |
An engineering process for the verification of real-time systems. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Rely/guarantee conditions, Model checking, Scheduling analysis, UPPAAL, SPARK, Ada95, Ravenscar profile |
| 1 | Areej Zuhily, Alan Burns |
Optimal (D-J)-monotonic priority assignment. |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert I. Davis, Alan Burns, Reinder J. Bril, Johan J. Lukkien |
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. |
Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
Non-pre-emptive scheduling, Priority assignment policies, Schedulability analysis, Fixed priority scheduling, Controller Area Network (CAN), Response time analysis |
| 1 | Alan Burns, Andy J. Wellings |
Concurrent and real-time programming in Ada. |
|
2007 |
RDF |
|
| 1 | Andy J. Wellings, Alan Burns |
Real-Time Utilities for Ada 2005. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanching Chu, Alan Burns |
Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach. |
ECRTS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol |
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert I. Davis, Alan Burns |
Robust Priority Assignment for Fixed Priority Real-Time Systems. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengxiang Zhang, Alan Burns |
Analysis of Hierarchical EDF Pre-emptive Scheduling. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Andy J. Wellings |
Delivering Real-Time Behaviour. |
Domain Modeling and the Duration Calculus |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert I. Davis, Alan Burns |
Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjoy K. Baruah, Alan Burns |
Sustainable Scheduling Analysis. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Andy J. Wellings |
Programming Execution-Time Servers in Ada 2005. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Aldea, 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, J. M. Martínez, Julio L. Medina, José C. Palencia Gutiérrez, Michael Trimarchi |
FSF: A Real-Time Scheduling Architecture Framework. |
IEEE Real Time Technology and Applications Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns |
Editorial. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Bernat, Alan Burns, Martin Newby |
Probabilistic timing analysis: An approach using copulas. |
J. Embedded Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ian Broster, Alan Burns, Guillermo Rodríguez-Navas |
Timing Analysis of Real-Time Communication Under Electromagnetic Interference. |
Real-Time Systems |
2005 |
DBLP DOI BibTeX RDF |
TTCAN, probabilistic timing analysis, electromagnetic interference, bus guardian, babbling idiot, dependability, faults, Controller Area Network, CAN |
| 1 | Marco Caccamo, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Lui Sha |
Real-Time Scheduling for Embedded Systems. |
Handbook of Networked and Embedded Control Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | George M. de A. Lima, Alan Burns |
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert I. Davis, Alan Burns |
Hierarchical Fixed Priority Pre-Emptive Scheduling. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lui Sha, Tarek F. Abdelzaher, Karl-Erik Årzén, Anton Cervin, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Marco Caccamo, John P. Lehoczky, Aloysius K. Mok |
Real Time Scheduling Theory: A Historical Perspective. |
Real-Time Systems |
2004 |
DBLP DOI BibTeX RDF |
dynamic-priority scheduling, new challenges, feedback, earliest deadline first, fixed-priority scheduling, hard real-time, soft real-time, rate-monotonic scheduling, scheduling models |
| 1 | Sijing Zhang, Alan Burns, Jing Chen, E. Stewart Lee |
Hard Real-Time Communication with the Timed Token Protocol: Current State and Challenging Problems. |
Real-Time Systems |
2004 |
DBLP DOI BibTeX RDF |
timed token ring networks, hard real-time communication, medium access control, FDDI networks, synchronous bandwidth allocation, timed token protocol |
| 1 | Alan Burns |
Dissecting the Black Box: A Knowledge Management System for Transferring Levels of Technical Knowledge. |
AMCIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jorge Real, Alan Burns, Francisco Javier Miranda González, Edmond Schonberg, Alfons Crespo |
Dynamic Ceiling Priorities: A Proposal for Ada0Y. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Andy J. Wellings, S. Tucker Taft |
Supporting Deadlines and EDF Scheduling in Ada. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Broster, Alan Burns, Guillermo Rodríguez-Navas |
Comparing Real-Time Communication Under Electromagnetic Interference. |
ECRTS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Bernat, Ian Broster, Alan Burns |
Rewriting History to Exploit Gain Time. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | George M. de A. Lima, Alan Burns |
An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
priority assignment algorithm, fault tolerance, schedulability analysis, Hard real-time systems |
| 1 | Divya Prasad, Alan Burns, Martin C. Atkins |
The Valid Use of Utility in Adaptive Real-Time Systems. |
Real-Time Systems |
2003 |
DBLP DOI BibTeX RDF |
measurement, adaptive systems, scales, utility, value, flexible scheduling |
| 1 | Iain Bate, Alan Burns |
An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. |
Real-Time Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns |
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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Guillem Bernat, Ian Broster |
A Probabilistic Framework for Schedulability Analysis. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Andy J. Wellings |
Processing Group Parameters in the Real-Time Specification for Java. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Michael González Harbour, Andy J. Wellings |
A Round Robin Scheduling Policy for Ada. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Tse-Min Lin |
Adding Temporal Annotations and Associated Verification to Ravenscar Profile. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Broster, Alan Burns |
An Analysable Bus-Guardian for Event-Triggered Communication. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | George M. de A. Lima, Alan Burns |
A Consensus Protocol for CAN-Based Systems. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | C. K. Angelov, I. E. Ivanov, Alan Burns |
HARTEX - a safe real-time kernel for distributed computer control systems. |
Softw., Pract. Exper. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sijing Zhang, Alan Burns, Tee-Hiang Cheng |
Cycle-Time Properties of the Timed Token Medium Access Control Protocol. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
Protocol timing properties, timed token medium access control (MAC) protocol, timed token networks, real-time communications, FDDI networks |
| 1 | Eduardo Tovar, Francisco Vasques, Alan Burns |
Communication Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilization. |
Real-Time Systems |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Bernat, Alan Burns |
Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling. |
Real-Time Systems |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sijing Zhang, Alan Burns, Ahmed Mehaoua, E. Stewart Lee, Hongji Yang |
Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol. |
Real-Time Systems |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter P. Puschner, Alan Burns |
Writing Temporally Predictable Code. |
WORDS |
2002 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Predictability, Computer Architectures, Programming Paradigms, Worst-Case Execution-Time Analysis |
| 1 | Ian Broster, Guillem Bernat, Alan Burns |
Weakly Hard Real-time Constraints on Controller Area Network. |
ECRTS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Broster, Alan Burns, Guillermo Rodríguez-Navas |
Probabilistic Analysis of CAN with Faults. (PDF / PS) |
IEEE Real-Time Systems Symposium |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Alan Burns |
Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari, Alan Burns |
Extreme Interleavings. |
IEEE Distributed Systems Online |
2001 |
DBLP BibTeX RDF |
|
| 1 | Guillem Bernat, Alan Burns, Albert Llamosí |
Weakly Hard Real-Time Systems. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
Real-time systems, specification, scheduling algorithms, schedulability analysis, temporal constraints, transient overload |
| 1 | Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev |
Modelling and verification of an atomic action protocol implemented in Ada. |
Comput. Syst. Sci. Eng. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sasikumar Punnekkat, Alan Burns, Robert I. Davis |
Analysis of Checkpointing for Real-Time Systems. |
Real-Time Systems |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sijing Zhang, E. Stewart Lee, Alan Burns |
Determining the Worst-case Synchronous Message Response Time in FDDI Networks. |
Comput. J. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Bernat, Alan Burns |
Implementing a Flexible Scheduler in Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns |
Defining New Non-preemptive Dispatching and Locking Policies for Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Broster, Alan Burns |
Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with Faults. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Bernat, Alan Burns |
Three Obstacles to Flexible Scheduling. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | George M. de A. Lima, Alan Burns |
An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stewart Edgar, Alan Burns |
Statistical Analysis of WCET for Scheduling. (PDF / PS) |
IEEE Real-Time Systems Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Poledna, Alan Burns, Andy J. Wellings, Peter Barrett |
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
replica determinism, fault tolerance, Distributed real-time systems, distributed operating systems, distributed scheduling, flexible scheduling |
| 1 | Charlie McElhone, Alan Burns |
Scheduling optional computations for adaptive real-time systems. |
Journal of Systems Architecture |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Divya Prasad, Andrea Bondavalli, Felicita Di Giandomenico, Krithi Ramamritham, John A. Stankovic, Lorenzo Strigini |
The meaning and role of value in scheduling flexible real-time systems. |
Journal of Systems Architecture |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter P. Puschner, Alan Burns |
Guest Editorial: A Review of Worst-Case Execution-Time Analysis. |
Real-Time Systems |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")