Dependable Software Engineering. Theories, Tools, and Applications

5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

  • Nan Guan
  • Joost-Pieter Katoen
  • Jun Sun
Conference proceedings SETTA 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Yu-Yang Lin, Nikos Tzevelekos
    Pages 1-18
  3. Alexis Linard, Doina Bucur, Mariëlle Stoelinga
    Pages 19-37
  4. Chong Liu, Nuno Macedo, Alcino Cunha
    Pages 38-55
  5. Xuemei Peng, Meiling Han, Qingxu Deng
    Pages 56-71
  6. Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang
    Pages 72-88
  7. Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo
    Pages 89-105
  8. Yue Tang, Yuming Jiang, Nan Guan
    Pages 106-121
  9. Yu Zhang, Yongwang Zhao, David Sanan, Lei Qiao, Jinkun Zhang
    Pages 122-138
  10. Back Matter
    Pages 139-139

About these proceedings


This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. 

The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the  field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. 



data security embedded systems formal logic formal methods formal verifications model checking parallel processing systems problem solving real time systems safety critical systems security systems software engineering software evaluation theorem proving

Editors and affiliations

  1. 1.Hong Kong Polytechnic UniversityKowloonHong Kong
  2. 2.RWTH Aachen UniversityAachenGermany
  3. 3.Singapore Management UniversitySingaporeSingapore

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-35539-5
  • Online ISBN 978-3-030-35540-1
  • 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