Reliable Software Technologies – Ada-Europe 2016

21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

  • Marko Bertogna
  • Luis Miguel Pinho
  • Eduardo Quiñones
Conference proceedings Ada-Europe 2016

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9695)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Invited Paper

  3. Concurrency and Parallelism

    1. Front Matter
      Pages 13-13
    2. Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi
      Pages 15-29
    3. Martin Wittiger
      Pages 30-43
    4. HaiTao Mei, Ian Gray, Andy Wellings
      Pages 44-57
  4. Testing and Verification

    1. Front Matter
      Pages 59-59
    2. Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt
      Pages 78-93
  5. Program Correctness and Robustness

    1. Front Matter
      Pages 111-111
    2. Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega
      Pages 113-128
    3. Robert Mittermayr, Johann Blieberger
      Pages 145-159
  6. Real-Time Systems

    1. Front Matter
      Pages 161-161
    2. Abhilash Thekkilakattil, Kaiqian Zhu, Yonggao Nie, Radu Dobrin, Sasikumar Punnekkat
      Pages 163-178
    3. Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour, J. Carlos Palencia
      Pages 179-194
    4. Jorge Real, Sergio Sáez, Alfons Crespo
      Pages 195-212
  7. Back Matter
    Pages 213-213

About these proceedings


This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.

The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and real-time systems.


distributed systems fault-tolerance formal methods model checking parallel programming correctness cyber physical systems embedded systems model-based development modeling multicore processor architectures programming languages real-time scheduling real-time systems reliability robustness safety-critical software software verification static analysis testing

Editors and affiliations

  • Marko Bertogna
    • 1
  • Luis Miguel Pinho
    • 2
  • Eduardo Quiñones
    • 3
  1. 1.Università di Modena e Reggio EmiliaModenaItaly
  2. 2.CISTER Research CentrePortoPortugal
  3. 3.Barcelona Supercomputing CenterBarcelonaSpain

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-39082-6
  • Online ISBN 978-3-319-39083-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site