Martin Wirsing

According to our database, Martin Wirsing authored at least 195 papers between 1978 and 2023.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2023

Rigorous engineering of collective adaptive systems - 2nd special section.

Martin Wirsing, Stefan Jähnichen, Rocco De Nicola

Int. J. Softw. Tools Technol. Transf., December, 2023

A reduction-based cut-free Gentzen calculus for dynamic epistemic logic.

Martin Wirsing, Alexander Knapp

Log. J. IGPL, November, 2023

In memory of Heinrich Hussmann, long-time friend and SoSyM editor.

Manfred Broy, Albrecht Schmidt, Martin Wirsing

Softw. Syst. Model., April, 2023

Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study.

Lenz Belzner, Thomas Gabor, Martin Wirsing

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning.

Martin Wirsing, Lenz Belzner

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022

Rigorous Engineering of Collective Adaptive Systems Introduction to the 4^th Track Edition.

Martin Wirsing, Rocco De Nicola, Stefan Jähnichen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Epistemic Ensembles.

Rolf Hennicker, Alexander Knapp, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives.

Xiyue Sun, Fabian R. Pieroth, Kyrill Schmid, Martin Wirsing, Lenz Belzner

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

2021

On methods and tools for rigorous system design.

Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing

Int. J. Softw. Tools Technol. Transf., 2021

Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking.

Lenz Belzner, Martin Wirsing

Sci. Comput. Program., 2021

2020

Rigorous engineering of collective adaptive systems: special section.

Rocco De Nicola, Stefan Jähnichen, Martin Wirsing

Int. J. Softw. Tools Technol. Transf., 2020

Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition.

Martin Wirsing, Rocco De Nicola, Stefan Jähnichen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

A Dynamic Logic for Systems with Predicate-Based Communication.

Rolf Hennicker, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019

Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems.

Martin Wirsing, Rolf Hennicker

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

A Generic Dynamic Logic with Applications to Interaction-Based Systems.

Rolf Hennicker, Martin Wirsing

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Behavioural and abstractor specifications revisited.

Rolf Hennicker, Alexandre Madeira, Martin Wirsing

Theor. Comput. Sci., 2018

Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition.

Rocco De Nicola, Stefan Jähnichen, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

The Meaning of Adaptation: Mastering the Unforeseen?

Stefan Jähnichen, Rocco De Nicola, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Dynamic Logic for Ensembles.

Rolf Hennicker, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents.

Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

Software-Verifikation.

Dirk Beyer, Rolf Hennicker, Martin Hofmann, Tobias Nipkow, Martin Wirsing

Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017

2016

Collective Autonomic Systems: Towards Engineering Principles and Their Foundations.

Lenz Belzner, Matthias M. Hölzl, Nora Koch, Martin Wirsing

LNCS Trans. Found. Mastering Chang., 2016

Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction.

Stefan Jähnichen, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Rigorous Engineering of Collective Adaptive Systems Track Introduction.

Stefan Jähnichen, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems.

Matthias M. Hölzl, Nora Koch, Mariachiara Puviani, Martin Wirsing, Franco Zambonelli

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Semantics, distributed implementation, and formal analysis of KLAIM models in Maude.

Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing

Sci. Comput. Program., 2015

An Ontology for Secure Web Applications.

Marianne Busch, Martin Wirsing

Int. J. Softw. Informatics, 2015

OnPlan: A Framework for Simulation-Based Online Planning.

Lenz Belzner, Rolf Hennicker, Martin Wirsing

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization.

Stefanie Neubert, Lenz Belzner, Martin Wirsing

Proceedings of the Logic, Rewriting, and Concurrency, 2015

Model-Checking Helena Ensembles with Spin.

Rolf Hennicker, Annabelle Klarl, Martin Wirsing

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Evaluation of Engineering Approaches in the Secure Software Development Life Cycle.

Marianne Busch, Nora Koch, Martin Wirsing

Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512).

Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli

Dagstuhl Reports, 2014

Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112).

Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, Martin Wirsing

Dagstuhl Reports, 2014

Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112).

Pierre Dillenbourg, Armando Fox, Claude Kirchner, John C. Mitchell, Martin Wirsing

Dagstuhl Manifestos, 2014

A SOC-Based Formal Specification and Verification of Hybrid Systems.

Ning Yu, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

SecEval: An Evaluation Framework for Engineering Secure Systems.

