Marek Chalupa

12 Publications

Mark all

[12]
2025 | Published | Conference Paper | IST-REx-ID: 19739 | OA
Chalupa M, Richter C. 2025. BUBAAK: Dynamic cooperative verification. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15698, 212–216.
[Published Version] View | Files available | DOI
 
[11]
2025 | Published | Journal Article | IST-REx-ID: 18169 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2025. VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming. 240(2), 103212.
[Published Version] View | Files available | DOI | WoS
 
[10]
2025 | Published | Conference Paper | IST-REx-ID: 19741 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2025. Automating the analysis of quantitative automata with QuAK. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. , LNCS, vol. 15696, 303–312.
[Published Version] View | Files available | DOI | arXiv
 
[9]
2025 | Published | Conference Paper | IST-REx-ID: 20024
Richter C, Chalupa M, Jakobs M-C, Wehrheim H. 2025. Cooperative software verification via dynamic program splitting. 47th International Conference on Software Engineering. ICSE: International Conference on Software Engineering, 2087–2099.
View | DOI | WoS
 
[8]
2024 | Published | Conference Paper | IST-REx-ID: 15333 | OA
Chalupa M, Richter C. 2024. Bubaak-SpLit: Split what you cannot verify (Competition contribution). 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 14572, 353–358.
[Published Version] View | Files available | DOI | WoS
 
[7]
2024 | Published | Conference Paper | IST-REx-ID: 18599
Chalupa M, Henzinger TA, Oliveira da Costa A. 2024. Monitoring extended hypernode logic. Integrated Formal Methods. , LNCS, vol. 15234, 151–171.
View | DOI | WoS
 
[6]
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2024. QuAK: Quantitative Automata Kit. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISoLA: International Symposium on Leveraging Applications, LNCS, vol. 15222, 3–20.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[5]
2023 | Published | Conference Paper | IST-REx-ID: 14076 | OA
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers. 23nd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 168–190.
[Published Version] View | Files available | DOI
 
[4]
2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers, Zenodo, 10.5281/ZENODO.8191723.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[3]
2023 | Published | Conference Paper | IST-REx-ID: 12854 | OA
Chalupa M, Henzinger TA. 2023. Bubaak: Runtime monitoring of program verifiers. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 535–540.
[Published Version] View | Files available | DOI | WoS
 
[2]
2023 | Published | Conference Paper | IST-REx-ID: 12856 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. Vamos: Middleware for best-effort third-party monitoring. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13991, 260–281.
[Published Version] View | Files available | DOI | WoS
 
[1]
2023 | Published | Technical Report | IST-REx-ID: 12407 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 38p.
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed

Grants


12 Publications

Mark all

[12]
2025 | Published | Conference Paper | IST-REx-ID: 19739 | OA
Chalupa M, Richter C. 2025. BUBAAK: Dynamic cooperative verification. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15698, 212–216.
[Published Version] View | Files available | DOI
 
[11]
2025 | Published | Journal Article | IST-REx-ID: 18169 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2025. VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming. 240(2), 103212.
[Published Version] View | Files available | DOI | WoS
 
[10]
2025 | Published | Conference Paper | IST-REx-ID: 19741 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2025. Automating the analysis of quantitative automata with QuAK. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. , LNCS, vol. 15696, 303–312.
[Published Version] View | Files available | DOI | arXiv
 
[9]
2025 | Published | Conference Paper | IST-REx-ID: 20024
Richter C, Chalupa M, Jakobs M-C, Wehrheim H. 2025. Cooperative software verification via dynamic program splitting. 47th International Conference on Software Engineering. ICSE: International Conference on Software Engineering, 2087–2099.
View | DOI | WoS
 
[8]
2024 | Published | Conference Paper | IST-REx-ID: 15333 | OA
Chalupa M, Richter C. 2024. Bubaak-SpLit: Split what you cannot verify (Competition contribution). 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 14572, 353–358.
[Published Version] View | Files available | DOI | WoS
 
[7]
2024 | Published | Conference Paper | IST-REx-ID: 18599
Chalupa M, Henzinger TA, Oliveira da Costa A. 2024. Monitoring extended hypernode logic. Integrated Formal Methods. , LNCS, vol. 15234, 151–171.
View | DOI | WoS
 
[6]
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2024. QuAK: Quantitative Automata Kit. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISoLA: International Symposium on Leveraging Applications, LNCS, vol. 15222, 3–20.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[5]
2023 | Published | Conference Paper | IST-REx-ID: 14076 | OA
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers. 23nd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 168–190.
[Published Version] View | Files available | DOI
 
[4]
2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers, Zenodo, 10.5281/ZENODO.8191723.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[3]
2023 | Published | Conference Paper | IST-REx-ID: 12854 | OA
Chalupa M, Henzinger TA. 2023. Bubaak: Runtime monitoring of program verifiers. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 535–540.
[Published Version] View | Files available | DOI | WoS
 
[2]
2023 | Published | Conference Paper | IST-REx-ID: 12856 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. Vamos: Middleware for best-effort third-party monitoring. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13991, 260–281.
[Published Version] View | Files available | DOI | WoS
 
[1]
2023 | Published | Technical Report | IST-REx-ID: 12407 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 38p.
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed