Martin Wirsing
Affiliations:- Ludwig Maximilian University of Munich, Germany
According to our database1,
Martin Wirsing
authored at least 201 papers
between 1978 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on sosy-lab.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs).
CoRR, 2024
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
Rigorous Engineering of Collective Adaptive Systems Introduction to the 5<sup>rmth</sup> Track Edition.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70<sup>th</sup> Birthday.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
2023
Int. J. Softw. Tools Technol. Transf., December, 2023
Log. J. IGPL, November, 2023
Softw. Syst. Model., April, 2023
Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study.
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning.
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<sup>th</sup> Track Edition.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
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.
Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking.
Sci. Comput. Program., 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
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.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
2017
Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017
2016
LNCS Trans. Found. Mastering Chang., 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
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
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Sci. Comput. Program., 2015
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
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2014
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
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014
Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
Int. J. Inf. Syst. Model. Des., 2013
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013
Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013
eXamen.press, Springer, ISBN: 978-3-642-28503-5, 2013
2012
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
2011
Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy.
Int. J. Softw. Informatics, 2011
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2011
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Multiagent Grid Syst., 2010
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the Research into Practice, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
2009
Proceedings of the Information Systems: Modeling, 2009
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
Proceedings of the Semantics and Algebraic Specification, 2009
2008
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008
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
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
Proceedings of the Service-Oriented Computing: Agents, 2007
Proceedings of the Autonomous and Adaptive Web Services, 04.02. - 09.02.2007, 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
2006
Theor. Comput. Sci., 2006
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
2005
Monographs in Computer Science, Springer, ISBN: 978-0-387-28183-4, 2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005
2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
Proceedings of the Multiagent System Technologies, First German Conference, 2003
Proceedings of the Global Computing. Programming Environments, 2003
Proceedings of the Fundamental Approaches to Software Engineering, 2003
Proceedings of the Objects, 2003
2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
Proceedings of the Objects, 2002
Proceedings of the Formal Methods for Components and Objects, 2002
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002
2001
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001
Specifying Component Invariants with OCL.
Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
2000
Proceedings of the Informatik 2000, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Proceedings of the Algebraic Foundations of Systems Specification, 1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the «UML»'99: The Unified Modeling Language, 1999
Proceedings of the Formal Syntax and Semantics of Java, 1999
Specification and Modelling of Multimedia and Hypermedia Applications in Distributed Systems.
Proceedings of the German-Argentinian Workshop on Information Technology, 1999
1998
Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998
1997
Theor. Comput. Sci., 1997
Sci. Comput. Program., 1997
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1997
Proceedings of the Informatik '97, 1997
Proceedings of the Informatik '97, 1997
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997
Proceedings of the Algebraic Methodology and Software Technology, 1997
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
Log. J. IGPL, 1995
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
Proceedings of the Programming Languages and Systems, 1994
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
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
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993
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 Symb. Comput., 1992
An Approach to the DIN Kernel Lisp Definition.
LISP Symb. Comput., 1992
1991
Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991
Proceedings of the STACS 91, 1991
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
Proceedings of the Recent Trends in Data Type Specification, 1990
Proceedings of the Handbook of Theoretical Computer Science, 1990
1989
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.
Proceedings of the Formal Description of Programming Concepts, 1989
Proceedings of the ESEC '89, 1989
1988
Ultra-loose algebraic specifications.
Bull. EATCS, 1988
Proceedings of the Mathematical Foundations of Computer Science 1988, 1988
Proceedings of the CAAP '88, 1988
1987
ACM Trans. Program. Lang. Syst., 1987
Proceedings of the Recent Trends in Data Type Specification, 1987
1986
Algebraic specification of the abstract data type "Continuum" without hidden operations.
Bull. EATCS, 1986
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986
Specification Languages versus Programming Languages (Panel).
Proceedings of the Information Processing 86, 1986
1985
Proceedings of the Mathematical Foundations of Software Development, 1985
Proceedings of the Fundamentals of Computation Theory, 1985
Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985
1984
Completeness of many-sorted equational logic revisited.
Bull. EATCS, 1984
Proceedings of the Recent Trends in Data Type Specification, 1984
1983
RAIRO Theor. Informatics Appl., 1983
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract.
Proceedings of the Fundamentals of Computation Theory, 1983
Proceedings of the CAAP'83, 1983
A Kernel Language for Algebraic Specification and Implementation.
Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983
Generalized Heterogeneous Algebras.
Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983
1982
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Inform. Spektrum, 1982
Proceedings of the Eigth International Conference on Very Large Data Bases, 1982
Proceedings of the International Symposium on Programming, 1982
On the Algebraic Specification of Finitary Infinite.
Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982
Proceedings of the Automata, 1982
Implementation of Parameterized Hierarchical Specifications.
Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982
1981
Sci. Comput. Program., 1981
Nichtdeterminismus - Das aktuelle Schlagwort.
Inform. Spektrum, 1981
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981
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
Proceedings of the CAAP '81, 1981
1980
Proceedings of the International Symposium on Programming, 1980
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980
Semantic Relations in Programming Languages.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980
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
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.
Inf. Process. Lett., 1979
1978
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.
Arch. Math. Log., 1978
Proceedings of the Program Construction, International Summer School, July 26, 1978