From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics. - Ármin Zavada; Kristóf Marussy; Vince Molnár (MoDELS (Companion), 2024)

Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems. - Ármin Zavada; Géza Kulcsár; Vince Molnár; Ákos Horváth 001 (ICPS, 2025)