Martin Wirsing

Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing: Stable Availability under Denial of Service Attacks through Formal Patterns. FASE 2012: 78-93

Andreas Schroeder, Martin Wirsing: Developing Physiological Computing Systems: Challenges and Solutions. Software Engineering 2012: 21-36

Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing: Statistical Model Checking for Composite Actor Systems. WADT 2012: 143-160

Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer: Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. WRLA 2012: 54-82

Martin Wirsing, Matthias M. Hölzl (Eds.): Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Lecture Notes in Computer Science 6582, Springer 2011, isbn 978-3-642-20400-5

Martin Wirsing, Ruqian Lu: Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy. Int. J. Software and Informatics 5(1-2): 1-6 (2011)

Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing: A contract-based approach to adaptivity. J. Log. Algebr. Program. 80(3-5): 180-193 (2011)

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing: Interface theories for concurrency and data. Theor. Comput. Sci. 412(28): 3101-3121 (2011)

Matthias M. Hölzl, Martin Wirsing: Towards a System Model for Ensembles. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 241-261

Partha Sampath, Martin Wirsing: Evaluation of Cost Based Best Practices in Business Processes. BMMDS/EMMSAD 2011: 61-74

Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli: ASCENS: Engineering Autonomic Service-Component Ensembles. FMCO 2011: 1-24

Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer: Sensoria - Software Engineering for Service-Oriented Overlay Computers. Results of the SENSORIA Project 2011: 1-14

Matthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing: Sensoria Patterns. Results of the SENSORIA Project 2011: 719-736

M. Birna van Riemsdijk, Martin Wirsing: Comparing goal-oriented and procedural service orchestration. Multiagent and Grid Systems 6(2): 133-163 (2010)

Mirco Tribastone, Philip Mayer, Martin Wirsing: Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. ISoLA (2) 2010: 51-65

Martin Wirsing: A Component-Based Approach to Adaptive User-Centric Pervasive Applications. QoSA 2010: 2

Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki: A heterogeneous approach to service-oriented systems specification. SAC 2010: 2477-2484

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing: Building a Modal Interface Theory for Concurrency and Data. WADT 2010: 1-12

Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder: Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude. RTRTS 2010: 1-25

Martin Wirsing, Martin Hofmann, Axel Rauschmayer (Eds.): Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6084, Springer 2010, isbn 978-3-642-15639-7

Matthias M. Hölzl, Max Meier, Martin Wirsing: Which Soft Constraints do you Prefer? Electr. Notes Theor. Comput. Sci. 238(3): 189-205 (2009)

Fernando Orejas, Martin Wirsing: On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification 2009: 140-161

Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing: Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO 2009: 423-432

Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing: A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave 2009: 455-469

Partha Sampath, Martin Wirsing: Computing the Cost of Business Processes. UNISCON 2009: 178-183

Marsha Chechik, Martin Wirsing (Eds.): Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5503, Springer 2009, isbn 978-3-642-00592-3

Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer (Eds.): Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science 5380, Springer 2008, isbn 978-3-540-89436-0

M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder: Service Specification and Matchmaking Using Description Logic. AMAST 2008: 392-406

María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing: A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402

Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró: SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190

Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing: What Is a Multi-modeling Language? WADT 2008: 71-87

Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing: Engineering of Software-Intensive Systems: State of the Art and Research Challenges. Software-Intensive Systems and New Computing Paradigms 2008: 1-44

Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing: Software Engineering for Ensembles. Software-Intensive Systems and New Computing Paradigms 2008: 45-63

Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister: A Rewriting Logic Framework for Soft Constraints. Electr. Notes Theor. Comput. Sci. 176(4): 181-197 (2007)

Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang: UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications). i-com 6(3): 5-12 (2007)

Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing: Modelling the CoCoME with the Java/AComponent Model. CoCoME 2007: 207-237

Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing: 07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services 2007

M. Birna van Riemsdijk, Martin Wirsing: Using Goals for Flexible Service Orchestration. SOCASE 2007: 31-48

Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing (Eds.): Autonomous and Adaptive Web Services, 04.02. - 09.02.2007. Dagstuhl Seminar Proceedings 07061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007

Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing: A Component Model for Architectural Programming. Electr. Notes Theor. Comput. Sci. 160: 75-96 (2006)

Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe: Specification and refinement of mobile systems in MTLA and mobile UML. Theor. Comput. Sci. 351(2): 184-202 (2006)

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder: Semantic-Based Development of Service-Oriented Systems. FORTE 2006: 24-45

Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro: SensoriaProcess Calculi for Service-Oriented Computing. TGC 2006: 30-50

José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing (Eds.): Foundations of Global Computing, 20.-25. February 2005. Dagstuhl Seminar Proceedings 05081, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Nora Koch, Piero Fraternali, Martin Wirsing: Editorial. J. Web Eng. 4(1): 1-2 (2005)

Dirk Pattinson, Martin Wirsing: A coordination approach to mobile components. Theor. Comput. Sci. 331(2-3): 457-483 (2005)

José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing: 05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing 2005

Dang Van Hung, Martin Wirsing (Eds.): Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings. Lecture Notes in Computer Science 3722, Springer 2005, isbn 3-540-29107-5

Alexander Knapp, Stephan Merz, Martin Wirsing: Refining Mobile UML State Machines. AMAST 2004: 274-288

Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing: Mobile UML Statecharts with Localities. Global Computing 2004: 34-58

Axel Rauschmayer, Alexander Knapp, Martin Wirsing: Consistency Checking in an Infrastructure for Large-Scale Generative. ASE 2004: 238-247

Hubert Baumeister, Alexander Knapp, Martin Wirsing: Property-Driven Development. SEFM 2004: 96-102

Nora Koch, Piero Fraternali, Martin Wirsing (Eds.): Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings. Lecture Notes in Computer Science 3140, Springer 2004, isbn 3-540-22511-0

Martin Wirsing, Alexander Knapp, Simonetta Balsamo (Eds.): Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Lecture Notes in Computer Science 2941, Springer 2004, isbn 3-540-21179-9

Philipp Meier, Martin Wirsing: Towards a Formal Specification for the AgentComponent. Objects, Agents, and Features 2003: 175-188

Stephan Merz, Martin Wirsing, Júlia Zappe: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. FASE 2003: 87-101

Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing: UML for Global Computing. Global Computing 2003: 1-24

Richard Krutisch, Philipp Meier, Martin Wirsing: The Agent Component Approach, Combining Agents, and Components. MATES 2003: 1-12

Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Eds.): Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Lecture Notes in Computer Science 2755, Springer 2003, isbn 3-540-20537-3

Martin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2): 519-560 (2002)

Nora Koch, Martin Wirsing: The Munich Reference Model for Adaptive Hypermedia Applications. AH 2002: 213-222

Dirk Pattinson, Martin Wirsing: Making Components Move: A Separation of Concerns Approach. FMCO 2002: 487-507

Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing: Extending Activity Diagrams to Model Mobile Systems. NetObjectDays 2002: 278-293

Martin Wirsing, Alexander Knapp: View Consistency in Software Development. RISSEF 2002: 341-357

Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki: AGILE: Software Architecture for Mobility. WADT 2002: 1-33

Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing: MultiMedia Instruction in Safe and Secure Systems. WADT 2002: 82-117

Mingsheng Ying, Martin Wirsing: Recursive equations in higher-order process calculi. Theor. Comput. Sci. 266(1-2): 839-852 (2001)

Bernhard Reus, Martin Wirsing, Rolf Hennicker: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE 2001: 300-317

Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing: Specifying Component Invariants with OCL. GI Jahrestagung (1) 2001: 600-607

Iman Poernomo, John N. Crossley, Martin Wirsing: Programs, Proofs and Parametrized Specifications. WADT 2001: 280-304

Manfred Broy, Martin Wirsing: Invited Talk: Algebraic State Machines. AMAST 2000: 89-188

Mingsheng Ying, Martin Wirsing: Approximate Bisimilarity. AMAST 2000: 309-322

Piotr Kosiuczenko, Martin Wirsing: Formalizing and Executing Message Sequence Charts via Timed Rewriting. Electr. Notes Theor. Comput. Sci. 25: 50-61 (1999)

Martin Wirsing, Nora Koch, Gustavo Rossi, Alejandra Garrido, Luis Mandel, Alfred Helmerich, Luis Olsina: Specification and Modelling of Multimedia and Hypermedia Applications in Distributed Systems. German-Argentinian Workshop on Information Technology 1999: 95-

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: An Event-Based Structural Operational Semantics of Multi-Threaded Java. Formal Syntax and Semantics of Java 1999: 157-200

Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing: Correct Realization of Interface Constraints with OCL. UML 1999: 399-415

John N. Crossley, Iman Poernomo, Martin Wirsing: Extraction of Structured Programs from Specification Proofs. WADT 1999: 419-437

Martin Wirsing, John N. Crossley, Hannes Peterreins: Proof Normalization of Structured Algebraic Specifications Is Convergent. WADT 1998: 326-340

Piotr Kosiuczenko, Martin Wirsing: Timed Rewriting Logic with an Application to Object-Based Specification. Sci. Comput. Program. 28(2-3): 225-246 (1997)

Rolf Hennicker, Martin Wirsing, Michel Bidoit: Proof Systems for Structured Specifications with Observability Operators. Theor. Comput. Sci. 173(2): 393-443 (1997)

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST 1997: 75-90

Rolf Hennicker, Martin Wirsing: Proof Systems for Struvtured Algebraic Specifications: An Overview. FCT 1997: 19-37

Josef Schneeberger, Nora Koch, Andreas Turk, Rainer Lutze, Martin Wirsing, Hartmut Fritzsche, Patrick Closhen: EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge. GI Jahrestagung 1997: 446-455

Martin Wirsing, Josef Schneeberger, Rainer Lutze: Workshop: Software-Engineering für Multimedia-Systeme. GI Jahrestagung 1997: 631

Alexander Knapp, Nora Koch, Martin Wirsing, J. Duckeck, Rainer Lutze, Hartmut Fritzsche, D. Timm, Patrick Closhen, Markus Frisch, Hans-Jürgen Hoffmann, Bernd Gaede, Josef Schneeberger, Herbert Stoyan, Andreas Turk: EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues. IDMS 1997: 199-209

Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing: Verifying a compiler optimization for Multi-Threaded Java. WADT 1997: 402-417

Martin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Electr. Notes Theor. Comput. Sci. 4: 322-360 (1996)

Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing: (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. ECOOP 1996: 232-247

John N. Crossley, Luis Mandel, Martin Wirsing: First-Order Constrained Lambda Calculus. FroCoS 1996: 339-356

Martin Wirsing, Maurice Nivat (Eds.): Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings. Lecture Notes in Computer Science 1101, Springer 1996, isbn 3-540-61463-X

María Victoria Cengarle, Martin Wirsing: A Calculus of Higher-Order Parameterization for Algebraic Specifications. Logic Journal of the IGPL 3(4): 615-641 (1995)

Michel Bidoit, Rolf Hennicker, Martin Wirsing: Behavioural and Abstractor Specifications. Sci. Comput. Program. 25(2-3): 149-186 (1995)

Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing: An Object-Oriented Algebraic Steam-Boiler Control Specification. Formal Methods for Industrial Applications 1995: 379-402

Manfred Broy, Martin Wirsing: Correct Software: From Experiments to Applications. KORSO Book 1995: 1-26

Peter Pepper, Martin Wirsing: A Method for the Development of Correct Software. KORSO Book 1995: 27-57

Martin Wirsing: Algebraic Specification Languages: An Overview. COMPASS/ADT 1994: 81-115

Ulrike Lechner, Christian Lengauer, Martin Wirsing: An Object-Oriented Airport: Specification and Refinement in Maude. COMPASS/ADT 1994: 351-367

Michel Bidoit, Rolf Hennicker, Martin Wirsing: Characterizing Behavioural Semantics and Abstractor Semantics. ESOP 1994: 105-119

Martin Wirsing: Ist zuverlässige Software eine Utopie? GI Jahrestagung 1994: 531

Friederike Nickl, Martin Wirsing: A Formal Approach to Requirements Engineering (Invited Paper). Formal Methods in Programming and Their Applications 1993: 312-334

Manfred Broy, Martin Wirsing: Korrekte Software: Vom Experiment zur Anwendung. GI Jahrestagung 1993: 29-43

María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider: An Approach to the DIN Kernel Lisp Definition. Lisp and Symbolic Computation 4(4): 319-369 (1992)

María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider: Answer to Baker's Remarks of July 1991 on Version 1.0. Lisp and Symbolic Computation 4(4): 399-404 (1992)

Maurice Bruynooghe, Martin Wirsing (Eds.): Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings. Lecture Notes in Computer Science 631, Springer 1992, isbn 3-540-55844-6

Friedrich L. Bauer, Martin Wirsing: Elementare Aussagenlogik. Mathematik für Informatiker, Springer 1991, isbn 978-3-540-52974-3, pp. I-X, 1-228

Rolf Hennicker, Martin Wirsing: A Formal Method for the Systematic Reuse of Specification Components. Methods of Programming 1991: 49-75

Jacek Leszczylowski, Martin Wirsing: Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. STACS 1991: 1-15

María Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider: Knowledge Representation in Kernel Lisp. Wissensbasierte Systeme 1991: 278-286

Manfred Broy, Martin Wirsing (Eds.): Method of Programming, Selected Papers on the CIP-Project. Lecture Notes in Computer Science 544, Springer 1991, isbn 3-540-54576-X

Jan Maluszynski, Martin Wirsing (Eds.): Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings. Lecture Notes in Computer Science 528, Springer 1991, isbn 3-540-54444-5

Thomas Streicher, Martin Wirsing: Dependent Types Considered Necessary for Specification Languages. ADT 1990: 323-340

Martin Wirsing: Algebraic Specification. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 675-788

Martin Wirsing, Rolf Hennicker, Robert Stabl: MENU - An Example for the Systematic Reuse of Specifications. ESEC 1989: 20-41

Martin Wirsing, Manfred Broy: A Modular Framework for Specification and Implementation. TAPSOFT, Vol.1 1989: 42-73

Martin Wirsing, Jan A. Bergstra (Eds.): Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]. Lecture Notes in Computer Science 394, Springer 1989, isbn 3-540-51698-0

Friedrich L. Bauer, Martin Wirsing: Crypt-Equivalent Algebraic Specifications. Acta Inf. 25(2): 111-153 (1988)

Manfred Broy, Martin Wirsing: Ultra-loose algebraic specifications. Bulletin of the EATCS 35: 117-127 (1988)

Bernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specification with Built-in Domain Constructions. CAAP 1988: 132-148

Martin Wirsing, Rolf Hennicker, Ruth Breu: Reusable Specification Components. MFCS 1988: 121-137

Robert Cori, Martin Wirsing (Eds.): STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings. Lecture Notes in Computer Science 294, Springer 1988, isbn 3-540-18834-7

Manfred Broy, Martin Wirsing, Peter Pepper: On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. 9(1): 54-99 (1987)

Bernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specifications of Reachable Higher-Order Algebras. ADT 1987: 154-169

Franz-Josef Brandenburg, Guy Vidal-Naquet, Martin Wirsing (Eds.): STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings. Lecture Notes in Computer Science 247, Springer 1987, isbn 3-540-17219-X

Martin Wirsing: Algebraic specification of the abstract data type "Continuum" without hidden operations. Bulletin of the EATCS 29: 46-54 (1986)

Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing: Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7(1): 35-53 (1986)

Martin Wirsing: Structured Algebraic Specifications: A Kernel Language. Theor. Comput. Sci. 42: 123-249 (1986)

Martin Wirsing: Specification Languages versus Programming Languages (Panel). IFIP Congress 1986: 777-778

Egidio Astesiano, Gianna Reggio, Martin Wirsing: Relational Specifications and Observational Semantics. MFCS 1986: 209-217

Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner: The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183, Springer 1985, isbn 3-540-15187-7

Andrzej Tarlecki, Martin Wirsing: Continuous abstract data types: basic machinery and results. FCT 1985: 431-441

Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358

Peter Padawitz, Martin Wirsing: Completeness of many-sorted equational logic revisited. Bulletin of the EATCS 24: 88-93 (1984)

Manfred Broy, Martin Wirsing, C. Pair: A Systematic Study of Models of Abstract Data Types. Theor. Comput. Sci. 33: 139-174 (1984)

Rolf Hennicker, Martin Wirsing: Observational Specification: A Birkhoff Theorem. ADT 1984: 119-135

Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch: On Hierarchies of Abstract Data Types. Acta Inf. 20: 1-33 (1983)

Manfred Broy, Martin Wirsing: Algebraic Definition of a Functional Programming Language and Its Semantic Models. ITA 17(2): 137-161 (1983)

Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras. ADT 1983

Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation. ADT 1983

Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras and Partial Interpretations. CAAP 1983: 1-34

Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. FCT 1983: 413-427

Manfred Broy, Martin Wirsing: Partial Abstract Types. Acta Inf. 18: 47-64 (1982)

Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing: Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Informatik Spektrum 5(2): 107-119 (1982)

Martin Wirsing: Implementation of Parameterized Hierarchical Specifications. ADT 1982

Donald Sannella, Martin Wirsing: Implementation of Parameterised Specifications (Extended Abstract). ICALP 1982: 473-488

Jacek Leszczylowski, Martin Wirsing: A system for reasoning within and about algebraic specifications. Symposium on Programming 1982: 257-282

Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385

Manfred Broy, Rupert Gnatz, Martin Wirsing: Nichtdeterminismus - Das aktuelle Schlagwort. Informatik Spektrum 4(2): 125-126 (1981)

Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner: Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1(1-2): 73-114 (1981)

Manfred Broy, Martin Wirsing: On the Algebraic Specification of Nondeterministic Programming Languages. CAAP 1981: 162-179

Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing: GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). GI Jahrestagung 1981: 109-121

Manfred Broy, Martin Wirsing: On the Algebraic Extensions of Abstract Data Types. ICFPC 1981: 244-251

Jan A. Bergstra, Manfred Broy, J. V. Tucker, Martin Wirsing: On the Power of Algebraic Specifications. MFCS 1981: 193-204

Manfred Broy, Martin Wirsing: Program Development: From Enumeration to Backtracking. Inf. Process. Lett. 10(4/5): 193-197 (1980)

Manfred Broy, Martin Wirsing: Programming languages as abstract data types. CLAAP 1980: 160-177

Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari: Polynomials - The Specification, Analysis and Development of an Abstract Data Type. GI Jahrestagung 1980: 306-320

Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing: Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106

Martin Wirsing, Manfred Broy: Abstract Data Types as Lattices of Finitely Generated Models. MFCS 1980: 673-685

Manfred Broy, Peter Pepper, Martin Wirsing: On Relations Between Programs. Symposium on Programming 1980: 59-78

Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Remy: Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. Inf. Process. Lett. 8(5): 224-229 (1979)

Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing: Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87

Manfred Broy, Rupert Gnatz, Martin Wirsing: Semantics of Nondeterministic and Noncontinuous Constructs. Program Construction 1978: 553-592