Marek Chalupa

12 Publications

Mark all

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

Grants


12 Publications

Mark all

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed