Proceedings of the 11th Ada-Europe International Conference on Reliable Software Technologies
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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, , 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.