Nora Koch, Piero Fraternali, and Martin Wirsing, editors. Journal of Web Engineering - Special Issue: Best Paper Award ICWE 2004, volume 4 (1). Rinton Press, March 2005.
Diego Latella, Mieke Massink, Hubert Baumeister, and Martin Wirsing. Mobile UML statecharts with localities. In Corrado Priami and Paola Quaglia, editors, Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004. Revised Selected Papers, volume 3267 of LNCS, pages 34–58, 2005.
Dirk Pattinson and Martin Wirsing. A coordination approach to mobile components. Theor. Comput. Sci., 331(2-3):457–483, 2005.
Iman Poernomo, John Crossley, and Martin Wirsing. Adapting Proofs-as-Programs: The Curry–Howard Protocol. Springer Monographs in Computer Science. Springer, 2005.
P. Meier and M. Wirsing. Towards a formal specification for the agentcomponent. In Objects, Agents, And Features, volume 2975, pages 175–188, 2004.
Hubert Baumeister, Alexander Knapp, and Martin Wirsing. Property-Driven Development. In Jorge R. Cuellar and Zhimming Liu, editors, Proc. 2nd IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'04), pages 96–102. IEEE Computer Society Press, 2004. Extended abstract.
Nora Koch, Piero Fraternali, and Martin Wirsing. Web Engineering: Proceedings of the 4th International Conference on Web Engineering (ICWE 2004), Munich, Germany. LNCS 3140. Springer Verlag, July 2004. (doi:10.1007/b99180)
Alexander Knapp, Nora Koch, and Gefei Zhang. Modeling the Structure of Web Applications with ArgoUWE. In Nora Koch, Piero Fraternali, and Martin Wirsing, editors, Proc. 4th Int. Conf. Web Engineering (ICWE'04), LNCS 3140, pages 615–616. Springer Verlag, Berlin, 2004.
Alexander Knapp, Stephan Merz, and Martin Wirsing. Refining Mobile UML State Machines. In Savi Maharaj, Charles Rattray, and Carron Shankland, editors, Proc. 10th Int. Conf. Algebraic Methodology and Software Technology (AMAST'04), volume 3116 of Lect. Notes Comp. Sci., pages 274–288. ©Springer, Berlin, 2004.
Axel Rauschmayer, Alexander Knapp, and Martin Wirsing. Consistency Checking in an Infrastructure for Large-Scale Generative Programming. In Proc. 19th IEEE Int. Conf. Automated Software Engineering (ASE'04), pages 238–247. IEEE Computer Society Press, September 2004.
Axel Rauschmayer, Alexander Knapp, and Martin Wirsing. Consistency checking in an infrastructure for large-scale generative programming. In Proc. 19 text th IEEE Int. Conf. Automated Software Engineering (ASE), pages 238–247. IEEE, September 2004. (doi:10.1109/ASE.2004.10005)
Martin Wirsing, Alexander Knapp, and Simonetta Balsamo, editors. Proc. 9th Int. Wsh. Monterey. Radical Innovations of Software and Systems Engineering in the Future (RISSEF'02). Revised Papers, volume 2941 of Lect. Notes Comp. Sci. ©Springer, Berlin, 2004. On-site proc. appeared as Technical Report CS-2002-10, Dipartimento die Informatica, Università Cà Foscari di Venezia.
Martin Wirsing and Alexander Knapp. View Consistency in Software Development. In Martin Wirsing, Alexander Knapp, and Simonetta Balsamo, editors, Proc. 9th Int. Wsh. Monterey. Radical Innovations of Software and Systems Engineering in the Future (RISSEF'02). Revised Papers, volume 2941 of Lect. Notes Comp. Sci., pages 341–357. ©Springer, Berlin, 2004.
Philipp Meier and Martin Wirsing. Implementation Patterns for Visual Construction of Multi-Agent-Systems. Technical Report 0302, Ludwig-Maximilians-Universität München, July 2003. Accepted by the Second International Workshop on Agent-Oriented Methodologies (OOPSLA).
Richard Krutisch, Philipp Meier, and Martin Wirsing. The AgentComponent Approach, Combining Agents And Components. In Proc. 1st German Conf. Multiagent System Technologies (MATES'03), Lect. Notes Artif. Intell., pages 1–12. Springer, Berlin, 2003.
Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, and Martin Wirsing. UML for Global Computing. In Corrado Priami, editor, Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. IST/FET International Workshop, GC 2003, Rovereto, Italy, Feb. 9-14,2003, Revised Papers, LNCS 2874, pages 1–24, November 2003.
L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola, J. L. Fiadeiro, F. Gadducci, S. Gnesi, P. Hoffman, N. Koch, P. Kosiuczenko, A. Lapadula, D. Latella, A. Lopes, M. Loreti, M. Massink, F. Mazzanti, U. Montanari, C. Oliveira, R. Pugliese, A. Tarlecki, M. Wermelinger, M. Wirsing, and A. Zawlocki. AGILE: Software Architecture for Mobility. In Martin Wirsing, Dirk Pattinson, and Rolf Hennicker, editors, Recent Trends in Algebraic Develeopment Techniques—16th International Workshop, WADT 2002, Frauenchiemsee, Germany, Sept. 24–27, 2002, LNCS 2755, pages 1–33. Springer, November 2003.
Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, and Martin Wirsing. Extending Activity Diagrams to Model Mobile Systems. In M. Aksit, M. Mezini, and R. Unland, editors, Objects, Components, Architectures, Services, and Applications for a Networked World. International Conference NetObjectDays, NODe 2002, Erfurt, Germany, Oct. 7–10, 2002. Revised Papers, LNCS 2591, pages 278–293. Springer, 2003.
B. Krieg-Bruckner, D. Hutter, A. Lindow, C. Luth, A. Mahnke, E. Melis, P. Meier, A. Poetzsch-Heffter, M. Roggenbach, G. Russell, J. G. Smaus, and M. Wirsing. Multimedia instruction in safe and secure systems. Recent Trends In Algebraic Development Techniques, 2755:82–117, 2003.
Stefan Merz, Martin Wirsing, and Julia Zappe. A spatio-temporal logic for the specification and refinement of mobile systems. In FASE 2003: Fundamental Approaches to Software Engineering. Warsaw, Poland., volume 2621 of LNCS, pages 87–101. ©Springer, 2003.