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. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15698, pp. 212–216). Hamilton, ON, Canada: Springer Nature. https://doi.org/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, T. A. (2025). VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming. Elsevier. https://doi.org/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, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). 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, pp. 303–312). Springer Nature. https://doi.org/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. (2025). Cooperative software verification via dynamic program splitting. In 47th International Conference on Software Engineering (pp. 2087–2099). Ottawa, ON, Canada: IEEE. https://doi.org/10.1109/ICSE55347.2025.00092
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). In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 353–358). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/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, T. A., & Oliveira da Costa, A. (2024). Monitoring extended hypernode logic. In Integrated Formal Methods (Vol. 15234, pp. 151–171). Springer Nature. https://doi.org/10.1007/978-3-031-76554-4_9
View | DOI | WoS
 
[6]
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). QuAK: Quantitative Automata Kit. In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Vol. 15222, pp. 3–20). Crete, Greece: Springer Nature. https://doi.org/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, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature. https://doi.org/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, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo. https://doi.org/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, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/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, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/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, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12407
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

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. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15698, pp. 212–216). Hamilton, ON, Canada: Springer Nature. https://doi.org/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, T. A. (2025). VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming. Elsevier. https://doi.org/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, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). 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, pp. 303–312). Springer Nature. https://doi.org/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. (2025). Cooperative software verification via dynamic program splitting. In 47th International Conference on Software Engineering (pp. 2087–2099). Ottawa, ON, Canada: IEEE. https://doi.org/10.1109/ICSE55347.2025.00092
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). In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 353–358). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/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, T. A., & Oliveira da Costa, A. (2024). Monitoring extended hypernode logic. In Integrated Formal Methods (Vol. 15234, pp. 151–171). Springer Nature. https://doi.org/10.1007/978-3-031-76554-4_9
View | DOI | WoS
 
[6]
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). QuAK: Quantitative Automata Kit. In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Vol. 15222, pp. 3–20). Crete, Greece: Springer Nature. https://doi.org/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, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature. https://doi.org/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, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo. https://doi.org/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, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/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, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/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, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12407
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed