M. Bidoit, R. Hennicker, F. Tort, and M. Wirsing. Correct realizations of interface constraints with ocl. In R. B. France and B. Rumpe, editors, UML'99, The Unified Modeling Language - Beyond the Standard, volume 1723 of Lecture Notes in Computer Science, pages 399–415, Berlin, 1999. Springer-Verlag.
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, and Martin Wirsing. An Event-Based Structural Operational Semantics of Multi-Threaded Java. In Jim Alves-Foss, editor, Formal Syntax and Semantics of Java, volume 1523 of Lect. Notes Comp. Sci., pages 157–200. ©Springer, Berlin, 1999.
M. Wirsing, N. Koch, G. Rossi, A. Garrido, L. Mandel, A. Helmerich, and L. Olsina. Hyper-UML: Specification and Modeling of Multimedia and Hypermedia Applications in Distributed Systems. In Second Workshop on the German-Argentinian Bilateral Programme for Scientific and Technological Cooperation, Königswinter, Germany, March 1999.
P. Kosiuczenko and M. Wirsing. Formalizing and executing message sequence charts via timed rewriting. In Proceedings of the 1998 Monterey Workshop on Engineering Automation for Computer Based Systems, Technical Report NPS-CS-99-002, pages 93 –104, Naval Postgraduate School, Monterey, CA, April 1999.
Martin Wirsing, John N. Crossley, and Hannes Peterreins. Proof normalization of structured algebraic specifications is convergent. In José Fiadeiro, editor, 12th Int. Workshop on Recent Trends in Algebraic Development Techniques, volume 1589 of Lecture Notes in Computer Science, pages 326–340, Berlin, 1999. Springer-Verlag.
Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, and Martin Wirsing. Verifying a compiler optimization for multi-threaded java. In Francesco Parisi Presicce, editor, Sel. Papers 12th Int. Wsh. Recent Trends in Algebraic Development Techniques, volume 1376 of Lect. Notes Comp. Sci., pages 402–417. ©Springer, Berlin, 1998.
Martin Wirsing. Beiträge zu 150 Stichworten. In M. Broy and O. Spaniol, editors, Lexikon der Informatik und Kommunikationstechnik. Springer-Verlag, Berlin, 1998. mit S. Gastinger, R. Hennicker, U. Lechner, S. Merz, A. Mück, F. Nickl, B. Reus, R. Stabl.
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, and Martin Wirsing. From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. In Michael Johnson, editor, Proc. 6th Int. Conf. Algebraic Methodology and Software Technology, volume 1349 of Lect. Notes Comp. Sci., pages 75–90. ©Springer, Berlin, 1997.
Josef Schneeberger, Nora Koch, Andreas Turk, Rainer Lutze, Martin Wirsing, Hartmut Fritzsche, and Patrick Closhen. EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge. In M. Jarke, K. Pasedach, and K. Pohl, editors, Informatik'97, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft für Informatik, Informatik aktuell. Springer Verlag, September 1997.
R. Hennicker and M. Wirsing. Proof systems for structured algebraic specifications: An overview. In Proc. FCT '97, Fundamentals of Computation Theory, volume 1279 of Lecture Notes in Computer Science, pages 19–37, Berlin, 1997. Springer.
Alexander Knapp, Nora Koch, Martin Wirsing, Jochen Duckeck, Rainer Lutze, Hartmut Fritzsche, Dietrich Timm, Patrick Closhen, Martin Frisch, Hans-Jürgen Hoffmann, Bernd Gaede, Josef Schneeberger, Herbert Stoyan, and Andreas Turk. EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues. In Ralf Steinmetz and L. C. Wolf, editors, Interactive Distributed Multimedia Systems and Telecommunication Services, volume 1309 of Lect. Notes Comp. Sci., pages 199–209. Springer Verlag, Berlin, 1997.
Alexander Knapp, Nora Koch, and Martin Wirsing. EPKML: Eine Spezifikationssprache für elektronische Produktkataloge. Technical Report 9713, Institut für Informatik, Ludwig–Maximilians–Universität München, 1997. In German.
P. Kosiuczenko and M. Wirsing. Timed rewriting logic with an application to object-based specification. Science of Computer Programming, 28(2-3):225–246, 1997.
Peter Ölveczky, Piotr Kosiuczenko, and Martin Wirsing. An Object-Oriented Algebraic Steam-Boiler Control Specification. Technical Report 9701, Institut für Informatik, Ludwig-Maximilians-Universität München, 1997.
Rainer Lutze and Martin Wirsing. Methoden und Werkzeuge zur effizienten Erstellung elektronischer Produktkataloge, Veröffentlichungen zum EPKfix-Projekt 1995-1997. Technical Report 9706, Ludwig–Maximilians–Universität München, September 1997.
A.E. Haxthausen and F. Nickl. Pushouts of order-sorted algebraic specifications. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology, 5th International Conference, AMAST'96, Proceedings, volume 1101 of LNCS, 1996.
Rolf Hennicker, Martin Wirsing, and Michel Bidoit. Proof systems for structured specifications with observability operators. Theoretical Computer Science, 1996. to appear.
John N. Crossley, Luis Mandel, and Martin Wirsing. First Order Constrained Lambda Calculus. In Franz Baader and Klaus U. Schulz, editors, Frontiers of Combining Systems, number 3 in Applied Logics Series, pages 339–356. Kluwer, Dordrecht–Boston–London, 1996. Also as technical report 96/261 of the Monash University, Australia.
Peter Ölveczky, Piotr Kosiuczenko, and Martin Wirsing. Steamboiler Specification Problem: An Algebraic Object-Oriented Solution. In Jean-Raymond Abrial, Egon Börger, and Hans Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of Lect. Notes Comp. Sci. Springer, Berlin, 1996.
Martin Wirsing and Alexander Knapp. A Formal Approach to Object-Oriented Software Engineering. In José Meseguer, editor, Proc. 1st Int. Wsh. Rewriting Logic and Its Applications, volume 4 of Electr. Notes Theo. Comp. Sci., pages 321–359. Elsevier, 1996. Revised version.