Marek Chalupa

12 Publications

Mark all

[12]
2025 | Published | Conference Paper | IST-REx-ID: 19739 | OA
Chalupa M, Richter C. BUBAAK: Dynamic cooperative verification. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15698. Springer Nature; 2025:212-216. doi:10.1007/978-3-031-90660-2_14
[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. VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming. 2025;240(2). doi:10.1016/j.scico.2024.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. Automating the analysis of quantitative automata with QuAK. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15696. Springer Nature; 2025:303-312. doi:10.1007/978-3-031-90643-5_16
[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. Cooperative software verification via dynamic program splitting. In: 47th International Conference on Software Engineering. IEEE; 2025:2087-2099. doi:10.1109/ICSE55347.2025.00092
View | DOI | WoS
 
[8]
2024 | Published | Conference Paper | IST-REx-ID: 15333 | OA
Chalupa M, Richter C. Bubaak-SpLit: Split what you cannot verify (Competition contribution). In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:353–358. doi:10.1007/978-3-031-57256-2_20
[Published Version] View | Files available | DOI | WoS
 
[7]
2024 | Published | Conference Paper | IST-REx-ID: 18599
Chalupa M, Henzinger TA, Oliveira da Costa A. Monitoring extended hypernode logic. In: Integrated Formal Methods. Vol 15234. Springer Nature; 2024:151-171. doi:10.1007/978-3-031-76554-4_9
View | DOI | WoS
 
[6]
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. QuAK: Quantitative Automata Kit. In: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Vol 15222. Springer Nature; 2024:3-20. doi:10.1007/978-3-031-75387-9_1
[Published Version] View | Files available | DOI | WoS | arXiv
 
[5]
2023 | Published | Conference Paper | IST-REx-ID: 14076 | OA
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:168-190. doi:10.1007/978-3-031-44267-4_9
[Published Version] View | Files available | DOI
 
[4]
2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. 2023. doi: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. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32
[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. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi:10.1007/978-3-031-30826-0_15
[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. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed

Grants


12 Publications

Mark all

[12]
2025 | Published | Conference Paper | IST-REx-ID: 19739 | OA
Chalupa M, Richter C. BUBAAK: Dynamic cooperative verification. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15698. Springer Nature; 2025:212-216. doi:10.1007/978-3-031-90660-2_14
[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. VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming. 2025;240(2). doi:10.1016/j.scico.2024.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. Automating the analysis of quantitative automata with QuAK. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15696. Springer Nature; 2025:303-312. doi:10.1007/978-3-031-90643-5_16
[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. Cooperative software verification via dynamic program splitting. In: 47th International Conference on Software Engineering. IEEE; 2025:2087-2099. doi:10.1109/ICSE55347.2025.00092
View | DOI | WoS
 
[8]
2024 | Published | Conference Paper | IST-REx-ID: 15333 | OA
Chalupa M, Richter C. Bubaak-SpLit: Split what you cannot verify (Competition contribution). In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:353–358. doi:10.1007/978-3-031-57256-2_20
[Published Version] View | Files available | DOI | WoS
 
[7]
2024 | Published | Conference Paper | IST-REx-ID: 18599
Chalupa M, Henzinger TA, Oliveira da Costa A. Monitoring extended hypernode logic. In: Integrated Formal Methods. Vol 15234. Springer Nature; 2024:151-171. doi:10.1007/978-3-031-76554-4_9
View | DOI | WoS
 
[6]
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. QuAK: Quantitative Automata Kit. In: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Vol 15222. Springer Nature; 2024:3-20. doi:10.1007/978-3-031-75387-9_1
[Published Version] View | Files available | DOI | WoS | arXiv
 
[5]
2023 | Published | Conference Paper | IST-REx-ID: 14076 | OA
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:168-190. doi:10.1007/978-3-031-44267-4_9
[Published Version] View | Files available | DOI
 
[4]
2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. 2023. doi: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. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32
[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. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi:10.1007/978-3-031-30826-0_15
[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. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed