Martin Wirsing

Publication Activity (10 Years)

Years Active: 1978-2023
Publications (10 Years): 30

Top Venues

ISoLA (3)

Int. J. Softw. Tools Technol. Transf.

ISoLA (1)

CoRR

Publications

Martin Wirsing, Stefan Jähnichen, Rocco De Nicola
Rigorous engineering of collective adaptive systems - 2nd special section. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Martin Wirsing, Lenz Belzner
Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Manfred Broy, Albrecht Schmidt, Martin Wirsing
In memory of Heinrich Hussmann, long-time friend and SoSyM editor. Softw. Syst. Model. 22 (2) (2023)
Martin Wirsing, Alexander Knapp
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic. Log. J. IGPL 31 (6) (2023)
Lenz Belzner, Thomas Gabor, Martin Wirsing
Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study. AISoLA (2023)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
Epistemic Ensembles. ISoLA (3) (2022)
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
Track Edition. ISoLA (3) (2022)
Xiyue Sun, Fabian R. Pieroth, Kyrill Schmid, Martin Wirsing, Lenz Belzner
On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives. ICDCS Workshops (2022)
Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing
On methods and tools for rigorous system design. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Lenz Belzner, Martin Wirsing
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking. Sci. Comput. Program. 206 (2021)
Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22 (4) (2020)
Lenz Belzner, Martin Wirsing
Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking. CoRR (2020)
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. ISoLA (2) (2020)
Rolf Hennicker, Martin Wirsing
A Dynamic Logic for Systems with Predicate-Based Communication. ISoLA (2) (2020)
Martin Wirsing, Rolf Hennicker
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Rolf Hennicker, Martin Wirsing
A Generic Dynamic Logic with Applications to Interaction-Based Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing
The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents. ISoLA (3) (2018)
Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing
The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents. CoRR (2018)
Rolf Hennicker, Alexandre Madeira, Martin Wirsing
Behavioural and abstractor specifications revisited. Theor. Comput. Sci. 741 (2018)
Rolf Hennicker, Martin Wirsing
Dynamic Logic for Ensembles. ISoLA (3) (2018)
Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. ISoLA (3) (2018)
Stefan Jähnichen, Rocco De Nicola, Martin Wirsing
The Meaning of Adaptation: Mastering the Unforeseen? ISoLA (3) (2018)
Lenz Belzner, Matthias M. Hölzl, Nora Koch, Martin Wirsing
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations. LNCS Trans. Found. Mastering Chang. 1 (2016)
Stefan Jähnichen, Martin Wirsing
Rigorous Engineering of Collective Adaptive Systems Track Introduction. ISoLA (1) (2016)
Stefan Jähnichen, Martin Wirsing
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction. ISoLA (1) (2016)
Marianne Busch, Martin Wirsing
An Ontology for Secure Web Applications. Int. J. Softw. Informatics 9 (2) (2015)
Rolf Hennicker, Annabelle Klarl, Martin Wirsing
Model-Checking Helena Ensembles with Spin. Logic, Rewriting, and Concurrency (2015)
Stefanie Neubert, Lenz Belzner, Martin Wirsing
Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization. Logic, Rewriting, and Concurrency (2015)
Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. Sci. Comput. Program. 99 (2015)
Lenz Belzner, Rolf Hennicker, Martin Wirsing
OnPlan: A Framework for Simulation-Based Online Planning. FACS (2015)
Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software (2014)
Martin Wirsing, Rocco De Nicola, Matthias M. Hölzl
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. ISoLA (1) (2014)
Pierre Dillenbourg, Armando Fox, Claude Kirchner, John C. Mitchell, Martin Wirsing
Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Manifestos 4 (1) (2014)
Marianne Busch, Nora Koch, Martin Wirsing
SecEval: An Evaluation Framework for Engineering Secure Systems. Modellierung (2014)
Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, Martin Wirsing
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Reports 4 (3) (2014)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
Assembly Theories for Communication-Safe Component Systems. FPS@ETAPS (2014)
Ning Yu, Martin Wirsing
A SOC-Based Formal Specification and Verification of Hybrid Systems. WADT (2014)
Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512). Dagstuhl Reports 4 (12) (2014)
Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing
Soft Constraints for Lexicographic Orders. MICAI (1) (2013)
Partha B. Sampathkumaran, Martin Wirsing
Financial Evaluation and Optimization of Business Processes. Int. J. Inf. Syst. Model. Des. 4 (2) (2013)
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
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. SASO Workshops (2013)
Andreas Schroeder, Martin Wirsing
Developing Physiological Computing Systems: Challenges and Solutions. Software Engineering (2012)
Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing
Statistical Model Checking for Composite Actor Systems. WADT (2012)
Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing
Stable Availability under Denial of Service Attacks through Formal Patterns. FASE (2012)
Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. WRLA (2012)
Matthias M. Hölzl, Martin Wirsing
Towards a System Model for Ensembles. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Martin Wirsing, Ruqian Lu
Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy. Int. J. Softw. Informatics 5 (1-2) (2011)
Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing
A contract-based approach to adaptivity. J. Log. Algebraic Methods Program. 80 (3-5) (2011)
Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli
ASCENS: Engineering Autonomic Service-Component Ensembles. FMCO (2011)
Partha Sampath, Martin Wirsing
Evaluation of Cost Based Best Practices in Business Processes. BMMDS/EMMSAD (2011)
Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
Interface theories for concurrency and data. Theor. Comput. Sci. 412 (28) (2011)
Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
Building a Modal Interface Theory for Concurrency and Data. WADT (2010)
Martin Wirsing
A Component-Based Approach to Adaptive User-Centric Pervasive Applications. QoSA (2010)
Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki
A heterogeneous approach to service-oriented systems specification. SAC (2010)
Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude RTRTS (2010)
Mirco Tribastone, Philip Mayer, Martin Wirsing
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. ISoLA (2) (2010)
M. Birna van Riemsdijk, Martin Wirsing
Comparing goal-oriented and procedural service orchestration. Multiagent Grid Syst. 6 (2) (2010)
Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing
Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO (2009)
Partha Sampath, Martin Wirsing
Computing the Cost of Business Processes. UNISCON (2009)
Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing
A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave (2009)
Fernando Orejas, Martin Wirsing
On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification (2009)
Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing
What Is a Multi-modeling Language? WADT (2008)
M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder
Service Specification and Matchmaking Using Description Logic. AMAST (2008)
Matthias M. Hölzl, Max Meier, Martin Wirsing
Which Soft Constraints do you Prefer? WRLA (2008)
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ó
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA (2008)
María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing
A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models (2008)
Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang
UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications). i-com 6 (3) (2007)
Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing
07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services (2007)
M. Birna van Riemsdijk, Martin Wirsing
Using Goals for Flexible Service Orchestration. SOCASE (2007)
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing
Modelling the CoCoME with the Java/AComponent Model. CoCoME (2007)
Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister
A Rewriting Logic Framework for Soft Constraints. WRLA (2006)
Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
A Component Model for Architectural Programming. Electron. Notes Theor. Comput. Sci. 160 (2006)
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
Semantic-Based Development of Service-Oriented Systems. FORTE (2006)
Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe
Specification and refinement of mobile systems in MTLA and mobile UML. Theor. Comput. Sci. 351 (2) (2006)
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
SensoriaProcess Calculi for Service-Oriented Computing. TGC (2006)
José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing
05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing (2005)
Dirk Pattinson, Martin Wirsing
A coordination approach to mobile components. Theor. Comput. Sci. 331 (2-3) (2005)
Nora Koch, Piero Fraternali, Martin Wirsing
Editorial. J. Web Eng. 4 (1) (2005)
Axel Rauschmayer, Alexander Knapp, Martin Wirsing
Consistency Checking in an Infrastructure for Large-Scale Generative. ASE (2004)
Alexander Knapp, Stephan Merz, Martin Wirsing
Refining Mobile UML State Machines. AMAST (2004)
Hubert Baumeister, Alexander Knapp, Martin Wirsing
Property-Driven Development. SEFM (2004)
Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
Mobile UML Statecharts with Localities. Global Computing (2004)
Richard Krutisch, Philipp Meier, Martin Wirsing
The Agent Component Approach, Combining Agents, and Components. MATES (2003)
Philipp Meier, Martin Wirsing
Towards a Formal Specification for the AgentComponent. Objects, Agents, and Features (2003)
Stephan Merz, Martin Wirsing, Júlia Zappe
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. FASE (2003)
Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing
UML for Global Computing. Global Computing (2003)
Martin Wirsing, Alexander Knapp
View Consistency in Software Development. RISSEF (2002)
Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing
Extending Activity Diagrams to Model Mobile Systems. NetObjectDays (2002)
Luis Filipe 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
AGILE: Software Architecture for Mobility. WADT (2002)
Dirk Pattinson, Martin Wirsing
Making Components Move: A Separation of Concerns Approach. FMCO (2002)
Nora Koch, Martin Wirsing
The Munich Reference Model for Adaptive Hypermedia Applications. AH (2002)
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
MultiMedia Instruction in Safe and Secure Systems. WADT (2002)
Martin Wirsing, Alexander Knapp
A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285 (2) (2002)
Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing
Specifying Component Invariants with OCL. GI Jahrestagung (1) (2001)
Piotr Kosiuczenko, Martin Wirsing
Towards an Integration of Message sequence Charts and Timed Maude. Trans. SDPS 5 (1) (2001)
Iman Poernomo, John N. Crossley, Martin Wirsing
Programs, Proofs and Parametrized Specifications. WADT (2001)
Mingsheng Ying, Martin Wirsing
Recursive equations in higher-order process calculi. Theor. Comput. Sci. 266 (1-2) (2001)
Bernhard Reus, Martin Wirsing, Rolf Hennicker
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE (2001)
Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif
Workshop über Rigorose Entwicklung software-intensiver Systeme. GI Jahrestagung (2000)
Mingsheng Ying, Martin Wirsing
Approximate Bisimilarity. AMAST (2000)

Martin Wirsing.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Wirsing