![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 12
2025
Stenzel, Gerhard; Schmid, Kyrill; Kölle, Michael; Altmann, Philipp 
ORCID: https://orcid.org/0000-0003-1134-176X; Lingsch-Rosenfeld, Marian ORCID: https://orcid.org/0000-0002-8172-3184; Zorn, Maximilian ORCID: https://orcid.org/0009-0006-2750-7495; Bücher, Tim; Gabor, Thomas ORCID: https://orcid.org/0000-0003-2048-8667; Wirsing, Martin und Belzner, Lenz
(2025):
SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning.
AISoLA 2024: Second International Conference, Chersonissos, Griechenland, 30. Oktober - 03. November 2024.
Bernhard, Steffen (Hrsg.):
In: Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings,
Cham: Springer. S. 107-124
ORCID: https://orcid.org/0000-0003-1134-176X; Lingsch-Rosenfeld, Marian ORCID: https://orcid.org/0000-0002-8172-3184; Zorn, Maximilian ORCID: https://orcid.org/0009-0006-2750-7495; Bücher, Tim; Gabor, Thomas ORCID: https://orcid.org/0000-0003-2048-8667; Wirsing, Martin und Belzner, Lenz
(2025):
SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning.
AISoLA 2024: Second International Conference, Chersonissos, Griechenland, 30. Oktober - 03. November 2024.
Bernhard, Steffen (Hrsg.):
In: Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings,
Cham: Springer. S. 107-124
2023
Wirsing, Martin; Jähnichen, Stefan und De Nicola, Rocco
(2023):
Rigorous engineering of collective adaptive systems – 2nd special section.
In: International Journal on Software Tools for Technology Transfer, Bd. 25, Nr. 5-6: S. 617-624
[PDF, 509kB]
2022
Sun, Xiyue; Pieroth, Fabian R.; Schmid, Kyrill; Wirsing, Martin und Belzner, Lenz
(2022):
On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives.
42nd International Conference on Distributed Computing Systems Workshops (ICDCSW), Bologna, Italy, 10 July 2022.
In: 2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops (ICDCSW),
IEEE. S. 113-118
Wirsing, Martin und Knapp, Alexander
(2022):
A Reduction-based Cut-free Gentzen Calculus for Dynamic Epistemic Logic.
In: Logic Journal of the Igpl, Bd. 31, Nr. 6: S. 1047-1068
2021
Bliudze, Simon; Katsaros, Panagiotis; Bensalem, Saddek und Wirsing, Martin
(2021):
On methods and tools for rigorous system design.
In: International Journal on Software Tools for Technology Transfer, Bd. 23, Nr. 5: S. 679-684
2020
De Nicola, Rocco; Jähnichen, Stefan und Wirsing, Martin
(2020):
Rigorous engineering of collective adaptive systems: special section.
In: International Journal on Software Tools for Technology Transfer, Bd. 22, Nr. 4: S. 389-397
[PDF, 248kB]
2018
Hennicker, Rolf; Madeira, Alexandre und Wirsing, Martin
(2018):
Behavioural and abstractor specifications revisited.
In: Theoretical Computer Science, Bd. 741: S. 32-43
2016
Belzner, Lenz; Hennicker, Rolf und Wirsing, Martin
(2016):
OnPlan: A Framework for Simulation-Based Online Planning.
In: Braga, Christiano und Ölveczky, Peter Csaba (Hrsg.):
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science, Bd. 9539. Springer. S. 1-30
Jähnichen, Stefan und Wirsing, Martin
(2016):
Rigorous Engineering of Collective Adaptive Systems Track Introduction.
In:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Bd. 9952. Cham: Springer. S. 535-538
Jähnichen, Stefan und Wirsing, Martin
(2016):
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction.
In:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Bd. 9952. Cham: Springer. S. 639-641
1999
Backofen, Rolf; Böck, August; Bry, François; Buckenmaier, Andreas; Clote, Peter; Gabriel, Wilfried; Grosschedl, Rudolf; Hegering, Heinz-Gerd; Hermann, Reinhold G.; Kriegel, Hans-Peter; Kahmann, Regine; Kröger, Fred; Linnhoff-Popien, Claudia; Mewes, Hans-Werner; Weiss, Elisabeth H. und Wirsing, Martin
(1999):
Positionspapier zum Ausbau der Bioinformatik an der Ludwig-Maximilians-Universität München.
[PDF, 469kB]
1998
Bry, François; Clote, Peter; Hegering, Heinz-Gerd; Kriegel, Hans-Peter; Kröger, Fred; Ludwig, Thomas und Wirsing, Martin
(1998):
Weißbuch über Perspektiven in der Ludwig-Maximilians-Universität zum Anbruch des Informationszeitalters.
[PDF, 131kB]