Skip to main content
SpringerLink
Log in
Book cover

Dependable Software Engineering: Theories, Tools, and Applications

Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Martin Fränzle

    1. Carl von Ossietzky Universität, Oldenburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Deepak Kapur

    1. University of New Mexico, Albuquerque, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Naijun Zhan

    1. Chinese Academy of Sciences, Beijing, 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 9984)

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

Included in the following conference series:

Conference proceedings info: SETTA 2016.

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 (21 papers)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  2. Place Bisimulation and Liveness for Open Petri Nets

    • Xiaoju Dong, Yuxi Fu, Daniele Varacca
    Pages 1-17

  3. Divergence Detection for CCSL Specification via Clock Causality Chain

    • Qingguo Xu, Robert de Simone, Julien DeAntoni
    Pages 18-37

  4. Performance Evaluation of Concurrent Data Structures

    • Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen
    Pages 38-49

  5. GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks

    • Andrzej Mizera, Jun Pang, Qixia Yuan
    Pages 50-66

  6. Behavioural Pseudometrics for Nondeterministic Probabilistic Systems

    • Wenjie Du, Yuxin Deng, Daniel Gebler
    Pages 67-84

  7. A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques

    • Ernst Moritz Hahn, Arnd Hartmanns
    Pages 85-100

  8. Computing Specification-Sensitive Abstractions for Program Verification

    • Tianhai Liu, Shmuel Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri
    Pages 101-117

  9. Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models

    • Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto
    Pages 118-135

  10. Identifying XML Schema Constraints Using Temporal Logic

    • Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu
    Pages 136-146

  11. Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET

    • Bingbing Fang, Guoqiang Li, Daniel Sun, Hongming Cai
    Pages 147-162

  12. Importance Sampling for Stochastic Timed Automata

    • Cyrille Jegourel, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
    Pages 163-178

  13. Semipositivity in Separation Logic with Two Variables

    • Zhilin Wu
    Pages 179-196

  14. Distributed Computation of Fixed Points on Dependency Graphs

    • Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jiří Srba
    Pages 197-212

  15. A Complete Approximation Theory for Weighted Transition Systems

    • Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
    Pages 213-228

  16. Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies

    • Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro
    Pages 229-245

  17. Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems

    • Qiang Wang
    Pages 246-263

  18. Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach

    • Waqar Ahmad, Osman Hasan
    Pages 264-279

  19. An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties

    • Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
    Pages 280-296

  20. Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems

    • Ratul Saha, Madhavan Mukund, R. P. Jagadeesh Chandra Bose
    Pages 297-314
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 Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.

The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services. 

Editors and Affiliations

  • Carl von Ossietzky Universität, Oldenburg, Germany

    Martin Fränzle

  • University of New Mexico, Albuquerque, USA

    Deepak Kapur

  • Chinese Academy of Sciences, Beijing, China

    Naijun Zhan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation