default search action

combined dblp search
author search
venue search
publication search

ask others

WS-FM 2014 / 2015: Eindhoven, The Netherlands / Madrid, Spain

> 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/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/2015
Thomas T. Hildebrandt, António Ravara, Jan Martijn E. M. van der Werf, Matthias Weidlich:
Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9421, Springer 2016, ISBN 978-3-319-33611-4

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Montesi15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Montesi15
Fabrizio Montesi:
Kickstarting Choreographic Programming. 3-10

Expressiveness of Behavioral Models

- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Armas-Cervantes15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Armas-Cervantes15
Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos, Artem Polyvyanyy:
On the Suitability of Generalized Behavioral Profiles for Process Model Comparison. 13-28
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/MontaliR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/MontaliR15
Marco Montali, Andrey Rivkin:
Formal Verification of Petri Nets with Names. 29-47

Service-Oriented Systems

- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/ArcainiHR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/ArcainiHR15
Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene:
Modeling and Formal Analysis of a Client-Server Application for Cloud Services. 51-66
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/GiustoP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/GiustoP15
Cinzia Di Giusto, Jorge A. Pérez:
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. 67-85
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/HuffmeyerS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/HuffmeyerS15
Marc Hüffmeyer, Ulf Schreier:
Designing Efficient XACML Policies for RESTful Services. 86-100

Behavioral Types

- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/GraversenHHBPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/GraversenHHBPW15
Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen, Sebastian A. Wahl:
Type Inference for Session Types in the π-calculus. 103-121
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/KokkinoftaP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/KokkinoftaP15
Eleni Kokkinofta, Anna Philippou:
Type Checking Purpose-Based Privacy Policies in the π-Calculus. 122-142
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BartolettiZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BartolettiZ15
Massimo Bartoletti, Roberto Zunino:
On the Decidability of Honesty and of Its Variants. 143-166

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.