19 citations · 30 across the 8 of their papers we have counts for
3 papers · 1 filter
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study
Michal Töpfer, František Plášil, Tomáš Bureš +1
Vibe coding inherently assumes iterative refinement of LLM-generated code through feedback loops. While effective for conventional software tasks, its reliability in runtime-adapti…
Towards Continuous Experiment-driven MLOps
Keerthiga Rajenthiram, Milad Abdullah, Ilias Gerostathopoulos +5
Despite advancements in MLOps and AutoML, ML development still remains challenging for data scientists. First, there is poor support for and limited control over optimizing and evo…
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems
Jiri Vinarek, Petr Hnetynka
The Invariant Refinement Method for Self Adaptation (IRM-SA) is a design method targeting development of smart Cyber-Physical Systems (sCPS). It allows for a systematic translation…