1.
Zavada, Ármin ; Marussy, Kristóf ; Molnár, Vince
From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics
In: ACM - ACM (eds.) MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
New York City, United States of America : ACM (2024) pp. 311-317. , 6 p.
DOI WoS Scopus Other URL
Publication:35600740 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Language: English
Conference paper (Chapter in Book) | Scientific 
Comment: 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] [Validated]
2.
Zavada, Ármin ; Molnár, Vince
From Hard-Coded to Modeled: Towards Making Semantic-Preserving Model Transformations More Flexible
In: Proceedings of the 31th Minisymposium
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2024) pp. 41-45. , 5 p.
DOI Other URL
Publication:34895395 Published Core Chapter in Book (Conference paper ) Scientific
Language: English
Conference paper (Chapter in Book) | Scientific[34895395] [Approved]
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
LiU E-Press (2023) pp. 497-510. , 14 p.
DOI Other URL
Publication:34895397 Published Core Chapter in Book (Conference paper ) Scientific
Language: English
Conference paper (Chapter in Book) | Scientific[34895397] [Approved]
2025-05-20 05:38