Reliable Software Technologies – Ada Europe 2007

12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

  • Nabil Abdennadher
  • Fabrice Kordon
Conference proceedings Ada-Europe 2007

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4498)

Table of contents

  1. Front Matter
  2. Andy Wellings, Alan Burns
    Pages 1-14
  3. José A. Pulido, Santiago Urueña, Juan Zamorano, Juan A. de la Puente
    Pages 15-28
  4. Mario Aldea Rivas, José F. Ruiz
    Pages 29-40
  5. Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières
    Pages 41-54
  6. Man F. Lau, Ying Liu, Tsong Y. Chen, Yuen T. Yu
    Pages 55-68
  7. Johann Blieberger, Bernd Burgstaller, Robert Mittermayr
    Pages 69-83
  8. W. K. Chan, Tsong Y. Chen, S. C. Cheung, T. H. Tse, Zhenyu Zhang
    Pages 84-99
  9. Marco Panunzio, Tullio Vardanega
    Pages 128-141
  10. Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed
    Pages 142-154
  11. Bechir Zalila, Irfan Hamid, Jerome Hugues, Laurent Pautet
    Pages 155-167
  12. Diego Alonso, Cristina Vicente-Chicote, Pedro Sánchez, Bárbara Álvarez, Fernando Losilla
    Pages 168-179
  13. Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre
    Pages 192-207
  14. Khaled Barbaria, Jerome Hugues, Laurent Pautet
    Pages 208-220
  15. Francisco García-Rodríguez, Javier Miranda, José Fortes Gálvez
    Pages 235-245
  16. Back Matter

About these proceedings


Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada societies, is to provide a forum to promote the development of reliable softwares both as an industrial technique and an academic discipline. Previous editions of the Reliable Software Technologies conference were held in: Porto (Portugal) in 2006, York (UK) in 2005, Palma de Mallorca (Spain) in 2004,Toulouse (France) in 2003,Vienna (Austria) in 2002,Leuven (Belgium) in 2001,Potsdam(Germany)in2000,Santander(Spain)in1999,Uppsala(Sweden) in 1998, London (UK) in 1997 and Montreux (Switzerland) in 1996. The 12th International Conference on Reliable Software Technologies took place in Geneva, Switzerland, June 25-29, 2007, under the continued sponsoring ofAda-Europe,incooperationwithACMSIGAda.Itwasorganizedbymembers of the University of Applied Sciences, Western Switzerland (Engineering School of Geneva), in collaboration with colleagues from various places in Europe. The 13th conference, in 2008, will take place in Venice, Italy.


Ada Ada programming Ada programming language Compiler Multitasking architecture concurrency modeling dependable computing distributed systems embedded systems formal methods modeling real-time robot robotics

Editors and affiliations

  • Nabil Abdennadher
    • 1
  • Fabrice Kordon
    • 2
  1. 1.HES.SO, École d’ingénieurs de GenéveUniversity of Applied Sciences Western SwitzerlandGenevaSwitzerland
  2. 2.Laboratoire d’Informatique de Paris 6Université Pierre et Marie CurieParisFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-73229-7
  • Online ISBN 978-3-540-73230-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods