Research output per year
Research output per year
Personal profile
Research interests
- Cyber-Physical Production Systems
- Variability Modelling
- Consistency Checking
- SMT Solving
- Formal Methods
- Embedded Systems
- HDL
- Compiler Construction
- FPGA
- Digital Hardware Design
- Model-Driven Engineering
- Software Product Lines
- Systems and Software Architecture
Education/Academic qualification
Computer Science, Master, Model Transformation Of Data Flow Models To Event Based IEC 61499 Models Using GNU Radio And Eclipse 4diac
31 Aug 2024 → 07 Jan 2025
Computer Science, Bachelor, Implementation and Evaluation of Mixed Critical Execution Resources for IEC 61499 Applications in 4diac FORTE based on Linux and the Xenomai Real-Time Co-Kernel
01 Jan 2023 → 20 Apr 2023
External positions
Researcher, OFFIS e.V.
01 Aug 2023 → 31 Dec 2024
Research output
- 3 Conference proceedings
-
A Formal Model Transformation from Data Flow Models to IEC 61499 Models
Grave, M., Meingast, M., Klös, V., Zoitl, A., Sonnleithner, L. & Walter, J., 21 Oct 2025, 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, p. 1-8 8 p. 11205747Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Third Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem
Horcas, J. M., Sundermann, C., Grave, M., Galindo, J. A., Thüm, T., Rabiser, R. & Benavides, D., 31 Aug 2025, SPLC 2025: 29th ACM International Systems and Software Product Line Conference - Proceedings. Luaces, M. R., Rodeiro, T. V., Greiner, S., Galindo Duarte, J., Yue, T., Yoshimura, K., Semini, L., Cordy, M., Azanza, M., Kruger, J., Perrouin, G., Fortz, S., Groher, I., Munoz, D.-J., Schmid, K., Perez, F., Galasso-Carbonnel, J., Horcas, J. M. & Feichtinger, K. (eds.). New York, NY, USA: Association for Computing Machinery, p. 241 1 p. (SPLC 2025: 29th ACM International Systems and Software Product Line Conference - Proceedings; vol. A).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Towards Consistency Management in Variability-Intensive Cyber-Physical Production Systems
Grave, M. & Rabiser, R., 01 Sept 2025, Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume B. Luaces, M. R., Rodeiro, T. V., Greiner, S., Galindo Duarte, J., Yue, T., Yoshimura, K., Semini, L., Cordy, M., Azanza, M., Kruger, J., Perrouin, G., Fortz, S., Groher, I., Munoz, D.-J., Schmid, K., Perez, F., Galasso-Carbonnel, J., Horcas, J. M. & Feichtinger, K. (eds.). New York, NY, USA: Association for Computing Machinery, p. 66–70 5 p. (SPLC-B '25).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access