3 papers
cs.LO2025
Theta as a Horn Solver
Levente Bajczi, Milán Mondok, Vince Molnár
Theta is a verification framework that has participated in the CHC-COMP competition since 2023. While its core approach -- based on transforming constrained Horn clauses (CHCs) int…
cs.LG2025
Adaptive Law-Based Transformation (ALT): A Lightweight Feature Representation for Time Series Classification
Marcell T. Kurbucz, Balázs Hajós, Balázs P. Halmos +2
Time series classification (TSC) is fundamental in numerous domains, including finance, healthcare, and environmental monitoring. However, traditional TSC methods often struggle wi…
cs.CY2024
Enhancing MBSE Education with Version Control and Automated Feedback
Levente Bajczi, Dániel Szekeres, Daniel Siegl +1
This paper presents an innovative approach to conducting a Model-Based Systems Engineering (MBSE) course, engaging over 80 participants annually. The course is structured around co…