Ada-Europe Prizes

Ada-Europe Prizes

Awards 2016

Best paper
Jorge Real, Sergio Sáez and Alfons Crespo:

"Combining Time-Triggered Plans with Priority Scheduled Task Sets"

The text of this paper 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-16, 2016
   Lecture Notes in Computer Science, vol. 9695,
   Springer, 2016
   ISBN (softcover): 978-3-319-39082-6
   ISBN (eBook): 978-3-319-39083-3
Best Presentation
Ian Broster:
"Automatic Testing of SPARK Ada Contracts (AUTOSAC)"

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"

The text of this paper 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
Best Presentation
Duncan Sands:
"Automatic Trading with Ada"

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 text 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