default search action

combined dblp search
author search
venue search
publication search

ask others

Ada-Europe 2007: Geneva, Switzerland

> Home > Conferences and Workshops > Ada-Europe

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/2007
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
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/WellingsB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/WellingsB07
Andy J. Wellings, Alan Burns:
Real-Time Utilities for Ada 2005. 1-14
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PulidoUZP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PulidoUZP07
José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente:
Handling Temporal Faults in Ada 2005. 15-28
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/RivasR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/RivasR07
Mario Aldea Rivas, José F. Ruiz:
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT. 29-40
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/LanoixHHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/LanoixHHS07
Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières:
Enhancing Dependability of Component-Based Systems. 41-54
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/LauLCY07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/LauLCY07
Man Fai Lau, Ying Liu, Tsong Yueh Chen, Yuen-Tak Yu:
On Detecting Double Literal Faults in Boolean Expressions. 55-68
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BliebergerBM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BliebergerBM07
Johann Blieberger, Bernd Burgstaller, Robert Mittermayr:
Static Detection of Livelocks in Ada Multitasking Programs. 69-83
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/ChanCCTZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/ChanCCTZ07
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
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/WooCJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/WooCJ07
Gyun Woo, Heung Seok Chae, Hanil Jang:
An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers. 100-113
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BordinV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BordinV07
Matteo Bordin, Tullio Vardanega:
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach. 114-127
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PanunzioV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PanunzioV07
Marco Panunzio, Tullio Vardanega:
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis. 128-141
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/ElleuchKA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/ElleuchKA07
Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed:
ArchMDE Approach for the Development of Embedded Real Time Systems. 142-154
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/ZalilaHHP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/ZalilaHHP07
Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet:
Generating Distributed High Integrity Applications from Their Architectural Description. 155-167
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/AlonsoVSAL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/AlonsoVSAL07
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
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/SinghoffP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/SinghoffP07
Frank Singhoff, Alain Plantec:
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar. 180-191
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/KaiserPP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/KaiserPP07
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre:
Modelling Remote Concurrency with Ada. 192-207
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BarbariaHP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BarbariaHP07
Khaled Barbaria, Jérôme Hugues, Laurent Pautet:
Design and Performance of a Generic Consensus Component for Critical Distributed Applications. 208-220
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MosteoM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MosteoM07
Alejandro R. Mosteo, Luis Montano:
Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research. 221-234
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Garcia-RodriguezMG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Garcia-RodriguezMG07
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.