Conferences in DBLP

Ada-Europe (adaEurope)
2007 (conf/adaEurope/2007)

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