default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2006: Porto, Portugal
- Luís Miguel Pinho, Michael González Harbour:
Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings. Lecture Notes in Computer Science 4006, Springer 2006, ISBN 3-540-34663-5
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 - Benjamin M. Brosgol, Andy J. Wellings:
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications. 13-26 - Filipe Valpereiro, Luís Miguel Pinho:
POSIX Trace Based Behavioural Reflection. 27-39
Static Analysis
- Bernd Burgstaller, Johann Blieberger, Robert Mittermayr:
Static Detection of Access Anomalies in Ada95. 40-55 - Peter T. Breuer, Simon Pickin:
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code. 56-70 - Aoun Raza, Gunther Vogel, Erhard Plödereder:
Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering. 71-82
Verification
- Damian Curtis:
SPARK Annotations Within Executable UML. 83-93 - 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 - Sri Hari Krishna Narayanan, Mahmut T. Kandemir, Richard R. Brooks, Ibrahim Kolcu:
Secure Execution of Computations in Untrusted Hosts. 106-118 - Diego Alonso, Pedro Sánchez, Bárbara Álvarez, Juan Angel Pastor:
A Systematic Approach to Developing Safe Tele-operated Robots. 119-130 - 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
Reliability
- Stefan Wagner, Helmut Fischer:
A Software Reliability Model Based on a Geometric Sequence of Failure Rates. 143-154 - Tsong Yueh Chen, Dehao Huang, Zhiquan Zhou:
Adaptive Random Testing Through Iterative Partitioning. 155-166 - Jingde Cheng:
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. 167-178
Compilers
- Javier Miranda, Edmond Schonberg:
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++. 179-190 - Ward Douglas Maurer:
Using Mathematics to Improve Ada Compiled Code. 191-202
Distributed Systems
- Mohsen Sharifi, Hadi Salimi:
Replication-Aware Transactions: How to Roll a Transaction over Failures. 203-214 - 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 - Juan López Campos, J. Javier Gutiérrez, Michael González Harbour:
Interchangeable Scheduling Policies in Real-Time Middleware for Distribution. 227-240
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-04 21:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
