Abstract is missing.
- Hierarchical Scheduling with Ada 2005José Antonio Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan Antonio de la Puente. 1-12 [doi]
- A Comparison of Ada and Real-Time Java:::TM::: for Safety-Critical ApplicationsBenjamin M. Brosgol, Andy J. Wellings. 13-26 [doi]
- POSIX Trace Based Behavioural ReflectionFilipe Valpereiro, Luís Miguel Pinho. 27-39 [doi]
- Static Detection of Access Anomalies in Ada95Bernd Burgstaller, Johann Blieberger, Robert Mittermayr. 40-55 [doi]
- One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source CodePeter T. Breuer, Simon Pickin. 56-70 [doi]
- Bauhaus - A Tool Suite for Program Analysis and Reverse EngineeringAoun Raza, Gunther Vogel, Erhard Plödereder. 71-82 [doi]
- SPARK Annotations Within Executable UMLDamian Curtis. 83-93 [doi]
- Runtime Verification of Java Programs for Scenario-Based SpecificationsXuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng. 94-105 [doi]
- Secure Execution of Computations in Untrusted HostsSri Hari Krishna Narayanan, Mahmut T. Kandemir, Richard R. Brooks, Ibrahim Kolcu. 106-118 [doi]
- A Systematic Approach to Developing Safe Tele-operated RobotsDiego Alonso, Pedro Sánchez, Bárbara Álvarez, Juan A. Pastor. 119-130 [doi]
- Towards Developing Multi-agent Systems in AdaGustavo Aranda Bada, Javier Palanca Cámara, Agustín Espinosa, Andrés Terrasa, Ana García-Fornes. 131-142 [doi]
- A Software Reliability Model Based on a Geometric Sequence of Failure RatesStefan Wagner, Helmut Fischer. 143-154 [doi]
- Adaptive Random Testing Through Iterative PartitioningTsong Yueh Chen, Dehao Huang, Zhiquan Zhou. 155-166 [doi]
- Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time SystemsJingde Cheng. 167-178 [doi]
- Abstract Interface Types in GNAT: Conversions, Discriminants, and C++Javier Miranda, Edmond Schonberg. 179-190 [doi]
- Using Mathematics to Improve Ada Compiled CodeWard Douglas Maurer. 191-202 [doi]
- Replication-Aware Transactions: How to Roll a Transaction over FailuresMohsen Sharifi, Hadi Salimi. 203-214 [doi]
- The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed SystemsSantiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente. 215-226 [doi]
- Interchangeable Scheduling Policies in Real-Time Middleware for DistributionJuan López Campos, J. Javier Gutiérrez, Michael González Harbour. 227-240 [doi]