Ada-Europe 2006: Porto, Portugal

Real-Time Systems

• José Antonio Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan Antonio de la Puente:
  Hierarchical Scheduling with Ada 2005. 1-12
  Electronic Edition (link) BibTeX
• Benjamin M. Brosgol, Andy J. Wellings:
  A Comparison of Ada and Real-Time Java^TM for Safety-Critical Applications. 13-26
  Electronic Edition (link) BibTeX
• Filipe Valpereiro, Luís Miguel Pinho:
  POSIX Trace Based Behavioural Reflection. 27-39
  Electronic Edition (link) BibTeX

Static Analysis

• Bernd Burgstaller, Johann Blieberger, Robert Mittermayr:
  Static Detection of Access Anomalies in Ada95. 40-55
  Electronic Edition (link) BibTeX
• Peter T. Breuer, Simon Pickin:
  One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code. 56-70
  Electronic Edition (link) BibTeX
• Aoun Raza, Gunther Vogel, Erhard Plödereder:
  Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering. 71-82
  Electronic Edition (link) BibTeX

Verification

• Damian Curtis:
  SPARK Annotations Within Executable UML. 83-93
  Electronic Edition (link) BibTeX
• Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng:
  Runtime Verification of Java Programs for Scenario-Based Specifications. 94-105
  Electronic Edition (link) BibTeX
• Sri Hari Krishna Narayanan, Mahmut T. Kandemir, Richard R. Brooks, Ibrahim Kolcu:
  Secure Execution of Computations in Untrusted Hosts. 106-118
  Electronic Edition (link) BibTeX
• Diego Alonso, Pedro Sánchez, Bárbara Álvarez, Juan A. Pastor:
  A Systematic Approach to Developing Safe Tele-operated Robots. 119-130
  Electronic Edition (link) BibTeX
• Gustavo Aranda Bada, Javier Palanca Cámara, Agustín Espinosa, Andrés Terrasa, Ana García-Fornes:
  Towards Developing Multi-agent Systems in Ada. 131-142
  Electronic Edition (link) BibTeX

Reliability

• Stefan Wagner, Helmut Fischer:
  A Software Reliability Model Based on a Geometric Sequence of Failure Rates. 143-154
  Electronic Edition (link) BibTeX
• Tsong Yueh Chen, Dehao Huang, Zhiquan Zhou:
  Adaptive Random Testing Through Iterative Partitioning. 155-166
  Electronic Edition (link) BibTeX
• Jingde Cheng:
  Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. 167-178
  Electronic Edition (link) BibTeX

Compilers

• Javier Miranda, Edmond Schonberg:
  Abstract Interface Types in GNAT: Conversions, Discriminants, and C++. 179-190
  Electronic Edition (link) BibTeX
• Ward Douglas Maurer:
  Using Mathematics to Improve Ada Compiled Code. 191-202
  Electronic Edition (link) BibTeX

Distributed Systems

• Mohsen Sharifi, Hadi Salimi:
  Replication-Aware Transactions: How to Roll a Transaction over Failures. 203-214
  Electronic Edition (link) BibTeX
• Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente:
  The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems. 215-226
  Electronic Edition (link) BibTeX
• Juan López Campos, J. Javier Gutiérrez, Michael González Harbour:
  Interchangeable Scheduling Policies in Real-Time Middleware for Distribution. 227-240
  Electronic Edition (link) BibTeX