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 BibTeX

Andy J. Wellings, Alan Burns:
Real-Time Utilities for Ada 2005. 1-14
Electronic Edition (link) BibTeX
José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente:
Handling Temporal Faults in Ada 2005. 15-28
Electronic Edition (link) BibTeX
Mario Aldea Rivas, José F. Ruiz:
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT. 29-40
Electronic Edition (link) BibTeX
Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières:
Enhancing Dependability of Component-Based Systems. 41-54
Electronic Edition (link) BibTeX
Man Fai Lau, Ying Liu, Tsong Yueh Chen, Yuen-Tak Yu:
On Detecting Double Literal Faults in Boolean Expressions. 55-68
Electronic Edition (link) BibTeX
Johann Blieberger, Bernd Burgstaller, Robert Mittermayr:
Static Detection of Livelocks in Ada Multitasking Programs. 69-83
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Gyun Woo, Heung Seok Chae, Hanil Jang:
An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers. 100-113
Electronic Edition (link) BibTeX
Matteo Bordin, Tullio Vardanega:
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach. 114-127
Electronic Edition (link) BibTeX
Marco Panunzio, Tullio Vardanega:
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis. 128-141
Electronic Edition (link) BibTeX
Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed:
ArchMDE Approach for the Development of Embedded Real Time Systems. 142-154
Electronic Edition (link) BibTeX
Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet:
Generating Distributed High Integrity Applications from Their Architectural Description. 155-167
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Frank Singhoff, Alain Plantec:
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar. 180-191
Electronic Edition (link) BibTeX
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre:
Modelling Remote Concurrency with Ada. 192-207
Electronic Edition (link) BibTeX
Khaled Barbaria, Jérôme Hugues, Laurent Pautet:
Design and Performance of a Generic Consensus Component for Critical Distributed Applications. 208-220
Electronic Edition (link) BibTeX
Alejandro R. Mosteo, Luis Montano:
Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research. 221-234
Electronic Edition (link) BibTeX
Francisco García-Rodríguez, Javier Miranda, José Fortes Gálvez:
Incorporating Precise Garbage Collection in an Ada Compiler. 235-245
Electronic Edition (link) BibTeX