Ada-Europe Prizes

Awards 2019

Best Presentation

Julian Grand:
"Verification & Validation of (Ariane 6) Launcher Flight Software"

The text of this paper will be available in the Ada User Journal later this year.

Awards 2018

Best paper

Jorge Real, Sergio Sáez and Alfons Crespo:
"Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar"

Best Presentation

Andreas Wortmann:
"Applying Formal Timing Analysis to Satellite Software"

The texts of these papers can be found in the proceedings:

   António Casimiro, Pedro M. Ferreira (Eds.)
   Reliable Software Technologies – Ada-Europe 2018: Proceedings
   23rd Ada-Europe International Conference on Reliable Software Technologies
   Lisbon, Portugal, June 18-22, 2018
   Lecture Notes in Computer Science, vol. 10873,
   Springer, 2018
   ISBN (softcover): 978-3-319-92431-1
   ISBN (online): 978-3-319-92432-8

Awards 2017

Best paper

Seongho Jeong, Shinhyung Yang, and Bernd Burgstaller:
"Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions"

Best Presentation (jointly)

Rod Chapman:
"Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong…)"
Stephane Carrez:
"IP Network Stack in Ada 2012 and the Ravenscar Profile"

The texts of these papers can be found in the proceedings:

   Johann Blieberger, Markus Bader (Eds.)
   Reliable Software Technologies – Ada-Europe 2017: Proceedings
   22nd Ada-Europe International Conference on Reliable Software Technologies
   Vienna, Austria, June 12-16, 2017
   Lecture Notes in Computer Science, vol. 10300,
   Springer, 2017
   ISBN (softcover): 978-3-319-60587-6
   ISBN (online): 978-3-319-60588-3

Awards 2016

Best paper

Jorge Real, Sergio Sáez, and Alfons Crespo:
"Combining Time-Triggered Plans with Priority Scheduled Task Sets"

Best Presentation

Ian Broster:
"Automatic Testing of SPARK Ada Contracts (AUTOSAC)"

The texts of these papers can be found in the proceedings:

   Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones (Eds.)
   Reliable Software Technologies – Ada-Europe 2016: Proceedings
   21st Ada-Europe International Conference on Reliable Software Technologies
   Pisa, Italy, June 13-17, 2016
   Lecture Notes in Computer Science, vol. 9695,
   Springer, 2016
   ISBN (softcover): 978-3-319-39082-6
   ISBN (eBook): 978-3-319-39083-3

Awards 2015

Best paper

Luís Miguel Pinho, Brad Moore, Stephen Michell, and S. Tucker Taft:
"An Execution Model for Fine-Grained Parallelism in Ada"

Best Presentation

Duncan Sands:
"Automatic Trading with Ada"

The texts of these papers can be found in the proceedings:

   Juan Antonio de la Puente, Tullio Vardanega (Eds.)
   Reliable Software Technologies – Ada-Europe 2015: Proceedings
   20th Ada-Europe International Conference on Reliable Software Technologies
   Madrid, Spain, June 22-26, 2015
   Lecture Notes in Computer Science, vol. 9111,
   Springer, 2015
   ISBN (softcover): 978-3-319-19583-4
   ISBN (eBook): 978-3-319-19584-1

Awards 2014

Best paper

Sergio Sáez, Jorge Real, and Alfons Crespo:
"Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012"

Best Presentation

Jorge Real:
"Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012"
(paper co-authored with Sergio Sáez and Alfons Crespo)

The text of this paper can be found in the proceedings:

   George, Laurent, Vardanega, Tullio (Eds.):
   Reliable Software Technologies - Ada-Europe 2014: Proceedings
   19th Ada-Europe International Conference on Reliable Software Technologies
   Paris, France, June 23-27, 2014
   Lecture Notes in Computer Science, vol. 8454
   Springer-Verlag, 2014
   ISBN: 978-3-319-08310-0

Awards 2013

Best paper

Thomas Quinot, Eric Botcazou:
"Lady Ada Mediates Peace Treaty in Endianness War"

Best Presentation

Barry Fagin:
"Provably Secure DNS: A Case Study in Reliable Software"
(paper co-authored with Martin Carlisle)

The texts of these papers can be found in the proceedings:

   Hubert B. Keller et. al. (Eds.):
   Reliable Software Technologies - Ada-Europe 2013: Proceedings
   18th Ada-Europe International Conference on Reliable Software Technologies
   Berlin, Germany, June 10-14, 2013
   Lecture Notes in Computer Science, vol. 7896
   Springer-Verlag, 2013
   ISBN: 978-3-642-38601-5

Awards 2012

Best paper

Kristoffer Nyborg Gregertsen, Amund Skavhaug:
"Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit"

Best Presentation

Kristoffer Nyborg Gregertsen:
"Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit"

The text of this paper can be found in the proceedings:

   Mats Brorsson and Luis Miguel Pinho (Eds.):
   Reliable Software Technologies - Ada-Europe 2012: Proceedings
   17th Ada-Europe International Conference on Reliable Software Technologies
   Stockholm, Sweden, June 11-15, 2012
   Lecture Notes in Computer Science, vol. 7308
   Springer-Verlag, 2012
   ISBN: 978-3-642-30597-9

Awards 2011

Best paper

Syed Aoun Raza, Stefan Franke, Erhard Plödereder:
"Detecting High-Level Synchronization Errors in Parallel Programs"

Best Presentation

Alan Burns:
"Implementing Mixed Criticality Systems in Ada"
(paper co-authored with Sanjoy Baruah)

The texts of these papers can be found in the proceedings:

   Alexander Romanovsky and Tullio Vardanega (Eds.):
   Reliable Software Technologies - Ada-Europe 2011: Proceedings
   16th Ada-Europe International Conference on Reliable Software Technologies
   Edinburgh, United Kingdom, June 20-24, 2011
   Lecture Notes in Computer Science, vol. 6652
   Springer-Verlag, 2011
   ISBN: 978-3-642-21337-3

Awards 2010

Best paper

Enrico Mezzetti, Marco Panunzio, Tullio Vardanega:
"Preservation of Timing Properties with the Ada Ravenscar Profile"

Best Presentation

Alan Burns:
"The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005"
(paper co-authored with Andy Wellings)

The texts of these papers can be found in the proceedings:

   Jorge Real and Tullio Vardanega (Eds.):
   Reliable Software Technologies - Ada-Europe 2010: Proceedings
   15th Ada-Europe International Conference on Reliable Software Technologies
   Valencia, Spain, June 14-18, 2010
   Lecture Notes in Computer Science, vol. 6106
   Springer-Verlag, 2010
   ISBN: 978-3-642-13549-1

Awards 2009

Best paper

Mario Aldea Rivas, Michael González Harbour and José F. Ruiz:
"Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT"

Best Presentation:

Alan Burns:
"Combining EDF and FP: Analysis and Implementation in Ada 2005"
(paper co-authored with Andy Wellings and Fengxiang Zhang)

The texts of these papers can be found in the proceedings:

   Fabrice Kordon, Yvon Kermarrec (Eds.):
   Reliable Software Technologies - Ada-Europe 2009, Proceedings
   14th Ada-Europe International Conference on Reliable Software Technologies
   Brest, France, June 8-12, 2009
   Lecture Notes in Computer Science, vol. 5570
   Springer-Verlag, 2009
   ISBN 978-3-642-01923-4

Awards 2008

Best paper

S. Urueña, J. Pulido, J.López, J.Zamorano, J. de la Puente:
"A New Approach to Memory Partitioning in On-board Spacecraft Software"

Best Presentation (jointly):

B. Brosgol:
"A Comparison of the Object-Oriented Features of Ada 2005 and Java"
J.W. McCormick:
"Ada and Software Engineering Education: One Professor's Experiences"

The texts of these papers can be found in the proceedings:

   Fabrice Kordon and Tullio Vardanega (Eds.):
   Reliable Software Technologies - Ada-Europe 2008: Proceedings
   13th Ada-Europe International Conference on Reliable Software Technologies
   Venice, Italy, June 16-20, 2008
   Lecture Notes in Computer Science, vol. 5026
   Springer-Verlag, 2008
   ISBN: 978-3-540-68621-7

Awards 2007

Best paper

M. Bordin and T. Vardanega:
"Correctness by Construction for High-Integrity Real-Time Systems: a Metamodel-driven approach"

Best presentation:

L. Hanke and I. Furgel
"Secure-Download as part of a complex business process"

The texts of these papers can be found in the proceedings:

   Nabil Abdennadher and Fabrice Kordon (Eds.):
   Reliable Software Technologies - Ada-Europe 2007: Proceedings
   12th Ada-Europe International Conference on Reliable Software Technologies
   Geneva, Switzerland, June 25-29, 2007
   Lecture Notes in Computer Science, vol. 4498
   Springer-Verlag, 2007
   ISBN 978-3-540-73229-7

Awards 2006

Best paper

Benjamin M. Brosgol and Andy Wellings:
"A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications"

Best presentation (jointly):

Sri Narayanan:
"Secure Execution of Computations in Untrusted Hosts"
Michael Ward:
"Parallel Graphical Processing in Ada"

The texts of these papers can be found in the proceedings:

   Luís Miguel Pinho; Michael González Harbour (Eds.):
   Reliable Software Technologies - Ada-Europe 2006: Proceedings
   11th Ada-Europe International Conference on Reliable Software Technologies
   Porto, Portugal, June 5-9, 2006
   Lecture Notes in Computer Science, vol. 4006
   Springer-Verlag, 2006
   ISBN 3-540-34663-5

Awards 2005

Best paper

Peter Amey, Rod Chapman, and Neil White:
"Smart Certification of Mixed-Criticality Systems"

Best presentation

Michael González Harbour:
"RT-EP: A Fixed-Priority Real-Time Communication Protocol over Standard Ethernet"

The texts of these papers can be found in the proceedings:

   Vardanega, Tullio; Wellings, Andy (Eds.):
   Reliable Software Technologies - Ada-Europe 2005: Proceedings
   10th Ada-Europe International Conference on Reliable Software Technologies
   York, United Kingdom, June 20-24, 2005
   Lecture Notes in Computer Science, vol. 3555
   Springer-Verlag, 2005
   ISBN 3-540-26286-5

Awards 2004

Best paper (jointly)

Alan Burns, Andy J. Wellings and S. Tucker Taft:
"Supporting Deadlines and EDF Scheduling in Ada"
Peter Amey and Neil White:
"High Integrity Ada in a UML and C World"

Best presentation

Adrian J. Hilton:
"High-Integrity Interfacing to Programmable Logic with Ada "

The texts of these papers can be found in the proceedings:

   Albert Llamosi, Alfred Strohmeier  (Eds.):
   Reliable Software Technologies - Ada-Europe 2004: Proceedings
   9th Ada-Europe International Conference on Reliable Software Technologies
   Palma de Mallorca, Spain, June 14-18, 2004
   Lecture Notes in Computer Science, vol. 3063
   Springer-Verlag, 2004
   ISBN 3-540-22011-9

Awards 2003

Best paper

Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo:
"Running Ada on Real-Time Linux"

Best presentation:

Jorge Real:
"Running Ada on Real-Time Linux "

The text of this paper can be found in the proceedings:

   Jean-Pierre Rosen, Alfred Strohmeier  (Eds.):
   Reliable Software Technologies - Ada-Europe 2003: Proceedings
   8th Ada-Europe International Conference on Reliable Software Technologies
   Toulouse, France, June 16-20, 2003
   Lecture Notes in Computer Science, vol. 2655
   Springer-Verlag, 2003
   ISBN 3-540-40376-0

Awards 2002

Best paper

Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers:
"Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada"

Best presentation

Jean-Pierre Rosen:
"Ada, Interfaces and the Listener Paradigm "

The texts of these papers can be found in the proceedings:

   Johann Blieberger and Alfred Strohmeier  (Eds.):
   Reliable Software Technologies - Ada-Europe 2002: Proceedings
   7th Ada-Europe International Conference on Reliable Software Technologies
   Vienna, Austria, June 2002
   Lecture Notes in Computer Science, vol. 2361
   Springer-Verlag, 2002
   ISBN 3-540-43784-3

Awards 2001

Best paper

Alexandre Duret-Lutz:
"Expression Templates in Ada"

Best presentation

Alan Burns:
"Defining New Non-Preemptive Dispatching and Locking Policies for Ada"