Marianne Busch, Nora Koch, Martin Wirsing

Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014

Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction.

Martin Wirsing, Rocco De Nicola, Matthias M. Hölzl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Assembly Theories for Communication-Safe Component Systems.

Rolf Hennicker, Alexander Knapp, Martin Wirsing

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Reasoning (on) Service Component Ensembles in Rewriting Logic.

Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing

Proceedings of the Specification, Algebra, and Software, 2014

2013

Financial Evaluation and Optimization of Business Processes.

Partha B. Sampathkumaran, Martin Wirsing

Int. J. Inf. Syst. Model. Des., 2013

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase.

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

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Soft Constraints for Lexicographic Orders.

Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

Java kompakt - Eine Einführung in die Software-Entwicklung mit Java.

Matthias M. Hölzl, Allaithy Raed, Martin Wirsing

eXamen.press, Springer, ISBN: 978-3-642-28503-5, 2013

2012

Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.

Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Statistical Model Checking for Composite Actor Systems.

Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Developing Physiological Computing Systems: Challenges and Solutions.

Andreas Schroeder, Martin Wirsing

Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Stable Availability under Denial of Service Attacks through Formal Patterns.

Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Interface theories for concurrency and data.

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing

Theor. Comput. Sci., 2011

A contract-based approach to adaptivity.

Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing

J. Log. Algebraic Methods Program., 2011

Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy.

Martin Wirsing, Ruqian Lu

Int. J. Softw. Informatics, 2011

ASCENS: Engineering Autonomic Service-Component Ensembles.

Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Evaluation of Cost Based Best Practices in Business Processes.

Partha Sampath, Martin Wirsing

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2011

Towards a System Model for Ensembles.

Matthias M. Hölzl, Martin Wirsing

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

Sensoria - Software Engineering for Service-Oriented Overlay Computers.

Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Sensoria Patterns.

Matthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Comparing goal-oriented and procedural service orchestration.

M. Birna van Riemsdijk, Martin Wirsing

Multiagent Grid Syst., 2010

Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude

Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Building a Modal Interface Theory for Concurrency and Data.

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A heterogeneous approach to service-oriented systems specification.

Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A Component-Based Approach to Adaptive User-Centric Pervasive Applications.

Martin Wirsing

Proceedings of the Research into Practice, 2010

Performance Prediction of Service-Oriented Systems with Layered Queueing Networks.

Mirco Tribastone, Philip Mayer, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Computing the Cost of Business Processes.

Partha Sampath, Martin Wirsing

Proceedings of the Information Systems: Modeling, 2009

A Service-Oriented UML Profile with Formal Support.

Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Constraint-Muse: A Soft-Constraint Based System for Music Therapy.

Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

On the Specification and Verification of Model Transformations.

Fernando Orejas, Martin Wirsing

Proceedings of the Semantics and Algebraic Specification, 2009

2008

Software Engineering for Ensembles.

Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Engineering of Software-Intensive Systems: State of the Art and Research Challenges.

Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Which Soft Constraints do you Prefer?

Matthias M. Hölzl, Max Meier, Martin Wirsing

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

What Is a Multi-modeling Language?

Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.

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ó

Proceedings of the Leveraging Applications of Formal Methods, 2008

A Heterogeneous Approach to UML Semantics.

María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing

Proceedings of the Concurrency, 2008

Service Specification and Matchmaking Using Description Logic.

M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications).

Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang

i-com, 2007

Using Goals for Flexible Service Orchestration.

M. Birna van Riemsdijk, Martin Wirsing

Proceedings of the Service-Oriented Computing: Agents, 2007

07061 Abstracts Collection -- Autonomous and Adaptive Web Services.

Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing

Proceedings of the Autonomous and Adaptive Web Services, 04.02. - 09.02.2007, 2007

Modelling the CoCoME with the Java/AComponent Model.

Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Specification and refinement of mobile systems in MTLA and mobile UML.

Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe

Theor. Comput. Sci., 2006

A Rewriting Logic Framework for Soft Constraints.

Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

SensoriaProcess Calculi for Service-Oriented Computing.

Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Semantic-Based Development of Service-Oriented Systems.

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Adapting Proofs-as-Programs - The Curry-Howard Protocol

Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley

Monographs in Computer Science, Springer, ISBN: 978-0-387-28183-4, 2005

A coordination approach to mobile components.

Dirk Pattinson, Martin Wirsing

Theor. Comput. Sci., 2005

Editorial.

