Search dblp for Publications

export results for "toc:db/conf/wsfm/wsfm2008.bht:"

 download as .bib file

@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    = {Tue, 14 May 2019 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    = {Tue, 14 May 2019 10:00:41 +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    = {Fri, 26 May 2017 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.