Software Engineering and Formal Methods

14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

  • Rocco De Nicola
  • Eva Kühn
Conference proceedings SEFM 2016

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9763)

Table of contents

  1. Front Matter
    Pages I-XV
  2. Invited Papers

  3. Concurrency and Non-interference

    1. Front Matter
      Pages 25-25
    2. Simon Doherty, John Derrick
      Pages 45-60
    3. Nils Jähnig, Thomas Göthel, Sabine Glesner
      Pages 61-75
    4. Josselin Feist, Laurent Mounier, Marie-Laure Potet
      Pages 76-81
  4. Program Analysis

    1. Front Matter
      Pages 83-83
    2. Oana Fabiana Andreescu, Thomas Jensen, Stéphane Lescuyer
      Pages 85-103
    3. Jaroslav Bendík, Nikola Beneš, Jiří Barnat, Ivana Černá
      Pages 121-136
  5. Model Checking

    1. Front Matter
      Pages 153-153
    2. Idress Husien, Sven Schewe
      Pages 155-171
    3. Peter Bezděk, Nikola Beneš, Jiří Barnat, Ivana Černá
      Pages 172-187
    4. Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge
      Pages 204-211
  6. Verification

    1. Front Matter
      Pages 213-213
    2. David Hauzar, Claude Marché, Yannick Moy
      Pages 215-233
    3. Jera Hensel, Jürgen Giesl, Florian Frohn, Thomas Ströder
      Pages 234-252
    4. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
      Pages 253-269
    5. Ke Zhang, Zongyan Qiu
      Pages 270-276
    6. Peter Zeller, Arnd Poetzsch-Heffter
      Pages 277-283
  7. Interaction and Adaptation

    1. Front Matter
      Pages 285-285
    2. Anshul Gupta, Sven Schewe, Ashutosh Trivedi, Maram Sai Krishna Deepak, Bharath Kumar Padarthi
      Pages 304-320
    3. Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
      Pages 337-343
  8. Development Methods

    1. Front Matter
      Pages 345-345
    2. Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli
      Pages 347-366
    3. Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
      Pages 367-385
    4. Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta
      Pages 386-402
    5. Lukas Ladenberger, Michael Leuschel
      Pages 403-417
  9. Back Matter
    Pages 419-419

About these proceedings


This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.


formal modeling formal semantics interactive systems model checking software validation concurrency formal methods formal verification interaction model-driven software engineering non-interference program analysis requirements analysis rewriting logic safety analysis software architectures software functional properties software verification system description languages theorem proving

Editors and affiliations

  • Rocco De Nicola
    • 1
  • Eva Kühn
    • 2
  1. 1.IMT - School for Advanced StudiesLuccaItaly
  2. 2.Institute of Computer LanguagesTU WienWienAustria

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-41590-1
  • Online ISBN 978-3-319-41591-8
  • 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
Consumer Packaged Goods
Energy, Utilities & Environment