SENSORIA Overview Publications |
|
Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show all publications
Semantic-Based Development of Service-Oriented Systems
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder.
Proc. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems(FORTE'06), Paris, France. E. Najn et al. (Eds.). pp. 24-45. LNCS 4229. Springer-Verlag. 2006. abstract bibtex
SENSORIA Process Calculi for Service-Oriented Computing
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro.
Trustworthy Global Computing, Second Symposium, TGC 2006, Revised Selected Papers.. Don Sanella, Ugo Montanari (Eds.). pp. 30-50. Lecture Notes in Computer Science vol. 4661. Springer. 2007. abstract pdf bibtex
A Pattern-Based Approach to Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
Martin Wirsing, Matthias Hölzl, Lucia Acciai, Allan Clark, Federico Banti, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró.
Proc. of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), Porto Sani, Greece. LNCS. Springer-Verlag. 2008. abstract pdf bibtex
|
|