2008 | ||
---|---|---|
133 | EE | Areej Zuhily, Alan Burns: Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines. ETFA 2008: 600-607 |
132 | EE | Areej Zuhily, Alan Burns: Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks. ICTAC 2008: 410-424 |
131 | EE | Zheng Shi, Alan Burns: Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching. NOCS 2008: 161-170 |
130 | EE | Paulo Martins, Alan Burns: On the meaning of modes in uniprocessor real-time systems. SAC 2008: 324-325 |
129 | EE | Robert I. Davis, A. Zabos, Alan Burns: Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems. IEEE Trans. Computers 57(9): 1261-1276 (2008) |
128 | EE | Yanching Chu, Alan Burns: Flexible hard real-time scheduling for deliberative AI systems. Real-Time Systems 40(3): 241-263 (2008) |
2007 | ||
127 | EE | Andy J. Wellings, Alan Burns: Real-Time Utilities for Ada 2005. Ada-Europe 2007: 1-14 |
126 | EE | Alan Burns, Andy J. Wellings: Delivering Real-Time Behaviour. Domain Modeling and the Duration Calculus 2007: 1-50 |
125 | EE | Yanching Chu, Alan Burns: Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach. ECRTS 2007: 259-268 |
124 | EE | 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: 115-123 |
123 | EE | Robert I. Davis, Alan Burns: Robust Priority Assignment for Fixed Priority Real-Time Systems. RTSS 2007: 3-14 |
122 | EE | Fengxiang Zhang, Alan Burns: Analysis of Hierarchical EDF Pre-emptive Scheduling. RTSS 2007: 423-434 |
121 | EE | Alan Burns, Tse-Min Lin: An engineering process for the verification of real-time systems. Formal Asp. Comput. 19(1): 111-136 (2007) |
120 | EE | Areej Zuhily, Alan Burns: Optimal (D-J)-monotonic priority assignment. Inf. Process. Lett. 103(6): 247-250 (2007) |
119 | EE | Robert I. Davis, Alan Burns, Reinder J. Bril, Johan J. Lukkien: Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems 35(3): 239-272 (2007) |
2006 | ||
118 | EE | 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: 113-124 |
117 | EE | Sanjoy K. Baruah, Alan Burns: Sustainable Scheduling Analysis. RTSS 2006: 159-168 |
116 | EE | Robert I. Davis, Alan Burns: Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems. RTSS 2006: 257-270 |
115 | EE | Alan Burns, Andy J. Wellings: Programming Execution-Time Servers in Ada 2005. RTSS 2006: 47-56 |
2005 | ||
114 | EE | George M. de A. Lima, Alan Burns: Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. LADC 2005: 154-173 |
113 | EE | Robert I. Davis, Alan Burns: Hierarchical Fixed Priority Pre-Emptive Scheduling. RTSS 2005: 389-398 |
112 | 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: 173-196 | |
111 | EE | Alan Burns: Editorial. ACM Trans. Embedded Comput. Syst. 4(3): 469-471 (2005) |
110 | EE | Guillem Bernat, Alan Burns, Martin Newby: Probabilistic timing analysis: An approach using copulas. J. Embedded Computing 1(2): 179-194 (2005) |
109 | EE | Ian Broster, Alan Burns, Guillermo Rodríguez-Navas: Timing Analysis of Real-Time Communication Under Electromagnetic Interference. Real-Time Systems 30(1-2): 55-81 (2005) |
2004 | ||
108 | EE | Alan Burns, Andy J. Wellings, S. Tucker Taft: Supporting Deadlines and EDF Scheduling in Ada. Ada-Europe 2004: 156-165 |
107 | EE | Jorge Real, Alan Burns, Francisco Javier Miranda González, Edmond Schonberg, Alfons Crespo: Dynamic Ceiling Priorities: A Proposal for Ada0Y. Ada-Europe 2004: 261-272 |
106 | EE | Ian Broster, Alan Burns, Guillermo Rodríguez-Navas: Comparing Real-Time Communication Under Electromagnetic Interference. ECRTS 2004: 45-52 |
105 | EE | Guillem Bernat, Ian Broster, Alan Burns: Rewriting History to Exploit Gain Time. RTSS 2004: 328-335 |
104 | EE | 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 27(3): 271-295 (2004) |
103 | EE | 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 28(2-3): 101-155 (2004) |
2003 | ||
102 | EE | Alan Burns, Michael González Harbour, Andy J. Wellings: A Round Robin Scheduling Policy for Ada. Ada-Europe 2003: 334-343 |
101 | EE | Alan Burns, Tse-Min Lin: Adding Temporal Annotations and Associated Verification to Ravenscar Profile. Ada-Europe 2003: 80-91 |
100 | EE | Alan Burns, Guillem Bernat, Ian Broster: A Probabilistic Framework for Schedulability Analysis. EMSOFT 2003: 1-15 |
99 | EE | Alan Burns, Andy J. Wellings: Processing Group Parameters in the Real-Time Specification for Java. OTM Workshops 2003: 360-370 |
98 | EE | Ian Broster, Alan Burns: An Analysable Bus-Guardian for Event-Triggered Communication. RTSS 2003: 410-419 |
97 | EE | George M. de A. Lima, Alan Burns: A Consensus Protocol for CAN-Based Systems. RTSS 2003: 420-429 |
96 | EE | George M. de A. Lima, Alan Burns: An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems. IEEE Trans. Computers 52(10): 1332-1346 (2003) |
95 | 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 24(2): 135-151 (2003) | |
94 | Iain Bate, Alan Burns: An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. Real-Time Systems 25(1): 5-37 (2003) | |
93 | EE | Divya Prasad, Alan Burns, Martin C. Atkins: The Valid Use of Utility in Adaptive Real-Time Systems. Real-Time Systems 25(2-3): 277-296 (2003) |
2002 | ||
92 | EE | Ian Broster, Guillem Bernat, Alan Burns: Weakly Hard Real-time Constraints on Controller Area Network. ECRTS 2002: 134-141 |
91 | EE | Andy J. Wellings, Alan Burns: Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java. IEEE Real Time Technology and Applications Symposium 2002: 81- |
90 | EE | Ian Broster, Alan Burns, Guillermo Rodríguez-Navas: Probabilistic Analysis of CAN with Faults. IEEE Real-Time Systems Symposium 2002: 269-278 |
89 | EE | Peter P. Puschner, Alan Burns: Writing Temporally Predictable Code. WORDS 2002: 85-94 |
88 | EE | Sijing Zhang, Alan Burns, Tee-Hiang Cheng: Cycle-Time Properties of the Timed Token Medium Access Control Protocol. IEEE Trans. Computers 51(11): 1362-1367 (2002) |
87 | Guillem Bernat, Alan Burns: Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling. Real-Time Systems 22(1-2): 49-75 (2002) | |
86 | Eduardo Tovar, Francisco Vasques, Alan Burns: Communication Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilization. Real-Time Systems 22(3): 229-249 (2002) | |
85 | 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 22(3): 251-280 (2002) | |
84 | C. K. Angelov, I. E. Ivanov, Alan Burns: HARTEX - a safe real-time kernel for distributed computer control systems. Softw., Pract. Exper. 32(3): 209-232 (2002) | |
2001 | ||
83 | EE | Guillem Bernat, Alan Burns: Implementing a Flexible Scheduler in Ada. Ada-Europe 2001: 179-190 |
82 | EE | Alan Burns: Defining New Non-preemptive Dispatching and Locking Policies for Ada. Ada-Europe 2001: 328-336 |
81 | EE | Guillem Bernat, Alan Burns: Three Obstacles to Flexible Scheduling. ECRTS 2001: 11-18 |
80 | EE | George M. de A. Lima, Alan Burns: An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. ECRTS 2001: 209-216 |
79 | EE | Ian Broster, Alan Burns: Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with Faults. ECRTS 2001: 95-102 |
78 | EE | Stewart Edgar, Alan Burns: Statistical Analysis of WCET for Scheduling. IEEE Real-Time Systems Symposium 2001: 215-224 |
77 | EE | Sijing Zhang, E. Stewart Lee, Alan Burns: Determining the Worst-case Synchronous Message Response Time in FDDI Networks. Comput. J. 44(1): 31-41 (2001) |
76 | 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. 16(3): 173-182 (2001) | |
75 | EE | Mordechai Ben-Ari, Alan Burns: Extreme Interleavings. IEEE Distributed Systems Online 2(1): (2001) |
74 | EE | Guillem Bernat, Alan Burns, Albert Llamosí: Weakly Hard Real-Time Systems. IEEE Trans. Computers 50(4): 308-321 (2001) |
73 | Sasikumar Punnekkat, Alan Burns, Robert I. Davis: Analysis of Checkpointing for Real-Time Systems. Real-Time Systems 20(1): 83-102 (2001) | |
2000 | ||
72 | EE | Guillem Bernat, Alan Burns, Andy J. Wellings: Portable worst-case execution time analysis using Java Byte Code. ECRTS 2000: 81-88 |
71 | EE | Alan Burns, Stewart Edgar: Predicting computation time for advanced processor architectures. ECRTS 2000: 89-96 |
70 | EE | Stefan Poledna, Alan Burns, Andy J. Wellings, Peter Barrett: Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems. IEEE Trans. Computers 49(2): 100-111 (2000) |
69 | Peter P. Puschner, Alan Burns: Guest Editorial: A Review of Worst-Case Execution-Time Analysis. Real-Time Systems 18(2/3): 115-128 (2000) | |
1999 | ||
68 | EE | Eduardo Tovar, Francisco Vasques, Alan Burns: Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach. ECRTS 1999: 175-184 |
67 | EE | Sijing Zhang, E. Stewart Lee, Alan Burns, Hongji Yang: Finding the minimum available transmission time for the timed token medium access control protocol. ECRTS 1999: 185-194 |
66 | EE | Saud A. Aldarmi, Alan Burns: Dynamic value-density for scheduling real-time systems. ECRTS 1999: 270-277 |
65 | EE | Iain Bate, Alan Burns: An approach to task attribute assignment for uniprocessor systems. ECRTS 1999: 46-53 |
64 | EE | Peter P. Puschner, Alan Burns: Time-constrained sorting-a comparison of different algorithms. ECRTS 1999: 78-85 |
63 | EE | Guillem Bernat, Alan Burns: New Results on Fixed Priority Aperiodic Servers. IEEE Real-Time Systems Symposium 1999: 68-78 |
62 | EE | Jing Chen, Alan Burns: Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties. RTCSA 1999: 236-246 |
61 | EE | Iain Bate, Alan Burns: A Framework for Scheduling in Safety-Critical Embedded Control Systems. RTCSA 1999: 46-53 |
1998 | ||
60 | EE | Alan Burns, Brian Dobbing, G. Romanski: The Ravenscar Tasking Profile for High Integrity Real-Time Programs. Ada-Europe 1998: 263-275 |
59 | EE | Stuart E. Mitchell, Alan Burns, Andy J. Wellings: MOPping up Exceptions. ECOOP Workshops 1998: 365-366 |
58 | EE | Iain Bate, Alan Burns: Investigation of the pessimism in distributed systems timing analysis. ECRTS 1998: 107-114 |
57 | EE | Paulo Pedro, Alan Burns: Schedulability analysis for mode changes in flexible real-time systems. ECRTS 1998: 172-179 |
56 | EE | Jing Chen, Alan Burns: Asynchronous data sharing in multiprocessor real-time systems using process consensus. ECRTS 1998: 2-9 |
55 | EE | D. Priddin, Alan Burns: Integrating Real-Time Structured Design and Formal Techniques. FTRTFT 1998: 92-102 |
54 | EE | Brian Dobbing, Alan Burns: The Ravenscar Tasking Profile for High Integrity Real-Time Programs. SIGAda 1998: 1-6 |
53 | EE | Neil C. Audsley, Alan Burns: On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods. Inf. Process. Lett. 67(2): 65-69 (1998) |
1997 | ||
52 | Sasikumar Punnekkat, Robert I. Davis, Alan Burns: Sensitivity Analysis of Real-Time Task Sets. ASIAN 1997: 72-82 | |
51 | Andy J. Wellings, Alan Burns, Offer Pazy: Task Termination in Ada 95. Ada-Europe 1997: 149-160 | |
50 | Guillem Bernat, Alan Burns, Albert Llamosí: Efficient Transient Overload Tests for Real-Time Systems. Computer Performance Evaluation 1997: 72-82 | |
49 | EE | Stuart E. Mitchell, Alan Burns, Andy J. Wellings: Adaptive Scheduling Using Reflection. ECOOP Workshops 1997: 74-79 |
48 | EE | Sijing Zhang, Alan Burns: Timing Properties of the Timed Token MAC Protocol. ICCCN 1997: 481-487 |
47 | EE | Guillem Bernat, Alan Burns: Combining (/sub m//sup n/)-hard deadlines and dual priority scheduling. IEEE Real-Time Systems Symposium 1997: 46-57 |
46 | EE | Sasikumar Punnekkat, Alan Burns: Analysis of checkpointing for schedulability of real-time systems. RTCSA 1997: 198-205 |
45 | EE | Andy J. Wellings, Alan Burns: Implementing Atomic Actions in Ada 95. IEEE Trans. Software Eng. 23(2): 107-123 (1997) |
1996 | ||
44 | Alan Burns, Andy J. Wellings: Ada 95: An Effective Concurrent Programming Language. Ada-Europe 1996: 58-77 | |
43 | EE | Neil C. Audsley, I. J. Bate, Alan Burns: Putting fixed priority scheduling theory into engineering practice for safety critical applications. IEEE Real Time Technology and Applications Symposium 1996: 2-10 |
42 | Sijing Zhang, Alan Burns, Andy J. Wellings: An Efficient and Practical Local Synchronous Bandwidth Allocation Scheme for the Timed-Token MAC Protocol. INFOCOM 1996: 920-927 | |
41 | EE | Jeongyoujng Byun, Andy J. Wellings, Alan Burns: A Worst-Case Behavior Analysis for Hard Real-Time Transactions. RTDB 1996: 144-149 |
40 | Alan Burns: Broadening Real-Time Systems Research. ACM Comput. Surv. 28(4es): 178 (1996) | |
39 | Andy J. Wellings, Alan Burns: Programming Replicated Systems in Ada 95. Comput. J. 39(5): 361-373 (1996) | |
38 | EE | Alan Burns, Robert I. Davis: Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems. Inf. Process. Lett. 58(5): 223-229 (1996) |
37 | Roderick Chapman, Alan Burns, Andy J. Wellings: Combining Static Worst-Case Timing Analysis and Program Proof. Real-Time Systems 11(2): 145-171 (1996) | |
1995 | ||
36 | EE | Alan Burns, Neil C. Audsley, Andy J. Wellings: Real-time distributed computing. FTDCS 1995: 34-40 |
35 | EE | Sijing Zhang, Alan Burns: n the Schedulability of Synchronous Message Sets with the Minimum Message Deadline Less than 2*TTRT in an FDDI Network. ICCCN 1995: 498 |
34 | EE | Robert I. Davis, Sasikumar Punnekkat, Neil C. Audsley, Alan Burns: Flexible scheduling for adaptable real-time systems. IEEE Real Time Technology and Applications Symposium 1995: 230-239 |
33 | EE | Alan Burns, Ken Tindell, Andy J. Wellings: Effective Analysis for Engineering Real-Time Fixed Priority Schedulers. IEEE Trans. Software Eng. 21(5): 475-480 (1995) |
32 | EE | Sijing Zhang, Alan Burns: An optimal synchronous bandwidth allocation scheme for guaranteeing synchronous message deadlines with the timed-token MAC protocol. IEEE/ACM Trans. Netw. 3(6): 729-741 (1995) |
31 | EE | Robert I. Davis, Alan Burns: Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-Emptive Systems. Inf. Process. Lett. 53(5): 249-254 (1995) |
30 | Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings: Data Consistency in Hard Real-Time Systems. Informatica (Slovenia) 19(2): (1995) | |
29 | Neil C. Audsley, Alan Burns, Robert I. Davis, Ken Tindell, Andy J. Wellings: Fixed Priority Pre-emptive Scheduling: An Historical Perspective. Real-Time Systems 8(2-3): 173-198 (1995) | |
28 | Ken Tindell, Alan Burns, Andy J. Wellings: Analysis of Hard Real-Time Communications. Real-Time Systems 9(2): 147-171 (1995) | |
27 | Alan Burns, Andy J. Wellings: Engineering a Hard Real-time System: From Theory to Practice. Softw., Pract. Exper. 25(7): 705-726 (1995) | |
1994 | ||
26 | Neil C. Audsley, Robert I. Davis, Alan Burns: Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems. IEEE Real-Time Systems Symposium 1994: 12-21 | |
25 | Ken Tindell, Alan Burns: Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic. Comput. J. 37(8): 691-697 (1994) | |
24 | Alan Burns, Andy J. Wellings: HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Real-Time Systems 6(1): 73-114 (1994) | |
23 | Ken Tindell, Alan Burns, Andy J. Wellings: An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. Real-Time Systems 6(2): 133-151 (1994) | |
22 | Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings: STRESS: a Simulator for Hard Real-time Systems. Softw., Pract. Exper. 24(6): 543-564 (1994) | |
1993 | ||
21 | Alan Burns, Andy J. Wellings, C. M. Bailey, E. Fyfe: The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation. Ada-Europe 1993: 19-35 | |
20 | Alan Burns, Andy J. Wellings, A. D. Hutcheon: The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models. Ada-Europe 1993: 240-248 | |
19 | N. Zhang, Alan Burns, Mark Nicholson: Pipelined Processors and Worst Case Execution Times. Real-Time Systems 5(4): 319-343 (1993) | |
1992 | ||
18 | Alan Burns, Andy J. Wellings: Designing Hard Real-Time Systems. Ada-Europe 1992: 116-127 | |
17 | EE | Ken Tindell, Alan Burns, Andy J. Wellings: Mode Changes In Priority Pre-Emptively Scheduled Systems. IEEE Real-Time Systems Symposium 1992: 100-109 |
16 | Alan Burns, John A. McDermid, John E. Dobson: On the Meaning of Safety and Security. Comput. J. 35(1): 3-15 (1992) | |
15 | Ken Tindell, Alan Burns, Andy J. Wellings: Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy. Real-Time Systems 4(2): 145-165 (1992) | |
1991 | ||
14 | Alan Burns, Andrew M. Lister: A Framework for Building Dependable Systems. Comput. J. 34(2): 173-181 (1991) | |
13 | Alan Burns, Andy J. Wellings: Priority Inheritance and Message Passing Communication: A Formal Treatment. Real-Time Systems 3(1): 19-44 (1991) | |
12 | Alan Burns, Andy J. Wellings: Criticality and Utility in the Next Generation. Real-Time Systems 3(4): 351-354 (1991) | |
1990 | ||
11 | Gordon Davies, Alan Burns: The Teaching Language Pascal-FC. Comput. J. 33(2): 147-154 (1990) | |
10 | Alan Burns, Andy J. Wellings: The Notion of Priority in Real-Time Programming Languages. Comput. Lang. 15(3): 153-162 (1990) | |
1988 | ||
9 | EE | Alan Burns, Gordon Davies: Pascal-FC: a language for teaching concurrent programming. SIGPLAN Notices 23(1): 58-66 (1988) |
8 | EE | Alan Burns, Gordon Davies, Andy J. Wellings: A Modula-2 implementation of a real-time process abstraction. SIGPLAN Notices 23(10): 49-58 (1988) |
7 | Pat Allen, Alan Burns: Program Generation for Ada-A Case Study. Softw., Pract. Exper. 18(12): 1125-1138 (1988) | |
1987 | ||
6 | Alan Burns, Andrew M. Lister, Andy J. Wellings: A Review of Ada Tasking Springer 1987 | |
1986 | ||
5 | P. A. Luker, Alan Burns: Program Generators and Generation Software. Comput. J. 29(4): 315-321 (1986) | |
4 | Alan Burns, J. Robinson: ADDS - A Dialogue Development System for the Ada Programming Language. International Journal of Man-Machine Studies 24(2): 153-170 (1986) | |
3 | Alan Burns, J. A. Kirkham: The Construction of Information Management System Prototypes in Ada. Softw., Pract. Exper. 16(4): 341-350 (1986) | |
1985 | ||
2 | J. Robinson, Alan Burns: A Dialogue Development System for the Design and Implementation of User Interfaces in Ada. Comput. J. 28(1): 22-28 (1985) | |
1982 | ||
1 | R. C. Thomas, Alan Burns: The Case for Distributed Decision Making Systems. Comput. J. 25(1): 148-152 (1982) |