Skip to main content
SpringerLink
Log in
Book cover

Dependable Software Engineering. Theories, Tools, and Applications

4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Xinyu Feng

    1. Nanjing University, Nanjing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Markus Müller-Olm

    1. Westfälische Wilhelms-Universität Münster, Münster, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Zijiang Yang

    1. Western Michigan University, Kalamazoo, USA

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

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

Included in the following conference series:

Conference proceedings info: SETTA 2018.

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

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Abstracts of Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Intelligent Software Engineering: Synergy Between AI and Software Engineering

      • Tao Xie
      Pages 3-7

  3. Software Assurance

    1. Front Matter

      Pages 9-9
      Download chapter PDF

    2. Automatic Support of the Generation and Maintenance of Assurance Cases

      • Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li
      Pages 11-28

  4. Refinement

    1. Front Matter

      Pages 29-29
      Download chapter PDF

    2. Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement

      • Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee et al.
      Pages 31-49

    3. Identifying Microservices Using Functional Decomposition

      • Shmuel Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu
      Pages 50-65

  5. Verification

    1. Front Matter

      Pages 67-67
      Download chapter PDF

    2. Robust Non-termination Analysis of Numerical Software

      • Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang
      Pages 69-88

    3. Developing GUI Applications in a Verified Setting

      • Stephan Adelsberger, Anton Setzer, Eric Walkingshaw
      Pages 89-107

    4. Interleaving-Tree Based Fine-Grained Linearizability Fault Localization

      • Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang
      Pages 108-126

  6. Miscellaneous (Short Papers)

    1. Front Matter

      Pages 127-127
      Download chapter PDF

    2. Improvement in JavaMOP by Simplifying Büchi Automaton

      • Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao
      Pages 129-134

    3. Developing A New Language to Construct Algebraic Hierarchies for Event-B

      • James Snook, Michael Butler, Thai Son Hoang
      Pages 135-141

    4. Towards the Existential Control of Boolean Networks: A Preliminary Report

      • Soumya Paul, Jun Pang, Cui Su
      Pages 142-149

  7. Timing and Scheduling

    1. Front Matter

      Pages 151-151
      Download chapter PDF

    2. Statistical Model Checking of Response Times for Different System Deployments

      • Bernhard K. Aichernig, Severin Kann, Richard Schumi
      Pages 153-169

    3. Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier

      • Eun-Young Kang, Li Huang
      Pages 170-186

    4. Mixed-Criticality Scheduling with Limited HI-Criticality Behaviors

      • Zhishan Guo, Luca Santinelli, Kecheng Yang
      Pages 187-199
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 2018, held in Beijing, China, in September 2018. 
The 9 full papers presented together with 3 short papers  were carefully reviewed and selected from 22 submissions. 
The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the  field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.


Editors and Affiliations

  • Nanjing University, Nanjing, China

    Xinyu Feng

  • Westfälische Wilhelms-Universität Münster, Münster, Germany

    Markus Müller-Olm

  • Western Michigan University, Kalamazoo, USA

    Zijiang Yang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation