Martin Wirsing
Ludwig-Maximilians-Universität München
H-index: 44
Europe-Germany
Top articles of Martin Wirsing
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Large language model assisted software engineering: prospects, challenges, and a case study | Lenz Belzner Thomas Gabor Martin Wirsing | 2023/10/23 | |
Towards systematically engineering autonomous systems using reinforcement learning and planning | Martin Wirsing Lenz Belzner | 2023/5/17 | |
In memory of Heinrich Hussmann, long-time friend and SoSyM editor | Software and Systems Modeling | Manfred Broy Albrecht Schmidt Martin Wirsing | 2023/4 |
A modular bisimulation characterisation for fragments of hybrid logic | arXiv preprint arXiv:2312.14661 | Guillermo Badia Daniel Gaina Alex Knapp Tomasz Kowalski Martin Wirsing | 2023/12/22 |
Rigorous engineering of collective adaptive systems–2nd special section | International Journal on Software Tools for Technology Transfer | Martin Wirsing Stefan Jähnichen Rocco De Nicola | 2023/12 |
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic | Logic Journal of the IGPL | Martin Wirsing Alexander Knapp | 2023/12 |
On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives | Xiyue Sun Fabian R Pieroth Kyrill Schmid Martin Wirsing Lenz Belzner | 2022/7/10 | |
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition | Martin Wirsing Rocco De Nicola Stefan Jähnichen | 2022/10/17 | |
Epistemic ensembles | Rolf Hennicker Alexander Knapp Martin Wirsing | 2022/10/17 | |
Logic for System Engineering (Dagstuhl Seminar 9710) | Stefan Jähnichen Jacques Loeckx Martin Wirsing | 2021 | |
Specification and Semantics (Dagstuhl Seminar 9628) | Hartmut Ehrig Friedrich von Henke José Meseguer Martin Wirsing | 2021 | |
On methods and tools for rigorous system design | International Journal on Software Tools for Technology Transfer | Simon Bliudze Panagiotis Katsaros Saddek Bensalem Martin Wirsing | 2021/10 |
Rigorous Analysis and Design for Software Intensive Systems (Dagstuhl Seminar 99451) | Stephan Jähnichen Michel Lemoine Tom Maibaum Martin Wirsing | 2021 | |
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking | Science of Computer Programming | Lenz Belzner Martin Wirsing | 2021/6/1 |
Agile governance for innovating higher education teaching and learning | Rivista Di Digital Politics | Martin Wirsing Dieter Frey | 2021 |
The Application of Continuous Time SRML | Ning Yu Martin Wirsing | 2020/1/14 | |
A dynamic logic for systems with predicate-based communication | Rolf Hennicker Martin Wirsing | 2020 |