Nora Koch, Piero Fraternali, Martin Wirsing

J. Web Eng., 2005

A Component Model for Architectural Programming.

Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

05081 Abstracts Collection - Foundations of Global Computing.

José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing

Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005

2004

Property-Driven Development.

Hubert Baumeister, Alexander Knapp, Martin Wirsing

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Consistency Checking in an Infrastructure for Large-Scale Generative.

Axel Rauschmayer, Alexander Knapp, Martin Wirsing

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Mobile UML Statecharts with Localities.

Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Refining Mobile UML State Machines.

Alexander Knapp, Stephan Merz, Martin Wirsing

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

The Agent Component Approach, Combining Agents, and Components.

Richard Krutisch, Philipp Meier, Martin Wirsing

Proceedings of the Multiagent System Technologies, First German Conference, 2003

UML for Global Computing.

Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing

Proceedings of the Global Computing. Programming Environments, 2003

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.

Stephan Merz, Martin Wirsing, Júlia Zappe

Proceedings of the Fundamental Approaches to Software Engineering, 2003

Towards a Formal Specification for the AgentComponent.

Philipp Meier, Martin Wirsing

Proceedings of the Objects, 2003

2002

MultiMedia Instruction in Safe and Secure Systems.

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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

AGILE: Software Architecture for Mobility.

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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

View Consistency in Software Development.

Martin Wirsing, Alexander Knapp

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Extending Activity Diagrams to Model Mobile Systems.

Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing

Proceedings of the Objects, 2002

Making Components Move: A Separation of Concerns Approach.

Dirk Pattinson, Martin Wirsing

Proceedings of the Formal Methods for Components and Objects, 2002

The Munich Reference Model for Adaptive Hypermedia Applications.

Nora Koch, Martin Wirsing

Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001

Recursive equations in higher-order process calculi.

Mingsheng Ying, Martin Wirsing

Theor. Comput. Sci., 2001

Towards an Integration of Message sequence Charts and Timed Maude.

Piotr Kosiuczenko, Martin Wirsing

Trans. SDPS, 2001

Programs, Proofs and Parametrized Specifications.

Iman Poernomo, John N. Crossley, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Specifying Component Invariants with OCL.

Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.

Bernhard Reus, Martin Wirsing, Rolf Hennicker

Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000

Workshop über Rigorose Entwicklung software-intensiver Systeme.

Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif

Proceedings of the Informatik 2000, 2000

Approximate Bisimilarity.

Mingsheng Ying, Martin Wirsing

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

Invited Talk: Algebraic State Machines.

Manfred Broy, Martin Wirsing

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Specification Languages.

Donald Sannella, Martin Wirsing

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Extraction of Structured Programs from Specification Proofs.

John N. Crossley, Iman Poernomo, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Correct Realization of Interface Constraints with OCL.

Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

An Event-Based Structural Operational Semantics of Multi-Threaded Java.

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing

Proceedings of the Formal Syntax and Semantics of Java, 1999

Specification and Modelling of Multimedia and Hypermedia Applications in Distributed Systems.

Martin Wirsing, Nora Koch, Gustavo Rossi, Alejandra Garrido, Luis Mandel, Alfred Helmerich, Luis Olsina

Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1998

Formalizing and Executing Message Sequence Charts via Timed Rewriting.

Piotr Kosiuczenko, Martin Wirsing

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

Proof Normalization of Structured Algebraic Specifications Is Convergent.

Martin Wirsing, John N. Crossley, Hannes Peterreins

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997

Proof Systems for Structured Specifications with Observability Operators.

Rolf Hennicker, Martin Wirsing, Michel Bidoit

Theor. Comput. Sci., 1997

Timed Rewriting Logic with an Application to Object-Based Specification.

Piotr Kosiuczenko, Martin Wirsing

Sci. Comput. Program., 1997

Verifying a compiler optimization for Multi-Threaded Java.

Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues.

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

Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1997

Workshop: Software-Engineering für Multimedia-Systeme.

Martin Wirsing, Josef Schneeberger, Rainer Lutze

Proceedings of the Informatik '97, 1997

EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge.

Josef Schneeberger, Nora Koch, Andreas Turk, Rainer Lutze, Martin Wirsing, Hartmut Fritzsche, Patrick Closhen

Proceedings of the Informatik '97, 1997

Proof Systems for Struvtured Algebraic Specifications: An Overview.

