Dependable Software Engineering. Theories, Tools, and Applications

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

  • Xinyu Feng
  • Markus Müller-Olm
  • Zijiang Yang
Conference proceedings SETTA 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Abstracts of Invited Talks

  3. Software Assurance

    1. Front Matter
      Pages 9-9
    2. Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li
      Pages 11-28
  4. Refinement

    1. Front Matter
      Pages 29-29
    2. Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee et al.
      Pages 31-49
    3. Shmuel Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu
      Pages 50-65
  5. Verification

    1. Front Matter
      Pages 67-67
    2. Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang
      Pages 69-88
    3. Stephan Adelsberger, Anton Setzer, Eric Walkingshaw
      Pages 89-107
    4. Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang
      Pages 108-126
  6. Miscellaneous (Short Papers)

    1. Front Matter
      Pages 127-127
    2. Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao
      Pages 129-134
    3. James Snook, Michael Butler, Thai Son Hoang
      Pages 135-141
  7. Timing and Scheduling

    1. Front Matter
      Pages 151-151
    2. Bernhard K. Aichernig, Severin Kann, Richard Schumi
      Pages 153-169
    3. Zhishan Guo, Luca Santinelli, Kecheng Yang
      Pages 187-199
  8. Back Matter
    Pages 201-201

About these proceedings


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.


formal methods dependable software software engineering complex systems software modeling specification verification semantics model checking theorem proving formal logic programming languages software evaluation embedded Systems real time systems verification data security

Editors and affiliations

  • Xinyu Feng
    • 1
  • Markus Müller-Olm
    • 2
  • Zijiang Yang
    • 3
  1. 1.Nanjing UniversityNanjingChina
  2. 2.Westfälische Wilhelms-Universität MünsterMünsterGermany
  3. 3.Western Michigan UniversityKalamazooUSA

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-99932-6
  • Online ISBN 978-3-319-99933-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment