Martin Wirsing

234 papers A* 4A 5B 15C 5Misc 1Journal 56Unranked 114
YearRankTypeTitle / Venue / Authors
2026 — ch.
Let's Talk AI with Computer Science Expert Martin Wirsing.
Let's Talk AI
Martin Wirsing, Barbara Steffen
2025 J jnl
A Modular Bisimulation characterisation for Fragments of Hybrid Logic.
Bull. Symb. Log.
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2025 — conf
A Tale of Formal Methods, Organic Computing, and Intelligent Robotics - The Scientific Life of Wolfgang Reif.
Go Where the Bugs Are
Dominik Haneberg, Alexander Knapp, Oliver Kosak, Florian Nafz, Hella Ponsar, Gerhard Schellhorn, Martin Wirsing
2025 — conf
From Otter to ISoLA.
The Combined Power of Research, Education, and Dissemination
Martin Wirsing
2025 J jnl
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games.
ACM Trans. Comput. Log.
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2025 J jnl
Rigorous engineering of collective adaptive systems - 3rd special section: part I.
Int. J. Softw. Tools Technol. Transf.
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone
2024 J jnl
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs).
CoRR
Rolf Hennicker, Alexander Knapp, Martin Wirsing
2024 — conf
Epistemic Ensembles in Semantic and Symbolic Environments.
ISoLA (2)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
2024 J jnl
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games.
CoRR
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2024 — conf
Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70
ISoLA (1)
Mirco Tribastone, Stefan Jähnichen, Martin Wirsing
2024 — conf
Rigorous Engineering of Collective Adaptive Systems Introduction to the 5
ISoLA (2)
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone
2024 — conf
SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning.
AISoLA
Gerhard Stenzel, Kyrill Schmid, Michael Kölle, Philipp Altmann, Marian Lingsch Rosenfeld, Maximilian Zorn, Tim Bücher, Thomas Gabor, Martin Wirsing, Lenz Belzner
2024 B conf
Symbolic Realisation of Epistemic Processes.
LPAR
Rolf Hennicker, Alexander Knapp, Martin Wirsing
2023 J jnl
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic.
Log. J. IGPL
Martin Wirsing, Alexander Knapp
2023 J jnl
In memory of Heinrich Hussmann, long-time friend and SoSyM editor.
Softw. Syst. Model.
Manfred Broy, Albrecht Schmidt, Martin Wirsing
2023 — conf
Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study.
AISoLA
Lenz Belzner, Thomas Gabor, Martin Wirsing
2023 J jnl
Rigorous engineering of collective adaptive systems - 2nd special section.
Int. J. Softw. Tools Technol. Transf.
Martin Wirsing, Stefan Jähnichen, Rocco De Nicola
2023 — conf
Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Martin Wirsing, Lenz Belzner
2022 — conf
Epistemic Ensembles.
ISoLA (3)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
2022 — conf
On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives.
ICDCS Workshops
Xiyue Sun, Fabian R. Pieroth, Kyrill Schmid, Martin Wirsing, Lenz Belzner
2022 — conf
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4
ISoLA (3)
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
2021 J jnl
On methods and tools for rigorous system design.
Int. J. Softw. Tools Technol. Transf.
Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing
2021 J jnl
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking.
Sci. Comput. Program.
Lenz Belzner, Martin Wirsing
2020 — conf
A Dynamic Logic for Systems with Predicate-Based Communication.
ISoLA (2)
Rolf Hennicker, Martin Wirsing
2020 — conf
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition.
ISoLA (2)
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
2020 J jnl
Rigorous engineering of collective adaptive systems: special section.
Int. J. Softw. Tools Technol. Transf.
Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
2020 J jnl
Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking.
CoRR
Lenz Belzner, Martin Wirsing
2019 — conf
A Generic Dynamic Logic with Applications to Interaction-Based Systems.
From Software Engineering to Formal Methods and Tools, and Back
Rolf Hennicker, Martin Wirsing
2019 — ed.
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge - 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20-22, 2019, Proceedings
EMOOCs
Mauro Calise, Carlos Delgado Kloos, Justin Reich, José A. Ruipérez-Valiente, Martin Wirsing
2019 — ed.
Proceedings of Work in Progress Papers of the Research, Experience and Business Tracks at EMOOCs 2019, co-located with the European MOOCs Stakeholders Submmit 2019 Conference, Naples, Italy, May 20-22, 2019.
EMOOCs-WIP
Mauro Calise, Carlos Delgado Kloos, Catherine Mongenet, Justin Reich, José A. Ruipérez-Valiente, Gideon Shimshon, Thomas Staubitz, Martin Wirsing
2019 — conf
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems.
Models, Languages, and Tools for Concurrent and Distributed Programming
Martin Wirsing, Rolf Hennicker
2018 J jnl
Behavioural and abstractor specifications revisited.
Theor. Comput. Sci.
Rolf Hennicker, Alexandre Madeira, Martin Wirsing
2018 — conf
Dynamic Logic for Ensembles.
ISoLA (3)
Rolf Hennicker, Martin Wirsing
2018 — conf
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition.
ISoLA (3)
Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
2018 — conf
The Meaning of Adaptation: Mastering the Unforeseen?
ISoLA (3)
Stefan Jähnichen, Rocco De Nicola, Martin Wirsing
2018 J jnl
The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents.
CoRR
Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing
2018 — conf
The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents.
ISoLA (3)
Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing
2017 — ch.
Software-Verifikation.
50 Jahre Universitäts-Informatik in München
Dirk Beyer, Rolf Hennicker, Martin Hofmann, Tobias Nipkow, Martin Wirsing
2016 — conf
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction.
ISoLA (1)
Stefan Jähnichen, Martin Wirsing
2016 J jnl
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations.
LNCS Trans. Found. Mastering Chang.
Lenz Belzner, Matthias M. Hölzl, Nora Koch, Martin Wirsing
2016 — conf
Rigorous Engineering of Collective Adaptive Systems Track Introduction.
ISoLA (1)
Stefan Jähnichen, Martin Wirsing
2015 — conf
Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization.
Logic, Rewriting, and Concurrency
Stefanie Neubert, Lenz Belzner, Martin Wirsing
2015 J jnl
An Ontology for Secure Web Applications.
Int. J. Softw. Informatics
Marianne Busch, Martin Wirsing
2015 C ed.
Knowledge Science, Engineering and Management - 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
KSEM
Songmao Zhang, Martin Wirsing, Zili Zhang
2015 — conf
Model-Checking Helena Ensembles with Spin.
Logic, Rewriting, and Concurrency
Rolf Hennicker, Annabelle Klarl, Martin Wirsing
2015 — conf
OnPlan: A Framework for Simulation-Based Online Planning.
FACS
Lenz Belzner, Rolf Hennicker, Martin Wirsing
2015 — ch.
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.
The ASCENS Approach
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing
2015 J jnl
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude.
Sci. Comput. Program.
Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing
2015 — book
Software Engineering for Collective Autonomic Systems - The ASCENS Approach
The ASCENS Approach
Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer
2015 — ch.
The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems.
The ASCENS Approach
Matthias M. Hölzl, Nora Koch, Mariachiara Puviani, Martin Wirsing, Franco Zambonelli
2014 — conf
A SOC-Based Formal Specification and Verification of Hybrid Systems.
WADT
Ning Yu, Martin Wirsing
2014 — conf
Assembly Theories for Communication-Safe Component Systems.
FPS@ETAPS
Rolf Hennicker, Alexander Knapp, Martin Wirsing
2014 J jnl
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512).
Dagstuhl Reports
Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli
2014 — ch.
Evaluation of Engineering Approaches in the Secure Software Development Life Cycle.
Engineering Secure Future Internet Services and Systems
Marianne Busch, Nora Koch, Martin Wirsing
2014 — conf
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction.
ISoLA (1)
Martin Wirsing, Rocco De Nicola, Matthias M. Hölzl
2014 J jnl
Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112).
Dagstuhl Manifestos
Pierre Dillenbourg, Armando Fox, Claude Kirchner, John C. Mitchell, Martin Wirsing
2014 J jnl
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112).
Dagstuhl Reports
Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, Martin Wirsing
2014 — conf
Reasoning (on) Service Component Ensembles in Rewriting Logic.
Specification, Algebra, and Software
Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing
2014 — conf
SecEval: An Evaluation Framework for Engineering Secure Systems.
Modellierung
Marianne Busch, Nora Koch, Martin Wirsing
2013 — conf
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase.
SASO Workshops
Tomás Bures, Rocco De Nicola, Ilias Gerostathopoulos, Nicklas Hoch, Michal Kit, Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola B. Serbedzija, Martin Wirsing, Franco Zambonelli
2013 J jnl
Financial Evaluation and Optimization of Business Processes.
Int. J. Inf. Syst. Model. Des.
Partha B. Sampathkumaran, Martin Wirsing
2013 — book
Java kompakt - Eine Einführung in die Software-Entwicklung mit Java.
Matthias M. Hölzl, Allaithy Raed, Martin Wirsing
2013 — conf
Soft Constraints for Lexicographic Orders.
MICAI (1)
Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing
2012 — conf
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.
WRLA
Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer
2012 C conf
Developing Physiological Computing Systems: Challenges and Solutions.
Software Engineering
Andreas Schroeder, Martin Wirsing
2012 B conf
Stable Availability under Denial of Service Attacks through Formal Patterns.
FASE
Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing
2012 — conf
Statistical Model Checking for Composite Actor Systems.
WADT
Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing
2011 J jnl
A contract-based approach to adaptivity.
J. Log. Algebraic Methods Program.
Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing
2011 — conf
ASCENS: Engineering Autonomic Service-Component Ensembles.
FMCO
Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli
2011 — conf
Evaluation of Cost Based Best Practices in Business Processes.
BMMDS/EMMSAD
Partha Sampath, Martin Wirsing
2011 J jnl
Interface theories for concurrency and data.
Theor. Comput. Sci.
Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
2011 J jnl
Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy.
Int. J. Softw. Informatics
Martin Wirsing, Ruqian Lu
2011 — book
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Results of the SENSORIA Project
Martin Wirsing, Matthias M. Hölzl
2011 — ch.
Sensoria - Software Engineering for Service-Oriented Overlay Computers.
Results of the SENSORIA Project
Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer
2011 — ch.
Sensoria Patterns.
Results of the SENSORIA Project
Matthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing
2011 — conf
Towards a System Model for Ensembles.
Formal Modeling: Actors, Open Systems, Biological Systems
Matthias M. Hölzl, Martin Wirsing
2010 — conf
A Component-Based Approach to Adaptive User-Centric Pervasive Applications.
QoSA
Martin Wirsing
2010 Misc conf
A heterogeneous approach to service-oriented systems specification.
SAC
Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki
2010 — conf
Building a Modal Interface Theory for Concurrency and Data.
WADT
Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
2010 J jnl
Comparing goal-oriented and procedural service orchestration.
Multiagent Grid Syst.
M. Birna van Riemsdijk, Martin Wirsing
2010 — conf
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude
RTRTS
Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder
2010 — conf
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks.
ISoLA (2)
Mirco Tribastone, Philip Mayer, Martin Wirsing
2010 — ed.
Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
TGC
Martin Wirsing, Martin Hofmann, Axel Rauschmayer
2009 — conf
A Service-Oriented UML Profile with Formal Support.
ICSOC/ServiceWave
Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing
2009 — conf
Computing the Cost of Business Processes.
UNISCON
Partha Sampath, Martin Wirsing
2009 B conf
Constraint-Muse: A Soft-Constraint Based System for Music Therapy.
CALCO
Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing
2009 B ed.
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
FASE
Marsha Chechik, Martin Wirsing
2009 — conf
On the Specification and Verification of Model Transformations.
Semantics and Algebraic Specification
Fernando Orejas, Martin Wirsing
2008 — conf
A Heterogeneous Approach to UML Semantics.
Concurrency, Graphs and Models
María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing
2008 — ch.
Engineering of Software-Intensive Systems: State of the Art and Research Challenges.
Software-Intensive Systems and New Computing Paradigms
Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing
2008 C conf
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA
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ó
2008 — conf
Service Specification and Matchmaking Using Description Logic.
AMAST
M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder
2008 — ch.
Software Engineering for Ensembles.
Software-Intensive Systems and New Computing Paradigms
Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing
2008 — book
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions
Software-Intensive Systems and New Computing Paradigms
Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer
2008 — conf
What Is a Multi-modeling Language?
WADT
Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing
2008 — conf
Which Soft Constraints do you Prefer?
WRLA
Matthias M. Hölzl, Max Meier, Martin Wirsing
2007 — conf
07061 Abstracts Collection -- Autonomous and Adaptive Web Services.
Autonomous and Adaptive Web Services
Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing
2007 — ed.
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007
Autonomous and Adaptive Web Services
Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing
2007 — conf
Modelling the CoCoME with the Java/AComponent Model.
CoCoME
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing
2007 J jnl
UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications).
i-com
Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang
2007 — conf
Using Goals for Flexible Service Orchestration.
SOCASE
M. Birna van Riemsdijk, Martin Wirsing
2006 — conf
A Rewriting Logic Framework for Soft Constraints.
WRLA
Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister
2006 — ed.
Foundations of Global Computing, 20.-25. February 2005
Foundations of Global Computing
José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing
2006 C conf
Semantic-Based Development of Service-Oriented Systems.
FORTE
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
2006 — conf
SensoriaProcess Calculi for Service-Oriented Computing.
TGC
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
2006 J jnl
Specification and refinement of mobile systems in MTLA and mobile UML.
Theor. Comput. Sci.
Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe
2005 — conf
05081 Abstracts Collection - Foundations of Global Computing.
Foundations of Global Computing
José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing
2005 — conf
A Component Model for Architectural Programming.
FACS
Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
2005 J jnl
A coordination approach to mobile components.
Theor. Comput. Sci.
Dirk Pattinson, Martin Wirsing
2005 — book
Adapting Proofs-as-Programs - The Curry-Howard Protocol
Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley
2005 J jnl
Editorial.
J. Web Eng.
Nora Koch, Piero Fraternali, Martin Wirsing
2005 C ed.
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
ICTAC
Dang Van Hung, Martin Wirsing
2004 A* conf
Consistency Checking in an Infrastructure for Large-Scale Generative.
ASE
Axel Rauschmayer, Alexander Knapp, Martin Wirsing
2004 — conf
Mobile UML Statecharts with Localities.
Global Computing
Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
2004 B conf
Property-Driven Development.
SEFM
Hubert Baumeister, Alexander Knapp, Martin Wirsing
2004 — ed.
Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
RISSEF
Martin Wirsing, Alexander Knapp, Simonetta Balsamo
2004 — conf
Refining Mobile UML State Machines.
AMAST
Alexander Knapp, Stephan Merz, Martin Wirsing
2004 B ed.
Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings
ICWE
Nora Koch, Piero Fraternali, Martin Wirsing
2003 B conf
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.
FASE
Stephan Merz, Martin Wirsing, Júlia Zappe
2003 — ed.
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
WADT
Martin Wirsing, Dirk Pattinson, Rolf Hennicker
2003 — conf
The Agent Component Approach, Combining Agents, and Components.
MATES
Richard Krutisch, Philipp Meier, Martin Wirsing
2003 — conf
Towards a Formal Specification for the AgentComponent.
Objects, Agents, and Features
Philipp Meier, Martin Wirsing
2003 — conf
UML for Global Computing.
Global Computing
Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing
2002 J jnl
A formal approach to object-oriented software engineering.
Theor. Comput. Sci.
Martin Wirsing, Alexander Knapp
2002 — conf
AGILE: Software Architecture for Mobility.
WADT
Luís 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
2002 — conf
Extending Activity Diagrams to Model Mobile Systems.
NetObjectDays
Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing
2002 — conf
Making Components Move: A Separation of Concerns Approach.
FMCO
Dirk Pattinson, Martin Wirsing
2002 — conf
MultiMedia Instruction in Safe and Secure Systems.
WADT
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
2002 — conf
The Munich Reference Model for Adaptive Hypermedia Applications.
AH
Nora Koch, Martin Wirsing
2002 — conf
View Consistency in Software Development.
RISSEF
Martin Wirsing, Alexander Knapp
2001 B conf
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.
FASE
Bernhard Reus, Martin Wirsing, Rolf Hennicker
2001 — conf
Programs, Proofs and Parametrized Specifications.
WADT
Iman Poernomo, John N. Crossley, Martin Wirsing
2001 J jnl
Recursive equations in higher-order process calculi.
Theor. Comput. Sci.
Mingsheng Ying, Martin Wirsing
2001 — conf
Specifying Component Invariants with OCL.
GI Jahrestagung (1)
Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing
2001 J jnl
Towards an Integration of Message sequence Charts and Timed Maude.
Trans. SDPS
Piotr Kosiuczenko, Martin Wirsing
2000 — conf
Approximate Bisimilarity.
AMAST
Mingsheng Ying, Martin Wirsing
2000 — conf
Invited Talk: Algebraic State Machines.
AMAST
Manfred Broy, Martin Wirsing
2000 — conf
Workshop über Rigorose Entwicklung software-intensiver Systeme.
GI Jahrestagung
Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif
1999 — conf
An Event-Based Structural Operational Semantics of Multi-Threaded Java.
Formal Syntax and Semantics of Java
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
1999 — conf
Correct Realization of Interface Constraints with OCL.
UML
Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing
1999 — conf
Extraction of Structured Programs from Specification Proofs.
WADT
John N. Crossley, Iman Poernomo, Martin Wirsing
1999 — ch.
Specification Languages.
Algebraic Foundations of Systems Specification
Donald Sannella, Martin Wirsing
1999 — conf
Specification and Modelling of Multimedia and Hypermedia Applications in Distributed Systems.
German-Argentinian Workshop on Information Technology
Martin Wirsing, Nora Koch, Gustavo Rossi, Alejandra Garrido, Luis Mandel, Alfred Helmerich, Luis Olsina
1998 — conf
Formalizing and Executing Message Sequence Charts via Timed Rewriting.
Monterey Workshop
Piotr Kosiuczenko, Martin Wirsing
1998 — conf
Proof Normalization of Structured Algebraic Specifications Is Convergent.
WADT
Martin Wirsing, John N. Crossley, Hannes Peterreins
1997 — conf
EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues.
IDMS
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
1997 — conf
EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge.
GI Jahrestagung
Josef Schneeberger, Nora Koch, Andreas Turk, Rainer Lutze, Martin Wirsing, Hartmut Fritzsche, Patrick Closhen
1997 — conf
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.
AMAST
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
1997 J jnl
Proof Systems for Structured Specifications with Observability Operators.
Theor. Comput. Sci.
Rolf Hennicker, Martin Wirsing, Michel Bidoit
1997 B conf
Proof Systems for Struvtured Algebraic Specifications: An Overview.
FCT
Rolf Hennicker, Martin Wirsing
1997 J jnl
Timed Rewriting Logic with an Application to Object-Based Specification.
Sci. Comput. Program.
Piotr Kosiuczenko, Martin Wirsing
1997 — conf
Verifying a compiler optimization for Multi-Threaded Java.
WADT
Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing
1997 — conf
Workshop: Software-Engineering für Multimedia-Systeme.
GI Jahrestagung
Martin Wirsing, Josef Schneeberger, Rainer Lutze
1996 A conf
(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly.
ECOOP
Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing
1996 — conf
A formal approach to object-oriented software engineering.
WRLA
Martin Wirsing, Alexander Knapp
1996 — ed.
Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings
AMAST
Martin Wirsing, Maurice Nivat
1996 — conf
First-Order Constrained Lambda Calculus.
FroCoS
John N. Crossley, Luis Mandel, Martin Wirsing
1995 J jnl
A Calculus of Higher-Order Parameterization for Algebraic Specifications.
Log. J. IGPL
María Victoria Cengarle, Martin Wirsing
1995 — ch.
A Method for the Development of Correct Software.
KORSO Book
Peter Pepper, Martin Wirsing
1995 — conf
An Object-Oriented Algebraic Steam-Boiler Control Specification.
Formal Methods for Industrial Applications
Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing
1995 J jnl
Behavioural and Abstractor Specifications.
Sci. Comput. Program.
Michel Bidoit, Rolf Hennicker, Martin Wirsing
1995 — ch.
Correct Software: From Experiments to Applications.
KORSO Book
Manfred Broy, Martin Wirsing
1994 — conf
Algebraic Specification Languages: An Overview.
COMPASS/ADT
Martin Wirsing
1994 — conf
An Object-Oriented Airport: Specification and Refinement in Maude.
COMPASS/ADT
Ulrike Lechner, Christian Lengauer, Martin Wirsing
1994 A conf
Characterizing Behavioural Semantics and Abstractor Semantics.
ESOP
Michel Bidoit, Rolf Hennicker, Martin Wirsing
1994 — conf
Ist zuverlässige Software eine Utopie?
GI Jahrestagung
Martin Wirsing
1993 — conf
A Formal Approach to Requirements Engineering (Invited Paper).
Formal Methods in Programming and Their Applications
Friederike Nickl, Martin Wirsing
1993 — conf
Korrekte Software: Vom Experiment zur Anwendung.
GI Jahrestagung
Manfred Broy, Martin Wirsing
1992 J jnl
An Approach to the DIN Kernel Lisp Definition.
LISP Symb. Comput.
María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider
1992 J jnl
Answer to Baker's Remarks of July 1991 on Version 1.0.
LISP Symb. Comput.
María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider
1992 — ed.
Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings
PLILP
Maurice Bruynooghe, Martin Wirsing
1991 — conf
A Formal Method for the Systematic Reuse of Specification Components.
Methods of Programming
Rolf Hennicker, Martin Wirsing
1991 — book
Elementare Aussagenlogik.
Friedrich L. Bauer, Martin Wirsing
1991 — conf
Knowledge Representation in Kernel Lisp.
Wissensbasierte Systeme
María Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider
1991 — ed.
Method of Programming, Selected Papers on the CIP-Project
Method of Programming
Manfred Broy, Martin Wirsing
1991 A conf
Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective.
STACS
Jacek Leszczylowski, Martin Wirsing
1991 — ed.
Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings
PLILP
Jan Maluszynski, Martin Wirsing
1990 — ch.
Algebraic Specification.
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)
Martin Wirsing
1990 — conf
Dependent Types Considered Necessary for Specification Languages.
ADT
Thomas Streicher, Martin Wirsing
1989 — conf
A Modular Framework for Specification and Implementation.
TAPSOFT, Vol.1
Martin Wirsing, Manfred Broy
1989 — ed.
Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]
Algebraic Methods
Martin Wirsing, Jan A. Bergstra
1989 — conf
Algebraic Specification: Semantics, Parameterization and Refinement.
Formal Description of Programming Concepts
Martin Wirsing
1989 — conf
MENU - An Example for the Systematic Reuse of Specifications.
ESEC
Martin Wirsing, Rolf Hennicker, Robert Stabl
1988 — conf
Algebraic Specification with Built-in Domain Constructions.
CAAP
Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
1988 J jnl
Crypt-Equivalent Algebraic Specifications.
Acta Informatica
Friedrich L. Bauer, Martin Wirsing
1988 B conf
Reusable Specification Components.
MFCS
Martin Wirsing, Rolf Hennicker, Ruth Breu
1988 A ed.
STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings
STACS
Robert Cori, Martin Wirsing
1988 J jnl
Ultra-loose algebraic specifications.
Bull. EATCS
Manfred Broy, Martin Wirsing
1987 — conf
Algebraic Specifications of Reachable Higher-Order Algebras.
ADT
Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
1987 — ed.
Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986
Martin Wirsing
1987 J jnl
On the Algebraic Definition of Programming Languages.
ACM Trans. Program. Lang. Syst.
Manfred Broy, Martin Wirsing, Peter Pepper
1987 A ed.
STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings
STACS
Franz-Josef Brandenburg, Guy Vidal-Naquet, Martin Wirsing
1986 J jnl
Algebraic Implementations Preserve Program Correctness.
Sci. Comput. Program.
Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing
1986 J jnl
Algebraic specification of the abstract data type "Continuum" without hidden operations.
Bull. EATCS
Martin Wirsing
1986 B conf
Relational Specifications and Observational Semantics.
MFCS
Egidio Astesiano, Gianna Reggio, Martin Wirsing
1986 — conf
Specification Languages versus Programming Languages (Panel).
IFIP Congress
Martin Wirsing
1986 J jnl
Structured Algebraic Specifications: A Kernel Language.
Theor. Comput. Sci.
Martin Wirsing
1985 B conf
Continuous abstract data types: basic machinery and results.
FCT
Andrzej Tarlecki, Martin Wirsing
1985 — conf
On the Parameterized Algebraic Specification of Concurrent Systems.
TAPSOFT, Vol.1
Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing
1985 — book
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
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
1984 J jnl
A Systematic Study of Models of Abstract Data Types.
Theor. Comput. Sci.
Manfred Broy, Martin Wirsing, Claude Pair
1984 J jnl
Completeness of many-sorted equational logic revisited.
Bull. EATCS
Peter Padawitz, Martin Wirsing
1984 — conf
Observational Specification: A Birkhoff Theorem.
ADT
Rolf Hennicker, Martin Wirsing
1983 B conf
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract.
FCT
Donald Sannella, Martin Wirsing
1983 — conf
A Kernel Language for Algebraic Specification and Implementation.
ADT
Donald Sannella, Martin Wirsing
1983 J jnl
Algebraic Definition of a Functional Programming Language and Its Semantic Models.
RAIRO Theor. Informatics Appl.
Manfred Broy, Martin Wirsing
1983 — conf
Generalized Heterogeneous Algebras and Partial Interpretations.
CAAP
Manfred Broy, Martin Wirsing
1983 — conf
Generalized Heterogeneous Algebras.
ADT
Manfred Broy, Martin Wirsing
1983 J jnl
On Hierarchies of Abstract Data Types.
Acta Informatica
Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch
1982 — conf
A system for reasoning within and about algebraic specifications.
Symposium on Programming
Jacek Leszczylowski, Martin Wirsing
1982 J jnl
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Inform. Spektrum
Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
1982 A* conf
Implementation of Parameterised Specifications (Extended Abstract).
ICALP
Donald Sannella, Martin Wirsing
1982 — conf
Implementation of Parameterized Hierarchical Specifications.
ADT
Martin Wirsing
1982 A* conf
On the Algebraic Specification of Databases.
VLDB
Walter Dosch, Gianfranco Mascari, Martin Wirsing
1982 — conf
On the Algebraic Specification of Finitary Infinite.
Formal Description of Programming Concepts
Manfred Broy, Martin Wirsing
1982 J jnl
Partial Abstract Types.
Acta Informatica
Manfred Broy, Martin Wirsing
1982 — ed.
Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany
ADT
Manfred Broy, Martin Wirsing
1981 — conf
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).
GI Jahrestagung
Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing
1981 J jnl
Nichtdeterminismus - Das aktuelle Schlagwort.
Inform. Spektrum
Manfred Broy, Rupert Gnatz, Martin Wirsing
1981 — conf
On the Algebraic Extensions of Abstract Data Types.
ICFPC
Manfred Broy, Martin Wirsing
1981 — conf
On the Algebraic Specification of Nondeterministic Programming Languages.
CAAP
Manfred Broy, Martin Wirsing
1981 B conf
On the Power of Algebraic Specifications.
MFCS
Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing
1981 J jnl
Programming in a Wide Spectrum Language: A Collection of Examples.
Sci. Comput. Program.
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
1980 B conf
Abstract Data Types as Lattices of Finitely Generated Models.
MFCS
Martin Wirsing, Manfred Broy
1980 — conf
On Relations Between Programs.
Symposium on Programming
Manfred Broy, Peter Pepper, Martin Wirsing
1980 — conf
Polynomials - The Specification, Analysis and Development of an Abstract Data Type.
GI Jahrestagung
Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari
1980 J jnl
Program Development: From Enumeration to Backtracking.
Inf. Process. Lett.
Manfred Broy, Martin Wirsing
1980 — conf
Programming languages as abstract data types.
CLAAP
Manfred Broy, Martin Wirsing
1980 — conf
Semantic Relations in Programming Languages.
IFIP Congress
Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing
1979 A* conf
Existential Quantifiers in Abstract Data Types.
ICALP
Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing
1979 J jnl
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.
Inf. Process. Lett.
Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Rémy
1979 J jnl
Small Universal Post Systems.
Math. Log. Q.
Martin Wirsing
1978 J jnl
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.
Arch. Math. Log.
Martin Wirsing
1978 — conf
Semantics of Nondeterministic and Noncontinuous Constructs.
Program Construction
Manfred Broy, Rupert Gnatz, Martin Wirsing