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
