| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas T. Hildebrandt, António Ravara, Jan Martijn E. M. van der Werf, Matthias Weidlich 0001 (eds.) |
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  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Montali, Andrey Rivkin |
Formal Verification of Petri Nets with Names. |
WS-FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Roberto Zunino |
On the Decidability of Honesty and of Its Variants. |
WS-FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleni Kokkinofta, Anna Philippou |
Type Checking Purpose-Based Privacy Policies in the π-Calculus. |
WS-FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Di Giusto, Jorge A. Pérez 0001 |
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. |
WS-FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Montesi |
Kickstarting Choreographic Programming. |
WS-FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene |
Modeling and Formal Analysis of a Client-Server Application for Cloud Services. |
WS-FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Hüffmeyer, Ulf Schreier |
Designing Efficient XACML Policies for RESTful Services. |
WS-FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Tuosto, Chun Ouyang 0001 (eds.) |
Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers |
WS-FM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Xian Xu 0001, Qiang Yin 0002, Huan Long |
On the Expressiveness of Parameterization in Process-Passing. |
WS-FM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti |
Formalizing RESTful Services and Web-OS Middleware. |
WS-FM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianwen Su, Yutian Sun |
Choreography Revisited. |
WS-FM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wusheng Wang, Thomas T. Hildebrandt |
Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems. |
WS-FM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Weicheng Huang |
The Development of Cloud Computing in Pacific Rim. |
WS-FM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Kunze 0001, Mathias Weske |
Visualization of Successor Relations in Business Process Models. |
WS-FM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Niels Lohmann (eds.) |
Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers |
WS-FM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi 0001 |
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -. |
WS-FM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Michaux, Elie Najm, Alessandro Fantechi |
Safe Session-Based Service Orchestration with Unreliable Communication. |
WS-FM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hengbiao Yu, Zhenbang Chen, Ji Wang 0001 |
An Operational Semantics for Model Checking Long Running Transactions. |
WS-FM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Hernán C. Melgratti |
On the Behaviour of General-Purpose Applications on Cloud Storages. |
WS-FM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Tuosto |
Contract-Oriented Services. |
WS-FM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Jean-Marc Petit (eds.) |
Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers |
WS-FM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Müller 0001, Wil M. P. van der Aalst, Christian Stahl |
Conformance Checking of Services Using the Best Matching Private View. |
WS-FM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Wu 0005, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu |
Formal Modeling and Analysis of the REST Architecture Using CSP. |
WS-FM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Sürmeli |
Service Discovery with Cost Thresholds. |
WS-FM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Oliveira 0001, Luís Soares Barbosa |
Reconfiguration Mechanisms for Service Coordination. |
WS-FM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Francesco Santini 0001 |
Preference and Similarity-Based Behavioral Discovery of Services. |
WS-FM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Demarty, Fabien Maronnaud, Gabriel Le Breton, Sylvain Hallé |
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications. |
WS-FM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lhouari Nourine, Farouk Toumani |
Formal Approaches for Synthesis of Web Service Business Protocols. |
WS-FM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne Lozes, Jules Villard |
Reliable Contracts for Unreliable Half-Duplex Communications. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Pedro Silva Gallino, Miguel A. de Miguel, Javier Fernández Briones, Alejandro Alonso 0001 |
Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Masson, Loïc Hélouët, Albert Benveniste |
Compatibility of Data-Centric Web Services. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Antonio Mateo, Valentín Valero, Gregorio Díaz 0001 |
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya |
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda 0001 |
Understanding Distributed Services through the π-Calculus. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo A. López 0001, Jorge A. Pérez 0001 |
Time and Exceptional Behavior in Multiparty Structured Interactions. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
Design of a BPEL Verification Tool. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo |
Applying Process Analysis to the Italian eGovernment Enterprise Architecture. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Tevfik Bultan (eds.) |
Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhe Chang, Pavithra Prabhakar, Ramesh Viswanathan |
Behavior Based Service Composition. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Hull 0001, 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. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Esra Kucukoguz, Jianwen Su |
On Lifecycle Constraints of Artifact-Centric Workflows. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé |
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dinanath Nadkarni, Samik Basu 0001, Vasant G. Honavar, Robyn R. Lutz |
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Weidlich 0001, Felix Elliger, Mathias Weske |
Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosimo Laneve, Jianwen Su (eds.) |
Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt |
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve |
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Potapova, Jianwen Su |
On Nondeterministic Workflow Executions. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Fu 0001 |
Conformance Verification of Privacy Policies. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, María-Emilia Cambronero, Manuel Núñez 0001 |
Passive Testing of Web Services. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf |
Soundness-Preserving Refinements of Service Compositions. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Artem Polyvyanyy, Jussi Vanhatalo, Hagen Völzer |
Simplified Computation and Generalization of the Refined Process Structure Tree. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi |
Compliance Preorders for Web Services. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Lohmann, Karsten Wolf |
Realizability Is Controllability. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente |
A Graph Syntax for Processes and Services. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Dragoni, Manuel Mazzara |
A Formal Semantics for the WS-BPEL Recovery Framework - The pi-Calculus Way. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Karsten Wolf (eds.) |
Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippa Gardner, Mark J. Wheelhouse |
Small Specifications for Tree Update. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica Marcus |
Specification and Verification of Multi-user Data-Driven Web Applications. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
Sessions and Session Types: An Overview. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Fabio Patrizi |
Automated Composition of Nondeterministic Stateful Services. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cátia Vaz, Carla Ferreira 0001 |
Towards Compensation Correctness in Interactive Systems. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore |
A Formalisation of Adaptable Pervasive Flows. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Gian-Luigi Ferrari 0002 |
Choreography Rehearsal. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Eisentraut, David Spieler |
Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Weinberg |
Efficient Controllability Analysis of Open Nets. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
Petri nets, Business process analysis, Process verification and validation, Formal models in business process management |
| 1 | Luigi Dragone |
Validation and Discovery of Non-deterministic Semantic e-Services. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Gianluigi Zavattaro |
On the Expressive Power of Process Interruption and Compensation. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
Refactoring Long Running Transactions. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marlon Dumas, Reiko Heckel (eds.) |
Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah D. Induruwa Fernando, Andrew C. Simpson |
Towards a Formal Framework for Workflow Interoperability. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marija Kolundzija |
Security Types for Sessions and Pipelines. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Lohmann |
Why Does My Service Have No Partners?. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
partner synthesis, verification, Controllability, diagnosis |
| 1 | Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet |
On-The-Fly Model-Based Testing of Web Services with Jambition. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Gianluigi Zavattaro |
Contract Compliance and Choreography Conformance in the Presence of Message Queues. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gero Decker, Alexander Lüders, Hagen Overdick, Kai Schlichting, Mathias Weske |
RESTful Petri Net Execution. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni |
Verification of Choreographies During Execution Using the Reactive Event Calculus. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur |
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
Recursive Petri nets, Time-constrained Flexible workflows, Time Petri nets, Rewriting logic |
| 1 | Arjan J. Mooij, Marc Voorhoeve |
Proof Techniques for Adapter Generation. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Lohmann |
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig |
Analyzing BPEL4Chor: Verification and Participant Synthesis. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
BPEL4Chor, participant generation, service-oriented analysis and design, Petri nets, choreography |
| 1 | Fabio Martinelli, Ilaria Matteucci |
Synthesis of Web Services Orchestrators in a Timed Setting. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianwen Su, Tevfik Bultan, Xiang Fu 0001, Xiangpeng Zhao |
Towards a Theory of Web Service Choreographies. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Qin Li 0002, Huibiao Zhu, Jing Li 0062, Jifeng He 0001 |
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Yi Hong 0005, Antónia Lopes, José Luiz Fiadeiro |
From BPEL to SRML: A Formal Transformational Approach. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
Controlling Petri Net Process Models. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour |
Extending Model Checking to Data-Aware Temporal Properties of Web Services. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard |
Event Structure Semantics of Orc. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani |
Modeling Web Service Interactions Using the Coordination Language Reo. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
Web Services, WS-BPEL, Compositional Semantics, Reo, Constraint Automata |
| 1 | Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf |
From Public Views to Private Views - Correctness-by-Design for Services. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Il-Gon Kim, Debmalya Biswas |
Application of Model Checking to AXML System's Security: A Case Study. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Mazzara, Ivan Lanese |
Towards a Unifying Theory for Web Services Composition. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Maja Pesic |
DecSerFlow: Towards a Truly Declarative Service Flow Language. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
Service flows, web services, temporal logic, workflow management, flexibility |
| 1 | Marco Aiello 0001, Florian Rosenberg, Christian Platzer, Agata Ciabattoni, Schahram Dustdar |
Service QoS Composition at the Level of Part Names. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
Quality of Service, Web Services, Service Composition, Service-Oriented Computing |
| 1 | Antonio Brogi, Razvan Popescu |
From BPEL Processes to YAWL Workflows. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rebhi Baraka, Wolfgang Schreiner |
Semantic Querying of Mathematical Web Service Descriptions. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license