Advertisement

Dependable Software Engineering: Theories, Tools, and Applications

First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

  • Xuandong Li
  • Zhiming Liu
  • Wang Yi
Conference proceedings SETTA 2015

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

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

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Probabilistic Systems

    1. Front Matter
      Pages 1-1
    2. Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
      Pages 3-18
    3. Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker
      Pages 19-34
    4. Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga et al.
      Pages 35-51
  3. Hybrid and Cyber-Physical Systems

    1. Front Matter
      Pages 53-53
    2. Guillaume Babin, Yamine Aït-Ameur, Shin Nakajima, Marc Pantel
      Pages 55-70
    3. Gregor v. Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
      Pages 71-86
    4. Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang
      Pages 87-102
  4. Testing, Simulation and Inference

    1. Front Matter
      Pages 103-103
    2. Vania Joloboff, Jean-François Monin, Xiaomu Shi
      Pages 105-119
    3. Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata et al.
      Pages 120-134
    4. Chen Luo, Fei He, Carlo Ghezzi
      Pages 135-149
  5. Bisimulation and Correctness

    1. Front Matter
      Pages 151-151
    2. Ben Moszkowski, Dimitar P. Guelev
      Pages 153-167
    3. Adriaan Larmuseau, Marco Patrignani, Dave Clarke
      Pages 168-182
  6. Design and Implementation

    1. Front Matter
      Pages 183-183
    2. David Faitelson, Shmuel Tyszberowicz
      Pages 185-200
    3. Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky
      Pages 201-216
    4. Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang
      Pages 217-223
  7. Symbolic Execution and Invariants

    1. Front Matter
      Pages 225-225
    2. Zhang Jun-xian, Li Zhou-jun, Zheng Xian-chen
      Pages 227-242
    3. Juan Zhai, Hanfei Wang, Jianhua Zhao
      Pages 258-274
  8. Verification and Case Studies

    1. Front Matter
      Pages 275-275
    2. Wang Qiang, Lei Yan, Simon Bliudze, Mao Xiaoguang
      Pages 277-283
  9. Back Matter
    Pages 317-317

About these proceedings

Introduction

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.

The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.

Keywords

cyber-physical systems formal language definitions formal methods hybrid systems modal logics model checking modeling probabilistic systems real-time systems simulation software engineering software validation software verification system description languages temporal logics

Editors and affiliations

  • Xuandong Li
    • 1
  • Zhiming Liu
    • 2
  • Wang Yi
    • 3
  1. 1.Nanjing UniversityNanjingChina
  2. 2.Birmingham City UniversityBirminghamUnited Kingdom
  3. 3.Uppsala UniversityUppsalaSweden

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-25942-0
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-25941-3
  • Online ISBN 978-3-319-25942-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site