Lisa Sonnleithner -

Not registered as user

Name:Lisa Sonnleithner

Country:Austria

Affiliation:CDL VaSiCS, LIT CPS Lab, Johannes Kepler University Linz

Contributions

2026

VARIABILITY

Author of SMT-Based Consistency Checking for the V4rdiac CPPS Variability Management Approach within the Demonstration and Tools-track
Author of Is it Satisfiable? SMT-Based Consistency Checking in Variability-Intensive Cyber-Physical Production Systems within the Research Papers-track

ICSME

Author of Supporting Maintenance and Evolution in Cyber-Physical Production Systems through Semi-automatic Variability Extraction within the Industry Track-track