Marek Chalupa
12 Publications
2025 | Published | Conference Paper | IST-REx-ID: 19739 | 
Chalupa, Marek, and Cedric Richter. “BUBAAK: Dynamic Cooperative Verification.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15698, Springer Nature, 2025, pp. 212–16, doi:10.1007/978-3-031-90660-2_14.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18169 |
Chalupa, Marek, et al. “VAMOS: Middleware for Best-Effort Third-Party Monitoring.” Science of Computer Programming, vol. 240, no. 2, 103212, Elsevier, 2025, doi:10.1016/j.scico.2024.103212.
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Conference Paper | IST-REx-ID: 19741 |
Chalupa, Marek, et al. “Automating the Analysis of Quantitative Automata with QuAK.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15696, Springer Nature, 2025, pp. 303–12, doi:10.1007/978-3-031-90643-5_16.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20024
Richter, Cedric, et al. “Cooperative Software Verification via Dynamic Program Splitting.” 47th International Conference on Software Engineering, IEEE, 2025, pp. 2087–99, doi:10.1109/ICSE55347.2025.00092.
View
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 15333 |
Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 353–358, doi:10.1007/978-3-031-57256-2_20.
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18599
Chalupa, Marek, et al. “Monitoring Extended Hypernode Logic.” Integrated Formal Methods, vol. 15234, Springer Nature, 2024, pp. 151–71, doi:10.1007/978-3-031-76554-4_9.
View
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
Chalupa, Marek, et al. “QuAK: Quantitative Automata Kit.” 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, vol. 15222, Springer Nature, 2024, pp. 3–20, doi:10.1007/978-3-031-75387-9_1.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14076 |
Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” 23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi:10.1007/978-3-031-44267-4_9.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with Prefix Transducers. Zenodo, 2023, doi:10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 12854 |
Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, doi:10.1007/978-3-031-30820-8_32.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 12856 |
Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” Fundamental Approaches to Software Engineering, vol. 13991, Springer Nature, 2023, pp. 260–81, doi:10.1007/978-3-031-30826-0_15.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Technical Report | IST-REx-ID: 12407 |
Chalupa, Marek, et al. 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
Grants
12 Publications
2025 | Published | Conference Paper | IST-REx-ID: 19739 |
Chalupa, Marek, and Cedric Richter. “BUBAAK: Dynamic Cooperative Verification.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15698, Springer Nature, 2025, pp. 212–16, doi:10.1007/978-3-031-90660-2_14.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18169 |
Chalupa, Marek, et al. “VAMOS: Middleware for Best-Effort Third-Party Monitoring.” Science of Computer Programming, vol. 240, no. 2, 103212, Elsevier, 2025, doi:10.1016/j.scico.2024.103212.
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Conference Paper | IST-REx-ID: 19741 |
Chalupa, Marek, et al. “Automating the Analysis of Quantitative Automata with QuAK.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15696, Springer Nature, 2025, pp. 303–12, doi:10.1007/978-3-031-90643-5_16.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20024
Richter, Cedric, et al. “Cooperative Software Verification via Dynamic Program Splitting.” 47th International Conference on Software Engineering, IEEE, 2025, pp. 2087–99, doi:10.1109/ICSE55347.2025.00092.
View
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 15333 |
Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 353–358, doi:10.1007/978-3-031-57256-2_20.
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18599
Chalupa, Marek, et al. “Monitoring Extended Hypernode Logic.” Integrated Formal Methods, vol. 15234, Springer Nature, 2024, pp. 151–71, doi:10.1007/978-3-031-76554-4_9.
View
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
Chalupa, Marek, et al. “QuAK: Quantitative Automata Kit.” 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, vol. 15222, Springer Nature, 2024, pp. 3–20, doi:10.1007/978-3-031-75387-9_1.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14076 |
Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” 23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi:10.1007/978-3-031-44267-4_9.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with Prefix Transducers. Zenodo, 2023, doi:10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 12854 |
Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, doi:10.1007/978-3-031-30820-8_32.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 12856 |
Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” Fundamental Approaches to Software Engineering, vol. 13991, Springer Nature, 2023, pp. 260–81, doi:10.1007/978-3-031-30826-0_15.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Technical Report | IST-REx-ID: 12407 |
Chalupa, Marek, et al. 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