Fabrice Kordon, Tullio Vardanega (Eds.):
Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings.
Lecture Notes in Computer Science 5026 Springer 2008, ISBN 978-3-540-68621-7 
- Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente:
A New Approach to Memory Partitioning in On-Board Spacecraft Software.
1-14
- Marco Di Natale:
Design and Development of Component-Based Embedded Systems for Automotive Applications.
15-29
- Iulian Ober, Nicolas Halbwachs:
On the Timed Automata-Based Verification of Ravenscar Systems.
30-43
- Irfan Hamid, Elie Najm:
Operational Semantics of Ada Ravenscar.
44-58
- Claude Evéquoz:
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives.
59-72
- Christine Choppy, Laure Petrucci, Gianna Reggio:
A Modelling Approach with Coloured Petri Nets.
73-86
- Laura Carnevali, Leonardo Grassi, Enrico Vicario:
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets.
87-100
- Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre:
Concurrent Program Metrics Drawn by Quasar.
101-114
- Benjamin M. Brosgol:
A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM.
115-129
- Raul Fechete, Georg Kienesberger, Johann Blieberger:
A Framework for CFG-Based Static Program Analysis of Ada Programs.
130-143
- Florian Villoing, Emmanuel Briot:
A Type-Safe Database Interface.
144-157
- Diego Alonso, Cristina Vicente-Chicote, Juan A. Pastor, Bárbara Álvarez:
StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code.
158-170
- Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin:
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems.
171-184
- Sri Hari Krishna Narayanan, Mahmut T. Kandemir:
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions.
185-198
- Robert G. Pettit IV:
Increasing Confidence in Concurrent Software through Architectural Analysis.
199-210
- Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness.
211-225
- Aoun Raza, Gunther Vogel:
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs.
226-239
- Frank Singhoff, Alain Plantec, Pierre Dissaux:
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project.
240-253
- Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina:
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications.
254-267
- Héctor Pérez, J. Javier Gutiérrez, Daniel Sangorrín, Michael González Harbour:
Real-Time Distribution Middleware from the Ada Perspective.
268-281
Last update Sat May 18 18:03:39 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