Rolf Hennicker, Martin Wirsing

Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

A formal approach to object-oriented software engineering.

Martin Wirsing, Alexander Knapp

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

First-Order Constrained Lambda Calculus.

John N. Crossley, Luis Mandel, Martin Wirsing

Proceedings of the Frontiers of Combining Systems, 1996

(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly.

Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing

Proceedings of the ECOOP'96, 1996

1995

Behavioural and Abstractor Specifications.

Michel Bidoit, Rolf Hennicker, Martin Wirsing

Sci. Comput. Program., 1995

A Calculus of Higher-Order Parameterization for Algebraic Specifications.

María Victoria Cengarle, Martin Wirsing

Log. J. IGPL, 1995

A Method for the Development of Correct Software.

Peter Pepper, Martin Wirsing

Proceedings of the KORSO, 1995

Correct Software: From Experiments to Applications.

Manfred Broy, Martin Wirsing

Proceedings of the KORSO, 1995

An Object-Oriented Algebraic Steam-Boiler Control Specification.

Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing

Proceedings of the Formal Methods for Industrial Applications, 1995

1994

Ist zuverlässige Software eine Utopie?

Martin Wirsing

Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994

Characterizing Behavioural Semantics and Abstractor Semantics.

Michel Bidoit, Rolf Hennicker, Martin Wirsing

Proceedings of the Programming Languages and Systems, 1994

Algebraic Specification Languages: An Overview.

Martin Wirsing

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

An Object-Oriented Airport: Specification and Refinement in Maude.

Ulrike Lechner, Christian Lengauer, Martin Wirsing

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Korrekte Software: Vom Experiment zur Anwendung.

Manfred Broy, Martin Wirsing

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

A Formal Approach to Requirements Engineering (Invited Paper).

Friederike Nickl, Martin Wirsing

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992

Answer to Baker's Remarks of July 1991 on Version 1.0.

María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider

LISP Symb. Comput., 1992

An Approach to the DIN Kernel Lisp Definition.

María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider

LISP Symb. Comput., 1992

1991

Knowledge Representation in Kernel Lisp.

María Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider

Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991

Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective.

Jacek Leszczylowski, Martin Wirsing

Proceedings of the STACS 91, 1991

A Formal Method for the Systematic Reuse of Specification Components.

Rolf Hennicker, Martin Wirsing

Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

Elementare Aussagenlogik.

Friedrich L. Bauer, Martin Wirsing

Mathematik für Informatiker, Springer, ISBN: 978-3-540-52974-3, 1991

1990

Dependent Types Considered Necessary for Specification Languages.

Thomas Streicher, Martin Wirsing

Proceedings of the Recent Trends in Data Type Specification, 1990

Algebraic Specification.

Martin Wirsing

Proceedings of the Handbook of Theoretical Computer Science, 1990

1989

A Modular Framework for Specification and Implementation.

Martin Wirsing, Manfred Broy

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Algebraic Specification: Semantics, Parameterization and Refinement.

Martin Wirsing

Proceedings of the Formal Description of Programming Concepts, 1989

MENU - An Example for the Systematic Reuse of Specifications.

Martin Wirsing, Rolf Hennicker, Robert Stabl

Proceedings of the ESEC '89, 1989

1988

Ultra-loose algebraic specifications.

Manfred Broy, Martin Wirsing

Bull. EATCS, 1988

Crypt-Equivalent Algebraic Specifications.

Friedrich L. Bauer, Martin Wirsing

Acta Informatica, 1988

Reusable Specification Components.

Martin Wirsing, Rolf Hennicker, Ruth Breu

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

Algebraic Specification with Built-in Domain Constructions.

Bernhard Möller, Andrzej Tarlecki, Martin Wirsing

Proceedings of the CAAP '88, 1988

1987

On the Algebraic Definition of Programming Languages.

Manfred Broy, Martin Wirsing, Peter Pepper

ACM Trans. Program. Lang. Syst., 1987

Algebraic Specifications of Reachable Higher-Order Algebras.

Bernhard Möller, Andrzej Tarlecki, Martin Wirsing

Proceedings of the Recent Trends in Data Type Specification, 1987

1986

Structured Algebraic Specifications: A Kernel Language.

Martin Wirsing

Theor. Comput. Sci., 1986

Algebraic Implementations Preserve Program Correctness.

Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing

Sci. Comput. Program., 1986

Algebraic specification of the abstract data type "Continuum" without hidden operations.

Martin Wirsing

Bull. EATCS, 1986

Relational Specifications and Observational Semantics.

Egidio Astesiano, Gianna Reggio, Martin Wirsing

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

Specification Languages versus Programming Languages (Panel).

Martin Wirsing

Proceedings of the Information Processing 86, 1986

1985

On the Parameterized Algebraic Specification of Concurrent Systems.

Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing

Proceedings of the Mathematical Foundations of Software Development, 1985

Continuous abstract data types: basic machinery and results.

Andrzej Tarlecki, Martin Wirsing

Proceedings of the Fundamentals of Computation Theory, 1985

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

Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984

A Systematic Study of Models of Abstract Data Types.

Manfred Broy, Martin Wirsing, Claude Pair

Theor. Comput. Sci., 1984

Completeness of many-sorted equational logic revisited.

Peter Padawitz, Martin Wirsing

Bull. EATCS, 1984

Observational Specification: A Birkhoff Theorem.

Rolf Hennicker, Martin Wirsing

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

Algebraic Definition of a Functional Programming Language and Its Semantic Models.

Manfred Broy, Martin Wirsing

RAIRO Theor. Informatics Appl., 1983

On Hierarchies of Abstract Data Types.

Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch

Acta Informatica, 1983

A Kernel Language for Algebraic Specification and Implementation - Extended Abstract.

Donald Sannella, Martin Wirsing

Proceedings of the Fundamentals of Computation Theory, 1983

Generalized Heterogeneous Algebras and Partial Interpretations.

Manfred Broy, Martin Wirsing

Proceedings of the CAAP'83, 1983

A Kernel Language for Algebraic Specification and Implementation.

Donald Sannella, Martin Wirsing

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

Generalized Heterogeneous Algebras.

Manfred Broy, Martin Wirsing

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.

Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing

Inform. Spektrum, 1982

Partial Abstract Types.

Manfred Broy, Martin Wirsing

Acta Informatica, 1982

On the Algebraic Specification of Databases.

Walter Dosch, Gianfranco Mascari, Martin Wirsing

Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

A system for reasoning within and about algebraic specifications.

Jacek Leszczylowski, Martin Wirsing

Proceedings of the International Symposium on Programming, 1982

On the Algebraic Specification of Finitary Infinite.

Manfred Broy, Martin Wirsing

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

Implementation of Parameterised Specifications (Extended Abstract).

Donald Sannella, Martin Wirsing

Proceedings of the Automata, 1982

Implementation of Parameterized Hierarchical Specifications.

Martin Wirsing

Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982

1981

Programming in a Wide Spectrum Language: A Collection of Examples.

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

Sci. Comput. Program., 1981

Nichtdeterminismus - Das aktuelle Schlagwort.

Manfred Broy, Rupert Gnatz, Martin Wirsing

Inform. Spektrum, 1981

On the Power of Algebraic Specifications.

Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

On the Algebraic Extensions of Abstract Data Types.

Manfred Broy, Martin Wirsing

Proceedings of the Formalization of Programming Concepts, 1981

GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).

Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing

Proceedings of the GI, 1981

On the Algebraic Specification of Nondeterministic Programming Languages.

Manfred Broy, Martin Wirsing

Proceedings of the CAAP '81, 1981

1980

Program Development: From Enumeration to Backtracking.

Manfred Broy, Martin Wirsing

Inf. Process. Lett., 1980

On Relations Between Programs.

Manfred Broy, Peter Pepper, Martin Wirsing

Proceedings of the International Symposium on Programming, 1980

Abstract Data Types as Lattices of Finitely Generated Models.

Martin Wirsing, Manfred Broy

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

Semantic Relations in Programming Languages.

Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

Polynomials - The Specification, Analysis and Development of an Abstract Data Type.

Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

Programming languages as abstract data types.

Manfred Broy, Martin Wirsing

Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980

1979

Small Universal Post Systems.

Martin Wirsing

Math. Log. Q., 1979

Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.

Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Rémy

Inf. Process. Lett., 1979

Existential Quantifiers in Abstract Data Types.

Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing

Proceedings of the Automata, 1979

1978

Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.

Martin Wirsing

Arch. Math. Log., 1978

Semantics of Nondeterministic and Noncontinuous Constructs.

Manfred Broy, Rupert Gnatz, Martin Wirsing

Proceedings of the Program Construction, International Summer School, July 26, 1978