default search action

combined dblp search
author search
venue search
publication search

ask others

Marek Chalupa

> Home > Persons

Person information

affiliation: Institute of Science and Technology Austria, Klosterneuburg, Austria

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BartocciCHNC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BartocciCHNC25
Ezio Bartocci, Marek Chalupa, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Hypernode automata. Acta Informatica 62(4): 43 (2025)
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ChalupaMLH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChalupaMLH25
Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger:
Vamos: Middleware for best-effort third-party monitoring. Sci. Comput. Program. 240: 103212 (2025)
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/ChalupaHC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/ChalupaHC25
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa:
Flavors of Quantifiers in Hyperlogics. FSTTCS 2025: 20:1-20:18
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RichterCJW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RichterCJW25
Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim:
Cooperative Software Verification via Dynamic Program Splitting. ICSE 2025: 2087-2099
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ChalupaHC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ChalupaHC25
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa:
Monitoring Hypernode Logic Over Infinite Domains. RV 2025: 417-437
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChalupaR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChalupaR25
Marek Chalupa, Cedric Richter:
BUBAAK: Dynamic Cooperative Verification - (Competition Contribution). TACAS (3) 2025: 212-216
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChalupaHMS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChalupaHMS25
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Automating the Analysis of Quantitative Automata with QuAK. TACAS (1) 2025: 303-312
[d8]
- view
  authority control:
- export record
  dblp key:
  - data/11/RichterCJW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/RichterCJW25
Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim:
Cooperative Software Verification via Dynamic Program Splitting. Version 2. Zenodo, 2025 [all versions]
[d7]
- view
  authority control:
- export record
  dblp key:
  - data/11/RichterCJW25a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/RichterCJW25a
Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim:
Cooperative Software Verification via Dynamic Program Splitting. Version 3. Zenodo, 2025 [all versions]
[d6]
- view
  authority control:
