Axel Rauschmayer, Alexander Knapp, and Martin Wirsing. Type-checking AHEAD. Technical Report 0406, Ludwig-Maximilians-Universität München, Institut für Informatik, 2003.
Hubert Baumeister. Towards using extreme programming to the formal specication of software; abstract. In Martin Wirsing, Dirk Pattinson, and Rolf Hennicker, editors, 16th International Workshop on Algebraic Development Techniques, WADT, Frauenchiemsee, October 2002.
Hubert Baumeister and Martin Wirsing. Applying test-first programming and iterative development in building an E-business application. In Proceedings International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet, SSGRR 2002, L'Aquila, Italy, 2002.
Nora Koch and Martin Wirsing. The Munich Reference Model for Adaptive Hypermedia Applications. In P. De Bra, P. Brusilovsky, and R. Conejo, editors, Second International Conference on Adaptive Hypermedia and Adaptive Web-based Systems, pages 213–222. LNCS 2347, Springer Verlag, May 2002.
Martin Wirsing and Alexander Knapp. A Formal Approach to Object-Oriented Software Engineering. Theo. Comp. Sci., 285:519–560, 2002.
Hubert Baumeister, Rolf Hennicker, Alexander Knapp, and Martin Wirsing. OCL Component Invariants. In Proc. Wsh. Montery - Engineering Automation for Software Intensive System Integration, pages 208–215. U.S. Naval Postgraduate School, Monterey, 2001.
John N. Crossley, Iman Poernomo, and Martin Wirsing. Programs, proofs and parameterized specifications. In 15th Int. Wsh. Recent Trends in Algebraic Development Techniques (WADT 2001), volume 2267 of Lecture Notes in Computer Science, pages 280–304, Berlin, 2001. Springer-Verlag.
Rolf Hennicker, Hubert Baumeister, Alexander Knapp, and Martin Wirsing. Specifying Component Invariants with OCL. In Kurt Bauknecht, Wilfried Brauer, and Thomas Mück, editors, Proc. GI/OCG-Jahrestagung, volume 157/I of books@ocg.at, pages 600–607. ÖGI (Austrian Computer Society), 2001.
Nora Koch and Martin Wirsing. Software Engineering for Adaptive Hypermedia Systems? In Paul De Bra, editor, Third Workshop on Adaptive Hypertext and Hypermedia, 8th International Conference on User Modeling, July 2001.
P. Kosiuczenko and M. Wirsing. Towards an integration of message sequence charts and timed maude. Transactions of the SDPS, 5:23–44, 2001.