Alan Burns

Search results

• 2010

  Generalizing the EDF scheduling support in Ada 2005

  Wellings, A. J. & Burns, A., 2010, In: ACM Ada Letters. 30, 1, p. 116-124 9 p.

  Research output: Contribution to journal › Article › peer-review

• Progress report from the 14th international real-time ada workshop - IRTAW14

  Burns, A., 1 Dec 2010, In: Ada User Journal. 31, 4, p. 275-277 3 p.

  Research output: Contribution to journal › Article › peer-review

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

  Shi, Z. & Burns, A., Dec 2010, In: Real-Time Systems. 46, 3, p. 360-385 26 p.

  Research output: Contribution to journal › Article › peer-review

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

  Shi, Z., Burns, A. & Indrusiak, L. S., Apr 2010, In: International Journal of Embedded and Real-Time Communication Systems (IJERTCS). 1, 2, 23 p.

  Research output: Contribution to journal › Article › peer-review

• Schedulincr and timina analysis for safety-critical real-time systems

  Burns, A. & Dale, C., 1 Mar 2010, In: Electronics World. 116, 1887, p. 18-20 3 p.

  Research output: Contribution to journal › Article › peer-review

• Scheduling and Timing Analysis for Safety-Critical Real-Time Systems

  Burns, A. & Dale, C., 1 Feb 2010, In: Electronics World. 116, 1886, p. 18-20 3 p.

  Research output: Contribution to journal › Article › peer-review

• Scheduling and Timing Analysis for SAFETY-CRITICAL REAL-TIME SYSTEMS

  Burns, A. & Dale, C., Feb 2010, In: Electronics & wireless world. 116, 1886, p. 18-20 3 p.

  Research output: Contribution to journal › Article › peer-review

• User-defined clocks is it the right time now?

  Wellings, A. J. & Burns, A., 2010, In: ACM Ada Letters. 30, 1, p. 104-115 12 p.

  Research output: Contribution to journal › Article › peer-review
• 2009

  Concurrency vulnerabilities

  Burns, A. & Wettings, A. J., 1 Sept 2009, In: Ada User Journal. 30, 3, p. 187-189 3 p.

  Research output: Contribution to journal › Article › peer-review

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

  Davis, R. I., Rothvoss, T., Baruah, S. K. & Burns, A., 1 Nov 2009, In: Real-Time Systems. 43, 3, p. 211-258 48 p.

  Research output: Contribution to journal › Article › peer-review

• Exact scheduling analysis of non-accumulatively monotonic multiframe tasks

  Zuhily, A. & Burns, A., Oct 2009, In: Real-Time Systems. 43, 2, p. 119-146 28 p.

  Research output: Contribution to journal › Article › peer-review

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

  Davis, R. I. & Burns, A., Feb 2009, In: Real-Time Systems. 41, 2, p. 152-180 29 p.

  Research output: Contribution to journal › Article › peer-review

• Schedulability Analysis for Real-Time Systems with EDF Scheduling

  Zhang, F. & Burns, A., Sept 2009, In: IEEE Transactions on Computers. 58, 9, p. 1250-1258 9 p.

  Research output: Contribution to journal › Article › peer-review
• 2008

  A framework for real-time utilities for Ada 2005

  Wellings, A. J. & Burns, A., 1 Mar 2008, In: Ada User Journal. 29, 1, p. 47-53 7 p.

  Research output: Contribution to journal › Article › peer-review

• Beyond Ada 2005: Allocating tasks to processors in SMP systems

  Wellings, A. J. & Burns, A., 1 Jun 2008, In: Ada User Journal. 29, 2, p. 127-132 6 p.

  Research output: Contribution to journal › Article › peer-review

• Efficient exact schedulability tests for fixed priority real-time systems

  Davis, R. I., Zabos, A. & Burns, A., Sept 2008, In: IEEE Transactions on Computers. 57, 9, p. 1261-1276 16 p.

  Research output: Contribution to journal › Article › peer-review

• Flexible hard real-time scheduling for deliberative AI systems

  Chu, Y. & Burns, A., Dec 2008, In: Real-Time Systems. 40, 3, p. 241-263 23 p.

  Research output: Contribution to journal › Article › peer-review

• Programming execution-time servers in Ada 2005

  Burns, A. & Wellings, A. J., 1 Mar 2008, In: Ada User Journal. 29, 1, p. 54-58 5 p.

  Research output: Contribution to journal › Article › peer-review

• Sustainability in Real-time Scheduling

  Burns, A. & Baruah, S., 2008, In: Journal of Computing Science and Engineering. 2, 1, p. 74-97 24 p.

  Research output: Contribution to journal › Article › peer-review

• 2007

  An engineering process for the verification of real-time systems

  Burns, A. & Lin, T. -M., Mar 2007, In: Formal Aspects of Computing. 19, 1, p. 111-136 25 p.

  Research output: Contribution to journal › Article › peer-review

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

  Davis, R. I., Burns, A., Bril, R. J. & Lukkien, J. J., Apr 2007, In: Real-Time Systems. 35, 3, p. 239-272 33 p.

  Research output: Contribution to journal › Article › peer-review

• Optimal (D-J)-monotonic priority assignment

  Zuhily, A. & Burns, A., 15 Sept 2007, In: Information Processing Letters. 103, 6, p. 247-250 4 p.

  Research output: Contribution to journal › Article › peer-review
• 2005

  Probabilistic timing analysis: An approach using copulas

  Bernat, G., Burns, A. & Newby, M., 2005, In: J. Embedded Computing. 1, 2, p. 179-194 16 p.

  Research output: Contribution to journal › Article › peer-review

• Timing Analysis of Real-Time Communication Under Electromagnetic Interference

  Broster, I., Burns, A. & Rodríguez-Navas, G., 2005, In: Real-Time Systems. 30, 1-2, p. 55-81 27 p.

  Research output: Contribution to journal › Article › peer-review
• 2004

  Hard real-time communication with the timed token protocol: Current state and challenging problems

  Zhang, S., Burns, A., Chen, J. & Lee, E. S., Sept 2004, In: Real-Time Systems. 27, 3, p. 271-295 25 p.

  Research output: Contribution to journal › Article › peer-review
• 2003

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

  Bate, I. & Burns, A., 1 Jul 2003, In: Real-Time Systems. 25, 1, p. 5-37 33 p.

  Research output: Contribution to journal › Article › peer-review

• An optimal fixed-priority assignment algorithm for supporting fault-tolerant hard real-time systems

  Lima, G. M. D. & Burns, A., Oct 2003, In: IEEE Transactions on Computers. 52, 10, p. 1332-1346 14 p.

  Research output: Contribution to journal › Article › peer-review

  File

• A round robin scheduling policy for Ada

  Burns, A., González Harbour, M. & Wellings, A. J., 1 Dec 2003, In: Lecture Notes in Computer Science. 2655, p. 334-343 10 p.

  Research output: Contribution to journal › Article › peer-review

• How to verify a safe real-time system: The application of model checking and timed automata to the production cell case study

  Burns, A., Mar 2003, In: Real-Time Systems. 24, 2, p. 135-151 17 p.

  Research output: Contribution to journal › Article › peer-review

• Processing group parameters in the Real-Time Specification for Java

  Burns, A. & Wellings, A. J., 1 Dec 2003, In: Lecture Notes in Computer Science. 2889, p. 360-370 11 p.

  Research output: Contribution to journal › Article › peer-review

• The valid use of utility in adaptive real-time systems

  Prasad, D., Burns, A. & Atkins, M., 2003, In: Real-Time Systems. 25, 2-3, p. 277-296 20 p.

  Research output: Contribution to journal › Article › peer-review
• 2002

  Communication Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilization

  Tovar, E., Vasques, F. & Burns, A., 2002, In: Real-Time Systems. 22, 3, p. 229-249 21 p.

  Research output: Contribution to journal › Article › peer-review

• Cycle-time properties of the timed token medium access control protocol

  Zhang, S., Burns, A. & Cheng, T. H., Nov 2002, In: IEEE Transactions on Computers. 51, 11, p. 1362-1367 6 p.

  Research output: Contribution to journal › Article › peer-review

  File

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

  Angelov, C. K., Ivanov, I. E. & Burns, A., Mar 2002, In: Software-Practice & experience. 32, 3, p. 209-232 24 p.

  Research output: Contribution to journal › Article › peer-review

• Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling

  Bernat, G. & Burns, A., 2002, In: Real-Time Systems. 22, 1-2, p. 49-75 27 p.

  Research output: Contribution to journal › Article › peer-review

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

  Zhang, S., Burns, A., Mehaoua, A., Lee, E. S. & Yang, H., 2002, In: Real-Time Systems. 22, 3, p. 251-280 30 p.

  Research output: Contribution to journal › Article › peer-review
• 2001

  Analysis of checkpointing for real-time systems

  Punnekkat, S., Burns, A. & Davis, R., Jan 2001, In: Real-Time Systems. 20, 1, p. 83-102 20 p.

  Research output: Contribution to journal › Article › peer-review

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

  Burns, A., Wellings, A. J., Burns, F., Koelmans, A. M., Koutny, M., Romanovsky, A. & Yakovlev, A., May 2001, In: Computer systems science and engineering. 16, 3, p. 173-182 10 p.

  Research output: Contribution to journal › Article › peer-review

• Weakly hard real-time systems

  Burns, A., Liamosi, A. & Bernat, G., Apr 2001, In: IEEE Transactions on Computers. 50, 4, p. 308-321 13 p.

  Research output: Contribution to journal › Article › peer-review
• 2000

  A behavioural intervention improved cognitive function and depression in elderly people in residential homes

  Proctor, R., Stratton-Powell, H., Burns, A., Tarrier, N., Richardson, G., Davies, L., South, B. & Farragher, B., 2000, In: Evidence Based Nursing. 3, 1, p. 25 1 p.

  Research output: Contribution to journal › Article › peer-review

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

  Prasad, D. & Burns, A., 2000, In: Robotica. 18, p. 273-279 7 p.

  Research output: Contribution to journal › Article › peer-review

• Replica determinism and flexible scheduling in hard real-time dependable systems

  Poledna, S., Burns, A., Wellings, A. & Barrett, P., Feb 2000, In: IEEE Transactions on Computers. 49, 2, p. 100-111 12 p.

  Research output: Contribution to journal › Article › peer-review

  File

• Scheduling optional computations for adaptive real-time systems

  McElhone, C. & Burns, A., 1 Jan 2000, In: Journal of systems architecture. 46, 1, p. 49-77 29 p.

  Research output: Contribution to journal › Article › peer-review

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

  Burns, A., Prasad, D., Bondavalli, A., Di Giandomenico, F., Ramamritham, K., Stankovic, J. & Strigini, L., Feb 2000, In: Journal of systems architecture. 46, 4, p. 305-325 21 p.

  Research output: Contribution to journal › Article › peer-review

• 1999

  Behavioural management in nursing and residential homes: a randomised controlled trial

  Proctor, R., Burns, A., Powell, H. S., Tarrier, N., Faragher, B., Richardson, G. & Davies, L., 3 Jul 1999, In: Lancet. 354, 9172, p. 26-29 4 p.

  Research output: Contribution to journal › Article › peer-review

• Supporting real-time distributed computer-controlled systems with multi-hop P-NET networks

  Tovar, E., Vasques, F. & Burns, A., Aug 1999, In: Control engineering practice. 7, 8, p. 1015-1025 11 p.

  Research output: Contribution to journal › Article › peer-review

• 1998

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

  Audsley, N. C. & Burns, A., 1998, In: Inf. Process. Lett.. 67, 2, p. 65-69 5 p.

  Research output: Contribution to journal › Article › peer-review
• 1997

  A dependable distributed architecture for a safety critical hard real-time system

  Bate, I. J. & Burns, A., 1 Dec 1997, In: IEE Colloquium (Digest). 335

  Research output: Contribution to journal › Article › peer-review

• A hot spot for p53 mutation in transitional cell carcinoma of the bladder: Clues to the etiology of bladder cancer

  Xu, X. H., Stower, M. J., Reid, I. N., Garner, R. C. & Burns, P. A., Aug 1997, In: Cancer Epidemiology Biomarkers & Prevention. 6, 8, p. 611-616 6 p.

  Research output: Contribution to journal › Article › peer-review

• Implementing atomic actions in Ada 95

  Wellings, A. & Burns, A., Feb 1997, In: IEEE Transactions on Software Engineering. 23, 2, p. 107-123 17 p.

  Research output: Contribution to journal › Article › peer-review

  File