Norbert Somogyi

According to our database, Norbert Somogyi authored at least 5 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models.

Norbert Somogyi, Gergely Mezei

SN Comput. Sci., June, 2024

Multi-Level Modeling with DMLA: A Contribution to the MULTI Warehouse Challenge.

Gergely Mezei, Ferenc Attila Somogyi, Norbert Somogyi, Gergely Gembela

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023

Verifying Static Constraints on Models Using General Formal Verification Methods.

Norbert Somogyi, Gergely Mezei

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

2022

The Challenges of Defining and Parsing Multi-Layer DMLA Models.

Norbert Somogyi, Gergely Mezei

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021

Towards a Model Transformation based Code Renovation Tool.

Norbert Somogyi, Gábor Kövesdán, László Lengyel

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021