Ada-Europe Prizes
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 texts of these papers 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
Page maintenance: webmaster@ada-europe.org
Last modified: Fri Jan 25 08:55:24 CET 2008