Alan Burns

Search results

• 2022

  A Rely-Guarantee Specification of Mixed-Criticality Scheduling

  Jones, C. & Burns, A., 30 May 2022, Mathematical Foundations of Software Engineering: Essays in Honour of Tom Maibaum on the Occasion of his Retirement. Aguirre, N., Cassano, V., Castro, P. & Demasi, R. (eds.). College Publications, p. 61-76 16 p. (Tribute Series).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• 2001

  The cost-effectiveness of therapeutics for Alzheimer's disease

  Manca, A., Davies, L. M. & Burns, A., 2001, Neuropsychopharmacology: The fifth Generation of Progress. Lippincott Williams and Wilkins

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• 1995

  Integrating Unbounded Software Components into Hard Real-Time Systems

  Audsley, N. C., Burns, A., Davis, R. I. & Wellings, A. J., Jun 1995, Imprecise and Approximate Computation. Natarajan, S. (ed.). p. 63-86 (The Springer International Series in Engineering and Computer Science,; vol. 318).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Real-Time System Scheduling

  Audsley, N. C., Burns, A., Davis, R., Tindell, K. W. & Wellings, A., Jun 1995, Predictably Dependable Computing Systems.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter