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