Matthias Hölzl, Max Meier, and Martin Wirsing. Which soft constraints do you prefer? In Grigore Rosu, editor, Proceedings of the 7th International Workshop on Rewriting Logic and its Applications (WRLA'08), Electronic Notes in Theoretical Computer Science, 2008. To appear.
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, and Martin Wirsing. Modelling the CoCoME with the Java/A Component Model. In Andreas Rausch, Ralf Reussner, Raffaela Mirandola, and Frantisek Plasil, editors, The Common Component Modeling Example: Comparing Software Component Models, volume 5153 of Lect. Notes Comp. Sci., pages 207–237, 2008.
M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, and Andreas Schroeder. Service specification and matchmaking using description logic: An approach based on institutions. In 12th International Conference on Algebraic Methodology and Software Technology (AMAST'08), volume 5140 of LNCS, pages 392–406. Springer-Verlag, 2008.
Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, and Axel Rauschmayer, editors. Software-Intensive Systems and New Computing Paradigms, volume 5380 of LNCS. Springer, 2008.
Martin Wirsing, Matthias Hoelzl, Nora Koch, Philip Mayer, and Andreas Schroeder. Service Engineering: The Sensoria Model Driven Approach. In Proceedings of Int. Conf. of Software Engineering Research, Management and Applications (SERA 2008), Prague, Czech Republic, August 2008. IEEE Computer Society.
Alexander Knapp, Nora Koch, Martin Wirsing, and Gefei Zhang. UWE - An Approach to Model-Driven Development of Web Applications. i-com, Oldenbourg, 6(3):5–12, 2007. In German.
J. Koehler, M. Pistore, A. P. Sheth, P. Traverso, and M. Wirsing, editors. Autonomous and Adaptive Web Services, Dagstuhl Seminar Proceedings 07061, 2007.
M. Birna van Riemsdijk and Martin Wirsing. Goal-oriented and procedural service orchestration: A formal comparison. In Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW'007); The First International Workshops on Agents, Web Services, and Ontologies: Integrated Methodologies (AWESOME'007), pages 3–18, 2007.
M. Birna van Riemsdijk and Martin Wirsing. Using goals for flexible service orchestration: A first step. In J. Huang, R. Kowalczyk, Z. Maamar, D. Martin, I. Mueller, S. Stoutenburg, and K. Sycara, editors, Service-Oriented Computing: Agents, Semantics, and Engineering (SOCASE'07), volume 4504 of LNCS, pages 31–48, 2007.
Martin Wirsing, Grit Denker, Carolyn Talcott, Andy Poggio, and Linda Briesemeister. A Rewriting Logic Framework for Soft Constraints. Electr. Notes Theor. Comput. Sci., 176(4):181–197, 2007.
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, and Gianluigi Zavattaro. Sensoria process calculi for service-oriented computing. In Ugo Montanari, Donald Sannella, and Roberto Bruni, editors, Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, volume 4661 of Lecture Notes in Computer Science, pages 30–50. Springer, 2007.
Shiping Yang and Martin Wirsing. A Formal Framework for Living Cooperative Information Systems. In Khaled Elleithy, editor, Advances and Innovations in Systems, Computing Sciences and Software Engineering, pages 399–404. Springer, Netherlands, 2007.
Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, and Martin Wirsing. A Component Model for Architectural Programming. In Luis Barbosa and Zhiming Liu, editors, Proc. 2nd Int. Wsh. Formal Aspects of Component Software (FACS'05), volume 160 of Elect. Notes Theo. Comp. Sci., pages 75–96, 2006.
Jose Fiadeiro, Ugo Montanari, and Martin Wirsing, editors. Foundations of Global Computing. Number 05081 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
Alexander Knapp, Stephan Merz, Martin Wirsing, and Julia Zappe. Specification and Refinement of Mobile Systems in MTLA and Mobile UML. Theoretical Computer Science, 351(2):184–202, 2006.
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone, and Gianluigi Zavattaro. SENSORIA Process Calculi for Service-Oriented Computing. In Ugo Montanari, Don Sanella, and Roberto Bruni, editors, Second Symposium on Trustworthy Global Computing (TGC 2006), Lucca, Italy, volume 4461 of LNCS, pages 30–50. Springer, 2006.
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, and Andreas Schroeder. Semantic-Based Development of Service-Oriented Systems. In E. Najn et al., editor, Proc. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Paris, France, LNCS 4229, pages 24–45. Springer Verlag, September 2006.
Martin Wirsing and Matthias Hölzl. Software Intensive Systems. In Dimitris Plexousakis, editor, Anticipating Future and Emerging Information Society Technologies, ERCIM EEIG, May 2006.
Shiping Yang and Martin Wirsing. Towards Living Cooperative Information Systems for Virtual Organizations Using Living Systems Theory. In Tarek Sobh and Khaled Elleithy, editors, Advances and Innovations in Systems, Computing Sciences and Software Engineering, pages 309–316. Springer Verlag, 2006.
Dang Van Hung and Martin Wirsing. Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, volume 3722 of Lecture Notes in Computer Science. Springer, 2005.