Ármin Zavada

According to our database¹, Ármin Zavada authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Industrial Cyber-Physical Systems, 2025

2024

From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024