Software Engineering and Formal Methods

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

  • Dimitra Giannakopoulou
  • Gwen Salaün
Conference proceedings SEFM 2014

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

    1. Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet
      Pages 271-277
    2. Štefan Korečko, Ján Sorád, Zuzana Dudláková, Branislav Sobota
      Pages 278-283
    3. Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
      Pages 284-289
    4. Fama Diagne, Amel Mammar, Marc Frappier
      Pages 290-295
    5. David Hauzar, Jan Kofroň
      Pages 296-301
  9. Program Correctness

    1. Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf et al.
      Pages 302-316
    2. Catherine Dubois, Renaud Rioboo
      Pages 317-331
    3. Tadeusz Sznuk, Aleksy Schubert
      Pages 332-346
  10. Adaptive and Multi-Agent Systems

    1. Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
      Pages 347-362
    2. Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem
      Pages 363-377
    3. Raúl Pardo, Gerardo Schneider
      Pages 378-392
  11. Back Matter

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 Computer Science (R0)
  • Print ISBN 978-3-319-10430-0
  • Online ISBN 978-3-319-10431-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment