Ármin Zavada -

Registered user since Sun 15 Sep 2024

Name:Ármin Zavada

Country:Hungary

Affiliation:Budapest University of Technology and Economics

GitHub: https://github.com/arminzavada

Research interests:Formal Methods, Behavior Modeling, MBSE

Contributions

2026

MODELS

Author of Skyscrapers Need Solid Foundations: Pattern-Based Validation of SysML v2 Models with Refinery within the Research Papers-track

2024

MODELS

Author of From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics within the SAM Conference-track