The texts of these papers can be found in the proceedings:

   Dirk Craeynest and Alfred Strohmeier  (Eds.):
   Reliable Software Technologies - Ada-Europe 2001: Proceedings
   6th Ada-Europe International Conference on Reliable Software Technologies
   Leuven, Belgium, May 2001
   Lecture Notes in Computer Science, vol. 2043
   Springer-Verlag, 2001
   ISBN 3-540-42123-8

Awards 2000

Best paper

Andy J. Wellings, Robert W. Johnson, Bo I. Sanden, Jörg Kienzle, Thomas Wolf, Steven Michell:
"Object-Oriented Programming and Protected Objects in Ada 95"

Best presentation

Brian Dobbing:
"Using JavaTM APIs with Native Ada Compilers"
(paper co-authored with Shayne Flint)

The texts of these papers can be found in the proceedings:

   Hubert B. Keller and Erhard Plödereder  (Eds.):
   Reliable Software Technologies - Ada-Europe 2000: Proceedings
   5th Ada-Europe International Conference on Reliable Software Technologies
   Potsdam, Germany, June 26-30, 2000
   Lecture Notes in Computer Science, vol. 1845
   Springer-Verlag, 2000
   ISBN 3-540-67669-4

Awards 1999

Best paper

Jorge Real, Andy Wellings:
"The Ceiling Protocol in Multi-Moded Real-Time Systems"

Best presentation

Roderick Chapman:
"Re-engineering a safety-critical application using SPARK 95 and GNORT"
(paper co-authored with Robert Dewar)

The texts of these papers can be found in the proceedings:

   Michael González Harbour, Juan A. de la Puente (Eds.):
   Reliable Software Technologies - Ada-Europe'99: Proceedings
   Lecture Notes in Computer Science, vol. 1622
   Springer-Verlag, 1999
   Ada-Europe International Conference on Reliable Software Technologies
   Santander, Spain, June 7-11, 1999
   ISBN 3-540-66093-3

Awards 1998

Best paper

A. Espinosa, V. Julian, C. Carrascosa, A. Terrasa, A. Garcia-Fornes:
"Programming Hard Real-Time Systems with Optional Components in Ada"

Best presentation

Brian Dobbing:
"The Ravenscar Tasking Profile for High Integrity Real-Time Programs"
(paper co-authored with A. Burns and G. Romanski)

The texts of these papers can be found in the proceedings:

   L. Asplund (Ed.):
   Reliable Software Technologies - Ada-Europe'98: Proceedings
   Lecture Notes in Computer Science, vol. 1411
   Springer-Verlag, 1998
   Ada-Europe International Conference on Reliable Software Technologies
   Uppsala, Sweden, June 8-12, 1998
   ISBN 3-540-64536-5

Awards 1997

Best paper

M. González Harbour, J.J. Gutierrez Garcia, J.C. Palencia Gutierrez:
"Implementing Application-Level Sporadic Server Schedulers in Ada 95"

Best presentation

Alex E. Bell:
"An Alternative Toolset for Analysis of Ada Programs"

The texts of these papers can be found in the proceedings:

   Keith Hardy, Jim Briggs (Eds.):
   Reliable Software Technologies - Ada-Europe'97: Proceedings
   Lecture Notes in Computer Science, vol. 1251
   Springer-Verlag, 1997 
   Ada-Europe International Conference on Reliable Software Technologies
   London, UK, June 2-6, 1997
   ISBN 3-540-63114-3

Awards 1996

Best paper

David E. Emery, Richard F. Hilliard II, Timothy B. Rice:
"Experiences Applying a Practical Architectural Method"

Best presentation

Wolfgang Gellerich:
"Where Does the GOTO Go To?"
(paper co-authored with Markus Kosiol and Erhard Plödereder)

The texts of these papers can be found in the proceedings:

   Alfred Strohmeier (Ed.):
   Reliable Software Technologies - Ada-Europe'96: Proceedings
   Lecture Notes in Computer Science, vol. 1088
   Springer-Verlag, 1996 
   Ada-Europe International Conference on  Reliable Software Technologies
   Montreux, Switzerland, June 10-14, 1996
   ISBN 3-540-61317-X