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
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
Konferenciaközlemény (Könyvrészlet) | Tudományos[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
Konferenciaközlemény (Könyvrészlet) | Tudományos[34895397] [Nyilvános]
2025-07-10 15:54