Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

  • Radu Calinescu
  • Bernhard Rumpe
Conference proceedings SEFM 2015

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

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

Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Cliff B. Jones, Nisansala Yatapanage
      Pages 3-19
    3. Marten Lohstroh, Edward A. Lee
      Pages 20-34
  3. Program Verification

    1. Front Matter
      Pages 35-35
    2. Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens
      Pages 37-52
    3. Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman
      Pages 69-83
    4. Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski
      Pages 84-98
    5. Christian Colombo, Gabriel Dimech, Adrian Francalanza
      Pages 99-107
    6. Robert Clarisó, Carlos A. González, Jordi Cabot
      Pages 108-114
  4. Testing

    1. Front Matter
      Pages 115-115
    2. Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf et al.
      Pages 117-131
    3. Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet
      Pages 132-147
    4. Simone Hanazumi, Ana C. V. de Melo
      Pages 148-155
  5. Certification

    1. Front Matter
      Pages 157-157
    2. Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
      Pages 175-189
  6. Formal Specification and Proof

    1. Front Matter
      Pages 197-197
    2. Sebastian Krings, Jens Bendisposto, Michael Leuschel
      Pages 199-214
    3. Adriaan Larmuseau, Dave Clarke
      Pages 215-230
  7. Testing and Model Checking

    1. Front Matter
      Pages 249-249
    2. Herbert Rocha, Raimundo Barreto, Lucas Cordeiro
      Pages 251-267
    3. Petr Ročkai, Vladimír Štill, Jiří Barnat
      Pages 268-282
    4. Gustavo Carvalho, Flávia Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio
      Pages 283-290
  8. Planning

    1. Front Matter
      Pages 291-291
    2. Roykrong Sukkerd, David Garlan, Reid Simmons
      Pages 293-309
    3. Michał Knapik, Artur Niewiadomski, Wojciech Penczek
      Pages 310-324
  9. Modelling and Model Transformation

    1. Front Matter
      Pages 325-325
    2. Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi
      Pages 327-343
    3. Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
      Pages 344-359
    4. Zamira Daw, Rance Cleaveland
      Pages 360-368
  10. Back Matter
    Pages 369-369

Other volumes

  1. Software Engineering and Formal Methods
    13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
  2. SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

About these proceedings


This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.


Adaptive systems Automata learning Automated static analysis Component-based systems Concurrency Cyber-human systems Dynamic analysis Embedded systems Formal methods Machine learning Model checking Multi-agent systems Natural language processingts Program correctness Real-time systems Software engineering Software testing and debugging Software verification Software verification and validation Theorem proving

Editors and affiliations

  • Radu Calinescu
    • 1
  • Bernhard Rumpe
    • 2
  1. 1.Department of Computer ScienceUniversity of YorkYorkUnited Kingdom
  2. 2.Software Engineering, Department of Computer ScienceRWTH Aachen UniversityAachenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-22968-3
  • Online ISBN 978-3-319-22969-0
  • 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