Michal Töpfer

17 papers B 4C 1Journal 6Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic. CoRR Michal Töpfer, Frantisek Plásil, Tomás Bures, Petr Hnetynka
2025	B	`conf`	Interpreting Workflow Architectures by LLMs. ENASE Michal Töpfer, Tomás Bures, Frantisek Plásil, Petr Hnetynka
2025	—	`conf`	Tutoring LLM into a Better CUDA Optimizer. Euro-Par (2) Matyás Brabec, Jirí Klepl, Michal Töpfer, Martin Krulis
2025	J	`jnl`	Tutoring LLM into a Better CUDA Optimizer. CoRR Matyás Brabec, Jirí Klepl, Michal Töpfer, Martin Krulis
2025	J	`jnl`	Understanding ensemble-based component architectures by LLMs. Int. J. Softw. Tools Technol. Transf. Michal Töpfer, Tomás Bures, Petr Hnetynka, Frantisek Plásil
2024	—	`conf`	How Well Do LLMs Understand DEECo Ensemble-Based Component Architectures. ISoLA (2) Michal Töpfer, Danylo Khalyeyev, Tomás Bures, Petr Hnetynka, Frantisek Plásil
2024	B	`conf`	Robin: A Systematic Literature Mapping Management Tool. SEAA Milad Abdullah, Michal Töpfer, Tomás Bures
2023	J	`jnl`	Ensemble-based modeling abstractions for modern self-optimizing systems. CoRR Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis
2023	J	`jnl`	Machine-learning abstractions for component-based self-optimizing systems. Int. J. Softw. Tools Technol. Transf. Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis
2023	C	`conf`	Modeling Machine Learning Concerns in Collective Adaptive Systems. MODELSWARD Petr Hnetynka, Martin Krulis, Michal Töpfer, Tomás Bures
2023	—	`conf`	Online ML Self-adaptation in Face of Traps. ACSOS Michal Töpfer, Frantisek Plásil, Tomás Bures, Petr Hnetynka, Martin Krulis, Danny Weyns
2023	J	`jnl`	Online ML Self-adaptation in Face of Traps. CoRR Michal Töpfer, Frantisek Plásil, Tomás Bures, Petr Hnetynka, Martin Krulis, Danny Weyns
2022	—	`conf`	Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems. ISoLA (3) Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis
2022	—	`conf`	Introducing Estimators - Abstraction for Easy ML Employment in Self-adaptive Architectures. ECSA (Tracks and Workshops) Milad Abdullah, Michal Töpfer, Tomás Bures, Petr Hnetynka, Martin Krulis, Frantisek Plásil
2022	—	`conf`	ML-DEECo: a Machine-Learning-Enabled Framework for Self-organizing Components. ACSOS-C Michal Töpfer, Milad Abdullah, Martin Krulis, Tomás Bures, Petr Hnetynka
2021	B	`conf`	Super Mario A-Star Agent Revisited. ICTAI David Sosvald, Michal Töpfer, Jan Holan, Vojtech Cerný, Jakub Gemrot
2020	B	`conf`	IVIS: Highly customizable framework for visualization and processing of IoT data. SEAA Lubomír Bulej, Tomás Bures, Petr Hnetynka, Václav Camra, Petr Siegl, Michal Töpfer