default search action

combined dblp search
author search
venue search
publication search

ask others

WS-FM 2010: Hoboken, NJ, USA

> 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/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/2010
Mario Bravetti, Tevfik Bultan:
Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6551, Springer 2011, ISBN 978-3-642-19588-4
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/HullDFGHHLMNSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/HullDFGHHLMNSV10
Richard Hull, Elio Damaggio, Fabiana Fournier, Manmohan Gupta, Fenno F. Terry Heath III, Stacy Hobson, Mark H. Linehan, Sridhar Maradugu, Anil Nigam, Piyawadee Sukaviriya, Roman Vaculín:
Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles. 1-24
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/PolyvyanyyVV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/PolyvyanyyVV10
Artem Polyvyanyy, Jussi Vanhatalo, Hagen Völzer:
Simplified Computation and Generalization of the Refined Process Structure Tree. 25-41
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Halle10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Halle10
Sylvain Hallé:
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. 42-55
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/AndresCN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/AndresCN10
César Andrés, María-Emilia Cambronero, Manuel Núñez:
Passive Testing of Web Services. 56-70
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/KucukoguzS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/KucukoguzS10
Esra Kucukoguz, Jianwen Su:
On Lifecycle Constraints of Artifact-Centric Workflows. 71-85
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Fu10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Fu10
Xiang Fu:
Conformance Verification of Privacy Policies. 86-100
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/WeidlichEW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/WeidlichEW10
Matthias Weidlich, Felix Elliger, Mathias Weske:
Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings. 101-115
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/MooijPSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/MooijPSV10
Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve:
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. 116-130
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/HeeMSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/HeeMSW10
Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Soundness-Preserving Refinements of Service Compositions. 131-145
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/ChristiansenCH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/ChristiansenCH10
David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt:
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. 146-160
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/NadkarniBHL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/NadkarniBHL10
Dinanath Nadkarni, Samik Basu, Vasant G. Honavar, Robyn R. Lutz:
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. 161-175
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/PotapovaS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/PotapovaS10
Alexandra Potapova, Jianwen Su:
On Nondeterministic Workflow Executions. 176-190

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.