VARIABILITY 2026 (series) / Malte Grave
Registered user since Tue 25 Aug 2026
Name:Malte Grave
Bio:
University education
2025 - Now Johannes Kepler University Linz | PhD in Computer Science
2023 - 2024 Carl von Ossietzky University Oldenburg | Master Computer Science
2019 - 2023 Carl von Ossietzky University Oldenburg | Bachelor Computer Science - Embedded Systems Design and Microrobotics
School education
2017 - 2019 Fachoberschule Oldenburg | Higher secondary school - Focus on Computer Science
2015 - 2016 Oberschule Friesoythe Middle school
2011- 2015 Hauptschule Friesoythe | Lower middle school
2010 -2010 Realschule Friesoythe | Middle school
Country:Austria
Affiliation:CDL VaSiCS, LIT CPS Lab, Johannes Kepler University Linz
Personal website: https://mgrave.info
GitHub: https://github.com/gravemalte
Contributions
2026
VARIABILITY
- SMT-Based Consistency Checking for the V4rdiac CPPS Variability Management Approach
- Satisfiability Modulo Theories-Based Consistency Checking for Highly Variable Cyber-Physical Production Systems
- Is it Satisfiable? SMT-Based Consistency Checking in Variability-Intensive Cyber-Physical Production Systems
Using general profile