Reliable Software Technologies – Ada-Europe 2013

18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

  • Hubert B. Keller
  • Erhard Plödereder
  • Peter Dencker
  • Herbert Klenk
Conference proceedings Ada-Europe 2013

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

Table of contents

  1. Front Matter
  2. Session: Multicore and Distributed Systems

    1. Stephen Michell, Brad Moore, Luís Miguel Pinho
      Pages 17-34
  3. Session: Ada and Spark

    1. Carl Brandon, Peter Chapin
      Pages 51-64
    2. Thomas Quinot, Eric Botcazou
      Pages 65-80
  4. Session: Dependability

    1. Barry Fagin, Martin Carlisle
      Pages 81-93
    2. Xiaozhen Xue, Akbar Siami Namin
      Pages 109-126
  5. Session: Real-Time Systems

    1. Emilio Salazar, Alejandro Alonso, Miguel A. de Miguel, Juan A. de la Puente
      Pages 127-142
    2. Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega
      Pages 143-160
    3. Esteban Asensio, Ismael Lafoz, Andrew Coombes, Julian Navas
      Pages 161-176
  6. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems.


middleware non-determinism parallelism safety critical systems software reliability

Editors and affiliations

  • Hubert B. Keller
    • 1
  • Erhard Plödereder
    • 2
  • Peter Dencker
    • 3
  • Herbert Klenk
    • 4
  1. 1.Institute of Applied Computer ScienceKarlsruhe Institute of TechnologyEggenstein-LeopoldshafenGermany
  2. 2.Institute of Software TechnologyUniversity of StuttgartStuttgartGermany
  3. 3.ETAS GmbHStuttgartGermany
  4. 4.Cassidian – An EADS CompanyManchingGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-38600-8
  • Online ISBN 978-3-642-38601-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences