default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2007: Geneva, Switzerland
- Nabil Abdennadher, Fabrice Kordon:
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, Shing-Chi 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
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-12-04 22:07 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:
