Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

  • Carlos Canal
  • Akram Idani
Conference proceedings SEFM 2014

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

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

Table of contents

  1. Front Matter
    Pages I-XXVII
  2. HOFM 2014

    1. Front Matter
      Pages 1-1
    2. Bernhard Beckert, Sarah Grebing, Florian Böhl
      Pages 3-19
    3. Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel
      Pages 20-35
    4. Shahrzad Moeiniyan Bagheri, Graeme Smith, Jim Hanan
      Pages 36-53
    5. Akram Idani, Nicolas Stouls
      Pages 54-68
  3. SaFoMe 2014

    1. Front Matter
      Pages 69-69
    2. Jaco Jacobs, Andrew Simpson
      Pages 71-85
    3. Simona Bernardi, Lacramioara Dranca, José Merseguer
      Pages 86-100
    4. Elena Gómez-Martínez, Ricardo J. Rodríguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle
      Pages 101-115
    5. Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
      Pages 116-130
  4. OpenCert 2014

    1. Front Matter
      Pages 145-145
    2. Alejandro Sanchez, Luis S. Barbosa, Alexandre Madeira
      Pages 147-163
    3. Patrick Mukala, Antonio Cerone, Franco Turini
      Pages 164-181
    4. Patrick Mukala, Antonio Cerone, Franco Turini
      Pages 182-198
  5. MoKMaSD 2014

    1. Front Matter
      Pages 199-199
    2. Debora Nozza, Daniele Maccagnola, Vincent Guigue, Enza Messina, Patrick Gallinari
      Pages 201-213
    3. Lorenzo Gabrielli, Barbara Furletti, Fosca Giannotti, Mirco Nanni, Salvatore Rinzivillo
      Pages 214-226
    4. Patrick Mukala, Antonio Cerone, Franco Turini
      Pages 227-242
    5. Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone
      Pages 243-258
    6. Cesar Augusto Nieto Coria, Luca Tesei, Giuseppe Scarcella, Tommaso Russo, Emanuela Merelli
      Pages 259-275
    7. Antonio Cerone, Marco Scotti
      Pages 276-293
    8. Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Dino Pedreschi, Fosca Giannotti
      Pages 294-308
  6. WS-FMDS 2014

    1. Front Matter
      Pages 309-309
    2. Gabriel Ciobanu, Armand Rotaru
      Pages 323-334
    3. Fabrizio Biondi, Axel Legay
      Pages 335-349
    4. Axel Legay, Sean Sedwards, Louis-Marie Traonouez
      Pages 350-362
    5. Sophie Pinchinat, Mathieu Acher, Didier Vojtisek
      Pages 363-375
    6. Łukasz Mikulski, Artur Niewiadomski, Marcin Piątkowski, Sebastian Smyczyński
      Pages 376-388
    7. José Antonio Mateo, Valentín Valero, Hermenegilda Macià, Gregorio Díaz
      Pages 389-404
  7. Back Matter
    Pages 405-405

Other volumes

  1. 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  2. Software Engineering and Formal Methods
    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 revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.


behavioral type theory complex systems formal methods knowledge management logic and verification model checking open source software program constructs programming languages software creation and management software development methods software extra-functional properties software organization and properties software system structures software verification and validation sustainability sustainable development type structures

Editors and affiliations

  • Carlos Canal
    • 1
  • Akram Idani
    • 2
  1. 1.University of MalagaMalagaSpain
  2. 2.LIG LabSaint Martin d'Hères CedexFrance

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-15200-4
  • Online ISBN 978-3-319-15201-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software