![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 2
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
Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662; Lingsch-Rosenfeld, Marian ORCID: https://orcid.org/0000-0002-8172-3184 und Spiessl, Martin ORCID: https://orcid.org/0000-0002-9169-9130
(2023):
CEGAR-PT. A Tool for Abstraction by Program Transformation.
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Kirchberg, Luxembourg, 11-15 September 2023.
In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Piscataway, NJ: IEEE. S. 2078-2081
[PDF, 136kB]
ORCID: https://orcid.org/0000-0003-4832-7662; Lingsch-Rosenfeld, Marian ORCID: https://orcid.org/0000-0002-8172-3184 und Spiessl, Martin ORCID: https://orcid.org/0000-0002-9169-9130
(2023):
CEGAR-PT. A Tool for Abstraction by Program Transformation.
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Kirchberg, Luxembourg, 11-15 September 2023.
In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Piscataway, NJ: IEEE. S. 2078-2081
[PDF, 136kB]