BibSLEIGH — Alan

Travelled to:

1 × Belgium
1 × Brazil
1 × Italy
1 × The Netherlands
1 × USA
2 × Spain
2 × Sweden
2 × Switzerland
2 × United Kingdom
4 × France

Collaborated with:

A.J.Wellings ∅ B.Dobbing M.L.Fairbairn S.K.Baruah P.Martins T.Lin G.Bernat S.Baruah Xiaotian Dai K.Wei J.Woodcock F.Zhang S.T.Taft M.G.Harbour G.Romanski O.Pazy A.D.Hutcheon C.M.Bailey E.Fyfe J.Garrido Shuai Zhao 0004 J.Real F.J.M.González E.Schonberg A.Crespo

Talks about:

ada (14) time (12) real (9) program (8) system (8) schedul (6) implement (5) task (4) ravenscar (3) languag (3)

Person: Alan Burns

DBLP: Burns:Alan

Contributed to:

2014

2012

2011

2010

2009

2008

2007

2004

2003

2001

1998

1997

1996

1993

1992

2016

2017

Wrote 27 papers:

AdaEurope-2014-BurnsW #programming #scheduling: Deadline-Aware Programming and Scheduling (AB, AJW), pp. 107–118.
AdaEurope-2012-FairbairnB #implementation #verification: Implementing and Verifying EDF Preemption-Level Resource Control (MLF, AB), pp. 193–206.
AdaEurope-2011-BaruahB #ada #implementation: Implementing Mixed Criticality Systems in Ada (SKB, AB), pp. 174–188.
AdaEurope-2011-Burns #hardware #parallel #programming language #realtime: Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.
AdaEurope-2010-BurnsW #ada #multi #platform #representation: Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada (AB, AJW), pp. 41–53.
AdaEurope-2010-WellingsB #ada #evolution #programming #realtime: The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 (AJW, AB), pp. 196–207.
SEFM-2010-WeiWB #design: A Timed Model of Circus with the Reactive Design Miracle (KW, JW, AB), pp. 315–319.
AdaEurope-2009-BurnsWZ #ada #analysis #implementation #scheduling: Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 (AB, AJW, FZ), pp. 119–133.
SAC-2008-MartinsB #on the #realtime: On the meaning of modes in uniprocessor real-time systems (PM, AB), pp. 324–325.
AdaEurope-2007-WellingsB #ada #realtime: Real-Time Utilities for Ada 2005 (AJW, AB), pp. 1–14.
AdaEurope-2004-BurnsWT #ada #scheduling: Supporting Deadlines and EDF Scheduling in Ada (AB, AJW, STT), pp. 156–165.
AdaEurope-2004-RealBGSC #ada: Dynamic Ceiling Priorities: A Proposal for Ada0Y (JR, AB, FJMG, ES, AC), pp. 261–272.
AdaEurope-2003-BurnsHW #ada #policy #scheduling: A Round Robin Scheduling Policy for Ada (AB, MGH, AJW), pp. 334–343.
AdaEurope-2003-BurnsL #verification: Adding Temporal Annotations and Associated Verification to Ravenscar Profile (AB, TML), pp. 80–91.
AdaEurope-2001-BernatB #ada #flexibility #implementation: Implementing a Flexible Scheduler in Ada (GB, AB), pp. 179–190.
AdaEurope-2001-Burns #ada #policy: Defining New Non-preemptive Dispatching and Locking Policies for Ada (AB), pp. 328–336.
AdaEurope-1998-BurnsDR #realtime #source code: The Ravenscar Tasking Profile for High Integrity Real-Time Programs (AB, BD, GR), pp. 263–275.
SIGAda-1998-DobbingB #realtime #source code: The Ravenscar Tasking Profile for High Integrity Real-Time Programs (BD, AB), pp. 1–6.
AdaEurope-1997-WellingsBP #ada #termination: Task Termination in Ada 95 (AJW, AB, OP), pp. 149–160.
AdaEurope-1996-BurnsW #ada #concurrent #effectiveness #programming language: Ada 95: An Effective Concurrent Programming Language (AB, AJW), pp. 58–77.
AdaEurope-1993-BurnsWBF #case study #design #implementation #realtime: The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation (AB, AJW, CMB, EF), pp. 19–35.
AdaEurope-1993-BurnsWH #ada #modelling #performance #runtime #scheduling: The Impact of an Ada Run-Time System’s Performance Characteristics on Scheduling Models (AB, AJW, ADH), pp. 240–248.
AdaEurope-1992-BurnsW #design #realtime: Designing Hard Real-Time Systems (AB, AJW), pp. 116–127.
AdaEurope-2016-Burns #ada #physics #power of #programming language #why: Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems (AB), pp. 3–11.
AdaEurope-2017-BurnsB #framework #migration: Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework (AB, SB), pp. 203–216.
AdaEurope-2017-DaiB #execution #predict #realtime #roadmap #worst-case: Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems (XD, AB), pp. 87–101.
AdaEurope-2017-GarridoZBW: Supporting Nested Resources in MrsP (JG, SZ0, AB, AJW), pp. 73–86.