Norbert Somogyi

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Error Back Propagation

Statistical Model

Top Venues

SN Comput. Sci.

Publications

Norbert Somogyi, Gergely Mezei
Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models. SN Comput. Sci. 5 (5) (2024)
Norbert Somogyi, Gergely Mezei
Verifying Static Constraints on Models Using General Formal Verification Methods. MODELSWARD (2023)
Norbert Somogyi, Gergely Mezei
The Challenges of Defining and Parsing Multi-Layer DMLA Models. MODELSWARD (2022)
Norbert Somogyi, Gábor Kövesdán, László Lengyel
Towards a Model Transformation based Code Renovation Tool. MODELSWARD (2021)