Large language model assisted software engineering: prospects, challenges, and a case study

L Belzner, T Gabor, M Wirsing - … Conference on Bridging the Gap between …, 2023 - Springer
Large language models such as OpenAI's GPT and Google's Bard offer new opportunities
for supporting software engineering processes. Large language model assisted software …

The quantum software lifecycle

B Weder, J Barzen, F Leymann, M Salm… - Proceedings of the 1st …, 2020 - dl.acm.org
Quantum computing is an emerging paradigm that enables to solve a variety of problems
more efficiently than it is possible on classical computers. As the first quantum computers are …

[PDF][PDF] Learning and testing resilience in cooperative multi-agent systems

T Phan, T Gabor, A Sedlmeier, F Ritz… - Proceedings of the 19th …, 2020 - ifaamas.org
State-of-the-art multi-agent reinforcement learning has achieved remarkable success in
recent years. The success has been mainly based on the assumption that all teammates …

Capturing dependencies within machine learning via a formal process model

F Ritz, T Phan, A Sedlmeier, P Altmann… - … Applications of Formal …, 2022 - Springer
Abstract The development of Machine Learning (ML) models is more than just a special
case of software development (SD): ML models acquire properties and fulfill requirements …

Rigorous engineering of collective adaptive systems

R De Nicola, S Jähnichen, M Wirsing - International Journal on Software …, 2020 - Springer
An adaptive system is able to adapt at runtime to dynamically changing environments and to
new requirements. Adaptive systems can be single adaptive entities or collective ones that …

The holy grail of quantum artificial intelligence: major challenges in accelerating the machine learning pipeline

T Gabor, L Sünkel, F Ritz, T Phan, L Belzner… - Proceedings of the …, 2020 - dl.acm.org
We discuss the synergetic connection between quantum computing and artificial
intelligence. After surveying current approaches to quantum artificial intelligence and …

Rigorous engineering of collective adaptive systems

S Jähnichen, M Wirsing - International Journal on Software …, 2020 - search.proquest.com
An adaptive system is able to adapt at runtime to dynamically changing environments and to
new requirements. Adaptive systems can be single adaptive entities or collective ones that …

Generating adaptation rule-specific neural networks

T Bureš, P Hnětynka, M Kruliš, F Plášil… - International Journal on …, 2023 - Springer
There have been a number of approaches to employ neural networks in self-adaptive
systems; in many cases, generic neural networks and deep learning are utilized for this …

Ensemble-based modeling abstractions for modern self-optimizing systems

M Töpfer, M Abdullah, T Bureš, P Hnětynka… - … Applications of Formal …, 2022 - Springer
In this paper, we extend our ensemble-based component model DEECo with the capability
to use machine-learning and optimization heuristics in establishing and reconfiguration of …

Towards systematically engineering autonomous systems using reinforcement learning and planning

M Wirsing, L Belzner - … and Intelligent Systems: Essays Dedicated to …, 2023 - Springer
Autonomous systems need to be able dynamically adapt to changing requirements and
environmental conditions without redeployment and without interruption of the systems …