1.
Mezei, Gergely ; Somogyi, Ferenc Attila ; Somogyi, Norbert ; Gembela, Gergely
Multi-Level Modeling with DMLA: A Contribution to the MULTI Warehouse Challenge
In: ACM - ACM (szerk.) MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2024) pp. 790-799. , 10 p.
DOI WoS Scopus Egyéb URL
Közlemény:35595759 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 0 | Független: 0 | Függő: 0 | Nem jelölt: 0 (Nem nyilvános: 1)
Konferenciaközlemény (Könyvrészlet) | Tudományos[35595759] [Egyeztetett]
2.
Somogyi, Norbert ✉ ; Mezei, Gergely
Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models
SN COMPUTER SCIENCE 5 : 5 Paper: 508 , 14 p. (2024)
DOI Scopus
Közlemény:34846752 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34846752] [Nyilvános]
3.
Somogyi, Norbert
CTL++: Abstraction-Based Formal Verification of Static Software Modeling Constraints
In: Dunaev, Dmitriy; Vajk, István (szerk.) Proceedings of the Automation and Applied Computer Science Workshop 2024 : AACS'24
Budapest, Magyarország : Budapesti Műszaki Egyetem (BME) (2024) 297 p. pp. 139-147. , 9 p.
Közlemény:35791074 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[35791074] [Nyilvános]
4.
Somogyi, Norbert ; Mezei, Gergely
Verifying Static Constraints on Models Using General Formal Verification Methods
In: Domínguez Mayo, Francisco José; Pires, Luís Ferreira; Seidewitz, Edwin (szerk.) Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering
Setubal, Portugália : SciTePress (2023) pp. 85-93. , 9 p.
DOI
Közlemény:33533355 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33533355] [Nyilvános]
5.
Somogyi, Norbert
Towards Abstraction-Based Formal Verification of Static Modeling Constraints
In: Vajk, István; Dmitriy, Dunaev (szerk.) Proceedings of the Automation and Applied Computer Science Workshop 2023 (AACS'23)
Budapest, Magyarország : Budapesti Műszaki Egyetem, Automatizálási és Alkalmazott Informatikai Tanszék (2023) pp. 174-185. , 12 p.
Közlemény:34693431 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34693431] [Nyilvános]
6.
Somogyi, Norbert
Formal Verification of Multi-Level Modeling Requirements
In: Dunaev, Dmitriy; Vajk, István (szerk.) Proceedings of the Automation and Applied Computer Science Workshop 2022 (AACS'22)
Budapest, Magyarország : Budapesti Műszaki Egyetem, Automatizálási és Alkalmazott Informatikai Tanszék (2022) pp. 157-168. , 12 p.
Közlemény:33533277 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33533277] [Nyilvános]
7.
Somogyi, Norbert ; Mezei, Gergely
The Challenges of Defining and Parsing Multi-Layer DMLA Models
In: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development
(2022) pp. 358-363. , 6 p.
DOI Scopus Egyéb URL
Közlemény:33533286 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33533286] [Nyilvános]
8.
Somogyi, Norbert ; Kövesdán, Gábor
Software Modernization Using Machine Learning Techniques
In: IEEE (szerk.) 2021 IEEE 19th World Symposium on Applied Machine Intelligence and Informatics (SAMI)
Budapest, Magyarország : IEEE Hungary Section (2021) 507 p. pp. 361-365. , 5 p.
DOI WoS Scopus
Közlemény:31793813 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[31793813] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
9.
Somogyi, Norbert ; Kövesdán, Gábor ; Lengyel, László
Towards a Model Transformation Based Code Renovation Tool
In: Hammoudi, S; Pires, LF; Seidewitz, E; Soley, R (szerk.) Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021)
Setubal, Portugália : SciTePress (2021) pp. 191-198. , 8 p.
DOI WoS Scopus
Közlemény:31793836 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[31793836] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
10.
Somogyi, Norbert ; Hidvégi, Máté ; Mezei, Gergely
DMLA3.0: towards an industrial multi-layer modeling framework
In: Dunaev, Dmitriy; Vajk, István (szerk.) Proceedings of the Automation and Applied Computer Science Workshop 2021 : AACS'21
Budapest, Magyarország : Budapesti Műszaki és Gazdaságtudományi Egyetem (2021) pp. 272-283. , 12 p.
autopszia
Közlemény:32419395 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32419395] [Egyeztetett]
2026-07-18 14:28