Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/wsfm:"
download as .bib file
@proceedings{DBLP:conf/wsfm/2015,
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {9421},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33612-1},
doi = {10.1007/978-3-319-33612-1},
isbn = {978-3-319-33611-4},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/ArcainiHR15,
author = {Paolo Arcaini and
Roxana{-}Maria Holom and
Elvinia Riccobene},
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {Modeling and Formal Analysis of a Client-Server Application for Cloud
Services},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9421},
pages = {51--66},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33612-1\_4},
doi = {10.1007/978-3-319-33612-1\_4},
timestamp = {Fri, 26 May 2023 07:40:34 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/ArcainiHR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Armas-Cervantes15,
author = {Abel Armas{-}Cervantes and
Marlon Dumas and
Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos and
Artem Polyvyanyy},
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {On the Suitability of Generalized Behavioral Profiles for Process
Model Comparison},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9421},
pages = {13--28},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33612-1\_2},
doi = {10.1007/978-3-319-33612-1\_2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/Armas-Cervantes15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BartolettiZ15,
author = {Massimo Bartoletti and
Roberto Zunino},
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {On the Decidability of Honesty and of Its Variants},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9421},
pages = {143--166},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33612-1\_9},
doi = {10.1007/978-3-319-33612-1\_9},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BartolettiZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/GiustoP15,
author = {Cinzia Di Giusto and
Jorge A. P{\'{e}}rez},
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {An Event-Based Approach to Runtime Adaptation in Communication-Centric
Systems},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9421},
pages = {67--85},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33612-1\_5},
doi = {10.1007/978-3-319-33612-1\_5},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/GiustoP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/GraversenHHBPW15,
author = {Eva Fajstrup Graversen and
Jacob Buchreitz Harbo and
Hans H{\"{u}}ttel and
Mathias Ormstrup Bjerregaard and
Niels Sonnich Poulsen and
Sebastian A. Wahl},
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {Type Inference for Session Types in the {\(\pi\)}-calculus},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9421},
pages = {103--121},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33612-1\_7},
doi = {10.1007/978-3-319-33612-1\_7},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/GraversenHHBPW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/HuffmeyerS15,
author = {Marc H{\"{u}}ffmeyer and
Ulf Schreier},
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {Designing Efficient {XACML} Policies for RESTful Services},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9421},
pages = {86--100},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33612-1\_6},
doi = {10.1007/978-3-319-33612-1\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/HuffmeyerS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/KokkinoftaP15,
author = {Eleni Kokkinofta and
Anna Philippou},
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {Type Checking Purpose-Based Privacy Policies in the {\(\pi\)}-Calculus},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9421},
pages = {122--142},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33612-1\_8},
doi = {10.1007/978-3-319-33612-1\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/KokkinoftaP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MontaliR15,
author = {Marco Montali and
Andrey Rivkin},
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {Formal Verification of Petri Nets with Names},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9421},
pages = {29--47},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33612-1\_3},
doi = {10.1007/978-3-319-33612-1\_3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/MontaliR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Montesi15,
author = {Fabrizio Montesi},
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {Kickstarting Choreographic Programming},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9421},
pages = {3--10},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33612-1\_1},
doi = {10.1007/978-3-319-33612-1\_1},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Montesi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2013,
editor = {Emilio Tuosto and
Chun Ouyang},
title = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08260-8},
doi = {10.1007/978-3-319-08260-8},
isbn = {978-3-319-08259-2},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BocchiM13,
author = {Laura Bocchi and
Hern{\'{a}}n C. Melgratti},
editor = {Emilio Tuosto and
Chun Ouyang},
title = {On the Behaviour of General-Purpose Applications on Cloud Storages},
booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
pages = {29--47},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08260-8\_3},
doi = {10.1007/978-3-319-08260-8\_3},
timestamp = {Wed, 17 Mar 2021 14:09:58 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/BocchiM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Bravetti13,
author = {Mario Bravetti},
editor = {Emilio Tuosto and
Chun Ouyang},
title = {Formalizing RESTful Services and Web-OS Middleware},
booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
pages = {48--68},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08260-8\_4},
doi = {10.1007/978-3-319-08260-8\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Bravetti13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Huang13,
author = {Weicheng Huang},
editor = {Emilio Tuosto and
Chun Ouyang},
title = {The Development of Cloud Computing in Pacific Rim},
booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
pages = {3--12},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08260-8\_1},
doi = {10.1007/978-3-319-08260-8\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Huang13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/KunzeW13,
author = {Matthias Kunze and
Mathias Weske},
editor = {Emilio Tuosto and
Chun Ouyang},
title = {Visualization of Successor Relations in Business Process Models},
booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
pages = {69--84},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08260-8\_5},
doi = {10.1007/978-3-319-08260-8\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/KunzeW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MargheriMPT13,
author = {Andrea Margheri and
Massimiliano Masi and
Rosario Pugliese and
Francesco Tiezzi},
editor = {Emilio Tuosto and
Chun Ouyang},
title = {Developing and Enforcing Policies for Access Control, Resource Usage,
and Adaptation - - {A} Practical Approach -},
booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
pages = {85--105},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08260-8\_6},
doi = {10.1007/978-3-319-08260-8\_6},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/MargheriMPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MichauxNF13,
author = {Jonathan Michaux and
Elie Najm and
Alessandro Fantechi},
editor = {Emilio Tuosto and
Chun Ouyang},
title = {Safe Session-Based Service Orchestration with Unreliable Communication},
booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
pages = {106--126},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08260-8\_7},
doi = {10.1007/978-3-319-08260-8\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/MichauxNF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/SuS13,
author = {Jianwen Su and
Yutian Sun},
editor = {Emilio Tuosto and
Chun Ouyang},
title = {Choreography Revisited},
booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
pages = {13--25},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08260-8\_2},
doi = {10.1007/978-3-319-08260-8\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/SuS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/WangH13,
author = {Wusheng Wang and
Thomas T. Hildebrandt},
editor = {Emilio Tuosto and
Chun Ouyang},
title = {Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive
Systems},
booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
pages = {127--146},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08260-8\_8},
doi = {10.1007/978-3-319-08260-8\_8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/WangH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/XuYL13,
author = {Xian Xu and
Qiang Yin and
Huan Long},
editor = {Emilio Tuosto and
Chun Ouyang},
title = {On the Expressiveness of Parameterization in Process-Passing},
booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
pages = {147--167},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08260-8\_9},
doi = {10.1007/978-3-319-08260-8\_9},
timestamp = {Mon, 23 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/XuYL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/YuCW13,
author = {Hengbiao Yu and
Zhenbang Chen and
Ji Wang},
editor = {Emilio Tuosto and
Chun Ouyang},
title = {An Operational Semantics for Model Checking Long Running Transactions},
booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
pages = {168--187},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08260-8\_10},
doi = {10.1007/978-3-319-08260-8\_10},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/YuCW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2012,
editor = {Maurice H. ter Beek and
Niels Lohmann},
title = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7843},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38230-7},
doi = {10.1007/978-3-642-38230-7},
isbn = {978-3-642-38229-1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/ArbabS12,
author = {Farhad Arbab and
Francesco Santini},
editor = {Maurice H. ter Beek and
Niels Lohmann},
title = {Preference and Similarity-Based Behavioral Discovery of Services},
booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7843},
pages = {118--133},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38230-7\_8},
doi = {10.1007/978-3-642-38230-7\_8},
timestamp = {Sat, 30 Sep 2023 09:59:28 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/ArbabS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Armas-CervantesGD12,
author = {Abel Armas{-}Cervantes and
Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos and
Marlon Dumas},
editor = {Maurice H. ter Beek and
Niels Lohmann},
title = {Event Structures as a Foundation for Process Model Differencing, Part
1: Acyclic processes},
booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7843},
pages = {69--86},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38230-7\_5},
doi = {10.1007/978-3-642-38230-7\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Armas-CervantesGD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/DemartyMBH12,
author = {Guillaume Demarty and
Fabien Maronnaud and
Gabriel Le Breton and
Sylvain Hall{\'{e}}},
editor = {Maurice H. ter Beek and
Niels Lohmann},
title = {SiteHopper: Abstracting Navigation State Machines for the Efficient
Verification of Web Applications},
booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7843},
pages = {103--117},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38230-7\_7},
doi = {10.1007/978-3-642-38230-7\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/DemartyMBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MullerAS12,
author = {Richard M{\"{u}}ller and
Wil M. P. van der Aalst and
Christian Stahl},
editor = {Maurice H. ter Beek and
Niels Lohmann},
title = {Conformance Checking of Services Using the Best Matching Private View},
booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7843},
pages = {49--68},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38230-7\_4},
doi = {10.1007/978-3-642-38230-7\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/MullerAS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/NourineT12,
author = {Lhouari Nourine and
Farouk Toumani},
editor = {Maurice H. ter Beek and
Niels Lohmann},
title = {Formal Approaches for Synthesis of Web Service Business Protocols},
booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7843},
pages = {1--15},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38230-7\_1},
doi = {10.1007/978-3-642-38230-7\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/NourineT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/OliveiraB12,
author = {Nuno Oliveira and
Lu{\'{\i}}s Soares Barbosa},
editor = {Maurice H. ter Beek and
Niels Lohmann},
title = {Reconfiguration Mechanisms for Service Coordination},
booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7843},
pages = {134--149},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38230-7\_9},
doi = {10.1007/978-3-642-38230-7\_9},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/OliveiraB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Surmeli12,
author = {Jan S{\"{u}}rmeli},
editor = {Maurice H. ter Beek and
Niels Lohmann},
title = {Service Discovery with Cost Thresholds},
booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7843},
pages = {30--48},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38230-7\_3},
doi = {10.1007/978-3-642-38230-7\_3},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Surmeli12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Tuosto12,
author = {Emilio Tuosto},
editor = {Maurice H. ter Beek and
Niels Lohmann},
title = {Contract-Oriented Services},
booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7843},
pages = {16--29},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38230-7\_2},
doi = {10.1007/978-3-642-38230-7\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Tuosto12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/WuZZZSL12,
author = {Xi Wu and
Yue Zhang and
Huibiao Zhu and
Yongxin Zhao and
Zailiang Sun and
Peng Liu},
editor = {Maurice H. ter Beek and
Niels Lohmann},
title = {Formal Modeling and Analysis of the {REST} Architecture Using {CSP}},
booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7843},
pages = {87--102},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38230-7\_6},
doi = {10.1007/978-3-642-38230-7\_6},
timestamp = {Mon, 06 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/WuZZZSL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2011,
editor = {Marco Carbone and
Jean{-}Marc Petit},
title = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7176},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29834-9},
doi = {10.1007/978-3-642-29834-9},
isbn = {978-3-642-29833-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BruniCFFGS11,
author = {Roberto Bruni and
Andrea Corradini and
Gian{-}Luigi Ferrari and
Tito Flagella and
Roberto Guanciale and
Giorgio Spagnolo},
editor = {Marco Carbone and
Jean{-}Marc Petit},
title = {Applying Process Analysis to the Italian eGovernment Enterprise Architecture},
booktitle = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7176},
pages = {111--127},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29834-9\_9},
doi = {10.1007/978-3-642-29834-9\_9},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BruniCFFGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/ChangPV11,
author = {Fangzhe Chang and
Pavithra Prabhakar and
Ramesh Viswanathan},
editor = {Marco Carbone and
Jean{-}Marc Petit},
title = {Behavior Based Service Composition},
booktitle = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7176},
pages = {17--31},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29834-9\_3},
doi = {10.1007/978-3-642-29834-9\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/ChangPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/FaresBF11,
author = {Elie Fares and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Marco Carbone and
Jean{-}Marc Petit},
title = {Design of a {BPEL} Verification Tool},
booktitle = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7176},
pages = {95--110},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29834-9\_8},
doi = {10.1007/978-3-642-29834-9\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/FaresBF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/GallinoMBA11,
author = {Juan Pedro Silva Gallino and
Miguel A. de Miguel and
Javier Fern{\'{a}}ndez Briones and
Alejandro Alonso},
editor = {Marco Carbone and
Jean{-}Marc Petit},
title = {Domain-Specific Multi-modeling of Security Concerns in Service-Oriented
Architectures},
booktitle = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7176},
pages = {128--142},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29834-9\_10},
doi = {10.1007/978-3-642-29834-9\_10},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/GallinoMBA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Honda11,
author = {Kohei Honda},
editor = {Marco Carbone and
Jean{-}Marc Petit},
title = {Understanding Distributed Services through the {\(\pi\)}-Calculus},
booktitle = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7176},
pages = {1},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29834-9\_1},
doi = {10.1007/978-3-642-29834-9\_1},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/Honda11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/LopezP11,
author = {Hugo A. L{\'{o}}pez and
Jorge A. P{\'{e}}rez},
editor = {Marco Carbone and
Jean{-}Marc Petit},
title = {Time and Exceptional Behavior in Multiparty Structured Interactions},
booktitle = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7176},
pages = {48--63},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29834-9\_5},
doi = {10.1007/978-3-642-29834-9\_5},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/LopezP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/LozesV11,
author = {{\'{E}}tienne Lozes and
Jules Villard},
editor = {Marco Carbone and
Jean{-}Marc Petit},
title = {Reliable Contracts for Unreliable Half-Duplex Communications},
booktitle = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7176},
pages = {2--16},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29834-9\_2},
doi = {10.1007/978-3-642-29834-9\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/LozesV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MassonHB11,
author = {Beno{\^{\i}}t Masson and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Albert Benveniste},
editor = {Marco Carbone and
Jean{-}Marc Petit},
title = {Compatibility of Data-Centric Web Services},
booktitle = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7176},
pages = {32--47},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29834-9\_4},
doi = {10.1007/978-3-642-29834-9\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/MassonHB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MateoVD11,
author = {Jos{\'{e}} Antonio Mateo and
Valent{\'{\i}}n Valero and
Gregorio D{\'{\i}}az},
editor = {Marco Carbone and
Jean{-}Marc Petit},
title = {An Operational Semantics of {BPEL} Orchestrations Integrating Web
Services Resource Framework},
booktitle = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7176},
pages = {79--94},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29834-9\_7},
doi = {10.1007/978-3-642-29834-9\_7},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/MateoVD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MazzaraADB11,
author = {Manuel Mazzara and
Faisal Abouzaid and
Nicola Dragoni and
Anirban Bhattacharyya},
editor = {Marco Carbone and
Jean{-}Marc Petit},
title = {Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations
- {A} Process Algebra Perspective},
booktitle = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7176},
pages = {64--78},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29834-9\_6},
doi = {10.1007/978-3-642-29834-9\_6},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/MazzaraADB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2010,
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19589-1},
doi = {10.1007/978-3-642-19589-1},
isbn = {978-3-642-19588-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/AndresCN10,
author = {C{\'{e}}sar Andr{\'{e}}s and
Mar{\'{\i}}a{-}Emilia Cambronero and
Manuel N{\'{u}}{\~{n}}ez},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Passive Testing of Web Services},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {56--70},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_4},
doi = {10.1007/978-3-642-19589-1\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/AndresCN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/ChristiansenCH10,
author = {David Raymond Christiansen and
Marco Carbone and
Thomas T. Hildebrandt},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Formal Semantics and Implementation of {BPMN} 2.0 Inclusive Gateways},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {146--160},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_10},
doi = {10.1007/978-3-642-19589-1\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/ChristiansenCH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Fu10,
author = {Xiang Fu},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Conformance Verification of Privacy Policies},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {86--100},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_6},
doi = {10.1007/978-3-642-19589-1\_6},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Fu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Halle10,
author = {Sylvain Hall{\'{e}}},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Automated Generation of Web Service Stubs Using {LTL} Satisfiability
Solving},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {42--55},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_3},
doi = {10.1007/978-3-642-19589-1\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Halle10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/HeeMSW10,
author = {Kees M. van Hee and
Arjan J. Mooij and
Natalia Sidorova and
Jan Martijn E. M. van der Werf},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Soundness-Preserving Refinements of Service Compositions},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {131--145},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_9},
doi = {10.1007/978-3-642-19589-1\_9},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/HeeMSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/HullDFGHHLMNSV10,
author = {Richard Hull and
Elio Damaggio and
Fabiana Fournier and
Manmohan Gupta and
Fenno F. Terry Heath III and
Stacy Hobson and
Mark H. Linehan and
Sridhar Maradugu and
Anil Nigam and
Piyawadee Sukaviriya and
Roman Vacul{\'{\i}}n},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Introducing the Guard-Stage-Milestone Approach for Specifying Business
Entity Lifecycles},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {1--24},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_1},
doi = {10.1007/978-3-642-19589-1\_1},
timestamp = {Sat, 11 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/HullDFGHHLMNSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/KucukoguzS10,
author = {Esra Kucukoguz and
Jianwen Su},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {On Lifecycle Constraints of Artifact-Centric Workflows},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {71--85},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_5},
doi = {10.1007/978-3-642-19589-1\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/KucukoguzS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MooijPSV10,
author = {Arjan J. Mooij and
Jarungjit Parnjai and
Christian Stahl and
Marc Voorhoeve},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Constructing Replaceable Services Using Operating Guidelines and Maximal
Controllers},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {116--130},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_8},
doi = {10.1007/978-3-642-19589-1\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/MooijPSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/NadkarniBHL10,
author = {Dinanath Nadkarni and
Samik Basu and
Vasant G. Honavar and
Robyn R. Lutz},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Failure Analysis for Composition of Web Services Represented as Labeled
Transition Systems},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {161--175},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_11},
doi = {10.1007/978-3-642-19589-1\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/NadkarniBHL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/PolyvyanyyVV10,
author = {Artem Polyvyanyy and
Jussi Vanhatalo and
Hagen V{\"{o}}lzer},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Simplified Computation and Generalization of the Refined Process Structure
Tree},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {25--41},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_2},
doi = {10.1007/978-3-642-19589-1\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/PolyvyanyyVV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/PotapovaS10,
author = {Alexandra Potapova and
Jianwen Su},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {On Nondeterministic Workflow Executions},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {176--190},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_12},
doi = {10.1007/978-3-642-19589-1\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/PotapovaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/WeidlichEW10,
author = {Matthias Weidlich and
Felix Elliger and
Mathias Weske},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Generalised Computation of Behavioural Profiles Based on Petri-Net
Unfoldings},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {101--115},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_7},
doi = {10.1007/978-3-642-19589-1\_7},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/WeidlichEW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2009,
editor = {Cosimo Laneve and
Jianwen Su},
title = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14458-5},
doi = {10.1007/978-3-642-14458-5},
isbn = {978-3-642-14457-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BodeiF09,
author = {Chiara Bodei and
Gian{-}Luigi Ferrari},
editor = {Cosimo Laneve and
Jianwen Su},
title = {Choreography Rehearsal},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {29--45},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_2},
doi = {10.1007/978-3-642-14458-5\_2},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BodeiF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BruniGL09,
author = {Roberto Bruni and
Fabio Gadducci and
Alberto Lluch{-}Lafuente},
editor = {Cosimo Laneve and
Jianwen Su},
title = {A Graph Syntax for Processes and Services},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {46--60},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_3},
doi = {10.1007/978-3-642-14458-5\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BruniGL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BucchiaroneLMP09,
author = {Antonio Bucchiarone and
Alberto Lluch{-}Lafuente and
Annapaola Marconi and
Marco Pistore},
editor = {Cosimo Laneve and
Jianwen Su},
title = {A Formalisation of Adaptable Pervasive Flows},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {61--75},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_4},
doi = {10.1007/978-3-642-14458-5\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BucchiaroneLMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BugliesiMPR09,
author = {Michele Bugliesi and
Damiano Macedonio and
Luca Pino and
Sabina Rossi},
editor = {Cosimo Laneve and
Jianwen Su},
title = {Compliance Preorders for Web Services},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {76--91},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_5},
doi = {10.1007/978-3-642-14458-5\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BugliesiMPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Dezani-Ciancaglinid09,
author = {Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro},
editor = {Cosimo Laneve and
Jianwen Su},
title = {Sessions and Session Types: An Overview},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {1--28},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_1},
doi = {10.1007/978-3-642-14458-5\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Dezani-Ciancaglinid09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/DragoniM09,
author = {Nicola Dragoni and
Manuel Mazzara},
editor = {Cosimo Laneve and
Jianwen Su},
title = {A Formal Semantics for the {WS-BPEL} Recovery Framework - The \emph{pi}-Calculus
Way},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {92--109},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_6},
doi = {10.1007/978-3-642-14458-5\_6},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/DragoniM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/GardnerW09,
author = {Philippa Gardner and
Mark J. Wheelhouse},
editor = {Cosimo Laneve and
Jianwen Su},
title = {Small Specifications for Tree Update},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {178--195},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_11},
doi = {10.1007/978-3-642-14458-5\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/GardnerW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/GiacomoP09,
author = {Giuseppe De Giacomo and
Fabio Patrizi},
editor = {Cosimo Laneve and
Jianwen Su},
title = {Automated Composition of Nondeterministic Stateful Services},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {147--160},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_9},
doi = {10.1007/978-3-642-14458-5\_9},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/GiacomoP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/LohmannW09,
author = {Niels Lohmann and
Karsten Wolf},
editor = {Cosimo Laneve and
Jianwen Su},
title = {Realizability Is Controllability},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {110--127},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_7},
doi = {10.1007/978-3-642-14458-5\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/LohmannW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Marcus09,
author = {Monica Marcus},
editor = {Cosimo Laneve and
Jianwen Su},
title = {Specification and Verification of Multi-user Data-Driven Web Applications},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {128--146},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_8},
doi = {10.1007/978-3-642-14458-5\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Marcus09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/VazF09,
author = {C{\'{a}}tia Vaz and
Carla Ferreira},
editor = {Cosimo Laneve and
Jianwen Su},
title = {Towards Compensation Correctness in Interactive Systems},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {161--177},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_10},
doi = {10.1007/978-3-642-14458-5\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/VazF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@proceedings{DBLP:conf/wsfm/2007,
editor = {Marlon Dumas and
Reiko Heckel},
title = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79230-7},
doi = {10.1007/978-3-540-79230-7},
isbn = {978-3-540-79229-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/AalstLMSW07,
author = {Wil M. P. van der Aalst and
Niels Lohmann and
Peter Massuthe and
Christian Stahl and
Karsten Wolf},
editor = {Marlon Dumas and
Reiko Heckel},
title = {From Public Views to Private Views - Correctness-by-Design for Services},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {139--153},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_10},
doi = {10.1007/978-3-540-79230-7\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/AalstLMSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BocchiHLF07,
author = {Laura Bocchi and
Yi Hong and
Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Marlon Dumas and
Reiko Heckel},
title = {From {BPEL} to {SRML:} {A} Formal Transformational Approach},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {92--107},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_7},
doi = {10.1007/978-3-540-79230-7\_7},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BocchiHLF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Desel07,
author = {J{\"{o}}rg Desel},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Controlling Petri Net Process Models},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {17--30},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_2},
doi = {10.1007/978-3-540-79230-7\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Desel07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/HalleVCTG07,
author = {Sylvain Hall{\'{e}} and
Roger Villemaire and
Omar Cherkaoui and
J{\'{e}}r{\^{o}}me Tremblay and
Boubker Ghandour},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Extending Model Checking to Data-Aware Temporal Properties of Web
Services},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {31--45},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_3},
doi = {10.1007/978-3-540-79230-7\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/HalleVCTG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/LiZLH07,
author = {Qin Li and
Huibiao Zhu and
Jing Li and
Jifeng He},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Scalable Formalization of Publish/Subscribe Messaging Scheme Based
on Message Brokers},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {61--76},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_5},
doi = {10.1007/978-3-540-79230-7\_5},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/LiZLH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Lohmann07,
author = {Niels Lohmann},
editor = {Marlon Dumas and
Reiko Heckel},
title = {A Feature-Complete Petri Net Semantics for {WS-BPEL} 2.0},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {77--91},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_6},
doi = {10.1007/978-3-540-79230-7\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Lohmann07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/LohmannKLR07,
author = {Niels Lohmann and
Oliver Kopp and
Frank Leymann and
Wolfgang Reisig},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Analyzing BPEL4Chor: Verification and Participant Synthesis},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {46--60},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_4},
doi = {10.1007/978-3-540-79230-7\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/LohmannKLR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MartinelliM07,
author = {Fabio Martinelli and
Ilaria Matteucci},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Synthesis of Web Services Orchestrators in a Timed Setting},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {124--138},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_9},
doi = {10.1007/978-3-540-79230-7\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/MartinelliM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/RosarioKBCHJ07,
author = {Sidney Rosario and
David Kitchin and
Albert Benveniste and
William R. Cook and
Stefan Haar and
Claude Jard},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Event Structure Semantics of Orc},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {154--168},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_11},
doi = {10.1007/978-3-540-79230-7\_11},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/RosarioKBCHJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/SuBFZ07,
author = {Jianwen Su and
Tevfik Bultan and
Xiang Fu and
Xiangpeng Zhao},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Towards a Theory of Web Service Choreographies},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {1--16},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_1},
doi = {10.1007/978-3-540-79230-7\_1},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/SuBFZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/TasharofiVMS07,
author = {Samira Tasharofi and
Mohsen Vakilian and
Roshanak Zilouchian Moghaddam and
Marjan Sirjani},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Modeling Web Service Interactions Using the Coordination Language
Reo},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {108--123},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_8},
doi = {10.1007/978-3-540-79230-7\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/TasharofiVMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/AalstP06,
author = {Wil M. P. van der Aalst and
Maja Pesic},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {DecSerFlow: Towards a Truly Declarative Service Flow Language},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {1--23},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_1},
doi = {10.1007/11841197\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/AalstP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/AielloRPCD06,
author = {Marco Aiello and
Florian Rosenberg and
Christian Platzer and
Agata Ciabattoni and
Schahram Dustdar},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Service QoS Composition at the Level of Part Names},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {24--37},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_2},
doi = {10.1007/11841197\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/AielloRPCD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/AlbertiCGLMMST06,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Sergio Storari and
Paolo Torroni},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Computational Logic for Run-Time Verification of Web Services Choreographies:
Exploiting the \emph{SOCS-SI} Tool},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {58--72},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_4},
doi = {10.1007/11841197\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/AlbertiCGLMMST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BarakaS06,
author = {Rebhi Baraka and
Wolfgang Schreiner},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Semantic Querying of Mathematical Web Service Descriptions},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {73--87},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_5},
doi = {10.1007/11841197\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BarakaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BhargavanFG06,
author = {Karthikeyan Bhargavan and
C{\'{e}}dric Fournet and
Andrew D. Gordon},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Verified Reference Implementations of WS-Security Protocols},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {88--106},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_6},
doi = {10.1007/11841197\_6},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/BhargavanFG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BorealeBCNLLMMRSVZ06,
author = {Michele Boreale and
Roberto Bruni and
Lu{\'{\i}}s Caires and
Rocco De Nicola and
Ivan Lanese and
Michele Loreti and
Francisco Martins and
Ugo Montanari and
Ant{\'{o}}nio Ravara and
Davide Sangiorgi and
Vasco Thudichum Vasconcelos and
Gianluigi Zavattaro},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {{SCC:} {A} Service Centered Calculus},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {38--57},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_3},
doi = {10.1007/11841197\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BorealeBCNLLMMRSVZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BrogiP06,
author = {Antonio Brogi and
Razvan Popescu},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {From {BPEL} Processes to {YAWL} Workflows},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {107--122},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_7},
doi = {10.1007/11841197\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BrogiP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BruniMT06,
author = {Roberto Bruni and
Hern{\'{a}}n C. Melgratti and
Emilio Tuosto},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Translating Orc Features into Petri Nets and the Join Calculus},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {123--137},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_8},
doi = {10.1007/11841197\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BruniMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/CacciagranoCCV06,
author = {Diletta Cacciagrano and
Flavio Corradini and
Rosario Culmone and
Leonardo Vito},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Dynamic Constraint-Based Invocation of Web Services},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {138--147},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_9},
doi = {10.1007/11841197\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/CacciagranoCCV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/CarpinetiCLP06,
author = {Samuele Carpineti and
Giuseppe Castagna and
Cosimo Laneve and
Luca Padovani},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {A Formal Account of Contracts for Web Services},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {148--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_10},
doi = {10.1007/11841197\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/CarpinetiCLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/DeckerZD06,
author = {Gero Decker and
Johannes Maria Zaha and
Marlon Dumas},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Execution Semantics for Service Choreographies},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {163--177},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_11},
doi = {10.1007/11841197\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/DeckerZD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/DiazCTVC06,
author = {Gregorio D{\'{\i}}az and
Mar{\'{\i}}a{-}Emilia Cambronero and
Llanos Tobarra and
Valent{\'{\i}}n Valero and
Fernando Cuartero},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Analysis and Verification of Time Requirements Applied to the Web
Services Composition},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {178--192},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_12},
doi = {10.1007/11841197\_12},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/DiazCTVC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/FiadeiroLB06,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes and
Laura Bocchi},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {A Formal Approach to Service Component Architecture},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {193--213},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_13},
doi = {10.1007/11841197\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/FiadeiroLB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/GilmoreT06,
author = {Stephen T. Gilmore and
Mirco Tribastone},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Evaluating the Scalability of a Web Service-Based Distributed e-Learning
and Course Management System},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {214--226},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_14},
doi = {10.1007/11841197\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/GilmoreT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/KazhamiakinP06,
author = {Raman Kazhamiakin and
Marco Pistore},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Choreography Conformance Analysis: Asynchronous Communications and
Information Alignment},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {227--241},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_15},
doi = {10.1007/11841197\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/KazhamiakinP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/KimB06,
author = {Il{-}Gon Kim and
Debmalya Biswas},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Application of Model Checking to {AXML} System's Security: {A} Case
Study},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {242--256},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_16},
doi = {10.1007/11841197\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/KimB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MazzaraL06,
author = {Manuel Mazzara and
Ivan Lanese},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Towards a Unifying Theory for Web Services Composition},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {257--272},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_17},
doi = {10.1007/11841197\_17},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/MazzaraL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/ZhaoYQ06,
author = {Xiangpeng Zhao and
Hongli Yang and
Zongyan Qiu},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Towards the Formal Model and Verification of Web Service Choreography
Description Language},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {273--287},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_18},
doi = {10.1007/11841197\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/ZhaoYQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2006,
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197},
doi = {10.1007/11841197},
isbn = {3-540-38862-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaldamusBFR04,
author = {Michael Baldamus and
Jesper Bengtson and
Gian{-}Luigi Ferrari and
Roberto Raggi},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Web Services as a New Approach to Distributing and Coordinating Semantics-Based
Veri cation Toolkits},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {11--20},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.024},
doi = {10.1016/J.ENTCS.2004.02.024},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BaldamusBFR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaldoniBMP04,
author = {Matteo Baldoni and
Cristina Baroglio and
Alberto Martelli and
Viviana Patti},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Reasoning About Interaction Protocols for Web Service Composition},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {21--36},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.023},
doi = {10.1016/J.ENTCS.2004.02.023},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaldoniBMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BocchiW04,
author = {Laura Bocchi and
Lucian Wischik},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {A Process Calculus of Atomic Commit},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {119--132},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.003},
doi = {10.1016/J.ENTCS.2004.05.003},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BocchiW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiZ04,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Preface},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {1--4},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.001},
doi = {10.1016/J.ENTCS.2004.11.001},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrogiCPV04,
author = {Antonio Brogi and
Carlos Canal and
Ernesto Pimentel and
Antonio Vallecillo},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Formalizing Web Service Choreographies},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {73--94},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.007},
doi = {10.1016/J.ENTCS.2004.05.007},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrogiCPV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeckelCL04,
author = {Reiko Heckel and
Alexey Cherchago and
Marc Lohmann},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {A Formal Approach to Service Specification and Matching based on Graph
Transformation},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {37--49},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.006},
doi = {10.1016/J.ENTCS.2004.05.006},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeckelCL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JohnsonLLV04,
author = {James E. Johnson and
David E. Langworthy and
Leslie Lamport and
Friedrich H. Vogt},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Formal Specification of a Web Services Protocol},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {147--158},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.022},
doi = {10.1016/J.ENTCS.2004.02.022},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JohnsonLLV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MazzaraL04,
author = {Manuel Mazzara and
Roberto Lucchi},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {A Framework for Generic Error Handling in Business Processes},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {133--145},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.002},
doi = {10.1016/J.ENTCS.2004.05.002},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MazzaraL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Montanari04,
author = {Ugo Montanari},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Web Services and Models of Computation},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {5--9},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.009},
doi = {10.1016/J.ENTCS.2004.05.009},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Montanari04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PistoreRB04,
author = {Marco Pistore and
Marco Roveri and
Paolo Busetta},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Requirements-Driven Verification of Web Services},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {95--108},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.005},
doi = {10.1016/J.ENTCS.2004.05.005},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PistoreRB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Venzke04,
author = {Marcus Venzke},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Specifications using XQuery Expressions on Traces},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {109--118},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.004},
doi = {10.1016/J.ENTCS.2004.05.004},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Venzke04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Viroli04a,
author = {Mirko Viroli},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Towards a Formal Foundation to Orchestration Languages},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {51--71},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.008},
doi = {10.1016/J.ENTCS.2004.05.008},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Viroli04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2004,
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/105/suppl/C},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-23 22:21 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
