Zoltan Theisz

Multi-Level Meta-Modeling for Enabling Dynamic Subtyping for Industrial Automation

Gergely Mezei, Zoltan Theisz, 2017 .

Formalism for Static Aspects of Dynamic Metamodeling

Gergely Mezei, Zoltan Theisz, Dániel Urbán, 2017, Period. Polytech. Electr. Eng. Comput. Sci..

Requirements of a Model-Driven Methodology and Tool-Chain for the Design and Verification of Hierarchical Controllers of an Autonomic Network

Arun Prakash, Zoltan Theisz, Ranganai Chaparadza, 2010, 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service.

Towards Mainstream Multi-level Meta-modeling

Ferenc A. Somogyi, Gergely Mezei, Zoltan Theisz, 2019, MODELSWARD.

Domain specific modeling methodology for reconfigurable networked systems

Zoltan Theisz, Gabor Batori, Domonkos Asztalos, 2007, MODELS'07.

Formal Logic Based Configuration Modeling and Verification for Dynamic Component Systems

Zoltan Theisz, 2011 .

Towards a novel meta-modeling approach for dynamic multi-level instantiation

Gergely Mezei, Zoltan Theisz, 2015 .

Robust Reconfigurable Erlang Component System

Zoltan Theisz, Gabor Batori, Domonkos Asztalos, 2005 .