- export record
  dblp key:
  - data/11/RichterCJW25b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/RichterCJW25b
Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim:
Cooperative Software Verification via Dynamic Program Splitting. Version 4. Zenodo, 2025 [all versions]
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2501-16088
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2501-16088
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Automating the Analysis of Quantitative Automata with QuAK. CoRR abs/2501.16088 (2025)
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2508-02301
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2508-02301
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa:
Monitoring Hyperproperties over Observed and Constructed Traces. CoRR abs/2508.02301 (2025)
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-12298
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-12298
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa:
Flavors of Quantifiers in Hyperlogics. CoRR abs/2510.12298 (2025)
2024
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ChalupaHC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ChalupaHC24
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa:
Monitoring Extended Hypernode Logic. IFM 2024: 151-171
[c18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/isola/ChalupaHMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ChalupaHMS24
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
QuAK: Quantitative Automata Kit. ISoLA (4) 2024: 3-20
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChalupaR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChalupaR24
Marek Chalupa, Cedric Richter:
Bubaak-SpLit: Split what you cannot verify (Competition contribution). TACAS (3) 2024: 353-358
[d5]
- view
  authority control:
- export record
  dblp key:
  - data/10/ChaupaLMH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ChaupaLMH24
Marek Chalupa, Stefanie Muroya Lei, Fabian Muehlboeck, Thomas A. Henzinger:
VAMOS: Middleware for Best-Effort Third-Party Monitoring. Version 2. Zenodo, 2024 [all versions]
[d4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/ChalupaHMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/ChalupaHMS24
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzochci, N. Ege Saraç:
QuAK: Quantitative Automata Kit (artifact). Zenodo, 2024
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/11/RichterCJW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/RichterCJW24
Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim:
Cooperative Software Verification via Dynamic Program Splitting. Version 1. Zenodo, 2024 [all versions]
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-03569
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-03569
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
QuAK: Quantitative Automata Kit. CoRR abs/2409.03569 (2024)
2023
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ChalupaMLH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChalupaMLH23
Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger:
Vamos: Middleware for Best-Effort Third-Party Monitoring. FASE 2023: 260-281
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rv/ChalupaH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ChalupaH23
Marek Chalupa, Thomas A. Henzinger:
Monitoring Hyperproperties with Prefix Transducers. RV 2023: 168-190
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChalupaH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChalupaH23
Marek Chalupa, Thomas A. Henzinger:
Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution). TACAS (2) 2023: 535-540
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/ChalupaH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ChalupaH23
Marek Chalupa, Thomas A. Henzinger:
Monitoring Hyperproperties With Prefix Transducers. Zenodo, 2023
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/ChaupaLMH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ChaupaLMH23
Marek Chalupa, Stefanie Muroya Lei, Fabian Muehlboeck, Thomas A. Henzinger:
VAMOS: Middleware for Best-Effort Third-Party Monitoring. Version 1.0.0. Zenodo, 2023 [all versions]
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-03626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-03626
Marek Chalupa, Thomas A. Henzinger:
Monitoring Hyperproperties With Prefix Transducers. CoRR abs/2308.03626 (2023)
2022
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChalupaMRZS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChalupaMRZS22
Marek Chalupa, Vincent Mihalkovic, Anna Rechtácková, Lukás Zaoral, Jan Strejcek:
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution). TACAS (2) 2022: 462-467
[c12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AyaziovaCS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AyaziovaCS22
Paulína Ayaziová, Marek Chalupa, Jan Strejcek:
Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution). TACAS (2) 2022: 468-473
2021
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ChalupaVJSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ChalupaVJSS21
Marek Chalupa, Martina Vitovská, Tomás Jasek, Michael Simácek, Jan Strejcek:
Symbiotic 6: generating test cases by slicing and symbolic execution. Int. J. Softw. Tools Technol. Transf. 23(6): 875-877 (2021)
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChalupaKST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChalupaKST20
Marek Chalupa, David Klaska, Jan Strejcek, Lukás Tomovic:
Fast Computation of Strong Control Dependencies. CAV (2) 2021: 887-910
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ChalupaNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChalupaNS21
Marek Chalupa, Jakub Novák, Jan Strejcek:
Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution). FASE 2021: 368-372
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChalupaS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChalupaS21
Marek Chalupa, Jan Strejcek:
Backward Symbolic Execution with Loop Folding. SAS 2021: 49-76
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChalupaJNRSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChalupaJNRSS21
Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, Jan Strejcek:
Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution). TACAS (2) 2021: 453-457
2020
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/simpa/Chalupa20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simpa/Chalupa20
Marek Chalupa:
DG: A program analysis library. Softw. Impacts 6: 100038 (2020)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ChalupaSV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ChalupaSV20
Marek Chalupa, Jan Strejcek, Martina Vitovská:
Joint forces for memory safety checking revisited. Int. J. Softw. Tools Technol. Transf. 22(2): 115-133 (2020)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Chalupa20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Chalupa20
Marek Chalupa:
DG: Analysis and Slicing of LLVM Bitcode. ATVA 2020: 557-563
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChalupaJTHSASV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChalupaJTHSASV20
Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar:
Symbiotic 7: Integration of Predator and More - (Competition Contribution). TACAS (2) 2020: 413-417
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-01564
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-01564
Marek Chalupa, David Klaska, Jan Strejcek, Lukás Tomovic:
Fast Computation of Strong Control Dependencies. CoRR abs/2011.01564 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ChalupaS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ChalupaS19
Marek Chalupa, Jan Strejcek:
Evaluation of Program Slicing in Software Verification. IFM 2019: 101-119
2018
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ChalupaCPSV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ChalupaCPSV18
Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, Kapil Vaidya:
Data-centric dynamic partial order reduction. Proc. ACM Program. Lang. 2(POPL): 31:1-31:30 (2018)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ChalupaSV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ChalupaSV18
Marek Chalupa, Jan Strejcek, Martina Vitovská:
Joint Forces for Memory Safety Checking. SPIN 2018: 115-132
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChalupaVS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChalupaVS18
Marek Chalupa, Martina Vitovská, Jan Strejcek:
SYMBIOTIC 5: Boosted Instrumentation - (Competition Contribution). TACAS (2) 2018: 442-446
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1810-12617
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-12617
Martina Vitovská, Marek Chalupa, Jan Strejcek:
SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode. CoRR abs/1810.12617 (2018)
2017
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChalupaVJSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChalupaVJSS17
Marek Chalupa, Martina Vitovská, Martin Jonás, Jiri Slaby, Jan Strejcek:
Symbiotic 4: Beyond Reachability - (Competition Contribution). TACAS (2) 2017: 385-389
2016
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChalupaJSSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChalupaJSSV16
Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská:
Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). TACAS 2016: 946-949

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.