Skip to main content
SpringerLink
Log in

Software Engineering and Formal Methods

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Radu Calinescu

    1. Department of Computer Science, University of York, York, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Rumpe

    1. Software Engineering, Department of Computer Science, RWTH Aachen University, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SEFM 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Reasoning about Separation Using Abstraction and Reification

      • Cliff B. Jones, Nisansala Yatapanage
      Pages 3-19

    3. An Interface Theory for the Internet of Things

      • Marten Lohstroh, Edward A. Lee
      Pages 20-34

  3. Program Verification

    1. Front Matter

      Pages 35-35
      Download chapter PDF

    2. Learning Assertions to Verify Linked-List Programs

      • Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens
      Pages 37-52

    3. Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications

      • Gijs Vanspauwen, Bart Jacobs
      Pages 53-68

    4. Specification and Verification of Atomic Operations in GPGPU Programs

      • Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman
      Pages 69-83

    5. History-Based Verification of Functional Behaviour of Concurrent Programs

      • Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski
      Pages 84-98

    6. Investigating Instrumentation Techniques for ESB Runtime Verification

      • Christian Colombo, Gabriel Dimech, Adrian Francalanza
      Pages 99-107

    7. Towards Domain Refinement for UML/OCL Bounded Verification

      • Robert Clarisó, Carlos A. González, Jordi Cabot
      Pages 108-114

  4. Testing

    1. Front Matter

      Pages 115-115
      Download chapter PDF

    2. Efficient Testing of Different Loop Paths

      • Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf et al.
      Pages 117-131

    3. Model-Based Robustness Testing in Event-B Using Mutation

      • Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet
      Pages 132-147

    4. On the Testability of Properties Patterns

      • Simone Hanazumi, Ana C. V. de Melo
      Pages 148-155

  5. Certification

    1. Front Matter

      Pages 157-157
      Download chapter PDF

    2. Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning

      • Marie-Christine Jakobs
      Pages 159-174

    3. Formal Analysis of Proactive, Distributed Routing

      • Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
      Pages 175-189

    4. Certification of Distributed Algorithms Solving Problems with Optimal Substructure

      • Kim Völlinger, Wolfgang Reisig
      Pages 190-195

  6. Formal Specification and Proof

    1. Front Matter

      Pages 197-197
      Download chapter PDF
Back to top

Other volumes

  1. Software Engineering and Formal Methods

  2. Software Engineering and Formal Methods

Keywords

About this book

This book constitutes the refereed proceedings of the 13th 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.

Editors and Affiliations

  • Department of Computer Science, University of York, York, United Kingdom

    Radu Calinescu

  • Software Engineering, Department of Computer Science, RWTH Aachen University, Aachen, Germany

    Bernhard Rumpe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation