WS-FM

Keyphrases

Publications

volume 9421, 2016

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 WS-FM 9421 (2016)

2015

Massimo Bartoletti, Roberto Zunino
On the Decidability of Honesty and of Its Variants. WS-FM (2015)
Marc Hüffmeyer, Ulf Schreier
Designing Efficient XACML Policies for RESTful Services. WS-FM (2015)
Marco Montali, Andrey Rivkin
Formal Verification of Petri Nets with Names. WS-FM (2015)
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. WS-FM (2015)
Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos, Artem Polyvyanyy
On the Suitability of Generalized Behavioral Profiles for Process Model Comparison. WS-FM (2015)
Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene
Modeling and Formal Analysis of a Client-Server Application for Cloud Services. WS-FM (2015)
Fabrizio Montesi
Kickstarting Choreographic Programming. WS-FM (2015)
Eleni Kokkinofta, Anna Philippou
Type Checking Purpose-Based Privacy Policies in the π-Calculus. WS-FM (2015)
Cinzia Di Giusto, Jorge A. Pérez
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. WS-FM (2015)

volume 8379, 2014

Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers WS-FM 8379 (2014)

2013

volume 7843, 2013

Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers WS-FM 7843 (2013)

2012

volume 7176, 2012

Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers WS-FM 7176 (2012)

2011

volume 6551, 2011

Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers WS-FM 6551 (2011)

2010

volume 6194, 2010

Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers WS-FM 6194 (2010)