Login / Signup
Norbert Somogyi
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Linear Regression
Constraint Satisfaction
Formal Verification
Statistical Methods
Top Venues
MODELSWARD
</>
Publications
</>
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)