Software Engineering and Formal Methods

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings

  • Dimitra Giannakopoulou
  • Gwen Salaün

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Program Verification

    1. Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
      Pages 5-19
    2. Alberto Lovato, Damiano Macedonio, Fausto Spoto
      Pages 35-49
    3. Ka I Pun, Martin Steffen, Volker Stolz
      Pages 50-64
  4. Testing

    1. Maria Christakis, Peter Müller, Valentin Wüstholz
      Pages 65-80
    2. Sarmen Keshishzadeh, Arjan J. Mooij
      Pages 81-95
    3. Adilson Luiz Bonifacio, Arnaldo Vieira Moura
      Pages 96-110
  5. Component-Based Systems

    1. Paul Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
      Pages 128-143
    2. Domenico Bianculli, Carlo Ghezzi, Srđan Krstić
      Pages 144-158
  6. Real-Time and Embedded Systems

    1. Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
      Pages 175-189
    2. Robert Reicherdt, Sabine Glesner
      Pages 190-204
    3. Klaus Becker, Bernhard Schätz, Michael Armbruster, Christian Buckl
      Pages 205-219
  7. Model Checking and Automata Learning

    1. Ivaylo Dobrikov, Michael Leuschel
      Pages 220-234
    2. Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock
      Pages 235-249
    3. Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
      Pages 250-264
  8. Tool Papers

Other volumes

  1. Software Engineering and Formal Methods
    12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  2. SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

About these proceedings


This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.
The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.


adaptive systems automata learning automated static analysis component-based systems dynamic analysis embedded systems formal methods model checking multi-agent systems ontology program correctness real-time systems requirements engineering software engineering software testing and debugging software verification software verification and validation temporal logic theorem proving verification

Editors and affiliations

  • Dimitra Giannakopoulou
    • 1
  • Gwen Salaün
    • 2
  1. 1.NASA Ames Research CenterUSA
  2. 2.Inria Grenoble-Rhône-AlpesMontbonnot Saint-MartinFrance

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-10430-0
  • Online ISBN 978-3-319-10431-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Chemical Manufacturing
Energy, Utilities & Environment