default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlan Burns 0001
Person information
- affiliation: University of York, Department of Computer Science, UK
- affiliation: University of Bradford, Postgraduate School of Computing, UK
Other persons with the same name
- Alan Burns 0002 — University of Leeds, School of Chemical and Process Engineering, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j120]Cliff B. Jones
, Alan Burns:
Extending rely-guarantee thinking to handle real-time scheduling. Formal Methods Syst. Des. 62(1): 119-140 (2024)- [c191]Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert I. Davis:
Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification. RTAS 2024: 29-41 - 2023
- [j119]Sanjoy K. Baruah, Alan Burns, Robert I. Davis, Yue Wu:
Optimally ordering IDK classifiers subject to deadlines. Real Time Syst. 59(1): 1-34 (2023) - [j118]Tarek F. Abdelzaher, Kunal Agrawal, Sanjoy K. Baruah, Alan Burns, Robert I. Davis, Zhishan Guo, Yigong Hu:
Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification. Real Time Syst. 59(3): 348-407 (2023) - [j117]Zhe Jiang, Xiaotian Dai, Alan Burns, Neil C. Audsley, Zonghua Gu, Ian Gray:
A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems. IEEE Trans. Computers 72(1): 29-42 (2023) - [j116]Leandro Soares Indrusiak, Alan Burns:
Real-Time Guarantees in Routerless Networks-on-Chip. ACM Trans. Embed. Comput. Syst. 22(5): 88:1-88:27 (2023) - [j115]Sanjoy K. Baruah, Alan Burns, Robert Ian Davis:
Optimal Synthesis of Robust IDK Classifier Cascades. ACM Trans. Embed. Comput. Syst. 22(5s): 150:1-150:26 (2023) - [c190]Nan Chen, Shuai Zhao, Ian Gray, Alan Burns, Siyuan Ji, Wanli Chang:
Precise Response Time Analysis for Multiple DAG Tasks with Intra-task Priority Assignment. RTAS 2023: 174-184 - [c189]Tarek F. Abdelzaher, Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert Ian Davis, Yigong Hu:
Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty. RTNS 2023: 143-154 - [c188]Alan Burns, Sanjoy K. Baruah:
Multi-Model Specifications and their Application to Classification Systems. RTNS 2023: 155-165 - [i5]Cliff B. Jones, Alan Burns:
Extending Rely-Guarantee thinking to handle Real-Time Scheduling. CoRR abs/2312.00171 (2023) - 2022
- [c187]Seyed Amir Tafrishi, Xiaotian Dai, Yasuhisa Hirata, Alan Burns:
Discretization and Stabilization of Energy-Based Controller for Period Switching Control and Flexible Scheduling. ACC 2022: 844-849 - [c186]Alan Burns, Cliff B. Jones:
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. ECRTS 2022: 14:1-14:23 - [c185]Iain Bate, Alan Burns, Robert I. Davis:
Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling. RTAS 2022: 187-200 - [c184]Nan Chen, Shuai Zhao, Ian Gray, Alan Burns, Siyuan Ji, Wanli Chang:
MSRP-FT: Reliable Resource Sharing on Multiprocessor Mixed-Criticality Systems. RTAS 2022: 201-213 - [c183]Georg von der Brüggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, Jan Reineke:
On the Trade-offs between Generalization and Specialization in Real-Time Systems. RTCSA 2022: 148-159 - [c182]Sanjoy K. Baruah, Alan Burns, David Griffin:
Functional Uncertainty in Real-Time Safety-Critical Systems. RTNS 2022: 1-11 - [c181]Robert Ian Davis, Alan Burns, Iain Bate:
Compensating Adaptive Mixed Criticality Scheduling. RTNS 2022: 81-93 - [i4]Seyed Amir Tafrishi, Xiaotian Dai, Yasuhisa Hirata, Alan Burns:
Discretization and Stabilization of Energy-Based Controller for Period Switching Control and Flexible Scheduling. CoRR abs/2206.05994 (2022) - [i3]Leandro Soares Indrusiak, Alan Burns:
Real-Time Guarantees in Routerless Networks-on-Chip. CoRR abs/2209.10430 (2022) - 2021
- [j114]Alan Burns, Steve Goddard:
Foreword. Leibniz Trans. Embed. Syst. 7(1): 00:1 (2021) - [j113]Shuai Zhao, Wanli Chang, Ran Wei, Weichen Liu, Nan Guan, Alan Burns, Andy J. Wellings:
Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources. IEEE Trans. Computers 70(7): 1006-1018 (2021) - [c180]Xiaotian Dai, Shuai Zhao, Iain Bate, Alan Burns, Xing Guo, Wanli Chang:
Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open Challenges. RTAS 2021: 481-484 - [c179]Sanjoy K. Baruah, Alan Burns, Yue Wu:
Optimal Synthesis of IDK-Cascades. RTNS 2021: 184-191 - 2020
- [j112]Alan Burns, Ian J. Hayes, Cliff B. Jones:
Deriving Specifications of Control Programs for Cyber Physical Systems. Comput. J. 63(5): 774-790 (2020) - [j111]Xiaotian Dai, Alan Burns:
Period adaptation of real-time control tasks with fixed-priority scheduling in cyber-physical systems. J. Syst. Archit. 103: 101691 (2020) - [j110]Pan Dong, Zhe Jiang, Alan Burns, Yan Ding, Jun Ma:
Build real-time communication for hybrid dual-OS system. J. Syst. Archit. 107: 101774 (2020) - [j109]Sanjoy K. Baruah, Alan Burns:
Expressing survivability considerations in mixed-criticality scheduling theory. J. Syst. Archit. 109: 101755 (2020) - [j108]Shuai Zhao, Jorge Garrido, Ran Wei, Alan Burns, Andy J. Wellings, Juan Antonio de la Puente:
A complete run-time overhead-aware schedulability analysis for MrsP under nested resources. J. Syst. Softw. 159 (2020) - [j107]James Harbin, Alan Burns, Robert I. Davis, Leandro Soares Indrusiak, Iain Bate, David Griffin:
The AirTight Protocol for Mixed Criticality Wireless CPS. ACM Trans. Cyber Phys. Syst. 4(2): 19:1-19:28 (2020) - [j106]Wanli Chang, Ran Wei, Shuai Zhao, Andy J. Wellings, Jim Woodcock, Alan Burns:
Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Trans. Embed. Comput. Syst. 19(5): 31:1-31:26 (2020) - [c178]Kunal Agrawal, Alan Burns, Abhishek Singh, Sanjoy K. Baruah:
Minimizing Execution Duration in the Presence of Learning-Enabled Components. DATE 2020: 1644-1649 - [c177]Kunal Agrawal, Sanjoy K. Baruah, Alan Burns:
The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems. ECRTS 2020: 7:1-7:20 - [c176]Alan Burns, Leandro Soares Indrusiak, N. Smirnov, J. Harrison:
A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs. RTAS 2020: 137-147 - [c175]Alan Burns, Robert I. Davis:
Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance. RTSS 2020: 12-24 - [c174]Shuai Zhao, Xiaotian Dai, Iain Bate, Alan Burns, Wanli Chang:
DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency. RTSS 2020: 128-140 - [i2]Cliff B. Jones, Alan Burns:
A Rely-Guarantee Specification of Mixed-Criticality Scheduling. CoRR abs/2012.01493 (2020)
2010 – 2019
- 2019
- [j105]Hao Xu, Alan Burns:
A semi-partitioned model for mixed criticality systems. J. Syst. Softw. 150: 51-63 (2019) - [j104]Borislav Nikolic, Sebastian Tobuschat, Leandro Soares Indrusiak, Rolf Ernst, Alan Burns:
Real-time analysis of priority-preemptive NoCs with arbitrary buffer sizes and router delays. Real Time Syst. 55(1): 63-105 (2019) - [j103]Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah:
Multi-core cyclic executives for safety-critical systems. Sci. Comput. Program. 172: 102-116 (2019) - [j102]Xiaotian Dai, Wanli Chang, Shuai Zhao, Alan Burns:
A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design. ACM Trans. Embed. Comput. Syst. 18(5s): 85:1-85:20 (2019) - [c173]Sanjoy K. Baruah, Alan Burns:
Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory. ISORC 2019: 155-162 - [c172]Wanli Chang, Shuai Zhao, Ran Wei, Andy J. Wellings, Alan Burns:
From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper). LCTES 2019: 123-134 - [c171]David Griffin, James Harbin, Alan Burns, Iain Bate, Robert I. Davis, Leandro Soares Indrusiak:
Validating high level simulation results against experimental data and low level simulation: a case study. RTNS 2019: 30-40 - [c170]Kunal Agrawal, Sanjoy K. Baruah, Alan Burns:
Fault-tolerant transmission of messages of differing criticalities across a shared communication medium. RTNS 2019: 41-49 - [c169]Kunal Agrawal, Sanjoy K. Baruah, Alan Burns:
Semi-Clairvoyance in Mixed-Criticality Scheduling. RTSS 2019: 458-468 - [c168]Pan Dong, Zhe Jiang, Alan Burns, Yan Ding, Jun Ma:
Work-in-Progress: Real-Time RPC for Hybrid Dual-OS System. RTSS 2019: 532-535 - 2018
- [j101]Alan Burns, Robert I. Davis:
A Survey of Research into Mixed Criticality Systems. ACM Comput. Surv. 50(6): 82:1-82:37 (2018) - [j100]Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy K. Baruah, Alan Burns:
AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems (Artifact). Dagstuhl Artifacts Ser. 4(2): 01:1-01:3 (2018) - [j99]Alan Burns, Robert I. Davis, Sanjoy K. Baruah, Iain Bate:
Robust Mixed-Criticality Systems. IEEE Trans. Computers 67(10): 1478-1491 (2018) - [c167]Leandro Soares Indrusiak, Alan Burns, Borislav Nikolic:
Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs. DATE 2018: 219-224 - [c166]Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, Nigel Tracey:
Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies. ECRTS 2018: 7:1-7:24 - [c165]Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy K. Baruah, Alan Burns:
AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems. ECRTS 2018: 14:1-14:22 - [c164]Robert I. Davis, Sebastian Altmeyer, Alan Burns:
Mixed Criticality Systems with Varying Context Switch Costs. RTAS 2018: 140-151 - [c163]Pan Dong, Alan Burns, Zhe Jiang, Xiangke Liao:
TZDKS: A New TrustZone-Based Dual-Criticality System with Balanced Performance. RTCSA 2018: 59-64 - [c162]Alan Burns, James Harbin, Leandro Soares Indrusiak, Iain Bate, Robert I. Davis, David Griffin:
AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems. RTCSA 2018: 65-75 - 2017
- [j98]Tom Fleming, Huang-Ming Huang, Alan Burns, Christopher D. Gill, Sanjoy K. Baruah, Chenyang Lu:
Corrections to and Discussion of "Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks". ACM Trans. Embed. Comput. Syst. 16(3): 77:1-77:4 (2017) - [j97]Iain Bate, Alan Burns, Robert I. Davis:
An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Trans. Software Eng. 43(4): 298-320 (2017) - [c161]Jorge Garrido, Shuai Zhao, Alan Burns, Andy J. Wellings:
Supporting Nested Resources in MrsP. Ada-Europe 2017: 73-86 - [c160]Xiaotian Dai, Alan Burns:
Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems. Ada-Europe 2017: 87-101 - [c159]Alan Burns, Sanjoy K. Baruah:
Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework. Ada-Europe 2017: 203-216 - [c158]Shuai Zhao, Jorge Garrido, Alan Burns, Andy J. Wellings:
New schedulability analysis for MrsP. RTCSA 2017: 1-10 - [c157]Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah:
Multi-core Cyclic Executives for Safety-Critical Systems. SETTA 2017: 94-109 - 2016
- [j96]Robert I. Davis, Liliana Cucu-Grosjean, Marko Bertogna, Alan Burns:
A review of priority assignment in real-time systems. J. Syst. Archit. 65: 64-82 (2016) - [c156]Alan Burns:
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems. Ada-Europe 2016: 3-11 - [c155]Sanjoy K. Baruah, Alan Burns, Zhishan Guo:
Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors. ECRTS 2016: 131-138 - [c154]Tom Fleming, Sanjoy K. Baruah, Alan Burns:
Improving the Schedulability of Mixed Criticality Cyclic Executives via Limited Task Splitting. RTNS 2016: 277-286 - [i1]Leandro Soares Indrusiak, Alan Burns, Borislav Nikolic:
Analysis of buffering effects on hard real-time priority-preemptive wormhole networks. CoRR abs/1606.02942 (2016) - 2015
- [j95]Robert I. Davis, Alan Burns, Sanjoy K. Baruah, Thomas Rothvoß, Laurent George, Oliver Gettings:
Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms. Real Time Syst. 51(5): 566-601 (2015) - [j94]Alan Burns, Marina Gutiérrez, Mario Aldea Rivas, Michael González Harbour:
A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing. IEEE Trans. Computers 64(5): 1241-1253 (2015) - [j93]Robert I. Davis, Alan Burns, José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna:
Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Preemption. ACM Trans. Embed. Comput. Syst. 14(3): 47:1-47:28 (2015) - [c153]Alan Burns, Tom Fleming, Sanjoy K. Baruah:
Cyclic Executives, Multi-core Platforms and Mixed Criticality Applications. ECRTS 2015: 3-12 - [c152]Leandro Soares Indrusiak, James Harbin, Alan Burns:
Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole Networks-on-Chip. ECRTS 2015: 47-56 - [c151]Iain Bate, Alan Burns, Robert I. Davis:
A Bailout Protocol for Mixed Criticality Systems. ECRTS 2015: 259-268 - [c150]Hing Choi Wong, Alan Burns:
Priority-Based Functional Reactive Programming (P-FRP) Using Deferred Abort. RTCSA 2015: 227-236 - [c149]Hao Xu, Alan Burns:
Semi-partitioned model for dual-core mixed criticality system. RTNS 2015: 257-266 - [c148]Robert I. Davis, Alan Burns, Victor Pollex, Frank Slomka:
On priority assignment for controller area network when some message identifiers are fixed. RTNS 2015: 279-288 - [c147]H. Almatary, Neil C. Audsley, Alan Burns:
Reducing the Implementation Overheads of IPCP and DFP. RTSS 2015: 295-304 - [c146]Dirk Müller, Alan Burns:
Deriving period restrictions from a given utilization bound under RMS. SIES 2015: 178-184 - 2014
- [j92]Alan Burns:
Foreword. Leibniz Trans. Embed. Syst. 1(1): 00:1-00:2 (2014) - [c145]Alan Burns, Andy J. Wellings:
Deadline-Aware Programming and Scheduling. Ada-Europe 2014: 107-118 - [c144]Hing Choi Wong, Alan Burns:
Schedulability Analysis for the Abort-and-Restart (AR) Model. RTNS 2014: 119 - [c143]David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis:
Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches. RTNS 2014: 203 - [c142]David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis:
Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression. RTNS 2014: 289 - [c141]Alan Burns, Robert I. Davis:
Adaptive Mixed Criticality Scheduling with Deferred Preemption. RTSS 2014: 21-30 - [c140]Alan Burns, James Harbin, Leandro Soares Indrusiak:
A Wormhole NoC Protocol for Mixed Criticality Systems. RTSS 2014: 184-195 - 2013
- [j91]Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones:
Comparing Degrees of Non-Determinism in Expression Evaluation. Comput. J. 56(6): 741-755 (2013) - [j90]Shiyao Lin, Andy J. Wellings, Alan Burns:
Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages. Concurr. Comput. Pract. Exp. 25(16): 2227-2251 (2013) - [j89]Kun Wei, Jim Woodcock, Alan Burns:
Modelling temporal behaviour in complex systems with Timebands. Formal Methods Syst. Des. 43(3): 520-551 (2013) - [j88]Alan Burns, Laurent George:
Guest editorial: multiprocessor scheduling. Real Time Syst. 49(2): 137-139 (2013) - [j87]Fengxiang Zhang, Alan Burns:
Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing. ACM Trans. Embed. Comput. Syst. 12(3): 67:1-67:19 (2013) - [c139]Alan Burns, Robert I. Davis:
Mixed Criticality on Controller Area Network. ECRTS 2013: 125-134 - [c138]Alan Burns, Andy J. Wellings:
A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP. ECRTS 2013: 282-291 - [c137]Alan Burns:
Predictability and Mixed Criticality. PECCS 2013 - [c136]Robert I. Davis, Alan Burns, José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna:
Global fixed priority scheduling with deferred pre-emption. RTCSA 2013: 1-11 - [c135]Sanjoy K. Baruah, Alan Burns:
Fixed-priority scheduling of dual-criticality systems. RTNS 2013: 173-181 - 2012
- [j86]Alan Burns, Robert I. Davis, P. Wang, Fengxiang Zhang:
Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme. Real Time Syst. 48(1): 3-33 (2012) - [c134]Mark Louis Fairbairn, Alan Burns:
Implementing and Verifying EDF Preemption-Level Resource Control. Ada-Europe 2012: 193-206 - [c133]Abbas Eslami Kiasari, Axel Jantsch, Marco Bekooij, Alan Burns, Zhonghai Lu:
Analytical approaches for performance evaluation of networks-on-chip. CASES 2012: 211-212 - [c132]Rolf Ernst, Alan Burns, Lothar Thiele, Jimmy Le Rhun:
Mixed critical system design and analysis. EMSOFT 2012: 247-248 - [p2]Kun Wei, Jim Woodcock, Alan Burns:
Modelling Temporal Behaviour in Complex Systems with Timebands. Conquering Complexity 2012: 277-307 - 2011
- [j85]Robert I. Davis, Alan Burns:
A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. 43(4): 35:1-35:44 (2011) - [j84]Robert I. Davis, Alan Burns:
Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. Real Time Syst. 47(1): 1-40 (2011) - [j83]Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah:
Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling. Real Time Syst. 47(3): 224-252 (2011) - [c131]Sanjoy K. Baruah, Alan Burns:
Implementing Mixed Criticality Systems in Ada. Ada-Europe 2011: 174-188 - [c130]Alan Burns:
Programming Languages for Real-Time Applications Executing on Parallel Hardware. Ada-Europe 2011: 193-195 - [c129]Alan Burns, Sanjoy K. Baruah:
Timing Faults and Mixed Criticality Systems. Dependable and Historic Computing 2011: 147-166 - [c128]Kun Wei, Jim Woodcock, Alan Burns:
Timed Circus: Timed CSP with the Miracle. ICECCS 2011: 55-64 - [c127]Andy J. Wellings, Shiyao Lin, Alan Burns:
Resource sharing in RTSJ and SCJ systems. JTRES 2011: 11-19 - [c126]Robert I. Davis, Alan Burns:
FPZL Schedulability Analysis. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 245-256 - [c125]Sanjoy K. Baruah, Alan Burns, Robert I. Davis:
Response-Time Analysis for Mixed Criticality Systems. RTSS 2011: 34-43 - [e2]Sébastien Faucou, Alan Burns, Laurent George:
19th International Conference on Real-Time and Network Systems, RTNS '11, Nantes, France, September 29-30, 2011. Proceedings. 2011 [contents] - 2010
- [j82]Zheng Shi, Alan Burns, Leandro Soares Indrusiak:
Schedulability Analysis for Real Time On-Chip Communication with Wormhole Switching. Int. J. Embed. Real Time Commun. Syst. 1(2): 1-22 (2010) - [j81]Alan Burns, Ian J. Hayes:
A timeband framework for modelling real-time systems. Real Time Syst. 45(1-2): 106-142 (2010) - [j80]Zheng Shi, Alan Burns:
Schedulability analysis and task mapping for real-time on-chip communication. Real Time Syst. 46(3): 360-385 (2010) - [c124]Alan Burns, Andy J. Wellings:
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. Ada-Europe 2010: 41-53 - [c123]Andy J. Wellings, Alan Burns:
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005. Ada-Europe 2010: 196-207 - [c122]Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah:
Sensitivity Analysis of the Minimum Task Period for Arbitrary Deadline Real-Time Systems. PRDC 2010: 101-108 - [c121]Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah:
Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems. RTCSA 2010: 61-70 - [c120]Alan Burns, Bev Littlewood:
Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems. RTSS 2010: 73-81 - [c119]Kun Wei, Jim Woodcock, Alan Burns:
A Timed Model of Circus with the Reactive Design Miracle. SEFM 2010: 315-319 - [c118]Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei:
Modelling and Implementing Complex Systems with Timebands. SSIRI 2010: 1-13 - [c117]David Griffin, Alan Burns:
Realism in Statistical Analysis of Worst Case Execution Times. WCET 2010: 44-53
2000 – 2009
- 2009
- [b6]Alan Burns, Andrew J. Wellings:
Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition. International computer science series, Addison-Wesley 2009, ISBN 978-0-321-41745-9, pp. I-XVIII, 1-602 - [j79]Robert I. Davis, Alan Burns:
Robust priority assignment for messages on Controller Area Network (CAN). Real Time Syst. 41(2): 152-180 (2009) - [j78]Alan Burns:
Guest editorial: Special issue on ECRTS 2008. Real Time Syst. 43(1): 1-2 (2009) - [j77]Areej Zuhily, Alan Burns:
Exact scheduling analysis of non-accumulatively monotonic multiframe tasks. Real Time Syst. 43(2): 119-146 (2009) - [j76]Robert I. Davis, Thomas Rothvoß, Sanjoy K. Baruah, Alan Burns:
Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling. Real Time Syst. 43(3): 211-258 (2009) - [j75]Fengxiang Zhang, Alan Burns:
Schedulability Analysis for Real-Time Systems with EDF Scheduling. IEEE Trans. Computers 58(9): 1250-1258 (2009) - [c116]Alan Burns, Andy J. Wellings, Fengxiang Zhang:
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. Ada-Europe 2009: 119-133 - [c115]Zheng Shi, Alan Burns:
Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks. ECRTS 2009: 3-12 - [c114]Fengxiang Zhang, Alan Burns:
Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems. ECRTS 2009: 76-86 - [c113]Robert I. Davis, Alan Burns:
Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems. RTSS 2009: 398-409 - 2008
- [j74]Alan Burns, Sanjoy K. Baruah:
Sustainability in Real-time Scheduling. J. Comput. Sci. Eng. 2(1): 74-97 (2008) - [j73]Yanching Chu, Alan Burns:
Flexible hard real-time scheduling for deliberative AI systems. Real Time Syst. 40(3): 241-263 (2008) - [j72]Robert I. Davis, A. Zabos, Alan Burns:
Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems. IEEE Trans. Computers 57(9): 1261-1276 (2008) - [c112]Areej Zuhily, Alan Burns:
Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines. ETFA 2008: 600-607 - [c111]Areej Zuhily, Alan Burns:
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks. ICTAC 2008: 410-424 - [c110]Zheng Shi, Alan Burns:
Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching. NOCS 2008: 161-170 - [c109]Robert I. Davis, Alan Burns:
Response Time Upper Bounds for Fixed Priority Real-Time Systems. RTSS 2008: 407-418 - [c108]Zheng Shi, Alan Burns:
Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks. RTSS 2008: 421-430 - [c107]Paulo Martins, Alan Burns:
On the meaning of modes in uniprocessor real-time systems. SAC 2008: 324-325 - 2007
- [b5]Alan Burns, Andy J. Wellings:
Concurrent and real-time programming in Ada. Cambridge University Press 2007, pp. I-XIV, 1-461 - [j71]Alan Burns, Tse-Min Lin:
An engineering process for the verification of real-time systems. Formal Aspects Comput. 19(1): 111-136 (2007) - [j70]Areej Zuhily, Alan Burns:
Optimal (D-J)-monotonic priority assignment. Inf. Process. Lett. 103(6): 247-250 (2007) - [j69]Robert I. Davis, Alan Burns, Reinder J. Bril, Johan J. Lukkien:
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real Time Syst. 35(3): 239-272 (2007) - [c106]Alan Burns, Andy J. Wellings:
Delivering Real-Time Behaviour. Domain Modeling and the Duration Calculus 2007: 1-50 - [c105]Andy J. Wellings, Alan Burns:
Real-Time Utilities for Ada 2005. Ada-Europe 2007: 1-14 - [c104]Yanching Chu, Alan Burns:
Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach. ECRTS 2007: 259-268 - [c103]Alexandros Zerzelidis, Alan Burns, Andy J. Wellings:
Correcting the EDF protocol in Ada 2005. IRTAW 2007: 18-22 - [c102]Andy J. Wellings, Alan Burns:
Integrating OOP and tasking: the missing requeue. IRTAW 2007: 23-28 - [c101]Andy J. Wellings, Alan Burns:
A framework for real-time utilities for Ada 2005. IRTAW 2007: 41-47 - [c100]Alan Burns, Andy J. Wellings:
Programming execution-time servers in Ada 2005. IRTAW 2007: 48-52 - [c99]Alan Burns, Andy J. Wellings:
Introduction. IRTAW 2007: 59-60 - [c98]Andy J. Wellings, Alan Burns:
Beyond Ada 2005: allocating tasks to processors in SMP systems. IRTAW 2007: 75-81 - [c97]Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol:
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. ISORC 2007: 115-123 - [c96]Robert I. Davis, Alan Burns:
Robust Priority Assignment for Fixed Priority Real-Time Systems. RTSS 2007: 3-14 - [c95]Fengxiang Zhang, Alan Burns:
Analysis of Hierarchical EDF Pre-emptive Scheduling. RTSS 2007: 423-434 - [r2]Alan Burns, Andy J. Wellings:
Real-Time Java. Handbook of Real-Time and Embedded Systems 2007 - [r1]Alan Burns, Andy J. Wellings:
Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005. Handbook of Real-Time and Embedded Systems 2007 - 2006
- [c94]Mario Aldea Rivas, 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, José María Martínez, Julio L. Medina, José C. Palencia Gutiérrez, Michael Trimarchi:
FSF: A Real-Time Scheduling Architecture Framework. IEEE Real Time Technology and Applications Symposium 2006: 113-124 - [c93]Alan Burns, Andy J. Wellings:
Programming Execution-Time Servers in Ada 2005. RTSS 2006: 47-56 - [c92]Sanjoy K. Baruah, Alan Burns:
Sustainable Scheduling Analysis. RTSS 2006: 159-168 - [c91]Robert I. Davis, Alan Burns:
Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems. RTSS 2006: 257-270 - 2005
- [j68]Guillem Bernat, Alan Burns, Martin Newby:
Probabilistic timing analysis: An approach using copulas. J. Embed. Comput. 1(2): 179-194 (2005) - [j67]Ian Broster, Alan Burns, Guillermo Rodríguez-Navas:
Timing Analysis of Real-Time Communication Under Electromagnetic Interference. Real Time Syst. 30(1-2): 55-81 (2005) - [j66]Alan Burns, Alberto L. Sangiovanni-Vincentelli:
Editorial. ACM Trans. Embed. Comput. Syst. 4(3): 469-471 (2005) - [c90]George Marconi de Araujo Lima, Alan Burns:
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. LADC 2005: 154-173 - [c89]Robert I. Davis, Alan Burns:
Hierarchical Fixed Priority Pre-Emptive Scheduling. RTSS 2005: 389-398 - [p1]Marco Caccamo, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Lui Sha:
Real-Time Scheduling for Embedded Systems. Handbook of Networked and Embedded Control Systems 2005: 173-196 - 2004
- [j65]Sijing Zhang, Alan Burns, Jing Chen, E. Stewart Lee:
Hard Real-Time Communication with the Timed Token Protocol: Current State and Challenging Problems. Real Time Syst. 27(3): 271-295 (2004) - [j64]Lui Sha, Tarek F. Abdelzaher, Karl-Erik Årzén, Anton Cervin, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Marco Caccamo, John P. Lehoczky, Aloysius K. Mok:
Real Time Scheduling Theory: A Historical Perspective. Real Time Syst. 28(2-3): 101-155 (2004) - [c88]Alan Burns, Andy J. Wellings, S. Tucker Taft:
Supporting Deadlines and EDF Scheduling in Ada. Ada-Europe 2004: 156-165 - [c87]Jorge Real, Alan Burns, Javier Miranda, Edmond Schonberg, Alfons Crespo:
Dynamic Ceiling Priorities: A Proposal for Ada0Y. Ada-Europe 2004: 261-272 - [c86]Ian Broster, Alan Burns, Guillermo Rodríguez-Navas:
Comparing Real-Time Communication Under Electromagnetic Interference. ECRTS 2004: 45-52 - [c85]Guillem Bernat, Ian Broster, Alan Burns:
Rewriting History to Exploit Gain Time. RTSS 2004: 328-335 - 2003
- [j63]Alan Burns:
How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study. Real Time Syst. 24(2): 135-151 (2003) - [j62]Iain Bate, Alan Burns:
An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. Real Time Syst. 25(1): 5-37 (2003) - [j61]Divya Prasad, Alan Burns, Martin C. Atkins:
The Valid Use of Utility in Adaptive Real-Time Systems. Real Time Syst. 25(2-3): 277-296 (2003) - [j60]George Marconi de Araujo Lima, Alan Burns:
An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems. IEEE Trans. Computers 52(10): 1332-1346 (2003) - [c84]Alan Burns, Tse-Min Lin:
Adding Temporal Annotations and Associated Verification to Ravenscar Profile. Ada-Europe 2003: 80-91 - [c83]Alan Burns, Michael González Harbour, Andy J. Wellings:
A Round Robin Scheduling Policy for Ada. Ada-Europe 2003: 334-343 - [c82]Alan Burns, Guillem Bernat, Ian Broster:
A Probabilistic Framework for Schedulability Analysis. EMSOFT 2003: 1-15 - [c81]Alan Burns, Andy J. Wellings, Tullio Vardanega:
Report of session: flexible scheduling in Ada. IRTAW 2003: 32-35 - [c80]Alan Burns, Andy J. Wellings:
Task attribute-based scheduling: extending Ada's support for scheduling. IRTAW 2003: 36-41 - [c79]Alan Burns, Tullio Vardanega:
Report of session: generating new AIs. IRTAW 2003: 93-95 - [c78]Alan Burns, Andy J. Wellings:
Processing Group Parameters in the Real-Time Specification for Java. OTM Workshops 2003: 360-370 - [c77]Ian Broster, Alan Burns:
An Analysable Bus-Guardian for Event-Triggered Communication. RTSS 2003: 410-419 - [c76]George Marconi de Araujo Lima, Alan Burns:
A Consensus Protocol for CAN-Based Systems. RTSS 2003: 420-429 - 2002
- [j59]Guillem Bernat, Alan Burns:
Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling. Real Time Syst. 22(1-2): 49-75 (2002) - [j58]Eduardo Tovar, Francisco Vasques, Alan Burns:
Communication Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilization. Real Time Syst. 22(3): 229-249 (2002) - [j57]Sijing Zhang, Alan Burns, Ahmed Mehaoua, E. Stewart Lee, Hongji Yang:
Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol. Real Time Syst. 22(3): 251-280 (2002) - [j56]C. K. Angelov, I. E. Ivanov, Alan Burns:
HARTEX - a safe real-time kernel for distributed computer control systems. Softw. Pract. Exp. 32(3): 209-232 (2002) - [j55]Sijing Zhang, Alan Burns, Tee-Hiang Cheng:
Cycle-Time Properties of the Timed Token Medium Access Control Protocol. IEEE Trans. Computers 51(11): 1362-1367 (2002) - [c75]Ian Broster, Guillem Bernat, Alan Burns:
Weakly Hard Real-time Constraints on Controller Area Network. ECRTS 2002: 134-141 - [c74]Jorge Real, Alfons Crespo, Andy J. Wellings, Alan Burns:
Protected ceiling changes. IRTAW 2002: 66-71 - [c73]Alan Burns, Andy J. Wellings:
Accessing delay queues. IRTAW 2002: 72-76 - [c72]Alan Burns, Ben Brosgol:
Session summary: future of the Ada language and language changes such as the Ravenscar profile. IRTAW 2002: 113-119 - [c71]Andy J. Wellings, Alan Burns:
Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java. IEEE Real Time Technology and Applications Symposium 2002: 81-89 - [c70]Ian Broster, Alan Burns, Guillermo Rodríguez-Navas:
Probabilistic Analysis of CAN with Faults. RTSS 2002: 269-278 - [c69]Peter P. Puschner, Alan Burns:
Writing Temporally Predictable Code. WORDS 2002: 85-94 - 2001
- [j54]Sijing Zhang, E. Stewart Lee, Alan Burns:
Determining the Worst-case Synchronous Message Response Time in FDDI Networks. Comput. J. 44(1): 31-41 (2001) - [j53]Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev:
Modelling and verification of an atomic action protocol implemented in Ada. Comput. Syst. Sci. Eng. 16(3): 173-182 (2001) - [j52]Mordechai Ben-Ari, Alan Burns:
Extreme Interleavings. IEEE Distributed Syst. Online 2(1) (2001) - [j51]Sasikumar Punnekkat, Alan Burns, Robert I. Davis:
Analysis of Checkpointing for Real-Time Systems. Real Time Syst. 20(1): 83-102 (2001) - [j50]Guillem Bernat, Alan Burns, Albert Llamosí:
Weakly Hard Real-Time Systems. IEEE Trans. Computers 50(4): 308-321 (2001) - [c68]Guillem Bernat, Alan Burns:
Implementing a Flexible Scheduler in Ada. Ada-Europe 2001: 179-190 - [c67]Alan Burns:
Defining New Non-preemptive Dispatching and Locking Policies for Ada. Ada-Europe 2001: 328-336 - [c66]Guillem Bernat, Alan Burns:
Three Obstacles to Flexible Scheduling. ECRTS 2001: 11-18 - [c65]Ian Broster, Alan Burns:
Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with Faults. ECRTS 2001: 95-102 - [c64]George Marconi de Araujo Lima, Alan Burns:
An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. ECRTS 2001: 209-216 - [c63]Stewart Edgar, Alan Burns:
Statistical Analysis of WCET for Scheduling. RTSS 2001: 215-224 - 2000
- [j49]Charlie McElhone, Alan Burns:
Scheduling optional computations for adaptive real-time systems. J. Syst. Archit. 46(1): 49-77 (2000) - [j48]Alan Burns, Divya Prasad, Andrea Bondavalli, Felicita Di Giandomenico, Krithi Ramamritham, John A. Stankovic, Lorenzo Strigini:
The meaning and role of value in scheduling flexible real-time systems. J. Syst. Archit. 46(4): 305-325 (2000) - [j47]Divya Prasad, Alan Burns:
A value-based scheduling approach for real-time autonomous vehicle control. Robotica 18(3): 273-279 (2000) - [j46]Peter P. Puschner, Alan Burns:
Guest Editorial: A Review of Worst-Case Execution-Time Analysis. Real Time Syst. 18(2/3): 115-128 (2000) - [j45]Stefan Poledna, Alan Burns, Andy J. Wellings, Peter Barrett:
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems. IEEE Trans. Computers 49(2): 100-111 (2000) - [c62]Guillem Bernat, Alan Burns, Andy J. Wellings:
Portable worst-case execution time analysis using Java Byte Code. ECRTS 2000: 81-88 - [c61]Alan Burns, Stewart Edgar:
Predicting computation time for advanced processor architectures. ECRTS 2000: 89-96 - [c60]Alan Burns:
Non-preemptive dispatching and locking policies. IRTAW 2000: 46-47 - [c59]Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev:
On developing and verifying design abstractions for reliable concurrent programming in Ada. IRTAW 2000: 48-55
1990 – 1999
- 1999
- [j44]I. J. Bate, Alan Burns:
Editorial real-time systems - multidisciplinary engineering [Editorial]. IEE Proc. Softw. 146(2): 57 (1999) - [c58]Iain Bate, Alan Burns:
An approach to task attribute assignment for uniprocessor systems. ECRTS 1999: 46-53 - [c57]Peter P. Puschner, Alan Burns:
Time-constrained sorting-a comparison of different algorithms. ECRTS 1999: 78-85 - [c56]Eduardo Tovar, Francisco Vasques, Alan Burns:
Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach. ECRTS 1999: 175-184 - [c55]Sijing Zhang, E. Stewart Lee, Alan Burns, Hongji Yang:
Finding the minimum available transmission time for the timed token medium access control protocol. ECRTS 1999: 185-194 - [c54]Saud Ahmed Aldarmi, Alan Burns:
Dynamic value-density for scheduling real-time systems. ECRTS 1999: 270-277 - [c53]Alan Burns:
The Ravenscar Profile and implementation issues (session summary). IRTAW 1999: 12-14 - [c52]Alan Burns, Andy J. Wellings:
How to verify concurrent Ada programs: the application of model checking. IRTAW 1999: 78-83 - [c51]W. M. Walker, P. T. Woolley, Alan Burns:
An experimental testbed for embedded real time Ada 95. IRTAW 1999: 84-89 - [c50]Iain Bate, Alan Burns:
A Framework for Scheduling in Safety-Critical Embedded Control Systems. RTCSA 1999: 46-53 - [c49]Jing Chen, Alan Burns:
Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties. RTCSA 1999: 236-246 - [c48]Guillem Bernat, Alan Burns:
New Results on Fixed Priority Aperiodic Servers. RTSS 1999: 68-78 - [e1]Alan Burns:
Proceedings of the Ninth International Workshop on Real-Time Ada, IRTAW 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999. ACM 1999, ISBN 978-1-58113-177-2 [contents] - 1998
- [j43]Neil C. Audsley, Alan Burns:
On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods. Inf. Process. Lett. 67(2): 65-69 (1998) - [c47]Alan Burns, Brian Dobbing, George Romanski:
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. Ada-Europe 1998: 263-275 - [c46]Stuart E. Mitchell, Alan Burns, Andy J. Wellings:
MOPping up Exceptions. ECOOP Workshops 1998: 365-366 - [c45]Jing Chen, Alan Burns:
Asynchronous data sharing in multiprocessor real-time systems using process consensus. ECRTS 1998: 2-9 - [c44]Iain Bate, Alan Burns:
Investigation of the pessimism in distributed systems timing analysis. ECRTS 1998: 107-114 - [c43]Paulo Pedro, Alan Burns:
Schedulability analysis for mode changes in flexible real-time systems. ECRTS 1998: 172-179 - [c42]Darren George Priddin, Alan Burns:
Integrating Real-Time Structured Design and Formal Techniques. FTRTFT 1998: 92-102 - [c41]Brian Dobbing, Alan Burns:
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. SIGAda 1998: 1-6 - 1997
- [b4]Alan Burns, Andrew J. Wellings:
Real-time systems and their programming languages (2. ed.). Addison-Wesley 1997, ISBN 978-0-201-40365-7, pp. I-XVI, 1-611 - [j42]Alan Burns, Andy J. Wellings:
Synchronous sessions and fixed priority scheduling. J. Syst. Archit. 44(2): 107-118 (1997) - [j41]Andy J. Wellings, Alan Burns:
Implementing Atomic Actions in Ada 95. IEEE Trans. Software Eng. 23(2): 107-123 (1997) - [c40]Andy J. Wellings, Alan Burns, Offer Pazy:
Task Termination in Ada 95. Ada-Europe 1997: 149-160 - [c39]Sasikumar Punnekkat, Robert I. Davis, Alan Burns:
Sensitivity Analysis of Real-Time Task Sets. ASIAN 1997: 72-82 - [c38]Guillem Bernat, Alan Burns, Albert Llamosí:
Efficient Transient Overload Tests for Real-Time Systems. Computer Performance Evaluation 1997: 72-82 - [c37]Stuart E. Mitchell, Alan Burns, Andy J. Wellings:
Adaptive Scheduling Using Reflection. ECOOP Workshops 1997: 74-79 - [c36]Paulo Pedro, Alan Burns:
Worst case response time analysis of hard real-time sporadic traffic in FIP networks. RTS 1997: 3-10 - [c35]Robert I. Davis, Alan Burns, W. M. Walker:
Guaranteeing timing constraints under shortest remaining processing time scheduling. RTS 1997: 88-93 - [c34]Iain Bate, Alan Burns:
Schedulability analysis of fixed priority real-time systems with offsets. RTS 1997: 153-160 - [c33]Sijing Zhang, Alan Burns:
Timing Properties of the Timed Token MAC Protocol. ICCCN 1997: 481-487 - [c32]Alan Burns, Ted Baker, Tullio Vardanega:
Tasking profiles (session summary). IRTAW 1997: 5-7 - [c31]Alan Burns, Andy J. Wellings:
Feature interactions with dynamic priorities. IRTAW 1997: 24-26 - [c30]Alan Burns, Andy J. Wellings:
Restricted tasking models. IRTAW 1997: 27-32 - [c29]Andy J. Wellings, Alan Burns, Offer Pazy:
Task termination and Ada 95. IRTAW 1997: 100-105 - [c28]Sasikumar Punnekkat, Alan Burns:
Analysis of checkpointing for schedulability of real-time systems. RTCSA 1997: 198-205 - [c27]Guillem Bernat, Alan Burns:
Combining (mn)-hard deadlines and dual priority scheduling. RTSS 1997: 46-57 - [c26]Stuart E. Mitchell, Alan Burns, Andrew J. Wellings:
Developing a real-time metaobject protocol. WORDS 1997: 323-330 - 1996
- [j40]Andy J. Wellings, Alan Burns:
Programming Replicated Systems in Ada 95. Comput. J. 39(5): 361-373 (1996) - [j39]Alan Burns:
Broadening Real-Time Systems Research. ACM Comput. Surv. 28(4es): 178 (1996) - [j38]Neil C. Audsley, Alan Burns, Robert I. Davis, D. J. Scholefield, Andy J. Wellings:
Integrating optional software components into hard real-time systems. Softw. Eng. J. 11(3): 133-140 (1996) - [j37]Alan Burns, Robert I. Davis:
Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems. Inf. Process. Lett. 58(5): 223-229 (1996) - [j36]Roderick Chapman, Alan Burns, Andy J. Wellings:
Combining Static Worst-Case Timing Analysis and Program Proof. Real Time Syst. 11(2): 145-171 (1996) - [c25]Alan Burns, Andy J. Wellings:
Ada 95: An Effective Concurrent Programming Language. Ada-Europe 1996: 58-77 - [c24]Alan Burns, Robert I. Davis, Sasikumar Punnekkat:
Feasibility Analysis of Fault-Tolerant Real-Time Task Sets. RTS 1996: 29-33 - [c23]Iain Bate, Alan Burns, John A. McDermid, Andy Vickers:
Towards a Fixed Priority Scheduler for an Aircraft Application. RTS 1996: 34-40 - [c22]Sijing Zhang, Alan Burns, Andy J. Wellings:
An Efficient and Practical Local Synchronous Bandwidth Allocation Scheme for the Timed-Token MAC Protocol. INFOCOM 1996: 920-927 - [c21]Neil C. Audsley, I. J. Bate, Alan Burns:
Putting fixed priority scheduling theory into engineering practice for safety critical applications. IEEE Real Time Technology and Applications Symposium 1996: 2-10 - [c20]Jeongyoujng Byun, Andy J. Wellings, Alan Burns:
A Worst-Case Behavior Analysis for Hard Real-Time Transactions. RTDB 1996: 144-149 - 1995
- [j35]Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings:
Data Consistency in Hard Real-Time Systems. Informatica (Slovenia) 19(2) (1995) - [j34]Robert I. Davis, Alan Burns:
Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-Emptive Systems. Inf. Process. Lett. 53(5): 249-254 (1995) - [j33]Neil C. Audsley, Alan Burns, Robert I. Davis, Ken Tindell, Andy J. Wellings:
Fixed Priority Pre-emptive Scheduling: An Historical Perspective. Real Time Syst. 8(2-3): 173-198 (1995) - [j32]Ken Tindell, Alan Burns, Andy J. Wellings:
Analysis of Hard Real-Time Communications. Real Time Syst. 9(2): 147-171 (1995) - [j31]Alan Burns, Andy J. Wellings:
Engineering a Hard Real-time System: From Theory to Practice. Softw. Pract. Exp. 25(7): 705-726 (1995) - [j30]Sijing Zhang, Alan Burns:
An optimal synchronous bandwidth allocation scheme for guaranteeing synchronous message deadlines with the timed-token MAC protocol. IEEE/ACM Trans. Netw. 3(6): 729-741 (1995) - [j29]Alan Burns, Ken Tindell, Andy J. Wellings:
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers. IEEE Trans. Software Eng. 21(5): 475-480 (1995) - [c19]Charlie McElhone, Alan Burns, Robert I. Davis:
Hybrid algorithms for dynamic schedulability testing. RTS 1995: 254-261 - [c18]Alan Burns, Neil C. Audsley, Andy J. Wellings:
Real-time distributed computing. FTDCS 1995: 34-40 - [c17]Sijing Zhang, Alan Burns:
n the Schedulability of Synchronous Message Sets with the Minimum Message Deadline Less than 2*TTRT in an FDDI Network. ICCCN 1995: 498 - [c16]Robert I. Davis, Sasikumar Punnekkat, Neil C. Audsley, Alan Burns:
Flexible scheduling for adaptable real-time systems. IEEE Real Time Technology and Applications Symposium 1995: 230-239 - 1994
- [j28]Ken Tindell, Alan Burns:
Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic. Comput. J. 37(8): 691-697 (1994) - [j27]Alan Burns, John A. McDermid:
Real-time safety-critical systems: analysis and synthesis. Softw. Eng. J. 9(6): 267-281 (1994) - [j26]Alan Burns, Andy J. Wellings:
HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Real Time Syst. 6(1): 73-114 (1994) - [j25]Ken Tindell, Alan Burns, Andy J. Wellings:
An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. Real Time Syst. 6(2): 133-151 (1994) - [j24]Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings:
STRESS: a Simulator for Hard Real-time Systems. Softw. Pract. Exp. 24(6): 543-564 (1994) - [c15]Alan Burns, Ken Tindell, Andrew J. Wellings:
Fixed priority scheduling with deadlines prior to completion. RTS 1994: 138-142 - [c14]Neil C. Audsley, Robert I. Davis, Alan Burns:
Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems. RTSS 1994: 12-21 - 1993
- [b3]Alan Burns, Geoffrey Davies:
Concurrent programming. International computer science series, Addison-Wesley 1993, ISBN 978-0-201-54417-6, pp. I-XVI, 1-377 - [j23]Neil C. Audsley, Alan Burns, Mike M. Richardson, Ken Tindell, Andy J. Wellings:
Applying new scheduling theory to static priority pre-emptive scheduling. Softw. Eng. J. 8(5): 284-292 (1993) - [j22]N. Zhang, Alan Burns, Mark Nicholson:
Pipelined Processors and Worst Case Execution Times. Real Time Syst. 5(4): 319-343 (1993) - [c13]Alan Burns, Andy J. Wellings, C. M. Bailey, E. Fyfe:
The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation. Ada-Europe 1993: 19-35 - [c12]Alan Burns, Andy J. Wellings, A. D. Hutcheon:
The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models. Ada-Europe 1993: 240-248 - [c11]Neil C. Audsley, Ken Tindell, Alan Burns:
The End Of The Line For Static Cyclic Scheduling? RTS 1993: 36-41 - [c10]Alan Burns, Andrew J. Wellings:
Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation. RTS 1993: 48-53 - [c9]Robert I. Davis, Ken Tindell, Alan Burns:
Scheduling slack time in fixed priority pre-emptive systems. RTSS 1993: 222-231 - 1992
- [j21]Alan Burns, John A. McDermid, John E. Dobson:
On the Meaning of Safety and Security. Comput. J. 35(1): 3-15 (1992) - [j20]Ken Tindell, Alan Burns, Andy J. Wellings:
Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy. Real Time Syst. 4(2): 145-165 (1992) - [c8]Alan Burns, Andy J. Wellings:
Designing Hard Real-Time Systems. Ada-Europe 1992: 116-127 - [c7]Neil C. Audsley, Alan Burns, Mike F. Richardson, Andrew J. Wellings:
Absolute and relative temporal constraints in hard real-time databases. RTS 1992: 148-153 - [c6]Ken Tindell, Alan Burns, Andy J. Wellings:
Mode Changes In Priority Pre-Emptively Scheduled Systems. RTSS 1992: 100-109 - 1991
- [j19]Alan Burns, Andrew M. Lister:
A Framework for Building Dependable Systems. Comput. J. 34(2): 173-181 (1991) - [j18]Alan Burns, Andy J. Wellings:
Priority Inheritance and Message Passing Communication: A Formal Treatment. Real Time Syst. 3(1): 19-44 (1991) - [j17]Alan Burns, Andy J. Wellings:
Criticality and Utility in the Next Generation. Real Time Syst. 3(4): 351-354 (1991) - 1990
- [j16]Gordon Davies, Alan Burns:
The Teaching Language Pascal-FC. Comput. J. 33(2): 147-154 (1990) - [j15]Alan Burns, Andy J. Wellings:
The Notion of Priority in Real-Time Programming Languages. Comput. Lang. 15(3): 153-162 (1990) - [j14]Michael Pilling, Alan Burns, Kerry Raymond:
Formal specifications and proofs of inheritance protocols for real-time scheduling. Softw. Eng. J. 5(5): 263-279 (1990) - [c5]Alan Burns:
A performance standard for Ada 9X. IRTAW 1990: 70-74 - [c4]Alan Burns, Andy J. Wellings, Gordon Davies:
Asynchronous transfer of control in Ada 9X. IRTAW 1990: 75-84
1980 – 1989
- 1989
- [j13]Alan Burns, Andy J. Wellings:
Dynamic change management and Ada. J. Softw. Maintenance Res. Pract. 1(2): 121-131 (1989) - [c3]Alan Burns, Andy J. Wellings:
Real-time Ada: outstanding problem areas. IRTAW 1989: 5-14 - [c2]Alan Burns, Andy J. Wellings:
Usability of the Ada tasking-model. IRTAW 1989: 49-56 - 1988
- [j12]Alan Burns, Gordon Davies:
Pascal-FC: a language for teaching concurrent programming. ACM SIGPLAN Notices 23(1): 58-66 (1988) - [j11]Alan Burns, Gordon Davies, Andy J. Wellings:
A Modula-2 implementation of a real-time process abstraction. ACM SIGPLAN Notices 23(10): 49-58 (1988) - [j10]Pat Allen, Alan Burns:
Program Generation for Ada-A Case Study. Softw. Pract. Exp. 18(12): 1125-1138 (1988) - 1987
- [b2]Alan Burns, Andrew M. Lister, Andy J. Wellings:
A Review of Ada Tasking. Lecture Notes in Computer Science 262, Springer 1987, ISBN 3-540-18008-7 - [j9]Alan Burns, Margaret A. Rathwell, Richard C. Thomas:
A distributed decision-making system. Decis. Support Syst. 3(2): 121-131 (1987) - [j8]Alan Burns, Margaret A. Rathwell:
A communications environment for co-operative information systems development. Softw. Eng. J. 2(1) (1987) - [c1]Alan Burns, Andy J. Wellings:
Real-time Ada issues. IRTAW 1987: 43-46 - 1986
- [b1]Alan Burns, Andy J. Wellings:
Real-time systems and their programming languages. International computer science series, Addison-Wesley 1986, ISBN 978-0-201-17529-5 - [j7]P. A. Luker, Alan Burns:
Program Generators and Generation Software. Comput. J. 29(4): 315-321 (1986) - [j6]Alan Burns, J. Robinson:
ADDS - A Dialogue Development System for the Ada Programming Language. Int. J. Man Mach. Stud. 24(2): 153-170 (1986) - [j5]Alan Burns, J. A. Kirkham:
The Construction of Information Management System Prototypes in Ada. Softw. Pract. Exp. 16(4): 341-350 (1986) - 1985
- [j4]J. Robinson, Alan Burns:
A Dialogue Development System for the Design and Implementation of User Interfaces in Ada. Comput. J. 28(1): 22-28 (1985) - [j3]Margaret A. Rathwell, Alan Burns:
Information Systems Support for Group Planning and Decision-Making Activities. MIS Q. 9(3): 255-271 (1985) - 1983
- [j2]Alan Burns:
Enhanced input/output on Pascal. ACM SIGPLAN Notices 18(11): 24-33 (1983) - 1982
- [j1]Richard C. Thomas, Alan Burns:
The Case for Distributed Decision Making Systems. Comput. J. 25(1): 148-152 (1982)
Coauthor Index
Iain Bate
aka: I. J. Bate
aka: I. J. Bate
Robert I. Davis 0001
aka: Robert Ian Davis
aka: Robert Ian Davis
[c191] [j119] [j118] [j115] [c189] [c185] [c183] [c181] [j107] [c175] [c171] [j101] [j99] [c166] [c164] [c162] [j97] [j96] [j95] [j93] [c151] [c148] [c143] [c142] [c141] [c139] [c136] [j86] [j85] [j84] [c126] [c125] [j79] [j76] [c113] [j72] [c109] [j69] [c96] [c91] [c89] [j51] [c39] [c35] [j38] [j37] [c24] [j34] [j33] [c19] [c16] [c14] [c9]
Andy J. Wellings
aka: Andrew J. Wellings
aka: Andrew J. Wellings
[j113] [j108] [j106] [c172] [c161] [c158] [c145] [j90] [c138] [c127] [c124] [c123] [b6] [c116] [b5] [c106] [c105] [c103] [c102] [c101] [c100] [c99] [c98] [c97] [r2] [r1] [c93] [c88] [c83] [c81] [c80] [c78] [c74] [c73] [c71] [j53] [j45] [c62] [c59] [c52] [c46] [b4] [j42] [j41] [c40] [c37] [c31] [c30] [c29] [c26] [j40] [j38] [j36] [c25] [c22] [c20] [j35] [j33] [j32] [j31] [j29] [c18] [j26] [j25] [j24] [c15] [j23] [c13] [c12] [c10] [j20] [c8] [c7] [c6] [j18] [j17] [j15] [c4] [j13] [c3] [c2] [j11] [b2] [c1] [b1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-11 19:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
