WS-FMDS 2014 September 2, 2014, France

WorkShop on
Methods in the
Development of

Welcome to WS-FMDS 2014

4th Workshop on Formal Methods
in the Development of Software


Keynote Speaker

Radu Mateescu chairman of the Formal Methods for Industrial Critical Systems (FMICS), Working Group of the European Research Consortium for Informatics and Mathematics (ERCIM). SEFM 2014 Conference Chair.

  • Creative Commons License, by Laurent Espitallier


    September 2nd, 2014, Grenoble, France

  • SEFM 2014

    SEFM 2014

    Co-located with the 12th International Conference on Software Engineering and Formal Methods

    (SEFM 2014)

Final Program

PDF document with the final program of the workshop

Accepted papers for WS-FMDS 2014

Considerations for authors

All accepted papers will be published in a post-workshop proceedings volume, in Springer's Lecture Notes in Computer Science series, provided that at least one of the authors registers to the workshop and presents the acepted paper. Please use the SEFM 2014 registration system.

Hard deadline for pre-proceedings camera-ready versions is July 30. Please strictly follow the call for papers submission rules (submitted papers must conform to the Lecture Notes in Computer Science format and submission guidelines, papers should not exceed 12 pages in length). Use the EasyChair submission page for WS-FMDS 2014 for uploading the pre-proceedings camera-ready versions considering reviews comments.

List of accepted papers

  • Amine Achouri, Yousra Bendaly Hlaoui and Jemni Ben Ayed Leila
    Formulating the B Model Oriented Specification Independent from Its Underlying Logic using Institution Theory
  • Andreas Ibing
    Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution
  • Jose Antonio Mateo, Valentin Valero, Hermenegilda Macia and Gregorio Díaz
    A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF
  • Fabrizio Biondi and Axel Legay
    Quantitative Anonymity Evaluation of Voting Protocols
  • Sean Sedwards, Axel Legay and Louis-Marie Traonouez
    Scalable Verification of Markov Decision Processes
  • Lukasz Mikulski, Artur Niewiadomski, Marcin Piątkowski and Sebastian Smyczyński
    On Generation of Context-Abstract Plans
  • Gabriel Ciobanu and Armand Rotaru
    Phase-Type Approximations for Non-Markovian Systems: A Case Study
  • Sophie Pinchinat, Mathieu Acher and Didier Vojtisek
    Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis