1.
Zavada, Ármin ; Kulcsár, Géza ; Molnár, Vince ; Horváth, Ákos
Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems
In: IEEE - IEEE (szerk.) 2025 IEEE 8th International Conference on Industrial Cyber-Physical Systems (ICPS)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2025) Paper: 11087849 , 6 p.
DOI WoS
Közlemény:36588299 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: Project no. 2024-2.1.2-EKOP-KDP-2024-00005 has been implemented with the support provided by the Ministry of Culture and Innovation of Hungary from the National Research, Development and Innovation fund, financed under the EKÖP_KDP-24-1-BME-21 funding scheme. This research has been partially funded by the Chips Joint Undertaking under grant agreement No 101111977, and by the National Development and Innovation Fund of Hungary under project no. 2022-1.2.8-KDT-2023-00003, within the frame of the Arrowhead fPVN project.

[36588299] [Admin láttamozott]
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
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]
3.
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
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
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]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
4.
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, Svédország : 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]
2026-05-18 08:41