| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | 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 | Fangzhe Chang, Pavithra Prabhakar, Ramesh Viswanathan |
Behavior Based Service Composition. |
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 | Kohei Honda |
Understanding Distributed Services through the π-Calculus. |
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 | Étienne Lozes, Jules Villard |
Reliable Contracts for Unreliable Half-Duplex Communications. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo A. López, Jorge A. Pérez |
Time and Exceptional Behavior in Multiparty Structured Interactions. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Pedro Silva Gallino, Miguel A. de Miguel, Javier Fernández Briones, Alejandro Alonso |
Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Andrea Corradini, Gian Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo |
Applying Process Analysis to the Italian eGovernment Enterprise Architecture. |
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 | José Antonio Mateo, Valentin Valero, Gregorio Díaz |
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Esra Kucukoguz, Jianwen Su |
On Lifecycle Constraints of Artifact-Centric Workflows. |
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 | Sylvain Hallé |
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. |
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 | Richard Hull, Elio Damaggio, Fabiana Fournier, Manmohan Gupta, Fenno Terry Heath, 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 | Dinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn R. Lutz |
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. |
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 | Matthias Weidlich, Felix Elliger, Mathias Weske |
Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, María-Emilia Cambronero, Manuel Núñez |
Passive Testing of Web Services. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Fu |
Conformance Verification of Privacy Policies. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Potapova, Jianwen Su |
On Nondeterministic Workflow Executions. |
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 | Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente |
A Graph Syntax for Processes and Services. |
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 | Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
Sessions and Session Types: An Overview. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Gian Luigi Ferrari |
Choreography Rehearsal. |
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 | 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 | Monica Marcus |
Specification and Verification of Multi-user Data-Driven Web Applications. |
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 | Niels Lohmann, Karsten Wolf |
Realizability Is Controllability. |
WS-FM |
2009 |
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 | 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 | Cátia Vaz, Carla Ferreira |
Towards Compensation Correctness in Interactive Systems. |
WS-FM |
2009 |
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 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 | Mario Bravetti, Gianluigi Zavattaro |
Contract Compliance and Choreography Conformance in the Presence of Message Queues. |
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 | 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 | Mario Bravetti, Gianluigi Zavattaro |
On the Expressive Power of Process Interruption and Compensation. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Dragone |
Validation and Discovery of Non-deterministic Semantic e-Services. |
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 | Gero Decker, Alexander Lüders, Hagen Overdick, Kai Schlichting, Mathias Weske |
RESTful Petri Net Execution. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 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 | Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
Refactoring Long Running Transactions. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan J. Mooij, Marc Voorhoeve |
Proof Techniques for Adapter Generation. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marija Kolundzija |
Security Types for Sessions and Pipelines. |
WS-FM |
2008 |
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 | 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 | Qin Li, Huibiao Zhu, Jing Li, Jifeng He |
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. |
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 | 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 | 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 | Jörg Desel |
Controlling Petri Net Process Models. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro |
From BPEL to SRML: A Formal Transformational Approach. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao |
Towards a Theory of Web Service Choreographies. |
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 | Niels Lohmann |
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Ilaria Matteucci |
Synthesis of Web Services Orchestrators in a Timed Setting. |
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 | Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani |
A Formal Account of Contracts for Web Services. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gero Decker, Johannes Maria Zaha, Marlon Dumas |
Execution Semantics for Service Choreographies. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore |
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentin Valero, Fernando Cuartero |
Analysis and Verification of Time Requirements Applied to the Web Services Composition. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Razvan Popescu |
From BPEL Processes to YAWL Workflows. |
WS-FM |
2006 |
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 | Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro |
SCC: A Service Centered Calculus. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito |
Dynamic Constraint-Based Invocation of Web Services. |
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 | Marco Aiello, 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 | José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi |
A Formal Approach to Service Component Architecture. |
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 |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Verified Reference Implementations of WS-Security Protocols. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto |
Translating Orc Features into Petri Nets and the Join Calculus. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni |
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. |
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 | Stephen T. Gilmore, Mirco Tribastone |
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.) |
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings |
WS-FM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Xiangpeng Zhao, Hongli Yang, Zongyan Qiu |
Towards the Formal Model and Verification of Web Service Choreography Description Language. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")