Martin Wirsing

According to our database1, Martin Wirsing
  • authored at least 172 papers between 1978 and 2016.
  • has a "Dijkstra number"2 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2016
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations.
T. Foundations for Mastering Change, 2016

Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Rigorous Engineering of Collective Adaptive Systems Track Introduction.
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.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Semantics, distributed implementation, and formal analysis of KLAIM models in Maude.
Sci. Comput. Program., 2015

An Ontology for Secure Web Applications.
Int. J. Software and Informatics, 2015

OnPlan: A Framework for Simulation-Based Online Planning.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

Model-Checking Helena Ensembles with Spin.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
Evaluation of Engineering Approaches in the Secure Software Development Life Cycle.
Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

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

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

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

A SOC-Based Formal Specification and Verification of Hybrid Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

SecEval: An Evaluation Framework for Engineering Secure Systems.
Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014

Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Assembly Theories for Communication-Safe Component Systems.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Reasoning (on) Service Component Ensembles in Rewriting Logic.
Proceedings of the Specification, Algebra, and Software, 2014

2013
Financial Evaluation and Optimization of Business Processes.
IJISMD, 2013

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase.
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Soft Constraints for Lexicographic Orders.
Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

Java kompakt - Eine Einführung in die Software-Entwicklung mit Java.
eXamen.press, Springer, ISBN: 978-3-642-28503-5, 2013

2012
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Statistical Model Checking for Composite Actor Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Developing Physiological Computing Systems: Challenges and Solutions.
Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Stable Availability under Denial of Service Attacks through Formal Patterns.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Interface theories for concurrency and data.
Theor. Comput. Sci., 2011

A contract-based approach to adaptivity.
J. Log. Algebr. Program., 2011

Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy.
Int. J. Software and Informatics, 2011

ASCENS: Engineering Autonomic Service-Component Ensembles.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Evaluation of Cost Based Best Practices in Business Processes.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2011

Towards a System Model for Ensembles.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

Sensoria - Software Engineering for Service-Oriented Overlay Computers.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

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

2010
Comparing goal-oriented and procedural service orchestration.
Multiagent and Grid Systems, 2010

Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Building a Modal Interface Theory for Concurrency and Data.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A heterogeneous approach to service-oriented systems specification.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A Component-Based Approach to Adaptive User-Centric Pervasive Applications.
Proceedings of the Research into Practice, 2010

Performance Prediction of Service-Oriented Systems with Layered Queueing Networks.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Which Soft Constraints do you Prefer?
Electr. Notes Theor. Comput. Sci., 2009

Computing the Cost of Business Processes.
Proceedings of the Information Systems: Modeling, 2009

A Service-Oriented UML Profile with Formal Support.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Constraint-Muse: A Soft-Constraint Based System for Music Therapy.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

On the Specification and Verification of Model Transformations.
Proceedings of the Semantics and Algebraic Specification, 2009

2008
Software Engineering for Ensembles.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Engineering of Software-Intensive Systems: State of the Art and Research Challenges.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

What Is a Multi-modeling Language?
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Proceedings of the Leveraging Applications of Formal Methods, 2008

A Heterogeneous Approach to UML Semantics.
Proceedings of the Concurrency, 2008

Service Specification and Matchmaking Using Description Logic.
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).
i-com, 2007

A Rewriting Logic Framework for Soft Constraints.
Electr. Notes Theor. Comput. Sci., 2007

Using Goals for Flexible Service Orchestration.
Proceedings of the Service-Oriented Computing: Agents, 2007

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

Modelling the CoCoME with the Java/AComponent Model.
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.
Theor. Comput. Sci., 2006

A Component Model for Architectural Programming.
Electr. Notes Theor. Comput. Sci., 2006

SensoriaProcess Calculi for Service-Oriented Computing.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Semantic-Based Development of Service-Oriented Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005
Adapting Proofs-as-Programs - The Curry-Howard Protocol
Monographs in Computer Science, Springer, ISBN: 978-0-387-28183-4, 2005

A coordination approach to mobile components.
Theor. Comput. Sci., 2005

Editorial.
J. Web Eng., 2005

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

2004
Property-Driven Development.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Consistency Checking in an Infrastructure for Large-Scale Generative.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Mobile UML Statecharts with Localities.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

Refining Mobile UML State Machines.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
The Agent Component Approach, Combining Agents, and Components.
Proceedings of the Multiagent System Technologies, First German Conference, 2003

UML for Global Computing.
Proceedings of the Global Computing. Programming Environments, 2003

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

Towards a Formal Specification for the AgentComponent.
Proceedings of the Objects, 2003

2002
A formal approach to object-oriented software engineering.
Theor. Comput. Sci., 2002

MultiMedia Instruction in Safe and Secure Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002


View Consistency in Software Development.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Extending Activity Diagrams to Model Mobile Systems.
Proceedings of the Objects, 2002

Making Components Move: A Separation of Concerns Approach.
Proceedings of the Formal Methods for Components and Objects, 2002

The Munich Reference Model for Adaptive Hypermedia Applications.
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001
Recursive equations in higher-order process calculi.
Theor. Comput. Sci., 2001

Towards an Integration of Message sequence Charts and Timed Maude.
Transactions of the SDPS, 2001

Programs, Proofs and Parametrized Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Specifying Component Invariants with OCL.
GI Jahrestagung (1), 2001

A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

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

Invited Talk: Algebraic State Machines.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999
Specification Languages.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Formalizing and Executing Message Sequence Charts via Timed Rewriting.
Electr. Notes Theor. Comput. Sci., 1999

Extraction of Structured Programs from Specification Proofs.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Correct Realization of Interface Constraints with OCL.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

An Event-Based Structural Operational Semantics of Multi-Threaded Java.
Proceedings of the Formal Syntax and Semantics of Java, 1999

Specification and Modelling of Multimedia and Hypermedia Applications in Distributed Systems.
German-Argentinian Workshop on Information Technology, 1999

1998
Proof Normalization of Structured Algebraic Specifications Is Convergent.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997
Proof Systems for Structured Specifications with Observability Operators.
Theor. Comput. Sci., 1997

Timed Rewriting Logic with an Application to Object-Based Specification.
Sci. Comput. Program., 1997

Verifying a compiler optimization for Multi-Threaded Java.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues.
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1997

Workshop: Software-Engineering für Multimedia-Systeme.
Proceedings of the Informatik '97, 1997

EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge.
Proceedings of the Informatik '97, 1997

Proof Systems for Struvtured Algebraic Specifications: An Overview.
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
A formal approach to object-oriented software engineering.
Electr. Notes Theor. Comput. Sci., 1996

First-Order Constrained Lambda Calculus.
Proceedings of the Frontiers of Combining Systems, 1996

(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly.
Proceedings of the ECOOP'96, 1996

1995
Behavioural and Abstractor Specifications.
Sci. Comput. Program., 1995

A Calculus of Higher-Order Parameterization for Algebraic Specifications.
Logic Journal of the IGPL, 1995

A Method for the Development of Correct Software.
Proceedings of the KORSO, 1995

Correct Software: From Experiments to Applications.
Proceedings of the KORSO, 1995

An Object-Oriented Algebraic Steam-Boiler Control Specification.
Proceedings of the Formal Methods for Industrial Applications, 1995

1994
Ist zuverlässige Software eine Utopie?
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.
Proceedings of the Programming Languages and Systems, 1994

Algebraic Specification Languages: An Overview.
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.
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.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

A Formal Approach to Requirements Engineering (Invited Paper).
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.
Lisp and Symbolic Computation, 1992

An Approach to the DIN Kernel Lisp Definition.
Lisp and Symbolic Computation, 1992

1991
Knowledge Representation in Kernel Lisp.
Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991

Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective.
Proceedings of the STACS 91, 1991

A Formal Method for the Systematic Reuse of Specification Components.
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

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

1990
Dependent Types Considered Necessary for Specification Languages.
Proceedings of the Recent Trends in Data Type Specification, 1990

Algebraic Specification.
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), 1990

