Skip to main content
SpringerLink
Log in

Dependable Software Engineering. Theories, Tools, and Applications

Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Kim Guldstrand Larsen

    1. Aalborg University, Aalborg, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Oleg Sokolsky

    1. University of Pennsylvania, Philadelphia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ji Wang

    1. National University of Defense Technology, Changsha, China

    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 10606)

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

Included in the following conference series:

Conference proceedings info: SETTA 2017.

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 EPUB and 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 (20 papers)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. General Lessons from a Rely/Guarantee Development

      • Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage
      Pages 3-22

  3. Probabilistic and Statistical Analysis

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs

      • Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled Elbassioni
      Pages 25-41

    3. Better Automated Importance Splitting for Transient Rare Events

      • Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns
      Pages 42-58

    4. On the Criticality of Probabilistic Worst-Case Execution Time Models

      • Luca Santinelli, Zhishan Guo
      Pages 59-74

  4. Timed and Hybrid Systems

    1. Front Matter

      Pages 75-75
      Download chapter PDF

    2. Nested Timed Automata with Invariants

      • Yuwei Wang, Guoqiang Li, Shoji Yuen
      Pages 77-93

    3. Multi-core Cyclic Executives for Safety-Critical Systems

      • Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy Baruah
      Pages 94-109

    4. Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus

      • Dimitar P. Guelev, Shuling Wang, Naijun Zhan
      Pages 110-127

  5. Program Analysis

    1. Front Matter

      Pages 129-129
      Download chapter PDF

    2. Termination of Semi-algebraic Loop Programs

      • Yi Li
      Pages 131-146

    3. Computing Exact Loop Bounds for Bounded Program Verification

      • Tianhai Liu, Shmuel Tyszberowicz, Bernhard Beckert, Mana Taghdiri
      Pages 147-163

    4. AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications

      • Zipeng Zhang, Xinyu Feng
      Pages 164-180

  6. Modeling and Verification

    1. Front Matter

      Pages 181-181
      Download chapter PDF

    2. Remark on Some \(\pi \) Variants

      • Jianxin Xue, Huan Long, Yuxi Fu
      Pages 183-199

    3. Reasoning About Periodicity on Infinite Words

      • Wanwei Liu, Fu Song, Ge Zhou
      Pages 200-215

    4. On Equivalence Checking of Nondeterministic Finite Automata

      • Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang
      Pages 216-231

    5. A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks

      • Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
      Pages 232-249
Back to top

Other volumes

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

Keywords

About this book

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October
2017.
The 19 full papers presented together with 3 invited talks  were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

Editors and Affiliations

  • Aalborg University, Aalborg, Denmark

    Kim Guldstrand Larsen

  • University of Pennsylvania, Philadelphia, USA

    Oleg Sokolsky

  • National University of Defense Technology, Changsha, China

    Ji Wang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation