Ada-Europe 2007:
Geneva, Switzerland
Nabil Abdennadher, Fabrice Kordon (Eds.):
Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings.
Lecture Notes in Computer Science 4498 Springer 2007, ISBN 978-3-540-73229-7 
- Andy J. Wellings, Alan Burns:
Real-Time Utilities for Ada 2005.
1-14
- José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente:
Handling Temporal Faults in Ada 2005.
15-28
- Mario Aldea Rivas, José F. Ruiz:
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.
29-40
- Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières:
Enhancing Dependability of Component-Based Systems.
41-54
- Man Fai Lau, Ying Liu, Tsong Yueh Chen, Yuen-Tak Yu:
On Detecting Double Literal Faults in Boolean Expressions.
55-68
- Johann Blieberger, Bernd Burgstaller, Robert Mittermayr:
Static Detection of Livelocks in Ada Multitasking Programs.
69-83
- W. K. Chan, Tsong Yueh Chen, S. C. Cheung, T. H. Tse, Zhenyu Zhang:
Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.
84-99
- Gyun Woo, Heung Seok Chae, Hanil Jang:
An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers.
100-113
- Matteo Bordin, Tullio Vardanega:
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.
114-127
- Marco Panunzio, Tullio Vardanega:
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis.
128-141
- Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed:
ArchMDE Approach for the Development of Embedded Real Time Systems.
142-154
- Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet:
Generating Distributed High Integrity Applications from Their Architectural Description.
155-167
- Diego Alonso, Cristina Vicente-Chicote, Pedro Sánchez, Bárbara Álvarez, Fernando Losilla:
Automatic Ada Code Generation Using a Model-Driven Engineering Approach.
168-179
- Frank Singhoff, Alain Plantec:
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar.
180-191
- Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre:
Modelling Remote Concurrency with Ada.
192-207
- Khaled Barbaria, Jérôme Hugues, Laurent Pautet:
Design and Performance of a Generic Consensus Component for Critical Distributed Applications.
208-220
- Alejandro R. Mosteo, Luis Montano:
Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research.
221-234
- Francisco García-Rodríguez, Javier Miranda, José Fortes Gálvez:
Incorporating Precise Garbage Collection in an Ada Compiler.
235-245
Last update Wed May 22 22:47:31 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
