PUBLICATIONS (2013) - Alan Burns

BOOKS

1.
A. Burns and A.J. Wellings, Real-Time Systems and Programming Languages, 4th edition, 602 pages, Addison Wesley, 2009.
2.
A Burns and A. J. Wellings, Concurrent and Real-Time Programming in Ada, Cambridge University Press, 2007.
3.
A. Burns and A. J. Wellings, Real-Time Systems and Programming Languages, 3rd Edition, Addison Wesley, 738 pages, 2001.
4.
A. Burns and A.J. Wellings, Concurrency in Ada, Cambridge University Press, 2nd Edition, 402 pages, 1998.
5.
A. Burns and A.J. Wellings, Real-Time Systems and Programming Languages, 2nd Edition, Addison Wesley, 611 pages, 1996.
6.
A. Burns and A.J. Wellings, HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems, Elsevier, 319 pages, 1995.
7.
A. Burns and A.J. Wellings, Concurrency in Ada, Cambridge University Press, 396 pages, 1995.
8.
A.Burns and G.L.Davies, Concurrent Programming, Addison Wesley, 377 pages, 1993.
9.
A.Burns (editor), Towards Ada 9X, IOS Press, Studies in Computer and Communications Systems, 201 pages, 1992.
10.
A.Burns and A.J. Wellings, Real-Time Systems and Their Programming Languages, Addison Wesley, 575 pages, 1990.
11.
A.Burns, Programming in Occam2, Addison Wesley, 189 pages, 1988.
12.
A.Burns, A.M. Lister and A.J Wellings, A Review of Ada Tasking, Lecture Notes in Computer Science, Vol 262, 141 pages, Springer Verlag, 1987.
13.
A.Burns, Concurrent Programming in Ada, Cambridge University Press, 241 pages, 1985.
14.
A.Burns (editor), New Information Technology, Ellis Horwood, 245 pages, 1984.
15.
A.Burns, The Microchip: Appropriate or Inappropriate Technology?, Ellis Horwood, 190 pages, June 1981.
16.
A.Burns, Simulation and Control of Thermal Regenerators, D.Phil Thesis, University of York, 250 pages, 1978.

PARTS OF BOOKS

17.
K. Wei and J. Woodcock and A. Burns, Modelling Temporal Behaviour in Complex Systems with Timebands, Conquering Complexity, eds M. Hinchey and L. Coyle, Springer, pp277-307, 2012.
18.
A. Burns and A.J. Wellings, Delivering Real-Time Behaviour, in Domain Modeling and Duration Calculus, Eds C.W. George and Zhiming Liu and J. Woodcock, Springer, LNCS 4710, pp1-50, 2007.
19.
A. Burns and A.J. Wellings, Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005, Handbook of Real-Time and Embedded Systems, Eds I. Lee, J.Y-T. Leug and S.H. Son, pp13-1--13-20, 2007.
20.
A.J. Wellings and A. Burns, Real-Time Java, Handbook of Real-Time and Embedded Systems, Eds I. Lee, J.Y-T. Leug and S.H. Son, pp12-1--12-17, 2007.
21.
A. Burns and G. Baxter, Time bands in System Structure, in Structure for Dependability, Eds D. Besnard, C Gacek and C.B. Jones, Springer, pp74-90, 2006.
22.
M. Caccamo, T. Baker, A. Burns, G. Buttazzo and L. Sha, Real-Time Scheduling for Embedded Systems, Handbook of Networked and Embedded Systems, Birkhauser, pp173-195, 2005.
23.
A. Burns, Real-Time Systems, Encyclopedia of Physical Science and Technology, Vol 14, pp45-54, Academic Press, 2002.
24.
J. Byun, A. Burns, R. Davis and A.J. Wellings, A Worst-Case Behaviour Analysis for Hard Real-Time Transactions, in Real-Time Database Systems, eds Azer Bestavros, Kwei-Jay Lin and Sang Hyuk Son, Kluwer Academic Publishers, pp235-249, 1997.
25.
R. Chapman, A. Burns and A.J. Wellings, Regular Path Algebra Applied to Non-Functional Properties of Critical Software, in Mathematics of Dependable Systems II, Institute of Mathematics and its Application Conference Series, ed V. Stavridou, Clarendon Press, pp95-112, 1997.
26.
N.C. Audsley, A. Burns, R.I. Davis, K.W. Tindell and A.J. Wellings, Real-Time System Scheduling, in Predictably Dependable Computing Systems, eds B. Randell, J.-C. Laprie, H. Kopetz and B. Littlewood, ESPRIT Basic Research Series, Springer, pp41-52, 1995.
27.
N.C. Audsley, A. Burns, R.I. Davis and A.J. Wellings, Integrating Unbounded Software Components into Hard Real-Time Systems, in Imprecise and Approximate Computation, pp63-86, ed Swaminathan Natarajan, Kluwer Academic Publishers, 1995.
28.
A.Burns, Premptive Priority-Based Scheduling: An Appropriate Engineering Approach, in Advances in Real-Time Systems, ed Sang H. Son, Prentice Hall, pp225-248, 1994.
29.
A.Burns and A.J.Wellings, Bridging the Real-time Gap Between Ada83 and Ada9X, in Ada Yearbook 1993, Ed C. Loftus, IOS Press, pp71-86, 1993.
30.
A.Burns, An Architecture for HCI in Real-Time Systems, in Building Interactive Systems: Architectures and Tools, Eds. P. Gray and R.K. Took, pp56-68, Springer Verlag, 1992.
31.
A.Burns, Towards Ada 9X (Editorial), in Towards Ada 9X, IOS Press, pp1-8, 1992.

PAPERS

This section contains the titles of papers that are either published in referred journals or are referred conference papers that have appeared in archival proceedings.

32.
F. Zhang and A. Burns, Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing, ACM Transactions on Embedded Computing Systems (TECS), Vol 12, No 3, pp67-1-67-18, 2013.
33.
I.J. Hayes, A. Burns, B. Dongol and C.B. Jones, Comparing Degrees of Non-Determinism in Expression Evaluation, The Computer Journal, Vol 56, No 6, pp741-755, 2013.
34.
K. Wei, J. Woodcock and A. Burns, Modelling temporal behaviour in complex systems with Timebands, Formal Methods in Systems Design, Vol 43, No 3, pp520-551, 2013.
35.
A. Burns and R.I. Davis, Mixed Criticality on Controller Area Network, Proceedings of ECRTS, p125-134, 2013.
36.
A. Burns and A.J. Wellings, A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP, Proceedings of ECRTS, p282-291, 2013.
37.
R.I. Davis, A. Burns, J. Marinho, V. Nelis, S.M. Petters and M. Bertogna, Global Fixed Priority Scheduling with Deferred Pre-emption, Proceedings of IEEE Int. Conf. on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2013.
38.
S.K. Baruah and A. Burns, Fixed-priority scheduling of dual-criticality systems, Proceedings of Real-Time Networks and Systems (RTNS), p173-182, 2013.
39.
A. Burns, R.I. Davis, P. Wang and F. Zhang, Partitioned EDF scheduling for multiprocessors using a C=D task splitting, Real-Time Systems Journal, Vol 48, No 1, pp3-33, 2012.
40.
S. Lin, A.J. Wellings and A. Burns, Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages, Concurrency and Computation: Practice and Experience, 2012.
41.
M.L. Fairbairn and A. Burns, Implementing and Verifying EDF Preemption-Level Resource Control, Proceedings Reliable Software Technology - Ada-Europe, ed M. Brorsson and L.M. Pinho, Springer LNCS 7308, pp193-206, 2012.
42.
R.I. Davis and A. Burns, A Survey of Hard Real-Time Scheduling for Multiprocessor Systems, ACM Computing Surveys, Vol 43, No 4, pp35:1-35:44 2011.
43.
F. Zhang, A. Burns and S. Baruah, Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling, Real-Time Systems journal, Vol 47, pp224-252, 2011.
44.
R.I. Davis and A. Burns, Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems, Real-Time Systems Journal, Vol 40, pp1-40, 2011.
45.
S. Baruah, A. Burns and R.I. Davis, Response-Time Analysis of Mixed Critical Systems, Proceedings of IEEE Real-Time Systems Symposium, pp34-43, RTSS, 2011.
46.
R.I. Davis and A. Burns, FPZL Schedulability Analysis, Proceedings of IEEE RTAS, 245-256, 2011.
47.
S. Baruah and A. Burns, Implementing Mixed Criticality Systems in Ada, Proceedings of Reliable Software Technology - Ada Europe, ed. A. Romanovsky and T. Vardanega, LNCS 6652, pp174--188, 2011.
48.
A. Burns and I.J. Hayes, A Timeband Framework for Modelling Real-Time Systems, Real-Time Systems Journal, Vol 45, pp106-142, 2010.
49.
A. Burns and A.J. Wellings, Supporting Execution on Multiprocessor Platforms, Ada Letters, Vol 30, pp16-25, 2010.
50.
A. Burns and A.J. Wellings, Language Vulnerabilities- Lets not forget Concurrency, Ada Letters, Vol 30, pp26-32, 2010.
51.
A.J. Wellings, A.H. Malik, N.C. Audsley and A. Burns, Ada and cc-NUMA architectures what can be achieved with Ada 2005?, Ada Letters, Vol 30, pp125-134, 2010.
52.
A.J. Wellings and A.Burns, Generalizing the EDF scheduling support in Ada 2005, Ada Letters, Vol 30, pp116-124, 2010.
53.
A.J. Wellings and A.Burns, User-defined clocks is it the right time now?, Ada Letters, Vol 30, pp104-115, 2010.
54.
Z. Shi, A. Burns and L.S. Indrusiak, Schedulability Analysis for Real Time On-Chip Communication with Wormhole Switching, Int Journal of Embedded and Real-Time Communication Systems (IJERTCS), pp1-22, 2010.
55.
A. Burns and J.L. Tokar, Ada and the Software Vulnerabilities Project, Ada User Journa, Vol 31, No 3, pp191-215, 2010.
56.
A. Burns and B. Littlewood, Reasoning about the Reliability of Multi-Version, Diverse Real-Time Systems, Proceeding of the 31st Real-Time Systems Symposium, pp73-81, 2010.
57.
A. Burns, R.I. Davis, P. Wang and F. Zhang, Partitioned EDF Scheduling for Multiprocessors using a C=D Scheme, Proceedings of 18th International Conference on Real-Time and Network Systems (RTNS), pp169-178, 2010.
58.
K. Wei, J. Woodcock and A Burns, A Timed Model of Circus with the Reactive Design Miracle, 8th International Conference on Software Engineering and Formal Methods (SEFM), pp 315-319, 2010.
59.
A. Burns and A.J. Wellings, Dispatching Domains for Multiprocessor Platforms and their Representation in Ada, Proceedings of Reliable Software Technologies - Ada-Europe, pp41-53, 2010.
60.
F. Zhang and A Burns, Dividing point value selections for Improved Quick Processor-demand Analysis, Software Technology and Engineering (ICSTE), pp170-175, 2010.
61.
J. Woodcock, M. Oliveira, A. Burns and K. Wei, Modelling and Implementing Complex Systems with Timebands, Proceedings Secure System Integration and Reliability Improvement, pp1-13, 2010.
62.
F. Zhang, A Burns and S. Baruah, Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems, Proceedings of 16th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp61-70, 2010.
63.
F. Zhang, A Burns and S. Baruah, Sensitivity analysis of relative deadline for EDF scheduled real-time systems, Proceedings of 2nd International Conference on Mechanical and Electronics Engineering (ICMEE), pp296-301, 2010.
64.
F. Zhang, A Burns and S. Baruah, Sensitivity analysis of task period for EDF scheduled arbitrary deadline real-time systems, Proceedings of 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT), pp23-28, 2010.
65.
F. Zhang, A Burns and S. Baruah, 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 (PRDC), pp101-108. Tokyo, Japan, 2010.
66.
F. Zhang, A Burns and S. Baruah, Task parameter computations for constraint deadline real-time systems with EDF scheduling, Proceedings of International Conference onComputer Design and Applications (ICCDA), 2010.
67.
A.J. Wellings and A. Burns, The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005, Proceedings of Reliable Software Technologies - Ada-Europe, pp196-207, 2010.
68.
F. Zhang and A. Burns Schedulability Analysis for Real-Time Systems with EDF Scheduling, IEEE Transactions on Computers, Vol 58, No 9, pp1250-1258, 2009.
69.
R.I. Davis, T. Rothvo, S. K. Baruah and A. Burns, Exact Quantification of the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling, Real Time Systems Journal, Vol 43, No 3, pp211-258, 2009.
70.
A. Zuhily and A. Burns, Exact Scheduling Analysis of Non-Accumulatively Monotonic Multiframe Tasks, Real-Time Systems Journal, Vol 43, pp119-146, 2009.
71.
R.I. Davis and A. Burns, Robust priority assignment for messages on Controller Area Network (CAN), Real-Time Systems Journal, Vol 41, No 2, pp152-180, 2009.
72.
R.I. Davis and A. Burns, Priority Assignment for Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Real-Time Systems, Proceeding of IEEE Real-Time Systems Symposium (RTSS), pp398-409, 2009.
73.
A. Burns, A.J. Wellings and F. Zhang, Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005, Proceedings of Reliable Software Technologies - Ada-Europe 2009, LNCS 5570, pp119-133, 2009.
74.
F. Zhang and A. Burns, Improvements to Quick Processor-demand Analysis for EDF-Scheduled Real-Time Systems, Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS), pp76-86, 2009.
75.
R.I. Davis and A. Burns, Quantifying the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling for Sporadic Tasksets with Arbitrary Deadlines, 17th International Conference on Real-Time Networks and Systems Conference, (RTNS) Paris, 2009.
76.
Z. Shi and A. Burns, Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks, 21st Euromicro Conference on Real-Time Systems (ECRTS), pp1-10, 2009.
77.
Z. Shi and A. Burns, Improvement of Schedulability Analysis with a Priority Share Policy in On-Chip Networks, 17th International Conference on Real-Time and Network Systems (RTNS), Paris, pp75-84, 2009.
78.
A. Zabos, R. I. Davis, A. Burns and M. Gonz4alez Harbour, Spare Capacity Distribution Using Exact Response-Time Analysis, 17th International Conference on Real-Time and Network Systems (RTNS), Paris, pp97-106, 2009.
79.
I. Ripoll, P. Balbastre, M. Masmano, A. Crespo and A. Burns, Contract based management of the memory resource, 17th International Conference on Real-Time and Network Systems, (RTNS), Paris, pp115-126, 2009.
80.
R.I. Davis, A. Zabos and A. Burns, Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems, IEEE Transactions on Computers, 2008.
81.
Y. Chu and A. Burns, Flexible hard real-time scheduling for deliberative AI systems, Real-Time Systems Journal, Vol 40, No 3, pp241-263, 2008.
82.
A. Burns and S. Baruah, Sustainability in Real-time Scheduling, Journal of Computing Science and Engineering, Vol 2, No 1, pp74-97, 2008.
83.
R.I. Davis and A. Burns, Response Time Upper Bounds for Fixed Priority Real-Time Systems, Proceedings of Real-Time Systems Symposium (RTSS), pp407-418, 2008.
84.
Z. Shi and A. Burns, Priority assignment for real-time wormhole communication in on-chip networks, Proceeding of the 29th IEEE Real Time System Symposium (RTSS), pp421--430, 2008.
85.
Z. Shi and A. Burns, Real-time communication analysis for on-chip networks with wormhole switching, Proceeding of the IEEE International Symposium on Networks-on-Chip(NoCS), 2008.
86.
R.I. Davis and A. Burns, An Investigation into Server Parameter Selection for Hierarchical Fixed Priority Pre-emptive Systems, Proceedings of Real-Time and Network Systems, RTNS, 2008.
87.
A. Zuhily and A. Burns, Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks, 5th International Colloquium on Theoretical Aspects of Computing (ICTAC), pp410-424, 2008.
88.
A. Zuhily and A. Burns, Exact Scheduling Analysis of Accumulatively Monotonic Multiframe Tasks Subjected to Release Jitter and Arbitrary Deadlines, 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pp600-608, 2008.
89.
A. Zuhily and A. Burns, Exact Scheduling Analysis of Non-Accummulatively Monotonic Multiframe Tasks, Proceedings of Real-Time and Network Systems, RTNS,pp67-76, 2008.
90.
P. Martins and A. Burns, On the Meaning of Modes in Uniprocessor Real-Time Systems, Proceedings of the 23rd Symposium on Applied Computing (SAC 2008), pp324-325, 2008.
91.
S. Baruah and A. Burns, Quantifying the sub-optimality of uniprocessor fixed-priority scheduling, Proccedings of Real-Time and Network Systems, RTNS, pp89-95, 2008.
92.
A. Burns and T.-M. Lin, An engineering process for the verification of real-time systems, Formal Aspects of Computing, Vol 19, No 1, pp111-136, 2007.
93.
R.I. Davis, A. Burns, R.J. Bril, and J.J. Lukkien, Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised, Real-Time Systems, Vol 35, No 3, pp239--272, 2007.
94.
A. Zuhily and A. Burns, Optimal (D - J) - monotonic priority assignment, Information Processing Letters, Vol 103, No 6, pp247-250, 2007.
95.
F. Zhang and A. Burns, Analysis of Hierarchical EDF Pre-emptive Scheduling, Proceedings of IEEE Real-Time Systems Symposium, pp423-434, 2007.
96.
R.I. Davis and A, Burns, Robust Priority Assignment for Fixed Priority Real-Time Systems, Proceedings of IEEE Real-Time Systems Symposium, pp3-14, 2007.
97.
A.J. Wellings, A. Burns, O.M. Santos and B. M. Brosgol, Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java, Proceedings of 10th IEEE Int. Symp. on Object and Component-Oriented Real-Time Distributed Computing, pp115-122, 2007.
98.
G.M.A. Lima and A. Burns, A Priority-based Consensus Protocol, Proceedings of the 25th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC 2007), Vol 1, pp353-366, 2007.
99.
I. Symeou and A. Burns, Knowledge-Based Analysis of Directed Diffusion, Proceedings of the 1st IARIA IEEE International Conference on Sensor Technologies and Applications (SENSORCOMM), Best Paper awared, 2007.
100.
Y. Chu and A. Burns, Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach, Proceedings of ECRTS07, pp259-268, 2007.
101.
A. J. Wellings and A. Burns, Real-Time Utilities for Ada 2005, Reliable Software Technologies - Ada Europe 2007, Lecture Notes in Computer Science, Vol, 4498, pp1-14, 2007.
102.
R.I. Davis and A. Burns, Resource Sharing in Hierarchical Fixed Priority Pre-emptive Systems Proceedings of the 27th IEEE Real-Time Systems Symposium, pp257-267, 2006.
103.
A. Burns and A.J. Wellings, Programming Execution-Time Servers in Ada 2005, Proceedings of the 27th IEEE Real-Time Systems Symposium, pp47-56, 2006.
104.
S. Baruah and A. Burns, Sustainable Scheduling Analysis, Proceedings of the 27th IEEE Real-Time Systems Symposium, pp159-168, 2006.
105.
R.I. Davis and A. Burns, Hierarchical Fixed Priority Scheduling, Proceedings of the 26th IEEE Real-Time Systems Symposium, pp389-398, 2005.
106.
I. Broster, A. Burns and G. Rodrmguez-Navas, Timing Analysis of Real-Time Communication Under Electromagnetic Interference, Real-Time Systems Journal, No 1-2, Vol 30, pp55-81, 2005.
107.
S.Zhang, A.Burns, J.Chen and E.S. Lee, Hard Real-Time Communication with the Timed Token Protocol: Current State and Challenging Problems, Real-Time Systems Journal, Vol 27, No 3, pp271-295, 2004.
108.
L. Sha, T. Abdelzaher, K-E. Arzen, A. Cervin, T. Baker, A. Burns, G. Buttazzo, M. Caccamo, J. Lehoczky and A.K. Mok, Real Time Scheduling Theory: A Historical Perspective, Real-Time Systems Journal, Vol 28, No 2/3, pp101-155, 2004.
109.
G.M.A. Lima and A. Burns, An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems, IEEE Transactions on Computers, Vol 52, No 10, pp1332-1346, 2003.
110.
I. Bate and A. Burns, An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems, Real-Time Systems Journal, Vol 25, No 1, pp5-37, 2003.
111.
A. 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 Journal, Vol 24, No 2, pp135-152, 2003.
112.
D. Prasad, A. Burns and M, Atkin, The Measurement and Usage of Utility in Adaptive Real-Time Systems, Real-Time Systems Journal, Vol 25, No 2/3, pp277-296, 2003.
113.
I. Broster and A. Burns, An Analysable Bus-Guardian for Event-Triggered Communication, Proceedings of the 24th IEEE Real-time Systems Symposium, pp410-419, 2003.
114.
G.M.A. Lima and A. Burns, A Consensus Protocol for CAN-Based Systems, Proceedings of the 24th IEEE Real-time Systems Symposium, pp420-429, 2003.
115.
A. Burns, G. Bernat and I. Broster, A Probabilistic Framework for Schedulability Analysis Proceedings of the Third International Embedded Software Conference, EMSOFT, LNCS 2855, pp1-15,2003.
116.
A. Burns, M. Gonzalez Harbour and A. J. Wellings, A Round Robin Scheduling Policy for Ada, Proceedings of Reliable Software Technologies Ada-Europe, LNCS 2655, pp334-343, 2003.
117.
A. Burns and T.-M. Lin, Adding Temporal Annotations and Associated Verification to Ravenscar Profile, Proceedings of Reliable Software Technologies Ada-Europe, LNCS 2655, pp80-91, 2003.
118.
A. Burns and A.J. Wellings, Processing Group Parameters and the Real-Time Specification for Java, On the Move to Meaningfull Internet Systems 2003: Workshop on Java Technologies for Real-Time and Embedded Systems, LNCS 2889, pp360-370, 2003.
119.
A. Burns and A.J. Wellings, Task Attribute-Based Scheduling - Extending Ada's Support for Scheduling, Proceedings of IRTAW 12, Ada Letters, Vol XXIII(4), pp36-41, 2003.
120.
E. Tovar, F. Vasques and A. Burns, Communication Response Time in P-Net Networks: Worst-Case Analysis Considering the Actual Token Utilization, Real-Time Systems Journal, Vol 22, No 3, pp229-250, 2002.
121.
S. Zhang, A. Burns and T.H. Cheng, Cycle-Time Properties of the Timed Token Medium Access Control Protocol, IEEE Transactions on Computers, Vol 51, No 11, pp1362-1367, 2002.
122.
C.K. Angelov, I.E. Ivanov, A. Burns, HARTEX - A safe real-time kernel for distributed computer control systems, Software Practice and Experience, Vol 32, No 3, pp209-232, 2002.
123.
G. Bernat and A. Burns, Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling, Real-Time Systems Journal, Vol 22, No 1/2, pp49-75, 2002.
124.
S. Zhang, A. Burns, A. Mehaoua, E.S. Lee and H. Yang, Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol, Real-Time Systems Journal, Vol 22, No 3, pp251-280, 2002.
125.
I. Broster, A. Burns and G. Rodriacute-Navas, Probabilistic Analysis of CAN with Faults, Proceedings of the 23rd Real-time Systems Symposium, 2002.
126.
I. Broster, G. Bernat and A. Burns, Weakly Hard Constraints on Controller Area Network, Proceedings of 14th Euromicro Conference on Real-time Systems, 2002.
127.
A. Burns and A.J. Wellings, Accessing Delay Queues, Proceedings of IRTAW11, Ada Letters, Vol XX1I(4), pp72-76, 2002.
128.
J. Real, A. Crespo, A. Burns and A.J. Wellings, Protected Ceiling Changes, Proceedings of IRTAW11, Ada Letters, Vol XX1I(4), pp66-71, 2002.
129.
A.J. Wellings and A. Burns, 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, pp81-89, 2002.
130.
P. Puschner and A. Burns, Writing Temporally Predictable Code, Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pp85-91, 2002.
131.
S. Punnekkat, A. Burns and R. Davis, Analysis of Checkpointing for Real-Time Systems, Real-Time Systems Journal, Vol 20, No 1, pp83-102, 2001.
132.
A. Burns, A.J. Wellings, F Burns, A.M. Koelmans, M. Koutny, A. Romanovsky and A. Yakovlev, Modelling and Verification of an Atomic Action Protocol Implemented in Ada, Int. J. Computer Systems Science and Engineering, Vol 16, No 3, pp173-182, 2001.
133.
G. Bernat, A. Burns and A. Llamos, Weakly-Hard Real-Time Systems, IEEE Transactions on Computers, Vol 50, No 4, pp308-321, 2001.
134.
G.M.A. Lima and A. Burns, An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems, Proceedings of 13th Euromicro Conference on Real-Time Systems, pp209-216, 2001.
135.
A. Burns, Defining New Non-Preemptive Dispatching and Locking Policies for Ada, Proceedings of Reliable Software Technologies - Ada Europe 2001, LNCS, pp328-336, 2001.
136.
S. Edgar and A. Burns, Statistical Analysis of WCET for Scheduling, Proceedings 22nd IEEE Real-Time Systems Symposium, pp215-224, 2001.
137.
G. Bernat and A. Burns, Implementing a Flexible Scheduler in Ada, Proceedings of Reliable Software Technologies - Ada Europe 2001, LNCS, pp179-190, 2001.
138.
G. Bernat and A. Burns, Three Obstacles to Flexible Scheduling, Proceedings of the 13th Euromicro International Conference on Real-Time Systems, pp11-18, 2001.
139.
I. Broster and A. Burns, Timely Use of the CAN Protocol in Critical Hard Real-time Systems With Faults, Proceedings of the 13th Euromicro International Conference on Real-Time Systems, pp95-102, 2001.
140.
N.C. Audsley, A. Burns and A. J. Wellings, Implementing a High-Integrity Executive using Ravenscar, Proceedings of IRTAW10, Ada Letters, Vol XX1(1), pp46-47, 2001.
141.
A. Burns, A.J. Wellings, A.M. Koelmans, M. Koutny, A. Romanovsky and A. Yakovlev, On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada, Proceedings of IRTAW10, Ada Letters, Vol XX1(1), pp48-54, 2001.
142.
A. Burns, Non-Preemptive Dispatching and Locking Policies, Proceedings of IRTAW10, Ada Letters, Vol XX1(1), pp33-39, 2001.
143.
D. Prasad and A. Burns, A Value-Based Scheduling Approach for Real-Time Autonomous Vehicle Control, Robotica, Vol 18, pp273-279, 2000.
144.
S. Poledna, A. Burns,A.J. Wellings and P. Barrett, Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems, IEEE Transactions on Computers, Vol 49, No 2, pp100-111, 2000.
145.
C. McElhone and A. Burns, Scheduling Optional Computations for Adaptive Real-Time Systems, Journal of Systems Architectures", Vol 46, pp46-77, 2000.
146.
A. Burns, D. Prasad, A. Bondavalli, F. Di Giandomenico, K. Ramamritham, J. Stankovic and L. Stringini, The Meaning and Role of Value in Scheduling Flexible Real-Time Systems, Journal of Systems Architecture, Vol 46, pp305-325, 2000.
147.
G. Bernat and A. Burns, An approach to symbolic worst-case execution time analysis, Proceedings of the 25th IFAC Workshop on Real-Time Programming, Palma, May 2000.
148.
G. Bernat, A. Burns and A.J. Wellings, Portable Worst Case execution time analysis using Java Byte Code, Proceedings of the 12th Euromicro Conference on Real-time Systems, Stockholm, pp81-88, June 2000.
149.
A. Burns and S. Edgar, Predicting Computation Time for Advanced Processor Architectures, Proceedings of the 12th Euromicro Conference on Real-time Systems, Stockholm, pp89-96, June 2000.
150.
A. Burns, A.J. Wellings, F. Burns, A.M. Koelmans, M. Koutny, A. Romanovsky and A. Yakovlev, Towards Modelling and Verification of Concurrent Ada Programs Using Petri-Nets, Proceedings of Workshop on Software Engineering and Petri Nets, 21st Int. Conf. App. Theory of Petri Nets, Aarhus, Denmark, pp115-134, 2000.
151.
E. Tovar, F. Vasques and A. Burns, Supporting Real-Time Distributed Computer-Controlled Systems with Multi-Hop P-NET Networks, Control Engineering Practice, Vol 7, No 8, pp1015-1025, 1999.
152.
A. Burns, S. Punnekkat, L. Stringini and D.R. Wright, Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems, Proceedings of the 7th International Working Conference on Dependable Computing for Critical Applications, IEEE Society Press San Jose, California, U.S.A., pp361-378, 1999
153.
G. Bernat and A. Burns, New Results on Fixed Priority Aperiodic Servers. Proceedings of the IEEE Real-Time Systems Symposium, Phoenix, Arizona, pp68-78, Dec 1999.
154.
I. Bate and A. Burns, A Framework for Scheduling in Safety-Critical Embedded Systems, Proceedings of the Real-Time Computing Systems and Applications Conference, Hong Kong, China, pp46-53, Dec 1999.
155.
J. Chen and A. Burns, Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties, Proceedings of the Real-Time Computing Systems and Applications Conference, Hong Kong, China, pp236-246, Dec 1999.
156.
I. Bate and A. Burns, An Approach to Task Attribute Assignment for Uniprocessor Systems, Proceedings of the 11th Euromicro Conference on Real-Time Systems, York, IEEE Society Press, pp46-53, June 1999.
157.
A. Burns, The Ravenscar Profile, ACM Ada Letters, Vol XIX, No 4, pp49-52, 1999.
158.
P. Puschner and A. Burns, Time-Constrained Sorting - A Comparison of Different Algorithms, Proceedings of the 11th Euromicro Conference on Real-Time Systems, York, IEEE Society Press, pp78-85, June 1999.
159.
E. Tover, F. Vasques and A. Burns, Adding Local Priority-Based Dispatching Mechanisms to P-Net Networks: A Fixed Priority Approach, Proceedings of the 11th Euromicro Conference on Real-Time Systems, York, IEEE Society Press, pp175-184, June 1999.
160.
S. Zhang, E. Lee, A. Burns and H. Yang, Finding the Minimum Available Transmission Time for the Timed Token Medium Access Control Protocol, Proceedings of the 11th Euromicro Conference on Real-Time Systems, York, IEEE Society Press, pp185-194, June 1999.
161.
S. Aldarmi and A. Burns, Dynamic Value Density for Scheduling Real-Time Systems Proceedings of the 11th Euromicro Conference on Real-Time Systems, York, IEEE Society Press, pp270-277, June 1999.
162.
P.T. Woolley, W.M. Walker and A. Burns, Developing a Testbed for Distributed Real-Time Applications, Proceedings of the 24th IFAC/IFIP Workshop on Real Time Programming (WRTP (ARTDB-99), pp53-58, June 1999.
163.
S.A. Aldarmi and A. Burns, Dynamic CPU Scheduling with Imprecise Knowledge of Computation-Time, Proceedings of the 24th IFAC/IFIP Workshop on Real Time Programming (WRTP (ARTDB-99), pp149-154, June 1999.
164.
N.C. Audsley and A. Burns, On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods, Information Processing Letters, Elsevier, Vol 67, pp65-69, 1998.
165.
M. Ben-Ari and A. Burns, Extreme Interleavings, IEEE Concurrency (Parallel, Distributed & Mobile Computing), IEEE Computer Society, Vol 6, No 3, pp90-90, 1998.
166.
D. Priddin and A. Burns, Integrating Real-Time Structured Design and Formal Techniques, Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, pp92-102, 1998.
167.
A. Burns, B. Dobbing and G. Romanski, The Ravenscar Tasking Profile for High Integrity Real-time Programs, Reliable Software Technologies - Ada-Europe '98, Springer Verlag, pp263-275, 1998.
168.
J. Chen and A. Burns, Asynchronous Data Sharing in Multiprocessor Real-Time Systems Using Process Concensus, Proceedings of the 10th Euromicro Workshop on Real-Time Systems, Berlin, Germany, pp2-9, 1998.
169.
I. Bate and A. Burns, Investigation of the Pessimism in Distributed Systems Timing Analysis, Proceedings of the 10th Euromicro Workshop on Real-Time Systems, Berlin, Germany, pp107-114, 1998.
170.
P. Pedro and A. Burns, Schedulability Analysis for Mode Changes in Flexible Real-Time Systems, Proceedings of the 10th Euromicro Workshop on Real-Time Systems, Berlin, Germany, pp172-179, 1998.
171.
B. Dobbing and A. Burns, The Ravenscar Tasking Profile for High Integrity Real-Time Programs, Proceedings of ACM SigAda Annual Conference, Washington DC, U.S.A., pp1-6, 1998.
172.
A. Burns, A.J. Wellings and J. Austin, Integration of AI Techniques into Integrated Modular Avionics, Working Notes of the 13th Biennial European Conference on Artificial Intelligence (ECAI-98), Brighton, 1998.
173.
A. Burns, A.J. Wellings and J. Austin, Integration of AI Techniques into Integrated Modular Avionics, Proceedings of the 1998 Avionics Conference & Exhibition, Heathrow, pp2.3.1-2.3.12, 1998.
174.
A. Burns and D. Prasad, Value-Based Scheduling of Flexible Real-Time Systems for Intelligent Autonomous Vehicle Control, Proceedings of the 3rd IFAC Symposium on Intelligent Autonomous Vehicles, Madrid, pp127-132, 1998.
175.
A.J. Wellings and A. Burns, Implementing Atomic Actions in Ada 95, IEEE Transactions on Software Engineering, Vol 23, No 2, pp107-123, 1997.
176.
A. Burns and A.J. Wellings, Synchronous Sessions and Fixed Priority Scheduling, Journal of Systems Architecture, Vol 44, pp107-118, 1997.
177.
S.Zhang and A.Burns, Timing Properties of the Timed Token MAC Protocol, Proceedings of IC3N'97 (6th International Conference on Computer Communications and Networks, September 22-25, Las Vegas, Nevada, USA), pp481-487, 1997.
178.
S. Punnekkat and A.Burns, Analysis of Checkpointing for Schedulability of Real-Time Systems, Proceedings of Fourth IEEE International Workshop on Real-Time Computing Systems and Applications; Taipei, Taiwan, pp198-205, 1997.
179.
G. Bernat and A.Burns, Combining (n/m)-Hard deadlines and Dual Priority Scheduling, Proceedings of the 18th IEEE Real-Time Systems Symposium, San Francisco, pp46-57, 1997.
180.
P. Pedro and A. Burns, Worst Case Response Time Analysis of Hard Real-Time Sporadic Traffic in FIP Networks, Proceedings of 9th Euromicro Workshop on Real-Time System, Tolado, Spain, pp3-10, 1997.
181.
S. Punnekkat, R. Davis and A.Burns, Sensitivity Analysis of Real-Time Task Sets, Proceedings of Advances in Computing Science Conference - ASIAN '97, (LNCS-1345), Kathmandu, Nepal, pp72-82, 1997.
182.
I. Bate and A. Burns, Schedulability Analysis of Fixed Priority Real-Time Systems with Offsets, Proceedings of 9th Euromicro Workshop on Real-Time System, Tolado, Spain, pp153-160, 1997.
183.
A. Burns and A.J. Wellings, Feature Interactions with Dynamic Priorities Ada Letters - Proceedings of the 8th International Real-Time Ada Workshop Vol 17, No 5, pp24-26, 1997.
184.
A. Burns and A.J. Wellings, Restricted Tasking Models, Ada Letters - Proceedings of the 8th International Real-Time Ada Workshop Vol 17, No 5, pp27-32, 1997.
185.
A.J. Wellings, A. Burns and O. Pacy Task Termination and Ada 95, Ada Letters - Proceedings of the 8th International Real-Time Ada Workshop Vol 17, No 5, pp100-105, 1997.
186.
R.I. Davis, A. Burns and W. Walker, Guaranteeing Timing Constraints Under Shortest Remaining Processing Time Scheduling, Proceedings of 9th Euromicro Workshop on Real-Time System, Tolado, Spain, pp88-93, 1997.
187.
A.J. Wellings, A. Burns and O. Pazy, Task Termination in Ada 95, Proceedings of the 1997 Ada Europe Conference, London, Spinger Verlag, 1997.
188.
G. Bernat, A. Burns and A. Llamos, Efficient Transient Overload Tests for Real-Time, Proceedings of the 9th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, pp72-82, 1997.
189.
R. Chapman, A. Burns and A.J. Wellings, Combining Static Worst-Case Timing Analysis and Program Proof, Real-Time Systems, Vol 11, No 2, pp145-171, 1996.
190.
A.J. Wellings and A. Burns, Programming Replicated Systems in Ada 95, Computer Journal, Vol 39, No 5, pp362-373, 1996.
191.
A.J. Wellings, S. Mitchell and A. Burns, Object-Oriented Programming with Protected Types in Ada 95, International Journal of Mini and Micro Computers, Vol 18, No 3, pp130-136, 1996.
192.
N.C. Audsley, A. Burns, R.I. Davis, D.J. Scholefield and A.J. Wellings, Integrating Optional Software Components into Hard Real-Time Systems, Software Engineering Journal, Vol 11, No 3, pp133-140, 1996.
193.
A. Burns and R.I. Davis, Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems, Information Processing Letters, Vol 58, pp223-229, 1996.
194.
A. Burns and A.J. Wellings, Ada 95: An Effective Concurrent Programming Language, Reliable Software Technologies - Ada-Europe '96, issued in Springer-Verlag Lecture Notes in Computer Science, edited by Alfred Strohmeier, Vol 1088, pp58-77.
195.
S. Zhang, A. Burns and A.J. Wellings, An Efficient and Practical Local Synchronous Bandwidth Allocation Scheme for the Timed-Token MAC Protocol, Proceedings IEEE INFOCOM'96 (15th Annual Joint Conference of the IEEE Computer and Communication Societies on Computer Communications), Vol 2, pp920-927, March 24-28, San Francisco, 1996.
196.
J. Byun, A. Burns and A.J. Wellings, A Worst-Case Behaviour Analysis for Hard Real-Time Transactions, Proceedings First International Workshop on Real-Time Database Systems (RTDB'96), March 1996, pp150-155, 1996.
197.
I.J. Bate, A. Burns, J.A. McDermid and A.J. Vickers, Towards a Fixed Priority Scheduler for an Aircraft Application, Proceedings of 8th Euromicro Conference on Real-Time Systems, IEEE Society Press, pp34-40, L'Aquila, Italy, 12-14 June 1996.
198.
I.J. Bate, A. Burns, T.O. Jackson, T.P. Kelly, W. Lam, P. Tongue, J.A. McDermid, A.L. Powell, J.E. Smith, A.J. Vickers, A.J. Wellings and B.R. Whittle, Technology Transfer: An Integrated `Culture Friendly' Approach, Proceedings of Technology Transfer Workshop - Part of the 18th International Conference on Software Engineering, Berlin, Germany, 29-30 March 1996.
199.
I.J. Bate, A. Burns and N.C. Audsley Putting Fixed Priority Scheduling Theory into Engineering Practice for Safety Critical Applications, Proceedings of 2nd Real-Time Applications Symposium, pp2-10, Boston, U.S.A., June 1996.
200.
S.E. Mitchell, A. Burns, A.J. Wellings, R.J. Stroud, and B. Randell, Reflection, Real-Time and Object-Orientation in DeVa, in Special Issues in Object-Oriented Programming, M. M|hlhduser, Ed. Heidelburg: Dpunkt, 1996.
201.
A. Burns, R.I. Davis and S. Punnekkat Feasibility Analysis of Fault-Tolerant Real-Time Sets, Proceedings of 8th Euromicro Conference on Real-Time Systems, IEEE Society Press, L'Aquila, Italy, pp29-33, 12-14 June 1996.
202.
S. Zhang and A. Burns, An Optimal Synchronous Bandwidth Allocation Scheme for Guaranteeing Synchronous Message Deadlines with the Timed-Token MAC Protocol, IEEE/ACM Transactions on Networking, Vol 3, No 6, pp729-741, 1995.
203.
A. Burns and A.J. Wellings, Safety Kernels: Specification and Implementation, High Integrity Systems, Vol 1, No 3, pp287-300, 1995.
204.
R.I. Davis, S. Punnekkat, N.C. Audsley and A. Burns, Flexible Scheduling for Adaptable Real-Time Systems, Proceedings of IEEE Real-Time Technology and Applications Symposium, pp230-239, 1995.
205.
N.C. Audsley, A. Burns, M.F. Richardson and A.J. Wellings, Data Consistency in Hard Real-Time Systems, Informatica Vol 9, No 2, pp223-234, 1995.
206.
K.W. Tindell, A. Burns and A.J. Wellings, Calculating Controller Area Network (CAN) Message Response Times, Control Engineering Practice, Vol 3, No 8, pp1163-1169, 1995.
207.
K.W. Tindell, A. Burns and A.J. Wellings, Analysis of Hard Real-Time Communications, Real-Time Systems, Vol 9, No 2, pp147-171, 1995.
208.
A. Burns, N.C. Audsley and A.J. Wellings, Real-Time Distributed Computing, Proceedings of the 5th IEEE Computer Society Workshop - Future Trends of Distributed Computing Systems, pp34-40, Cheju Island, Korea, 1995.
209.
A. Burns and A.J. Wellings, Engineering a Hard Real-Time System: From Theory to Practice, Software - Practice and Experience, Vol 25, No 7, pp705-726, 1995.
210.
S. Zhang and A. Burns, Guaranteeing Synchronous Message Sets in FDDI Networks, Proceedings of DCCS'95 (13th IFAC Workshop on Distributed Computer Control Systems), pp. 107-112, Toulouse-Blagnac, France, 27-29 September, 1995.
211.
S. Zhang and A. Burns, On the Schedulability of Synchronous Message Sets with the Minimum Message Deadline Less than 2*TTRT in an FDDI Network, Proceedings of IC3N'95 (4th International Conference on Computer Communications and Networks), pp. 107-112, September 20-23, 1995.
212.
A. Burns, K.W. Tindell and A.J. Wellings, Effective Analysis for Engineering Real-Time Fixed Priority Schedulers, IEEE Trans. Software Engineering, Vol 21, No 5, pp475-480, 1995.
213.
C.M. Bailey, A. Burns, A.J. Wellings and C.H. Forsyth, A Performance Analysis of a Hard Real-Time System, Control Engineering Practice, Vol 3, No 4, pp447-464, 1995.
214.
R. Chapman, A. Burns and A.J. Wellings, SPATS - A New Toolset for High-Integrity Ada Development, Ada User (Special Issue) Proceeedings for the 1995 Ada UK Conference, Vol 16, No 3, pp123-131, 1995.
215.
R.I. Davis and A. Burns, Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-emptive Systems, Information Processing Letters, Vol 53, No 5, pp249-254, March 1995.
216.
N.C. Audsley, A. Burns, R.I. Davis, K.W. Tindell and A.J. Wellings, Fixed Priority Pre-emptive Scheduling: An Historical Perspective, Real-Time Systems, Vol 8, pp173-198, 1995.
217.
A. Burns, N. Hayes and M.F. Richardson, Generating Feasible Cyclic Schedules, Control Engineering Practice, Vol 3, No 2, pp151-162, 1995.
218.
A.J. Wellings, S. Mitchell and A. Burns, Object-Oriented Programming with Protected Types in Ada 95, Proceedings of the IEEE Workshop on Parallel and Distributed Real-time Systems, Santa Barbara, pp62-68, April 1995.
219.
C. McElhone, A. Burns and R. Davis, Hybrid Algorithms for Dynamic Schedulability Testing, Proceedings 7th Euromicro Workshop on Real-Time Systems, Odense, Denmark, pp254-261, June 1995.
220.
A. Burns and K.Tindell, Fixed Priority Scheduling of Hard Real-Time Multi-Media Disk Traffic, Computer Journal, Vol 37, No 8, pp691-697, 1994.
221.
A. Burns and J.A. McDermid, Real-Time Safety Critical Systems: Analysis and Synthesis, Software Engineering Journal, Vol 9, No 6, pp267-281, 1994.
222.
A.Burns and A.J.Wellings, HRT-HOOD: A Design Method for Hard Real-time Systems, Real-Time Systems, Vol 6, No 1, pp73-114, 1994.
223.
R. Chapman, A. Burns and A. Wellings, Static worst-case timing analysis of Ada, Ada Letters, Vol 14, No 5, pp88-91, 1994.
224.
R.K. Allen, A. Burns and A.J. Wellings, Sporadic Tasks in Hard Real-Time Systems, Ada Letters, Vol VX, No 5, pp46-51, 1995.
225.
N.C.Audsley, A.Burns, M.F.Richardson and A.J.Wellings, Stress: A Simulator for Hard Real-Time Systems, Software-Practive and Experience, Vol 24, No 6, pp543,564, 1994.
226.
J.A.Clark, J.A.McDermid and A.Burns, Analysing High-Integrity Systems, Computing and Control Engineering Journal, Vol 5, No 1, pp18-23, 1994.
227.
K. Tindell, A.Burns and A.J.Wellings, An Extendible Approach for Analysing Fixed Priority Hard Real-Time Tasks, Real-Time Systems, Vol 6, No 2, pp133-151, 1994.
228.
A.Burns and A.J.Wellings, Implementing Analysable Hard Real-Time Sporadic Tasks in Ada 9X, Ada Letters, Vol 14, No 1, pp38-49, 1994.
229.
N.C. Audsley, R.I. Davis and A.Burns, Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems, Proceedings 15th IEEE Real-Time Systems Symposium, San Juan, Puerto Rico, pp12-21, 1994.
230.
K.Tindell, A.Burns and A.J.Wellings, Calculating Controller Area Network (CAN) Message Response Times, Proceedings of IFAC DCCS'94, pp35-40, Toledo, Spain, 1994.
231.
K.Tindell and A.Burns, Guaranteeing Message Latencies on Controller Area Network (CAN), Proceedings 1st International CAN Conference, Vol 1, pp1-11, Germany, 1994.
232.
N.C. Audsley, A.Burns, R.I. Davis and A.J.Wellings, Integrating Best Effort and Fixed Priority Scheduling, Proceedings of IFAC Real-Time Programming, pp45-50, Lake Constance, Germany, 1994.
233.
A.Burns, K.Tindell and A.J.Wellings, Fixed Priority Scheduling with Deadlines Prior to Completion, Proceedings 6th Euromicro Workshop on Real-Time Systems, pp138-142, Vaesteraas, Sweden, June 15-17, 1994.
234.
A.Burns, A.J.Wellings, A.D.Hutcheon and R.H.Pierce, Dependable Software Systems Using Concurrency, Proceedings 1994 Ada UK Conference, ISO Press, pp77-85, July 1994.
235.
R. Chapman, A.Burns and A.J.Wellings, Integrated Program Proof and Worst-case Timing Analysis of SPARK Ada, Proceedings of ACM Workshop on Language, Compiler and Tool Support for Real-time Systems, ppK1-K11, June 1994.
236.
N.C. Audsley, A.Burns, R.I. Davis and A.J.Wellings, Appropriate Mechanisms for the Support of Optional Processing in Hard Real-Time Systems, Proceedings 11th IEEE Real-Time Operating Systems and Software, Seattle, USA, pp23-27, May 18-19 1994.
237.
N.C.Audsley, A.Burns, K.Tindell, M.F.Richardson and A.J.Wellings, Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling, Software Engineering Journal, Vol 8, No 5, pp284-292, 1993.
238.
N.Zhang, A.Burns and M. Nicholson, Pipelined Processors and Worst Case Execution Times, Journal of Real-Time Systems, Vol 5, No 4, pp319-343, 1993.
239.
N.C.Audsley, A.Burns and A.J.Wellings, Deadline Monotonic Scheduling Theory and Application, Control Eng. Practice, Vol 1, No 1, pp71-78, 1993.
240.
N.C.Audsley, A.Burns, M.F.Richardson and A.J.Wellings, Incorporating Unbounded Algorithms into Predictable Real-Time Systems, Journal of Computer Systems Science and Engineering, Vol 8, No 2, pp80-89, 1993.
241.
A.Burns and A.J.Wellings, Measuring, Monitoring and Enforcing CPU Execution Time Usage, Proceedings of the 6th International Workshop on Real Time Ada Issues, Ada Letters, Vol XIII, No 2, pp54-64, (also appeared in Ada User 13(2), pp73-78, 1992), 1993.
242.
R.I.Davis, K.W.Tindell and A.Burns, Scheduling Slack Time in Fixed Priority Preemptive Systems, Proceedings 14th Real-Time Systems Symposium, North Caroline, pp222-231, 1993.
243.
K.Tindell, A.Burns and R.I.Davis, Scheduling Hard Real-Time Multi-Media Disk Traffic, Proceedings IEEE Workshop on the Role of Real-Time in Multi-media Computing Systems, North Caroline, 1993.
244.
R.Chapman, A.Burns and A.J.Wellings, Worst-case Timing Analysis of Exception Handling in Ada, Proceedings AdaUK International Conference, 1993.
245.
N.C.Audsley, A.Burns and K.Tindell, The End of the Line for Static Cyclic Scheduling?, Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, Oulo, Finland, IEEE Computer Society Press, pp36-41, 1993.
246.
A.Burns and A.J.Wellings, Dual Priority Assignment: A Practical Method of Increasing Processor Utilisation, Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, Oulo, Finland, IEEE Computer Society Press, pp48-53, 1993.
247.
A.Burns, A.J.Wellings, C.M. Bailey and E. Fyfe, The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-time System Design and Implementation, Ada sans frontieres Proceedings of the 12th Ada-Europe Conference, Lecture Notes in Computer Science, ed M. Gauthier, Vol 688, pp19-35, Springer-Verlag, 1993.
248.
A.Burns, A.J.Wellings and A.D. Hutcheon, The Impact of an Ada Run-time System's Performance Characteristics on Scheduling Models, Ada sans frontieres Proceedings of the 12th Ada-Europe Conference, Lecture Notes in Computer Science, ed M. Gauthier, Vol 688, pp240-248, Springer-Verlag, 1993.
249.
A.Burns, M.Nicholson, K.Tindell and N.Zhang, Allocating and Scheduling Hard Real-Time Tasks on a Point-to-Point Distributed System, Proceedings of the IEEE Workshop on Parallel and Distributed Real-Time Systems, California, pp11-20, April 13-15 1993.
250.
A.Burns and A.J.Wellings, Large, Distributed Parallel Architectures for Real-Time Systems, invited paper for the IDA/NASA Workshop on Real-Time Systems, pp11-20 & 189-212, March 1993.
251.
K. Tindell, A.Burns and A.J.Wellings, Allocating Real-Time Tasks: An NP-Hard Problem made Easy, Journal of Real-Time Systems, Vol 4 pp145-165, 1992.
252.
A.Burns, K.W.Tindell and A.J.Wellings, Mode Changes in Priority Pre-emptively Scheduled Systems, Proc. 13th IEEE Real-Time System Symposium, pp100-109, 1992.
253.
A.Burns and G.L.Davies, Ada9X Protected Types in Pascal-FC, Ada LETTERS, Vol 12, No 6, pp59-74, 1992.
254.
N.C.Audsley, A.Burns and A.J.Wellings, Unbounded Algorithms, Predictable Real-Time Systems and Ada9X, Proc. IEEE Workshop on Imprecise and Approximate Computation, Phoenix, Arizona, pp11-15, December 1992.
255.
A.Burns J.McDermid and J.Dobson, On the Meaning of Safety and Security, Computer Journal, Vol 35, No 1, pp3-15, 1992.
256.
C.M.Bailey, A.Burns, E.Fyfe, F Gomez-Molinero and A.J.Wellings, Implementing Real-time Systems: A Case Study, Proceedings CNES Symposium Real-Time Embedded Processing for Space Application, CNES, pp235-250, 1992.
257.
A.Burns and A.J.Wellings, In Support of the Ada 9X Real-time Facilities, Ada Letters, Vol XII, No1, pp53-64, 1992.
258.
A.Burns and A.J.Wellings, Safety Kernels and the Ada Programming Language, Proceedings of 1992 Ada UK International Conference, Ada in Transition, ed W.J.Taylor, pp56-70, 1992.
259.
N.C.Audsley, A.Burns, M.F.Richardson and A.J.Wellings, Deadline Monotonic Scheduling Theory, Processings IFAC/IFIP WRTP'92, ed Boullart and Puente, pp55-60, Bruges 1992.
260.
A.Burns and A.J.Wellings, Designing Hard Real-Time Systems, Proceedings 11th Ada Europe International Conference, Amsterdam, ed J. van Katwijk, Lecture Notes in Computer Science, Vol 603, pp116-127, 1992.
261.
N.C.Audsley, A.Burns, M.F.Richardson and A.J.Wellings, Absolute and Relative Temporal Constraints in Hard Real-Time Database, Proceedings of the Fourth Euromicro Workshop on Real-time Systems, Athens, IEEE Computer Society Press, pp148-153, 1992.
262.
N.C.Audsley, A.Burns, M.F.Richardson, K.Tindell and A.J.Wellings, The DrTee Project: Position Paper, Proc. 9th IEEE Workshop on Real-Time Operating Systems and Software, Pittsburgh, ed H.Tokuda, pp39-41, 1992.
263.
N.C.Audsley, A.Burns, M.F.Richardson, K.Tindell and A.J.Wellings, The DrTee Architecture for Distributed Hard Real-Time Systems, Proc. 9th IEEE Workshop on Real-Time Operating Systems and Software, Pittsburgh, ed H.Tokuda, pp57-61, 1992.
264.
N.C.Audsley, A.Burns, M.F.Richardson and A.J.Wellings, Hard Real-Time Scheduling: The Deadline Monotonic Approach, Proceedings of the 1991 IFAC/IFIP Workshop on Real-Time Operating Systems and Software, Atlanta, eds W.A.Halang and K.Ramamritham, pp 127-132, IFAC Workshop Series, No 1, Pergamon Press, 1992.
265.
A.Burns and A.J.Wellings, Hard Real-time HOOD: A Design Method for Hard Real-time Ada 9X Systems, Proceedings of 1991 Ada UK International Conference, IOS Press, pp74-97, 1992.
266.
A.Burns, A.M.Lister and J.A.McDermid, TARDIS: An Architectural Framework for Timely and Reliable Distributed Information Systems. Proc. Aust. Software Engin. Conf (ASWEC '91), Sydney, pp. 1-15, July 1991.
267.
A.Burns and A.J.Wellings, Specifying an Ada Tasking Run-time Support System, Ada User, Vol12, No4, pp160-186, 1991.
268.
N.C. Audsley, K. Tindell, A. Burns, M.F. Richardson and A.J. Wellings, The DrTee Architecture for Distributed Hard Real-Time Systems, Proceedings IEEE Workshop on Architecture Support for Real-time Systems, San Antonio, Texas, December 1991.
269.
A.Burns, The HCI Component of Dependable Real-Time Systems, Software Engineering Journal, Vol6, No4, pp168-174, 1991.
270.
A.Burns, Scheduling Real-Time Systems: A Review, Software Engineering Journal, Vol 6, No 3, pp116-128, 1991.
271.
A.Burns, A Framework for Building Real-Time Responsive Systems, Proceedings Ist International Workshop on Responsive Computer Systems, INRIA, pp6-9, 1991.
272.
N.C.Audsley, K.Tindell, A.Burns, M.F.Richardson and A.J.Wellings, The DrTee Architecture for Distributed Hard Real-Time Systems, Proceedings 10th IFAC Workshop on Distributed Computer Control Systems, Semmering, Austria, ed Kopetz and Rodd, Pergamon Press, pp49-54, 1991.
273.
A.Burns and A.J.Wellings, Criticality and Utility in the Next Generation, Journal of Real-Time Systems, Vol3, No4, pp351-354, 1991.
274.
A.Burns and A.J.Wellings, Priority Inheritance and Message Passing Communication: A Formal Treatment, Real-Time Systems Journal, Vol 3, No 1, pp19-44, 1991.
275.
A.Burns and A.Lister, A Framework for Building Dependable Systems, Computer Journal, Vol 34, No 2, pp173-181, 1991.
276.
A.Burns and A.J.Wellings, The Notion of Priority in Real-Time Programming Languages, Computer Languages, Vol 15, No 3, pp153-162, 1990.
277.
M.Pilling, A.Burns and K.Raymond, Formal Specification and Proofs of Inheritance Protocols for Real-Time Scheduling, Software Engineering Journal, Vol 5, No 5, pp263-279, 1990.
278.
A.Burns and T.J.Quiggle, Effective Use of Abort in Programming Mode Changes, AdaLetters, Vol 10, No 6, pp61-67, 1990.
279.
A.Burns, G.L.Davies and A.J.Wellings, Asynchronous Transfer of Control in Ada9X, AdaUser, Vol 11, No 4, pp170-179, 1990.
280.
G.L.Davies and A.Burns, The Teaching Language Pascal-FC, Computer Journal, Vol 33, No 2, pp147-154, 1990.
281.
A.Burns, A.J.Wellings and H.S.M.Zedan, An Assessment of the use of Occam for Dependable Real-Time Systems, Proc. 13th Occam User Group Technical Meeting, ed H.S.M. Zedan, IOS Press, pp287-294, 1990.
282.
A.Burns, A.J.Wellings and G.L.Davies, Asynchronous Transfer of Control and the Ada Programming Language, Proceedings of the 4th International Workshop on Real Time Ada Issues, Ada Letters, Vol 10, No 9, 1990.
283.
A.Burns, A Performance Standard for Ada 9X, Proceedings of the 4th International Workshop on Real Time Ada Issues, Ada Letters, Vol 10, No 9, 1990.
284.
A.Burns, Distributed Hard Real-Time Systems: What Restrictions are Necessary?, Proc. 1989 Real-Time Systems Symposium: Theory and Application, ed H. Zedan, North Holland, pp297-304, 1990.
285.
A.Burns and A.J.Wellings, Usability of the Ada Tasking Model, Proc. 3rd International Workshop on Real Time Ada Issues, ACM Ada Letters, VolX, No4, pp49-56, 1990.
286.
D.Auty, A.Burns, C.W.McKay, C.Randall and P.Rogers, The Portable Common Execution Environment (PCEE): An Approach to System Software for Large, Distributed Systems, Proc. 8th Annual National Conference on Ada Technology, pp367-382, 1990.
287.
D.Auty, A.Burns, C.W.McKay, C.Randall and P.Rogers, A Portable Common Execution Environment for Ada, in Distributed Ada: Developments and Experiences, ed J. Bishop, Cambridge University Press, pp259-291, 1990.
288.
A.Burns, A.M.Lister and A.J.Wellings, Ada and Distributed Systems, in Encyclopedia Of Computer Science and Technology, Vol 21, Supp 6, pp1-17, 1990
289.
A.Burns and A.J.Wellings, Dynamic Change Management and Ada, Journal of Software Maintenance: Research and Practice Vol 1, No 2, pp121-131, 1989.
290.
A.Burns and I.W.Morrison, A Formal Description of the Structure Attribute Model, Software Engineering Journal, Vol 4, No 2, pp74-78, March 1989.
291.
P.Allen and A.Burns, ADDS - A User Interface Management Scheme for Real-Time Systems, Proc. 2nd International Conference on Software Engineering for Real-Time Systems, Cirencester, pp111-115, Sept 1989.
292.
A.Burns and A.J.Wellings, Ada - The Reasons for Change, Proc. 2nd International Conference on Software Engineering for Real-Time Systems, Cirencester, pp70-74, Sept 1989.
293.
A.Burns and C.McKay, A Portable Common Execution Environment for Ada, Proc. Ada-Europe International Conference, Madrid, ed A.Alvarez, pp80-89, 1989.
294.
A.Burns, A Portable Common Execution Environment for the Space Station, Proc. ESA(ESTEC) Workshop on Communication Networks and Distributed Operating Systems within the Space Environment, pp237-242, October 1989.
295.
A.Burns and A.J.Wellings, Programming Atomic Actions in Ada, AdaLETTERS, Vol 9, No 6, pp67-79, 1989.
296.
A.Burns and A.J.Wellings, Real-time Ada: Outstanding Problem Areas, AdaUSER, Vol 10, No 3, pp143-152, 1989. Also appears in Proc. 3rd International Workshop on Real Time Ada Issues, ACM Ada Letters, VolX, No4, pp5-14, 1990.
297.
P.Allen and A.Burns, Program Generation for Ada - A Case Study, Software Practice and Experience, Vol 18, No 12, pp1125-1138, December 1988.
298.
A.Burns, G.L.Davies and A.J.Wellings, A Modula-2 Implementation of a Real-Time Process Abstraction, SIGPLAN Notices, Vol 23, No 10, pp49-58, 1988.
299.
A.Burns and A.J.Wellings, The Use of Ada in Hard Real-Time Systems: Scheduling Requirements and Language Features, Proc. ACSC-11, Brisbane; Australian Computer Science Communications, Vol 10, No 1, pp115-124, 1988.
300.
A.Burns and G.L.Davies, Pascal-FC: A Language for Teaching Concurrent Programming, SIGPLAN Notices, Vol 23, No 1, pp58-66, 1988.
301.
A.Burns and P.Allen, Mixed Initiative Interfaces to Real-Time Ada Systems, Proc. IFIP WG5.4/IFAC/EWICS Working Conference on Hardware and Software for Real Time Process Control, Warsaw, North Holland, ed Zalawski and Ehrenberger, pp33-42, May/June 1988.
302.
A.Burns, M.A.Rathwell and R.C.Thomas, A Distributed Decision-Making System, Journal of Decision Support Systems, Vol 3, pp121-131, 1987.
303.
A.Burns and A.J.Wellings, Real-Time Ada Issues, 1st International Workshop on Real-Time Ada Issues, ACM Ada LETTERS, pp43-47, May 1987.
304.
A.Burns and A.J.Wellings, Occam's Priority Model and Deadline Scheduling, Proc. 7th Occam User Group Meeting, Grenoble, 1987
305.
M. Mac an Airchinnigh, A. Burns and C. Chedgey, Reusable Units - Construction Methods and Measure, Proc. Ada-Europe Int. Conference, Sweden, ed. Sven Tafvelin, Ada Companion Series, Cambridge University Press, May 1987.
306.
A.Burns, A.M.Lister and A.J.Wellings, Ada Tasking Implementation Issues, Ada USER, Vol 2, No 2, pp30-39, 1987.
307.
A.Burns, Using Large Families for Handling Priority Requests, AdaLETTERS, Vol 7, No 1, pp97-104, 1987.
308.
A.Burns and M.A.Rathwell, A Communicating Environment for Cooperative Information Systems Development, Software Engineering Journal, Vol 2, No 1, pp9-14, 1987.
309.
P.W.James, N.S.Wilkes, W.Conkie and A.Burns, Developments in the Modelling of Horizontal Annular Two-Phase Flow, Int. J. Multiphase Flow, Vol 13, No 2, pp173-198, 1987.
310.
A.Burns and I.Richmond, Ada Training - Opportunities and Requirements, AdaUSER, Vol 7, No 4, pp39-44, 1986.
311.
I.W.Morrison and A.Burns, The Design and Prototype Implementation of a Structure Attribute Model for Tool Interfacing within an IPSE, Proceedings of 12th Symposium on Microprocessing and Microprogramming (EUROMICRO 86), North-Holland, Sept 15-18, 1986.
312.
P.A.Luker and A.Burns, Program Generators and Generation Software, Computer Journal, Vol 29, No 4, pp 315-321, 1986.
313.
A.Burns and J.A.Kirkham, The Construction of Information Management System Prototypes in Ada, Software Practice and Experience, Vol 16, No 4, pp341-350, 1986.
314.
A.Burns and J.Robinson, ADDS - A Dialogue Development System for the Ada Programming Language, International Journal of Man-Machine Studies, Vol 24, pp153-170, 1986.
315.
D.B.Kell and A.Burns, A Normograph for Calculating the Optimal Frequency for Dielectrophoresis and the Characteristic Frequency of the B-Dispersion of Cell Membrane Vesicles, Journal of Bioelectricity, Vol 5, No 1, pp139-144, 1986.
316.
A.Burns and J.Robinson, The Specification of Interactive Ada Programs, AdaUK News, Vol 6, No 4, 1985.
317.
A.Burns, Efficient Initialisation Routines for Multiprocessor Systems Programmed in Ada, AdaLETTERS, Vol 5, No 1, pp55-60, 1985.
318.
M.A.Rathwell and A.Burns, Information Systems Support for Group Planning and Decision-Making Activities, MIS Quarterly, Vol 9, No 3, pp255-272, 1985.
319.
A.Burns and J.Robinson, Tools and Techniques for Adaptable User Interface Development, Proc. 8th International Online Meeting, London, pp255-262, 1984.
320.
J.Robinson and A.Burns, A Dialogue Control System for the Design and Implementation of User Interfaces in Ada, Computer Journal, Vol 28, No 1, pp22-28, 1985.
321.
A.Burns, Early Experiences in Providing Ada Training, Information Technology Training, Vol 2, No 1, pp29-31, 1984.
322.
A.Burns and J.Robinson, Tool Requirements for the Implementation of User Interfaces in Ada, AdaUK News, 1984.
323.
A.Burns and J.Robinson, A Prototype Ada Dialogue Development System, AdaUK News, 1984.
324.
J.C.Hargraves, J.B.Harness and A.Burns, A Review of Some Experimental Investigations on Regenerators, Proc. IChemE Symposium, UK, 1984.
325.
M.A.Rathwell and A.Burns, Distributed Decision Making under Unix, Proc. European Unix User Group Meeting, pp22-32, April 1984.
326.
A.Burns and I.W.Morrison, A Comparison of the Unix and APSE Approaches to Software Tools, Proc. European Unix User Group Meeting, pp129-140, April 1984.
327.
I.W.Morrison, A.Burns and J.Robinson, Rationale for Comments: The Effect on Programming Languages and Implementations, Proc. Symposium on Empirical Foundations of Information and Software Science, Atlanta, 1984, pp197-207, Published Plenum Press, 1985.
328.
J.A.Kirkham, A.Burns and R.J.Thomas, The Use of Structured System Analysis in the Rapid Creation of Information Management Systems Prototypes Written in Ada, AdaLETTERS, Vol 4, No 1, 1984.
329.
J.Robinson and A.Burns, The Use of Multi-Level Adaptive User Interfaces in Improving User-Computer Interaction, Proc. Symposium on Empirical Foundations of Information and Software Science, Atlanta, 1984, pp169-177, Published Plenum Press, 1985.
330.
A.Burns, Enhanced Input/Output On Pascal, Vol 18, No 11, pp24-33 SIGPLAN Notices, 1983.
331.
A.Burns, D.Feickert, M.Newby and J.Winterton, New Technology and the Miner, Industrial Relations Journal, Vol 14, No 4, pp7-20, 1983.
332.
R.C.Thomas and A.Burns, The Case for Distributed Decision Making Systems, Computer Journal, Vol 25, No 1, pp148-152, 1982.
333.
A.Burns, Public Reaction to the Operation of Videotex, Electronic Publishing Review, Vol 2, No 2, pp143-149, 1982.
334.
D.J.Clarke, D.B.Kell, J.G.Morris and A.Burns, The Role of Ion-Selected Electrodes in Microbial Process Control, Ion-Selective Electrode Rev., Vol 4, pp 75-131, 1982.
335.
A.Burns and M.Rathwell, Distributed Decision Making and Democratic Systems Design, Proc. 6th International Online Information Meeting, London, pp387-396, 1982.
336.
D.B.Kell, A.Burns, D.J.Clarke and J.G.Morris, Proteinaceous Proton Pumps: A Minimal Model, Some Properties, and their Possible Universality, Speculations in Sci. and Tech., pp109-20, Vol 4, No 2, 1981.
337.
A.Burns, C.P.Jeffreson and A.J.Willmott, Use of Lead/Lag Approximations Modelling Thermal Regenerator Systems, J. of Dy. Sys. Measure and Cnl., Vol 103, pp49-53, 1981.
338.
A.Burns, Heat Transfer Coefficient Correlation ..., IJHMT, pp969-73, Vol 22, 1979.
339.
A.Burns and A.J.Willmott, Transient Performance of Periodic Flow Regenerators, IJHMT, pp623-27, Vol 21, 1978.
340.
A.J.Willmott and A.Burns, Periodic-flow Regenerators Parameter Identification for Transient Performance, Proc VI Heat Transfer Conf., HX-19, pp297-302, 1978.
341.
A.J.Willmott and A.Burns, The Recuperator Analogy for Transient Performance of Thermal Regenerators, IJHMT, pp1107-15, Vol 22, 1978.
342.
A.J.Willmott and A.Burns, Transient Response of Periodic Flow Regenerators, IJHMT, pp753-61, Vol 20, 1977.

CONFERENCE PAPERS

343.
A. Burns and S. Baruah, Towards A More Practical Model for Mixed Criticality Systems, Proceeding of WMC, RTSS, pp1-6, 2013.
344.
T. Fleming and A. Burns, Extending Mixed Criticality Scheduling, Proceeding of WMC, RTSS, pp7-12, 2013.
345.
S. Lin, A. J. Wellings and A. Burns, Ada 2012: Resource Sharing and Multiprocessors, Proceedings of the 15th IRTAW, ACM Letters, Vol XXXII, No 1, p32-44, 2013.
346.
A. Burns, An EDF Run-Time Profile based on Ravenscar, Proceedings of the 15th IRTAW, ACM Letters, Vol XXXII, No 1, p24-31, 2013.
347.
A. Burns and A.J. Wellings and A.H. Malik, TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications, Proceedings of the 15th IRTAW, ACM Letters, Vol XXXII, No 1, p15-23, 2013.
348.
A. Burns and A.J. Wellings, Support for Multiprocessor Platforms, Proceedings of the 15th IRTAW, ACM Letters, Vol XXXII, No 1, p9-14, 2013.
349.
S.K. Baruah, A. Burns and R.I. Davis, An Extended Fixed Priority Scheme for Mixed Criticality Systems, Proceedings of ReTiMiCS, RTCSA, L. George and G. Lipari (eds), pp18-24, 2013.
350.
A. Burns, The Application of the Original Priority Ceiling Protocol to Mixed Criticality Systems, Proceedings of ReTiMiCS, RTCSA, L. George and G. Lipari (eds), pp7-11, 2013.
351.
A. Burns, Is Audsley's Scheme the Most Expressive Optimal Priority Assignment Algorithm?, Proceedings RTSOPS, ECRTS, pp8-11, 2013.
352.
A. Burns, Parallel Ada - A Requirement for Ada 2020, Proceedings of the 16th IRTAW, Ada Letter, Vol XXXIII, No 2, p9-13, 2013.
353.
M. Aldea, A. Burns, M. Gutiirrez and M. Gonzalez Harbour, Incorporating the Deadline Floor Protocol in Ada, Proceedings of the 16th IRTAW, Ada Letter, Vol XXXIII, No 2, p49-58, 2013.
354.
A. Burns and A.J. Wellings, Locking Policies for Multiprocessor Ada, Proceedings of the 16th IRTAW, Ada Letter, Vol XXXIII, No 2, p59-65, 2013.
355.
A.J. Wellings, A. Burns, A.L.C. Cavalcanti and N.K. Singh, Programming Simple Reactive Systems in Ada: Premature Program Termination, Proceedings of the 16th IRTAW, Ada Letter, Vol XXXIII, No 2, p75-86, 2013.
356.
D. Griffin and A. Burns, Dynamics for WCET, Proceedings of 11th Intl. Workshop on Worst-Case Execution Time Analysis, 2011.
357.
A. Burns, Programming Langugaes for Real-Time Applications Executing on Parallel hardware, Proceedings of Reliable Software Technology - Ada Europe, ed. A. Romanovsky and T. Vardanega, LNCS 6652, pp193-195, 2011.
358.
A. Burns and D. Griffin, Predictability as an Emergent Behaviour, Proceedings of CRTS, 2011.
359.
A. Burns, Dual Priority Scheduling: Is the Processor Utilisation bound 100%?, Proceedings of 1st International Real-Time Scheduling Open Problems Seminar (RTSOPS), pp3-4, 2010.
360.
A. Burns and Y. Chen, Implementing Transactions in a Distributed Real-Time System without Global Time, WiP, RTSS, pp69-72, 2009.
361.
A.J. Wellings and A. Burns, Integrating OOP and tasking: the missing requeue, Proceedings of IRTAW 13, Ada Letters, XXVII(2), ppp23-28, 2007.
362.
A. Burns and A.J. Wellings, Programming execution-time servers in Ada 2005, Proceedings of IRTAW 13, Ada Letters, XXVII(2), pp18-22, 2007.
363.
A.J. Wellings and A. Burns, Integrating OOP and tasking: the missing requeue, Proceedings of IRTAW 13, Ada Letters, XXVII(2), pp23-28, 2007.
364.
A. Zerzelidis, A. Burns and A.J. Wellings, Correcting the EDF protocol in Ada 2005, Proceedings of IRTAW 13, Ada Letters, XXVII(2), pp18-22, 2007.
365.
A.J. Wellings and A. Burns, A framework for real-time utilities for Ada 2005, Proceedings of IRTAW 13, Ada Letters, XXVII(2)}, pp41-47, 2007.
366.
A.J. Wellings and A. Burns, Beyond Ada 2005: Allocating tasks to Processors in SMP systems, Proceedings of IRTAW 13, Ada Letters, XXVII(2)}, pp75-81, 2007. Also available from Ada user Journal, Vol 29, No 2, pp127-132, 2008.
367.
G. Baxter, A. Burns and K. Tan, Evaluating timebands as a tool for structuring the design of socio-technical systems, Contemporary Ergonomics 2007, Taylor and Francis pp55-60,2007.
368.
G. Lima and A. Burns, Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults, Dependable Computing: Second Latin-American Symposium, LADC, LNCS 3747, pp154-173, 2005.
369.
G. Bernat, I. Broster and A. Burns, Rewriting History to Exploit Gain Time, Proceedings of the 25th IEEE Real-time Systems Symposium, pp328-335, 2004.
370.
I. Broster, A. Burns and G. Rodrguez-Navas, Comparing Real-time Communication under Electromagnetic Interference, Proceedings of the 16th Euromicro Conference on Real-Time Systems}, pp45-52, 2004.
371.
A. Burns, A.J. Wellings and T. Taft, Supporting Deadlines and EDF Scheduling in Ada, Proceedings 9th Reliable Software Technologies - Ada Europe, pp156-165, 2004.
372.
J. Real, A. Burns, J. Miranda, E. Schonberg and A. Crespo, Dynamic Ceiling Priorities: A Proposal for Ada OY, Proceedings 9th Reliable Software Technologies - Ada Europe, pp261-272, 2004.
373.
G.M.A. Lima and A. Burns, Timing-Independent Safety on Top of CAN, Proc. of the 1st Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA), 2002.
374.
S.E. Mitchell, A. Burns and A.J. Wellings, MOPping up Exceptions, Proceedings of Exception Handling for a 21st Century Programming Language, Ada Letters, Vol XX1(3),pp80-92, 2001.
375.
G.M.A. Lima and A. Burns, A Timely Distributed Consensus Solution in a Crash/Omission-Fault Environment, Proceedings of the Work-in-Progress Session of the 22nd IEEE Real-Time Symposium, 2001.
376.
I. Broster and A. Burns, The Babbling Idiot in Event-triggered Real-time Systems, Proceedings of the Work-in-Progress Session of the 22nd IEEE Real-Time Symposium, 2001.
377.
A. Burns, L. Asplund, B. Johnson and K. Lundqvist, The Ravenscar Profile and Implementation Issues, Ada Letters, Vol XIX, pp12-14, June 1999.
378.
A. Burns and A.J. Wellings, How to Verify Concurrent Ada Programs. The Application of Model Checking, Ada Letters, Vol XIX, pp78-83, June 1999.
379.
W.M. Walker, P.T. Woolley and A. Burns, An Experimental Testbed for Embedded Real Time Ada 95, Ada Letters, Vol XIX, pp84-89, June 1999.
380.
A. Burns, The Meaning and Role of Value in Scheduling Flexible Real-Time Systems, Invited Keynote Presentation, IEEE Real-Time Computing Systems and Application (RTCSA'98), Hiroshima, Japan, 1998.
381.
E. Tovar, F. Vasques and A. Burns, Evaluating P-NET Message's Response Time with Fixed Priority Queuing at Application Process Level, `Work in Progress' 19th IEEE Real-Time Systems Symposium, Madrid, pp19-22, 1998.
382.
P.V. Bhansali, A. Burns, B. Carr'e, D. Craigen, N. Johnson, S. Michell, G. Motet, G. Romanski, M. Saatlink, G. Rowlands, A. Tacy, P. Thornley, D. Tombs, T. Vardanega and B. Wichmann, Guidance for the Use of the Ada Programming Language in High Integrity Systems, Ada Letters, 1998.
383.
S.E. Mitchell, A.J. Wellings and A. Burns, Developing a Real-Time Metaobject Protocol, Proceedings of IEEE Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, California, IEEE Press, 1997.
384.
A. Burns, Tasking Profiles, Ada Letters - Proceedings of the 8th International Real-Time Ada Workshop Vol 17, No 5, pp5-7, 1997.
385.
S.E. Mitchell and A. Burns, Reflection for Open Real-Time Systems, Proceedings of IEEE Workshop on Middleware for Distributed Real-Time Systems and Services, San Francisco, pp250-255, 1997.
386.
I.J. Bate, A. Burns, T.P. Kelly and J.A. McDermid, Building a Preliminary Safety Case: An Example from Aerospace, Proceedings of the 1997 Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Sydney, pp1-10, 1997.
387.
A. Burns and J. Chen, Real-Time Scheduling for Parallel Architectures, Proceedings of the 3rd Australasian Conference of Parallel and Real-Time Systems, Invited Keynote Paper, Brisbane, Queensland, Australia, pp117-124, 1996.
388.
A.J. Wellings, Lj. Beus-Dukic, A. Burns and D. Powell, Genericity and Upgradability in Ultra-Dependable Real-Time Architectures, Work in Progress Proceedings, Real Time Systems Symposium, http://www.cs.bu.edu/pub/ieee-rts/rtss96/wip/proceedings, pp15-18, December 1996.
389.
N.C. Audsley, I.J. Bate and A. Burns, Flexible Scheduling Theory for Advanced Engine Controllers, IEE Colloquia on Hybrid Control for Real-Time Systems, pp8/1-8/3, London, December 1996.
390.
A.Burns, Scheduling Distributed Safety Critical Systems, Proceeding IEE Colloquium on Safety Critical Distributed Systems, Digest of Papers 1993/189, IEE, pp1-5, 1993.
391.
A.Burns, Safety Kernels, RICIS Symposium '92, Mission Safety Critical Systems: Research and Application, Houston, 1992.
392.
A.Coombes, A.Burns and J.A.McDermid, TARDIS/Z - A Technique for Formal Specification of High-Integrity and Real-Time Systems, BCS Safety-Related Systems Specialist Group Second Annual Colloquium on Architectures for Safety, Cambridge, April 1991.
393.
A.Burns, The Notion of Priority in Real-Time Programming Languages, 2nd International Real-Time Ada Workshop, 1988.
394.
A.K.Kochhar, A.Burns, H.C.Pegler and A.Pain, Knowledge Based Design of Manufacturing Systems, Proc. of ACME Conference, 1988.
395.
A.Burns, Generalisation and Reuseability, 1987 AdaEurope Education Seminar, AdaUK Int. Conf. University of York, Jan 1987. Also presented at the Ada-Europe Int. Conf. Stockholm, May 1987.
396.
A. Burns, Ada : Tasking Implementation Issues, Languages for Parallel Processing, BCS Parallel Processing Specialist Group, Imperial College, Sept. 1986.
397.
A.Burns, Ada Training - Opportunities and Requirements, Ist AdaEurope Education Seminar, Edinburgh, May 1986.
398.
A.Burns and J.Robinson, The Specification of Interactive Ada programs, 5th AdaUK Conference, Jan 1986.
399.
A.Burns, Developing Embedded Software in Ada, MDS'85, London, (invited paper), 1985.
400.
A.Burns, M.Newby and J.Winterton, New Technology and the Restructuring of work in British Coal-Mining, British Sociology Association Conf., April 1984.
401.
A.Burns and D.Feickert, Incorporating Working Environment Concepts into Computerised Transportation Systems, Proc. International Research Conference on Working Environment in Urban Public Transport, Stockholm, June, 1983.
402.
A.Burns, User Reaction to the Operation of Videotex (invited paper) 5th International Online Information Meeting, London, 1981.

REPORTS AND ARTICLES

403.
A.Burns, The 16th International Real-Time Ada Workshop, Ada User, Vol 34, No 3, pp183-186, 2013.
404.
H. C. Wong and A. Burns, Improved Priority Assignment for the Abort-and-Restart (AR) Model, Proceedings of 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC), 2013.
405.
H.C. Wong and A. Burns, Improved Priority Assignment for the Abort-and-Restart (AR) Model, University of York, Department of Computer Science, Report YCS-2013-481, 2013.
406.
A. Burns and S.K. Baruah, Timing Faults and Mixed Criticality Systems, in Dependable and Historic Computing, Springer, eds Jones and Lloyd, LNCS 6875, 2011.
407.
I.J. Hayes, A. Burns, B. Dongol and C.B. Jones, Comparing Models of Non-deterministic Expression Evaluation, Newcastle University Techical Report, CS-TR-1273, 2011.
408.
A. Burns and C. Dale, Scheduling and Timing Analysis for Safety-Critical Real-Time Systems, Electronics World, Vol 116, pp18-20, 2010.
409.
A. Burns, A.J. Wellings, Multiprocessor Systems, Session Summary, Ada Letters, Vol 30, pp147-151, 2010.
410.
A. Burns and J.L. Tokar, Ada and the Software Vulnerabilities Project: The SPARK Annex, Ada User Journal, Vol 31, No 4, pp278-289, 2010.
411.
A. Burns and A.J. Wellings, Multiprocessor Systems: Session Summary, Ada User Journal, Vol 31, No 4, pp263-264, 2010.
412.
A. Burns, Progress Report form the 14th International Real-Time Ada Workshop, Ada User Journal, Vol 31, No 4, pp275-277, 2010.
413.
D. Griffin and A. Burns, Realism in Statistical Analysis of Worst Case Execution Times, 10th Intl. Workshop on Worst-Case Execution Time Analysis, pp49-57, 2010.
414.
R. Davis and A. Burns, FPZL Schedulability Analysis, University of York, Department of Computer Science Technical Report, YCS-2010-452, 2010.
415.
R. Davis and A. Burns, On Optimal Priority Assignment for Response Time Analysis of Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Hard Real-Time Systems, University of York, Department of Computer Science Technical Report, YCS-2010-451, 2010.
416.
R.I. Davis and A. Burns, A Survey of Hard Real-Time Scheduling Algorithms and Schedulability Analysis Techniques for Multiprocessor Systems, University of York Technical Report, YCS-2009-443, 2009.
417.
R.I. Davis and A. Burns, Priority Assignment for Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Real-Time Systems, University of York Technical Report, YCS-2009-440, 2009.
418.
F. Zhang, A. Burns and S. Baruah, Sensitivity Analysis for Real-Time Systems, University of York Technical Report, YCS-2009-438, 2009.
419.
A. Burns and A.J. Wellings, Concurrency Vulnerabilities, Ada User Journal, Vol 30, No 3, pp187-189, 2009.
420.
F. Zhang and A. Burns, Improvement to Quick Processor-demand Analysis for EDF-Scheduled Real-Time Systems, University of York Technical Report, YCS-2008-433, 2008.
421.
F. Zhang and A. Burns, Schedulability Analysis for Real-Time Systems with EDF Scheduling, University of York Technical Report, YCS-2008-426, 2008.
422.
A. Zabos, R.I. Davis and A. Burns, Utilization based Spare Capacity Distribution, University of York Technical Report, YCS-2008-427, 2008.
423.
A.J. Wellings, A. Burns, O.M. Santos and B. M. Brosgol, Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java, University of York Technical Report, YCS-2007-412, 2007.
424.
R. Davis, A. Zabos and A. Burns, Efficient Exact Schedulability Tests for Fixed Priority Real-time Systems, University of York Technical Report, YCS-2007-418, 2007.
425.
R. Davis, A. Burns, R. Bril and J. Lukkien, Controller Area Network (CAN) Schedulability Analysis: Refuted, Revisited and Revised}, University of York Technical Report, YCS-2006-408, 2006.
426.
A. Burns, I.J. Hayes, G. Baxter and C.J. Fidge, Modelling Temporal Behaviour in Complex Socio-Technical Systems, University of York Technical Report, YCS-2005-390, 2005.
427.
I. Broster and A. Burns, Applying Random Arrival Models to Fixed Priority Analysis, Proceedings Work in Progress session of Real-time Systems Symposium, 2004.
428.
I. Broster and A. Burns, Random Arrivals in Fixed Priority Analysis, Proceedings of the 1st International Workshop on Probabilistic Analysis Techniques for Real-time Systems (PARTES2004), 2004.
429.
A. Burns, B.Dobbing and T. Vardanega, Guide for the use of the Ada Ravenscar Profile in high integrity systems, University of York Technical Report, YCS-2003-348, 2003.
430.
A. Burns, Increasing the Real-Time Expressive Power of Ada 95, Ada User Journal, Vol 24, No 1, pp60-63, 2003.
431.
A. Burns and B. Dobbing, The Ravenscar Profile for Real-Time and High Integrity Systems, CrossTalk, Vol 16, No 11, pp9-12, 2003.
432.
G. Bernat and A. Burns, Jorvik: A framework for Effective Scheduling, Department of Computer Science, University of York, YCS-334, 2001.
433.
A. Burns, The HRG and High Integrity Ada, Ada Yearbook, Millennium Edition, Ed N. Audsley, pp51-54, 2000.
434.
P. Puschner and A. Burns, A Review of Worst-Case Execution-Time Analysis (editorial), Real-Time Systems Journal, Vol 18, No 2/3, pp115-128, 2000.
435.
E. Tover, F. Vasques and A. Burns, Communications Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilisation, University of York Computer Science Report, YCS 312, 1999.
436.
S.A. Aldarmi and A. Burns, Dynamic CPU Scheduling with Imprecise Knowledge of Computation Time, University of York Computer Science Report, YCS 314, 1999.
437.
G. Bernat, A. Burns and A Llamosi, Weakly Hard Real-Time Systems, University of York Computer Science Report, YCS 320, 1999.
438.
J. Chen and A. Burns, Asynchonous Data Sharing in Multiprocessor Real-Time Systems Using Process Consensus, University of York Computer Science Report, YCS 295, 1998.
439.
S.A. Aldarmi and A. Burns, Time-Cognizant Value Functions for Dynamic Real-Time Task Scheduling, University of York Computer Science Report, YCS 306, 1998.
440.
A. Burns, How to Verify a Safe Real-Time System. The Application of Model Checking and a Timed Automata to the Production Cell Case Study, University of York Computer Science Report, YCS 309, 1998.
441.
S.A. Aldarmi and A. Burns, Dynamic Value-Density of Scheduling Real-Time Systems, University of York Computer Science Report, YCS 310, 1998.
442.
A. Burns, S. Punnekkat, L. Stringini and D.R. Wright, Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems, University of York Computer Science Report, YCS 311, 1998.
443.
M. Nicholson and A. Burns, Structuring Architectural Topologies for Real-Time Safety-Critical Systems, University of York Computer Science Report, YCS 284, 1997.
444.
J. Chen and A. Burns, A Three-Slot Asynchronous Reader/Writer Mechanism for Multiprocessor Real-Time Systems, University of York Computer Science Report, YCS 286, 1997.
445.
J. Chen and A. Burns, A Fully Asynchronous Reader/Writer Mechanism for Multiprocessor Real-Time Systems, University of York Computer Science Report, YCS 288, 1997.
446.
C. McElhone and A. Burns, Scheduling Optional Computations for Adaptive Real-Time Systems, University of York Computer Science Report, YCS 289, 1997.
447.
M. Nicholson and A. Burns, Emergence of an Architectural Topology for Safety-Critical Real-Time Systems, University of York Computer Science Report, YCS 292, 1997.
448.
D. Priddin and A. Burns, Using Modecharts to Define Terminal HRT-HOOD Object Structure, University of York Computer Science Report, YCS 293, 1997.
449.
A.J. Wellings and A. Burns, Implementing Atomic Actions in Ada 95, University of York Computer Science Report, YCS 263, 1996.
450.
P. Cornwell, A. Burns and A.J. Wellings, The Design and Analysis of a Close-In Weapons System Simulator using HRT-HOOD, University of York Computer Science Report, YCS 251, 1995.
451.
S. Zhang and A. Burns, ECMA - An Optimal Synchronous Bandwidth Allocation Scheme for Guaranteeing Synchronous Message Deadlines with the Timed Token Protocol in an FDDI Network, University of York Computer Science Report, YCS 244, 1994.
452.
S. Zhang and A. Burns, Timing Properties of the Timed Token Protocol, University of York Computer Science Report, YCS 243, 1994.
453.
R. Davis and A. Burns, Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-emptive Systems, University of York Computer Science Report, YCS 239, 1994.
454.
A.Burns, M.Nicholson, K. Tindell and N.Zhang, Allocating and Scheduling Hard Real-Time Tasks on a Parallel Processing Platform, University of York Computer Science Report, YCS 238, 1994.
455.
A. Backhouse, A.Burns and P. Drew, Human Error in Multi-User Safety-Critical Systems: A Framework for Analysis, Risk and Safety Management Conference, Bolton Institute of Higher Education, 27th Feb-1st March 1994.
456.
M.Nicholson, J.A. McDermid and A.Burns, Analysis and Design Synthesis for Hard Real-Time Safety Critical Systems, University of York Computer Science Report, YCS 237, 1994.
457.
K.Tindell and A.Burns, Guaranteed Message Latencies for Distributed Safety-Critical Hard Real-Time Control Networks, University of York Computer Science Report, YCS 229, 1994.
458.
S. Zhang and A. Burns, A Study of Timing Properties with the Timed Token Protocol, University of York Computer Science Report, YCS 226, 1994.
459.
A.Burns, A.J.Wellings, C.H. Forsyth and C.M. Bailey, Performance Analysis of a Hard Real-Time System, University of York Computer Science Report, YCS 224, 1994.
460.
A.Burns, Preemptive Priority Based Scheduling: An Appropriate Engineering Approach, YCS 214, Department of Computer Science, University of York, 1993.
461.
A.Burns, Fixed Priority Scheduling with Deadline Prior to Completion, YCS 212, Department of Computer Science, University of York, 1993.
462.
A.Burns and A.J.Wellings, Implementing Analysable Hard Real-Time Sporadic Tasks in Ada9X, YCS 209, Department of Computer Science, University of York, 1993.
463.
K.Tindell and A.Burns, Scheduling Hard Real-Time Multi-Media Disk Traffic, YCS 204, Department of Computer Science, University of York, July 1993.
464.
N.C.Audsley, A.Burns, M.F.Richardson and A.J.Wellings, Data Consistency in Hard Real-Time Systems, YCS 203, Department of Computer Science, University of York, July 1993.
465.
A.Burns and A.J Wellings, Editorial - Proceedings of the 6th International Workshop on Real Time Ada Issues, Ada Letters, Vol XIII, No 2, 1993.
466.
A.Burns and A.J.Wellings, HRT-HOOD: A Structured Design Method for Hard Real-Time Systems, YCS 199, Department of Computer Science, University of York, June 1993.
467.
N.Zhang, A.Burns and M Nicholson, Pipelined Processors and Worst Case Execution Times, YCS 198, Department of Computer Science, University of York, June 1993.
468.
N.C.Audsley, A.Burns, M.F.Richardson, D.J Scholefield, A.J.Wellings and H.S.M. Zedan, Bridging the Gap between Formal Methods and Scheduling Theory, YCS 195, Department of Computer Science, University of York, March 1993.
469.
A Burns, A.J Wellings, C.M. Bailey and E. Fyfe, The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-time System Design and Implementation, YCS 190, Department of Computer Science, University of York, 1993.
470.
G.L.Davies and A.Burns, A Model of Ada9X Protected Records in Pascal-FC, University of Bradford Technical Report, CS-25-92, pp1-15, 1992.
471.
N.C. Audsley, A. Burns, M.F. Richardson and A.J. Wellings, Incorporating Unbounded Algorithms into Predictable Real-Time Systems, pp1-24, University of York Technical Report, YCS 171, 1992.
472.
A.Burns and S.Shrivastava, Dependable Real-Time Systems: Basic Concepts and Terminology, DCSC Technical Report TR/91/1, pp1-22, 1991.
473.
A.Burns and W. Eventoff, Asynchronism in Ada 9X, Proceeding of the 5th International Real-Time Ada Workshop, Ada LETTERS, Vol XI, No 6, pp66-68, 1991.
474.
A.Burns, The Revision Process for Ada9X - the 5th International Real-Time Ada Workshop and the Ada9X Mapping Workshop, Ada USER, Vol12, No3, pp116-122, 1991.
475.
A.Burns and G.Fohler, Incorporating Flexibility into Offline Scheduling for Hard Real-Time Systems, PDCS Second Year Report, Vol1, Chapter3, PartII, 1991.
476.
A.Burns, Human Interfaces to Real-Time Embedded Systems, Workshop paper for Architectures for Interactive Systems, DTI Human Interface Club, March 1991.
477.
A.Burns and A.Lister, An Architectural Framework for Timely and Reliable Distributed Information Systems (TARDIS): Description and Case Study, University of York (Computer Science) Technical Report YCS 140(1990).
478.
N.Audsley and A.Burns, Real-Time System Scheduling, University of York (Computer Science) Technical Report YCS 134(1990).
479.
P.Allen and A.Burns, Human Interfaces to Real-Time Ada Systems, University of York (Computer Science) Technical Report YCS 143(1990).
480.
A.Burns and M.Richardson, A Database Model for Hard Real-Time Systems, University of York (Computer Science) Technical Report YCS 144(1990).
481.
A.Burns, A.J.Wellings and G.L.Davies, Atomic Actions, Asynchronous Transfer of Control and the Ada Programming Language, University of York Report, Department of Computer Science, YCS 130(1990), 1990.
482.
N.Audsley and A.Burns, Real-Time System Scheduling, PDCS Report, Vol2, chapter2, partII, 1990.
483.
A.Burns and A.J.Wellings, A Formal Description of Ada Tasking in Z, CS25-89, August 1989. Also published as a University of York Technical Report.
484.
A.Burns and A.J.Wellings, Ada9X - The Need for Change, University of York Computer Science Report, YCS117(1989), February 1989.
485.
A.Burns and A.J.Wellings, Priority Inheritance and Message Passing Communication, University of Bradford Computer Science Report, CS12-89, February 1989. Also published as a University of York Technical Report.
486.
A.Burns and A.J.Wellings, Papers Offered to the 3rd Real-Time Ada Workshop, University of Bradford Computer Science Report, CS11-89, January 1989.
487.
M.Pilling, A.Burns and K.Raymond, Formal Specification and Proofs of Inheritance Protocols for Real-Time Systems, CS10-89, January 1989. Also available as a University of Queensland Technical Report.
488.
A.Burns, Scheduling Hard Real-Time Systems: A Review, University of Bradford Computer Science Report, CS13-88, 1988.
489.
A.Burns, G.L.Davies and A.J.Wellings, A Modula-2 Implementation of a Process Abstraction with Occam Channel Semantics, University of Bradford Computer Science Report, CS11-88, 1988.
490.
G.L.Davies and A.Burns, An Overview of the Concurrency Language Pascal-FC, University of Bradford Computer Science Report, CS10-88, 1988.
491.
A.Burns, N.Newby and J.Winterton, The Restructuring of British Coal, in Debating Coal Closures (ed D.Cooper and T.Hopper), Cambridge University Press, pp253-277, 1988.
492.
A.Burns and A.J.Wellings, The Notion of Priority in Real-Time Programming Languages, University of Bradford Computer Science Report CS10-87, 1987. Also appeared as a University of York Technical Report.
493.
A.Burns, A.Lister and A.Wellings, A Review of Ada Tasking, University of Bradford Computer Science Report, PR12, 95 pages, 1985. Also appears as a University of Queensland and a University of York Technical Report.
494.
A.Burns, M.Newby and J.Winterton, Second report on MINOS, WERG report No 6, 1984.
495.
A.Burns, Knowledge is power, in: New Information Technology, Ellis Horwood, 1984.
496.
A.Burns, Information technology - for Better or Worse?, in: New Information Technology, Ellis Horwood, 1984.
497.
A.Burns, D.Feickert, M.Newby and J.Winterton, An Interim Assessment of MINOS, WERG report No 4, 1982.
498.
P.W.James and A.Burns, Further Developments in the Modelling of Horizontal Annular Flow, AERE-R 9373, 21 pages, 1979.
499.
A.Burns, Heat Transfer Coefficient Correlation for Thermal Regenerator Calculation - Transient Response, University of York Computer Science Report, YCS6(1977), 1977.