Luís Miguel Pinho, Michael González Harbour
Proceedings of the 11th Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2006.

@proceedings{AdaEurope-2006,
	address       = "Porto, Portugal",
	editor        = "Luís Miguel Pinho and Michael González Harbour",
	isbn          = "3-540-34663-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 11th Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 4006,
	year          = 2006,
}

Contents (19 items)

6 ×#ada
4 ×#realtime
2 ×#detection
2 ×#execution
2 ×#java
2 ×#runtime
2 ×#scheduling
2 ×#source code
2 ×#static analysis

AdaEurope-2006-PulidoUZVP #ada #scheduling

Hierarchical Scheduling with Ada 2005 (JAP, SU, JZ, TV, JAdlP), pp. 1–12.

AdaEurope-2006-BrosgolW #ada #comparison #java #realtime #safety

A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications (BMB, AJW), pp. 13–26.

AdaEurope-2006-ValpereiroP #behaviour

POSIX Trace Based Behavioural Reflection (FV, LMP), pp. 27–39.

AdaEurope-2006-BurgstallerBM #ada #detection #static analysis

Static Detection of Access Anomalies in Ada95 (BB, JB, RM), pp. 40–55.

AdaEurope-2006-BreuerP #fault #kernel #linux #source code #static analysis

One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (PTB, SP), pp. 56–70.

AdaEurope-2006-RazaVP #named #program analysis #reverse engineering

Bauhaus — A Tool Suite for Program Analysis and Reverse Engineering (AR, GV, EP), pp. 71–82.

AdaEurope-2006-Curtis #execution #uml

SPARK Annotations Within Executable UML (DC), pp. 83–93.

AdaEurope-2006-LiWQLYZZ #java #runtime #source code #specification #verification

Runtime Verification of Java Programs for Scenario-Based Specifications (XL, LW, XQ, BL, JY, JZ, GZ), pp. 94–105.

AdaEurope-2006-NarayananKBK #execution

Secure Execution of Computations in Untrusted Hosts (SHKN, MTK, RRB, IK), pp. 106–118.

AdaEurope-2006-AlonsoSAP #approach

A Systematic Approach to Developing Safe Tele-operated Robots (DA, PS, BÁ, JAP), pp. 119–130.

AdaEurope-2006-ArandaPETG #ada #multi #towards

Towards Developing Multi-agent Systems in Ada (GAB, JPC, AE, AT, AGF), pp. 131–142.

AdaEurope-2006-WagnerF #geometry #modelling #reliability #sequence

A Software Reliability Model Based on a Geometric Sequence of Failure Rates (SW, HF), pp. 143–154.

AdaEurope-2006-ChenHZ #adaptation #clustering #random testing #testing

Adaptive Random Testing Through Iterative Partitioning (TYC, DH, ZZ), pp. 155–166.

AdaEurope-2006-Cheng #ada #detection #realtime #runtime

Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems (JC), pp. 167–178.

AdaEurope-2006-MirandaS #c++ #interface

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ (JM, ES), pp. 179–190.

AdaEurope-2006-Maurer #ada #using

Using Mathematics to Improve Ada Compiled Code (WDM), pp. 191–202.

AdaEurope-2006-SharifiS #how #transaction

Replication-Aware Transactions: How to Roll a Transaction over Failures (MS, HS), pp. 203–214.

AdaEurope-2006-UruenaZBPP #communication #distributed #protocol #realtime

The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems (SU, JZ, DB, JAP, JAdlP), pp. 215–226.

AdaEurope-2006-CamposGH #middleware #policy #realtime #scheduling

Interchangeable Scheduling Policies in Real-Time Middleware for Distribution (JLC, JJG, MGH), pp. 227–240.