Dependable Software Engineering. Theories, Tools, and Applications

Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

  • Kim Guldstrand Larsen
  • Oleg Sokolsky
  • Ji Wang
Conference proceedings SETTA 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Invited Talk

    1. Front Matter
      Pages 1-1
    2. Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage
      Pages 3-22
  3. Probabilistic and Statistical Analysis

    1. Front Matter
      Pages 23-23
    2. Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled Elbassioni
      Pages 25-41
    3. Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns
      Pages 42-58
  4. Timed and Hybrid Systems

    1. Front Matter
      Pages 75-75
    2. Yuwei Wang, Guoqiang Li, Shoji Yuen
      Pages 77-93
    3. Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy Baruah
      Pages 94-109
    4. Dimitar P. Guelev, Shuling Wang, Naijun Zhan
      Pages 110-127
  5. Program Analysis

    1. Front Matter
      Pages 129-129
    2. Tianhai Liu, Shmuel Tyszberowicz, Bernhard Beckert, Mana Taghdiri
      Pages 147-163
  6. Modeling and Verification

    1. Front Matter
      Pages 181-181
    2. Jianxin Xue, Huan Long, Yuxi Fu
      Pages 183-199
    3. Wanwei Liu, Fu Song, Ge Zhou
      Pages 200-215
    4. Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang
      Pages 216-231
    5. Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
      Pages 232-249
    6. Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden
      Pages 250-265
    7. Maithily Diwan, Meenakshi D’Souza
      Pages 266-280
  7. Formalization

    1. Front Matter
      Pages 281-281
    2. Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev
      Pages 283-299
    3. Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng
      Pages 300-316
  8. Tools

    1. Front Matter
      Pages 317-317
    2. Stefano Schivo, Buğra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok et al.
      Pages 319-336
    3. Idress Husien, Sven Schewe, Nicolas Berthier
      Pages 337-349
  9. Back Matter
    Pages 351-351

About these proceedings


This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October
The 19 full papers presented together with 3 invited talks  were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.


Modeling and Verification Timed and Hybrid models Formal languages and automata theory Program Analysis Probabilistic and statistical analysis Formal Methods Formal Tools and Applications Cyber-Physical Systems Software Engineering

Editors and affiliations

  1. 1.Aalborg UniversityAalborgDenmark
  2. 2.University of PennsylvaniaPhiladelphiaUSA
  3. 3.National University of Defense TechnologyChangshaChina

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment