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.