4 papers
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…
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…
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…
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines
Márton Elekes, Vince Molnár, Zoltán Micskei
State machines are used in engineering many types of software-intensive systems. UML State Machines extend simple finite state machines with powerful constructs. Among the many ext…