Advertisement

Dependable Software Engineering: Theories, Tools, and Applications

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

  • Martin Fränzle
  • Deepak Kapur
  • Naijun Zhan
Conference proceedings SETTA 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Xiaoju Dong, Yuxi Fu, Daniele Varacca
    Pages 1-17
  3. Qingguo Xu, Robert de Simone, Julien DeAntoni
    Pages 18-37
  4. Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen
    Pages 38-49
  5. Wenjie Du, Yuxin Deng, Daniel Gebler
    Pages 67-84
  6. Tianhai Liu, Shmuel Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri
    Pages 101-117
  7. Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto
    Pages 118-135
  8. Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu
    Pages 136-146
  9. Bingbing Fang, Guoqiang Li, Daniel Sun, Hongming Cai
    Pages 147-162
  10. Cyrille Jegourel, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
    Pages 163-178
  11. Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jiří Srba
    Pages 197-212
  12. Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
    Pages 213-228
  13. Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro
    Pages 229-245
  14. Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
    Pages 280-296
  15. Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey
    Pages 315-322
  16. Back Matter
    Pages 323-323

About these proceedings

Introduction

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. 

Keywords

bisimulation higher-order logic model checking quantum programming software model checking algorithms fault tree integration of states markov chain numerical methods open petri net probability satisfiability software engineering specification state explosion temporal logic theorem proving timed automata verification

Editors and affiliations

  • Martin Fränzle
    • 1
  • Deepak Kapur
    • 2
  • Naijun Zhan
    • 3
  1. 1.Carl von Ossietzky UniversitätOldenburgGermany
  2. 2.University of New MexicoAlbuquerqueUSA
  3. 3.Chinese Academy of SciencesBeijingChina

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-47677-3
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-47676-6
  • Online ISBN 978-3-319-47677-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site