default search action

combined dblp search
author search
venue search
publication search

ask others

WS-FM 2012: Tallinn, Estonia

> Home > Conferences and Workshops > WS-FM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/2012
Maurice H. ter Beek, Niels Lohmann:
Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7843, Springer 2013, ISBN 978-3-642-38229-1

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/NourineT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/NourineT12
Lhouari Nourine, Farouk Toumani:
Formal Approaches for Synthesis of Web Service Business Protocols. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Tuosto12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Tuosto12
Emilio Tuosto:
Contract-Oriented Services. 16-29

Web Service Modeling and Analysis with Petri Nets and CSP

- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Surmeli12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Surmeli12
Jan Sürmeli:
Service Discovery with Cost Thresholds. 30-48
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/MullerAS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/MullerAS12
Richard Müller, Wil M. P. van der Aalst, Christian Stahl:
Conformance Checking of Services Using the Best Matching Private View. 49-68
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Armas-CervantesGD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Armas-CervantesGD12
Abel Armas-Cervantes, Luciano García-Bañuelos, Marlon Dumas:
Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes. 69-86
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/WuZZZSL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/WuZZZSL12
Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu:
Formal Modeling and Analysis of the REST Architecture Using CSP. 87-102

Formal Methods Applied to Service Discovery and Coordination

- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/DemartyMBH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/DemartyMBH12
Guillaume Demarty, Fabien Maronnaud, Gabriel Le Breton, Sylvain Hallé:
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications. 103-117
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/ArbabS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/ArbabS12
Farhad Arbab, Francesco Santini:
Preference and Similarity-Based Behavioral Discovery of Services. 118-133
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/OliveiraB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/OliveiraB12
Nuno Oliveira, Luís Soares Barbosa:
Reconfiguration Mechanisms for Service Coordination. 134-149

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.