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.
Bernhard Reus, Rolf Hennicker, and Martin Wirsing. A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. In Heinrich Hussmann, editor, Fundamental Approaches to Software Engineering (FASE 2001), volume 2029 of Lect. Notes Comp. Sci., pages 300–316. Springer, Berlin, 2001.
Martin Wirsing, Hans Ehrich, Martin Gogolla, Hans-Jürgen Kreowski, Tobias Nipkow, Hans Reichel, and Wolfgang Reif, editors. Integrating Diagrammatic and Formal Specification Methods. ÖGI (Austrian Computer Society), 2001.
Mingsheng Ying and Martin Wirsing. Recursive equations in higher-order process calculi. Theoretical Computer Science, 266:839–852, 2001.
Manfred Broy and Martin Wirsing. Algebraic State Machines. In Teodor Rus, editor, Proc. 8th Int. Conf. Algebraic Methodology and Software Technology, volume 1816 of Lect. Notes Comp. Sci., pages 89–118. ©Springer, Berlin, 2000.
John N. Crossley, Iman Poernomo, and Martin Wirsing. Extraction of structured programs from specification proofs. In D. Bert and C. Choppy, editors, 13th Int. Worskhop on Recent Trends in Algebraic Development Techniques, volume 1827 of Lecture Notes in Computer Science, pages 419–437, Berlin, 2000. Springer-Verlag.
P. Kosiuczenko and M. Wirsing. On the semantics of message sequence charts: an algebraic approach. to appear in Science of Computer Programming, page 32 pages, 2000.
P. Kosiuczenko and M. Wirsing. Formalizing and executing message sequence charts via timed rewriting. Electronic Notes in Theoretical Computer Science, 25:12, 2000.
M. Wirsing and T. Frühwirth, editors. AMAST'96, Special Issue of Theoretical Computer Science, volume 239/1. Elsevier, May 2000.
Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, and Wolfgang Reif (eds.). Proc. Wsh. Rigorose Entwicklung software-intensiver Systeme. Technical Report 0005, Ludwig-Maximilians-Universität München, September 2000.
Mingsheng Ying and Martin Wirsing. Approximate Bisimilarity. In Teodor Rus, editor, Proc. 8th Int. Conf. Algebraic Methodology and Software Technology, volume 1816 of Lect. Notes Comp. Sci., pages 309–322. ©Springer, Berlin, 2000.