Skip to main content
SpringerLink
Log in
Book cover

Dependable Software Engineering: Theories, Tools, and Applications

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Xuandong Li

    1. Nanjing University, Nanjing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zhiming Liu

    1. Birmingham City University, Birmingham, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Wang Yi

    1. Uppsala University, Uppsala, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SETTA 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Probabilistic Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Fault Trees on a Diet

      • Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
      Pages 3-18

    3. Cost vs. Time in Stochastic Games and Markov Automata

      • Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker
      Pages 19-34

    4. A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking

      • 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
      Download chapter PDF

    2. Refinement and Proof Based Development of Systems Characterized by Continuous Functions

      • Guillaume Babin, Yamine Aït-Ameur, Shin Nakajima, Marc Pantel
      Pages 55-70

    3. Synthesizing Controllers for Multi-lane Traffic Maneuvers

      • Gregor v. Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
      Pages 71-86

    4. Extending Hybrid CSP with Probability and Stochasticity

      • Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang
      Pages 87-102

  4. Testing, Simulation and Inference

    1. Front Matter

      Pages 103-103
      Download chapter PDF

    2. Towards Verified Faithful Simulation

      • Vania Joloboff, Jean-François Monin, Xiaomu Shi
      Pages 105-119

    3. Cardinality of UDP Transmission Outcomes

      • Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata et al.
      Pages 120-134

    4. Inferring Software Behavioral Models with MapReduce

      • Chen Luo, Fei He, Carlo Ghezzi
      Pages 135-149

  5. Bisimulation and Correctness

    1. Front Matter

      Pages 151-151
      Download chapter PDF

    2. An Application of Temporal Projection to Interleaving Concurrency

      • Ben Moszkowski, Dimitar P. Guelev
      Pages 153-167

    3. A High-Level Model for an Assembly Language Attacker by Means of Reflection

      • Adriaan Larmuseau, Marco Patrignani, Dave Clarke
      Pages 168-182

  6. Design and Implementation

    1. Front Matter

      Pages 183-183
      Download chapter PDF

    2. Improving Design Decomposition

      • David Faitelson, Shmuel Tyszberowicz
      Pages 185-200

    3. From Requirements Engineering to Safety Assurance: Refinement Approach

      • Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky
      Pages 201-216

    4. Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods

      • Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang
      Pages 217-223
Back to top

Other volumes

  1. Dependable Software Engineering: Theories, Tools, and Applications

Keywords

About this book

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.

Editors and Affiliations

  • Nanjing University, Nanjing, China

    Xuandong Li

  • Birmingham City University, Birmingham, United Kingdom

    Zhiming Liu

  • Uppsala University, Uppsala, Sweden

    Wang Yi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation