1.
Zavada, Ármin ; Molnár, Vince
From Hard-Coded to Modeled: Towards Making Semantic-Preserving Model Transformations More Flexible
In: Proceedings of the 31th Minisymposium
Budapest, Magyarország : Budapest University of Technology and Economics (2024) pp. 41-45. , 5 p.
DOI Egyéb URL
Közlemény:34895395 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[34895395] [Nyilvános]
2.
Zavada, Ármin ; Marussy, Kristóf ; Molnár, Vince
From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics
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. 311-317. , 6 p.
DOI WoS Scopus Egyéb URL
Közlemény:35600740 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: Funding Agency and Grant Number: New National Excellence Program of the Ministry for Culture and Innovation from the National Research, Development and Innovation Fund [UNKP-23-2-III-BME-47]
            Funding text: Supported by the UNKP-23-2-III-BME-47 New National Excellence Program of the Ministry for Culture and Innovation from the National Research, Development and Innovation Fund.

[35600740] [Egyeztetett]
3.
Bouskela, Daniel ; Buffoni, Lena ; Jardin, Audrey ; Molnair, Vince ; Pop, Adrian ; Zavada, Ármin
The Common Requirement Modeling Language
In: Proceedings of the 15th International Modelica Conference 2023, Aachen, October 9-11
Linköping University Electronic Press (2023) pp. 497-510. , 14 p.
DOI Egyéb URL
Közlemény:34895397 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[34895397] [Nyilvános]
2025-11-18 08:53