default search action
Search dblp for Publications
export results for "toc:db/conf/wsfm/wsfm2008.bht:"
@proceedings{DBLP:conf/wsfm/2008, editor = {Roberto Bruni and Karsten Wolf}, title = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01364-5}, doi = {10.1007/978-3-642-01364-5}, isbn = {978-3-642-01363-8}, timestamp = {Thu, 26 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/BarkaouiBH08, author = {Kamel Barkaoui and Hanifa Boucheneb and Awatef Hicheur}, editor = {Roberto Bruni and Karsten Wolf}, title = {Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {19--36}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_2}, doi = {10.1007/978-3-642-01364-5\_2}, timestamp = {Thu, 26 Sep 2024 16:29:51 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/BarkaouiBH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/BravettiZ08, author = {Mario Bravetti and Gianluigi Zavattaro}, editor = {Roberto Bruni and Karsten Wolf}, title = {On the Expressive Power of Process Interruption and Compensation}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {1--18}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_1}, doi = {10.1007/978-3-642-01364-5\_1}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/BravettiZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/BravettiZ08a, author = {Mario Bravetti and Gianluigi Zavattaro}, editor = {Roberto Bruni and Karsten Wolf}, title = {Contract Compliance and Choreography Conformance in the Presence of Message Queues}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {37--54}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_3}, doi = {10.1007/978-3-642-01364-5\_3}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/BravettiZ08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/ChesaniMMT08, author = {Federico Chesani and Paola Mello and Marco Montali and Paolo Torroni}, editor = {Roberto Bruni and Karsten Wolf}, title = {Verification of Choreographies During Execution Using the Reactive Event Calculus}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {55--72}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_4}, doi = {10.1007/978-3-642-01364-5\_4}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/ChesaniMMT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/DeckerLOSW08, author = {Gero Decker and Alexander L{\"{u}}ders and Hagen Overdick and Kai Schlichting and Mathias Weske}, editor = {Roberto Bruni and Karsten Wolf}, title = {RESTful Petri Net Execution}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {73--87}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_5}, doi = {10.1007/978-3-642-01364-5\_5}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/DeckerLOSW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/Dragone08, author = {Luigi Dragone}, editor = {Roberto Bruni and Karsten Wolf}, title = {Validation and Discovery of Non-deterministic Semantic e-Services}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {88--106}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_6}, doi = {10.1007/978-3-642-01364-5\_6}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/Dragone08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/EisentrautS08, author = {Christian Eisentraut and David Spieler}, editor = {Roberto Bruni and Karsten Wolf}, title = {Fault, Compensation and Termination in {WS-BPEL} 2.0 - {A} Comparative Analysis}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {107--126}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_7}, doi = {10.1007/978-3-642-01364-5\_7}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/EisentrautS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/FernandoS08, author = {Sarah D. Induruwa Fernando and Andrew C. Simpson}, editor = {Roberto Bruni and Karsten Wolf}, title = {Towards a Formal Framework for Workflow Interoperability}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {158--174}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_10}, doi = {10.1007/978-3-642-01364-5\_10}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/FernandoS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/FerrariGST08, author = {Gian{-}Luigi Ferrari and Roberto Guanciale and Daniele Strollo and Emilio Tuosto}, editor = {Roberto Bruni and Karsten Wolf}, title = {Refactoring Long Running Transactions}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {127--142}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_8}, doi = {10.1007/978-3-642-01364-5\_8}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/FerrariGST08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/FrantzenHKW08, author = {Lars Frantzen and Maria de las Nieves Huerta and Zsolt Gere Kiss and Thomas Wallet}, editor = {Roberto Bruni and Karsten Wolf}, title = {On-The-Fly Model-Based Testing of Web Services with Jambition}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {143--157}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_9}, doi = {10.1007/978-3-642-01364-5\_9}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wsfm/FrantzenHKW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/Kolundzija08, author = {Marija Kolundzija}, editor = {Roberto Bruni and Karsten Wolf}, title = {Security Types for Sessions and Pipelines}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {175--190}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_11}, doi = {10.1007/978-3-642-01364-5\_11}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/Kolundzija08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/Lohmann08, author = {Niels Lohmann}, editor = {Roberto Bruni and Karsten Wolf}, title = {Why Does My Service Have No Partners?}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {191--206}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_12}, doi = {10.1007/978-3-642-01364-5\_12}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/Lohmann08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/MooijV08, author = {Arjan J. Mooij and Marc Voorhoeve}, editor = {Roberto Bruni and Karsten Wolf}, title = {Proof Techniques for Adapter Generation}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {207--223}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_13}, doi = {10.1007/978-3-642-01364-5\_13}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/MooijV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/Weinberg08, author = {Daniela Weinberg}, editor = {Roberto Bruni and Karsten Wolf}, title = {Efficient Controllability Analysis of Open Nets}, booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM} 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5387}, pages = {224--239}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01364-5\_14}, doi = {10.1007/978-3-642-01364-5\_14}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/Weinberg08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.