| 2024 | ISoLA | Epistemic Ensembles in Semantic and Symbolic Environments. | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
| 2024 | ISoLA | Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70 | Mirco Tribastone, Stefan Jhnichen, Martin Wirsing |
| 2024 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 5 | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen, Mirco Tribastone |
| 2024 | LPAR | Symbolic Realisation of Epistemic Processes. | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
| 2024 | VECoS | SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning. | Gerhard Stenzel, Kyrill Schmid, Michael Klle, Philipp Altmann, Marian Lingsch Rosenfeld, Maximilian Zorn, Tim Bcher, Thomas Gabor, Martin Wirsing, Lenz Belzner |
| 2023 | VECoS | Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study. | Lenz Belzner, Thomas Gabor, Martin Wirsing |
| 2022 | ICDCS | On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives. | Xiyue Sun, Fabian R. Pieroth, Kyrill Schmid, Martin Wirsing, Lenz Belzner |
| 2022 | ISoLA | Epistemic Ensembles. | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
| 2022 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 4 | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen |
| 2020 | ISoLA | A Dynamic Logic for Systems with Predicate-Based Communication. | Rolf Hennicker, Martin Wirsing |
| 2020 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen |
| 2018 | ISoLA | The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents. | Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing |
| 2018 | ISoLA | Dynamic Logic for Ensembles. | Rolf Hennicker, Martin Wirsing |
| 2018 | ISoLA | The Meaning of Adaptation: Mastering the Unforeseen? | Stefan Jhnichen, Rocco De Nicola, Martin Wirsing |
| 2018 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. | Rocco De Nicola, Stefan Jhnichen, Martin Wirsing |
| 2016 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Track Introduction. | Stefan Jhnichen, Martin Wirsing |
| 2016 | ISoLA | Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction. | Stefan Jhnichen, Martin Wirsing |
| 2014 | ISoLA | Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. | Martin Wirsing, Rocco De Nicola, Matthias M. Hlzl |
| 2012 | FASE | Stable Availability under Denial of Service Attacks through Formal Patterns. | Jonas Eckhardt, Tobias Mhlbauer, Musab AlTurki, Jos Meseguer, Martin Wirsing |
| 2011 | CaiSE | Evaluation of Cost Based Best Practices in Business Processes. | Partha Sampath, Martin Wirsing |
| 2010 | ISoLA | Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. | Mirco Tribastone, Philip Mayer, Martin Wirsing |
| 2010 | SAC | A heterogeneous approach to service-oriented systems specification. | Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki |
| 2009 | CALCO | Constraint-Muse: A Soft-Constraint Based System for Music Therapy. | Matthias M. Hlzl, Grit Denker, Max Meier, Martin Wirsing |
| 2009 | ICSOC | A Service-Oriented UML Profile with Formal Support. | Roberto Bruni, Matthias M. Hlzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing |
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2006 | FORTE | Semantic-Based Development of Service-Oriented Systems. | Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hlzl, Alexander Knapp, Nora Koch, Andreas Schroeder |
| 2004 | SEFM | Property-Driven Development. | Hubert Baumeister, Alexander Knapp, Martin Wirsing |
| 2003 | FASE | A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. | Stephan Merz, Martin Wirsing, Jlia Zappe |
| 2001 | FASE | A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. | Bernhard Reus, Martin Wirsing, Rolf Hennicker |
| 2001 | GI | Specifying Component Invariants with OCL. | Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing |
| 2000 | GI | Workshop ber Rigorose Entwicklung software-intensiver Systeme. | Martin Wirsing, Martin Gogolla, Hans-Jrg Kreowski, Tobias Nipkow, Wolfgang Reif |
| 1997 | FCT | Proof Systems for Struvtured Algebraic Specifications: An Overview. | Rolf Hennicker, Martin Wirsing |
| 1997 | GI | EPK-fix: Software-Engineering und Werkzeuge fr elektronische Produktkataloge. | Josef Schneeberger, Nora Koch, Andreas Turk, Rainer Lutze, Martin Wirsing, Hartmut Fritzsche, Patrick Closhen |
| 1997 | GI | Workshop: Software-Engineering fr Multimedia-Systeme. | Martin Wirsing, Josef Schneeberger, Rainer Lutze |
| 1996 | ECOOP | (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. | Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing |
| 1994 | COMPASS | An Object-Oriented Airport: Specification and Refinement in Maude. | Ulrike Lechner, Christian Lengauer, Martin Wirsing |
| 1994 | COMPASS | Algebraic Specification Languages: An Overview. | Martin Wirsing |
| 1994 | ESOP | Characterizing Behavioural Semantics and Abstractor Semantics. | Michel Bidoit, Rolf Hennicker, Martin Wirsing |
| 1994 | GI | Ist zuverlssige Software eine Utopie? | Martin Wirsing |
| 1993 | GI | Korrekte Software: Vom Experiment zur Anwendung. | Manfred Broy, Martin Wirsing |
| 1991 | STACS | Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. | Jacek Leszczylowski, Martin Wirsing |
| 1991 | WI | Knowledge Representation in Kernel Lisp. | Mara Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Dler, Martin Wirsing, Thekla Schneider |
| 1988 | MFCS | Reusable Specification Components. | Martin Wirsing, Rolf Hennicker, Ruth Breu |
| 1986 | MFCS | Relational Specifications and Observational Semantics. | Egidio Astesiano, Gianna Reggio, Martin Wirsing |
| 1985 | FCT | Continuous abstract data types: basic machinery and results. | Andrzej Tarlecki, Martin Wirsing |
| 1983 | FCT | A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. | Donald Sannella, Martin Wirsing |
| 1982 | ICALP | Implementation of Parameterised Specifications (Extended Abstract). | Donald Sannella, Martin Wirsing |
| 1982 | VLDB | On the Algebraic Specification of Databases. | Walter Dosch, Gianfranco Mascari, Martin Wirsing |
| 1981 | GI | GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). | Manfred Broy, Walter Dosch, Bernhard Mller, Martin Wirsing |
| 1981 | MFCS | On the Power of Algebraic Specifications. | Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing |
| 1980 | GI | Polynomials - The Specification, Analysis and Development of an Abstract Data Type. | Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari |
| 1980 | MFCS | Abstract Data Types as Lattices of Finitely Generated Models. | Martin Wirsing, Manfred Broy |
| 1979 | ICALP | Existential Quantifiers in Abstract Data Types. | Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing |