Michal Töpfer

According to our database, Michal Töpfer authored at least 15 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study.

Michal Töpfer, Frantisek Plásil, Tomás Bures, Petr Hnetynka

CoRR, April, 2026

Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic.

Michal Töpfer, Frantisek Plásil, Tomás Bures, Petr Hnetynka

CoRR, February, 2026

2025

Understanding ensemble-based component architectures by LLMs.

Michal Töpfer, Tomás Bures, Petr Hnetynka, Frantisek Plásil

Int. J. Softw. Tools Technol. Transf., December, 2025

Tutoring LLM into a Better CUDA Optimizer.

Matyás Brabec, Jirí Klepl, Michal Töpfer, Martin Krulis

Proceedings of the Euro-Par 2025: Parallel Processing, 2025

Interpreting Workflow Architectures by LLMs.

Michal Töpfer, Tomás Bures, Frantisek Plásil, Petr Hnetynka

Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, 2025

2024

How Well Do LLMs Understand DEECo Ensemble-Based Component Architectures.

Michal Töpfer, Danylo Khalyeyev, Tomás Bures, Petr Hnetynka, Frantisek Plásil

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

Robin: A Systematic Literature Mapping Management Tool.

Milad Abdullah, Michal Töpfer, Tomás Bures

Proceedings of the 50th Euromicro Conference on Software Engineering and Advanced Applications, 2024

2023

Machine-learning abstractions for component-based self-optimizing systems.

Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis

Int. J. Softw. Tools Technol. Transf., December, 2023

Modeling Machine Learning Concerns in Collective Adaptive Systems.

Petr Hnetynka, Martin Krulis, Michal Töpfer, Tomás Bures

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

Online ML Self-adaptation in Face of Traps.

Michal Töpfer, Frantisek Plásil, Tomás Bures, Petr Hnetynka, Martin Krulis, Danny Weyns

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

2022

Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems.

Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Introducing Estimators - Abstraction for Easy ML Employment in Self-adaptive Architectures.

Milad Abdullah, Michal Töpfer, Tomás Bures, Petr Hnetynka, Martin Krulis, Frantisek Plásil

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

ML-DEECo: a Machine-Learning-Enabled Framework for Self-organizing Components.

Michal Töpfer, Milad Abdullah, Martin Krulis, Tomás Bures, Petr Hnetynka

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021

Super Mario A-Star Agent Revisited.

David Sosvald, Michal Töpfer, Jan Holan, Vojtech Cerný, Jakub Gemrot

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020

IVIS: Highly customizable framework for visualization and processing of IoT data.

Lubomír Bulej, Tomás Bures, Petr Hnetynka, Václav Camra, Petr Siegl, Michal Töpfer

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020