• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 126 matches

• 2016
• 
  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 [contents]
• 2015
• 
  Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene:
  Modeling and Formal Analysis of a Client-Server Application for Cloud Services. WS-FM 2015: 51-66
• 
  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: 13-28
• 
  Massimo Bartoletti, Roberto Zunino:
  On the Decidability of Honesty and of Its Variants. WS-FM 2015: 143-166
• 
  Cinzia Di Giusto, Jorge A. Pérez:
  An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. WS-FM 2015: 67-85
• 
  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: 103-121
• 
  Marc Hüffmeyer, Ulf Schreier:
  Designing Efficient XACML Policies for RESTful Services. WS-FM 2015: 86-100
• 
  Eleni Kokkinofta, Anna Philippou:
  Type Checking Purpose-Based Privacy Policies in the π-Calculus. WS-FM 2015: 122-142
• 
  Marco Montali, Andrey Rivkin:
  Formal Verification of Petri Nets with Names. WS-FM 2015: 29-47
• 
  Fabrizio Montesi:
  Kickstarting Choreographic Programming. WS-FM 2015: 3-10
• 2014
• 
  Emilio Tuosto, Chun Ouyang:
  Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Lecture Notes in Computer Science 8379, Springer 2014, ISBN 978-3-319-08259-2 [contents]
• 2013
• 
  Laura Bocchi, Hernán C. Melgratti:
  On the Behaviour of General-Purpose Applications on Cloud Storages. WS-FM 2013: 29-47
• 
  Mario Bravetti:
  Formalizing RESTful Services and Web-OS Middleware. WS-FM 2013: 48-68
• 
  Weicheng Huang:
  The Development of Cloud Computing in Pacific Rim. WS-FM 2013: 3-12
• 
  Matthias Kunze, Mathias Weske:
  Visualization of Successor Relations in Business Process Models. WS-FM 2013: 69-84
• 
  Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
  Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -. WS-FM 2013: 85-105
• 
  Jonathan Michaux, Elie Najm, Alessandro Fantechi:
  Safe Session-Based Service Orchestration with Unreliable Communication. WS-FM 2013: 106-126
• 
  Jianwen Su, Yutian Sun:
  Choreography Revisited. WS-FM 2013: 13-25
• 
  Wusheng Wang, Thomas T. Hildebrandt:
  Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems. WS-FM 2013: 127-146
• 
  Xian Xu, Qiang Yin, Huan Long:
  On the Expressiveness of Parameterization in Process-Passing. WS-FM 2013: 147-167
• 
  Hengbiao Yu, Zhenbang Chen, Ji Wang:
  An Operational Semantics for Model Checking Long Running Transactions. WS-FM 2013: 168-187
• 
  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 [contents]
• 2012
• 
  Farhad Arbab, Francesco Santini:
  Preference and Similarity-Based Behavioral Discovery of Services. WS-FM 2012: 118-133
• 
  Abel Armas-Cervantes, Luciano García-Bañuelos, Marlon Dumas:
  Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes. WS-FM 2012: 69-86
• 
  Guillaume Demarty, Fabien Maronnaud, Gabriel Le Breton, Sylvain Hallé:
  SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications. WS-FM 2012: 103-117
• 
  Richard Müller, Wil M. P. van der Aalst, Christian Stahl:
  Conformance Checking of Services Using the Best Matching Private View. WS-FM 2012: 49-68
• 
  Lhouari Nourine, Farouk Toumani:
  Formal Approaches for Synthesis of Web Service Business Protocols. WS-FM 2012: 1-15
• 
  Nuno Oliveira, Luís Soares Barbosa:
  Reconfiguration Mechanisms for Service Coordination. WS-FM 2012: 134-149
• 
  Jan Sürmeli:
  Service Discovery with Cost Thresholds. WS-FM 2012: 30-48
• 
  Emilio Tuosto:
  Contract-Oriented Services. WS-FM 2012: 16-29

skipping 96 more matches