spacer search

Software Engineering for Service-Oriented Overlay Computers
Software Engineering for Service-Oriented Overlay Computers

Main Menu
Home arrow Publications

SENSORIA Overview Publications Print

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

Sensoria: Engineering for Service-Oriented Overlay Computers
Martin Wirsing, Laura Bocchi, Jose Luiz Fiadeiro, Stephen Gilmore, Matthias Hölzl, Nora Koch, Philip Mayer, Rosario Pugliese, Andreas Schroeder.
At Your Service: Service Engineering in the Information Society Technologies Program. MIT Press 2008. 2008. In press. 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


The Sensoria Project Website
2005 - 2010