Reliable Software Technologies – Ada-Europe 2008

13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

  • Editors
  • Fabrice Kordon
  • Tullio Vardanega
Conference proceedings Ada-Europe 2008

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

Table of contents

  1. Front Matter
  2. Santiago Urueña, José A. Pulido, Jorge López, Juan Zamorano, Juan A. de la Puente
    Pages 1-14
  3. Iulian Ober, Nicolas Halbwachs
    Pages 30-43
  4. Irfan Hamid, Elie Najm
    Pages 44-58
  5. Christine Choppy, Laure Petrucci, Gianna Reggio
    Pages 73-86
  6. Laura Carnevali, Leonardo Grassi, Enrico Vicario
    Pages 87-100
  7. Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre
    Pages 101-114
  8. Raul Fechete, Georg Kienesberger, Johann Blieberger
    Pages 130-143
  9. Florian Villoing, Emmanuel Briot
    Pages 144-157
  10. Diego Alonso, Cristina Vicente-Chicote, Juan A. Pastor, Bárbara Álvarez
    Pages 158-170
  11. Sherif F. Fahmy, Binoy Ravindran, E. D. Jensen
    Pages 211-225
  12. Frank Singhoff, Alain Plantec, Pierre Dissaux
    Pages 240-253
  13. Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina
    Pages 254-267
  14. Héctor Pérez, J. Javier Gutiérrez, Daniel Sangorrín, Michael González Harbour
    Pages 268-281
  15. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008.

The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.


Ada Ada programming language UML XML concurrency modeling dependable computing distributed systems embedded systems fault recovery formal methods formal verification metamodeling model-driven architectures real-time verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-68621-7
  • Online ISBN 978-3-540-68624-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences