Mehran Moeini Jam

Projektass.(FWF) / Master Degree

Research Areas

Software Verification, Automata Theory, Computational Logic, Formal Methods

Mehran Moeini Jam

Role

PreDoc Researcher
Formal Methods in Systems Engineering, E192-04

Contact

mehran.jam@tuwien.ac.at
vCard from TISS

Publications

Compositional Verification of Timed Automata via Violation Assumptions / Moeini Jam, M., Kalantari, H., Khamespanah, E., Sirjani, M., & Movaghar, A. (2026). Compositional Verification of Timed Automata via Violation Assumptions. In Computer Aided Verification (CAV 2026) (pp. 331–355). Springer Cham. https://doi.org/10.1007/978-3-032-32526-6_16
Projects: DK - AR (2025–2029) / TAIGER (2023–2028)