© 2013

Software Engineering and Formal Methods

11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

  • Robert M. Hierons
  • Mercedes G. Merayo
  • Mario Bravetti
Conference proceedings SEFM 2013

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

Table of contents

  1. Front Matter
  2. Real-Time Systems

    1. Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson
      Pages 1-15
    2. Nadia Menad, Philippe Dhaussy
      Pages 16-30
    3. Bogdan Aman, Gabriel Ciobanu
      Pages 31-45
  3. Verification 1

    1. Marcel Vinicius Medeiros Oliveira, Ivan Soares De Medeiros Júnior, Jim Woodcock
      Pages 46-60
    2. Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
      Pages 76-90
  4. Verification 2

    1. Manuel Gesell, Andreas Morgenstern, Klaus Schneider
      Pages 91-105
    2. Christian Percebois, Martin Strecker, Hanh Nhi Tran
      Pages 106-121
    3. Gijs Vanspauwen, Bart Jacobs
      Pages 122-136
  5. Types and Inference

    1. Sebastian Krings, Michael Leuschel
      Pages 137-151
    2. Mahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh
      Pages 152-166
    3. Ornela Dardha, Elena Giachino, Michaël Lienhardt
      Pages 167-181
  6. Static Analysis

    1. Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi
      Pages 182-196
    2. Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei
      Pages 197-211
    3. Thi Mai Thuong Tran, Martin Steffen, Hoang Truong
      Pages 212-228
  7. Testing and Runtime Verification

    1. Maximiliano Cristiá, Gianfranco Rossi, Claudia Frydman
      Pages 229-243
    2. Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
      Pages 244-258
    3. Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong
      Pages 259-273
  8. Synthesis and Transformation

    1. Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson
      Pages 274-288

Other volumes

  1. Software Engineering and Formal Methods
    11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
  2. SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

About these proceedings


This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.


model-checking ontology requirements engineering temporal logic verification

Editors and affiliations

  • Robert M. Hierons
    • 1
  • Mercedes G. Merayo
    • 2
  • Mario Bravetti
    • 3
  1. 1.School of Information Systems, Computing and MathematicsBrunel UniversityUxbridgeUK
  2. 2.Departamento de Sistemas Informáticos y ComputaciónUniversidad Complutense de MadridMadridSpain
  3. 3.Dipartimento di Scienze dell’InformazioneUniversità di BolognaBolognaItaly

Bibliographic information