1989
A Modular Framework for Specification and Implementation.
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

MENU - An Example for the Systematic Reuse of Specifications.
Proceedings of the ESEC '89, 1989

1988
Ultra-loose algebraic specifications.
Bulletin of the EATCS, 1988

Crypt-Equivalent Algebraic Specifications.
Acta Inf., 1988

Reusable Specification Components.
Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

Algebraic Specification with Built-in Domain Constructions.
Proceedings of the CAAP '88, 1988

1987
On the Algebraic Definition of Programming Languages.
ACM Trans. Program. Lang. Syst., 1987

Algebraic Specifications of Reachable Higher-Order Algebras.
Proceedings of the Recent Trends in Data Type Specification, 1987

1986
Structured Algebraic Specifications: A Kernel Language.
Theor. Comput. Sci., 1986

Algebraic Implementations Preserve Program Correctness.
Sci. Comput. Program., 1986

Algebraic specification of the abstract data type "Continuum" without hidden operations.
Bulletin of the EATCS, 1986

Relational Specifications and Observational Semantics.
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

Specification Languages versus Programming Languages (Panel).
IFIP Congress, 1986

1985
On the Parameterized Algebraic Specification of Concurrent Systems.
Proceedings of the Mathematical Foundations of Software Development, 1985

Continuous abstract data types: basic machinery and results.
Proceedings of the Fundamentals of Computation Theory, 1985

The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984
A Systematic Study of Models of Abstract Data Types.
Theor. Comput. Sci., 1984

Completeness of many-sorted equational logic revisited.
Bulletin of the EATCS, 1984

Observational Specification: A Birkhoff Theorem.
Proceedings of the Recent Trends in Data Type Specification, 1984

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

On Hierarchies of Abstract Data Types.
Acta Inf., 1983

A Kernel Language for Algebraic Specification and Implementation - Extended Abstract.
Proceedings of the Fundamentals of Computation Theory, 1983

Generalized Heterogeneous Algebras and Partial Interpretations.
Proceedings of the CAAP'83, 1983

A Kernel Language for Algebraic Specification and Implementation.
ADT, 1983

Generalized Heterogeneous Algebras.
ADT, 1983

1982
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Informatik Spektrum, 1982

Partial Abstract Types.
Acta Inf., 1982

On the Algebraic Specification of Databases.
Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

A system for reasoning within and about algebraic specifications.
Proceedings of the International Symposium on Programming, 1982

Implementation of Parameterised Specifications (Extended Abstract).
Proceedings of the Automata, 1982

Implementation of Parameterized Hierarchical Specifications.
ADT, 1982

1981
Programming in a Wide Spectrum Language: A Collection of Examples.
Sci. Comput. Program., 1981

Nichtdeterminismus - Das aktuelle Schlagwort.
Informatik Spektrum, 1981

On the Power of Algebraic Specifications.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

On the Algebraic Extensions of Abstract Data Types.
Proceedings of the Formalization of Programming Concepts, 1981

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

On the Algebraic Specification of Nondeterministic Programming Languages.
Proceedings of the CAAP '81, 1981

1980
Program Development: From Enumeration to Backtracking.
Inf. Process. Lett., 1980

On Relations Between Programs.
Proceedings of the International Symposium on Programming, 1980

Abstract Data Types as Lattices of Finitely Generated Models.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

Semantic Relations in Programming Languages.
IFIP Congress, 1980

Polynomials - The Specification, Analysis and Development of an Abstract Data Type.
Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

Programming languages as abstract data types.
Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980

1979
Small Universal Post Systems.
Math. Log. Q., 1979

Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.
Inf. Process. Lett., 1979

Existential Quantifiers in Abstract Data Types.
Proceedings of the Automata, 1979

1978
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.
Arch. Math. Log., 1978

Semantics of Nondeterministic and Noncontinuous Constructs.
Proceedings of the Program Construction, International Summer School, July 26, 1978


  Loading...