Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marek Chalupa
conf.researchr.org general profile
FM 2026 profile
ICSE 2025 profile
POPL 2026 profile
Registered user since Wed 20 Aug 2025
Name:
Marek Chalupa
Affiliation:
Institute of Science and Technology Austria
Contributions
2026
FM
Author of Quantitative Monitoring of Signal First-Order Logic within the Research Track-track
VMCAI
Co-chair in Artifact Evaluation Committee within the VMCAI 2026-track
2025
ICSE
Author of Cooperative Software Verification via Dynamic Program Splitting within the Research Track-track
Share
x
Sat 11 Apr 00:19