Skip to main navigation Skip to search Skip to main content
Malte Grave

View Scopus Profile

Malte Grave

BSc MSc

 https://orcid.org/0009-0002-4378-0425

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

  • 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). Almeida, L., Indria, M., de Sousa, M., Visioli, A., Ashjaei, M. & Santos, P. (eds.). 1 ed. IEEE, p. 1-8 8 p. 11205747. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).

    Research 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.). 1 ed. 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.). 1 ed. 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