Towards a Model Transformation based Code Renovation Tool. - Norbert Somogyi; Gábor Kövesdán; László Lengyel (MODELSWARD, 2021)

The Challenges of Defining and Parsing Multi-Layer DMLA Models. - Norbert Somogyi; Gergely Mezei (MODELSWARD, 2022)

Verifying Static Constraints on Models Using General Formal Verification Methods. - Norbert Somogyi; Gergely Mezei (MODELSWARD, 2023)

Multi-Level Modeling with DMLA: A Contribution to the MULTI Warehouse Challenge. - Gergely Mezei; Ferenc Attila Somogyi; Norbert Somogyi; Gergely Gembela (MoDELS (Companion), 2024)

Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models. - Norbert Somogyi; Gergely Mezei (SN Comput. Sci., 2024)