Marek Chalupa

38 papers A* 1A 1B 8Journal 14Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Quantitative Monitoring of Signal First-Order Logic.
CoRR
Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu
2025 — conf
Automating the Analysis of Quantitative Automata with QuAK.
TACAS (1)
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2025 J jnl
Automating the Analysis of Quantitative Automata with QuAK.
CoRR
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2025 — conf
BUBAAK: Dynamic Cooperative Verification - (Competition Contribution).
TACAS (3)
Marek Chalupa, Cedric Richter
2025 A* conf
Cooperative Software Verification via Dynamic Program Splitting.
ICSE
Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim
2025 — conf
Flavors of Quantifiers in Hyperlogics.
FSTTCS
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
2025 J jnl
Flavors of Quantifiers in Hyperlogics.
CoRR
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
2025 J jnl
Hypernode automata.
Acta Informatica
Ezio Bartocci, Marek Chalupa, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2025 B conf
Monitoring Hypernode Logic Over Infinite Domains.
RV
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
2025 J jnl
Monitoring Hyperproperties over Observed and Constructed Traces.
CoRR
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
2025 J jnl
Vamos: Middleware for best-effort third-party monitoring.
Sci. Comput. Program.
Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger
2024 — conf
Bubaak-SpLit: Split what you cannot verify (Competition contribution).
TACAS (3)
Marek Chalupa, Cedric Richter
2024 B conf
Monitoring Extended Hypernode Logic.
IFM
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
2024 — conf
QuAK: Quantitative Automata Kit.
ISoLA (4)
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2024 J jnl
QuAK: Quantitative Automata Kit.
CoRR
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2023 — conf
Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution).
TACAS (2)
Marek Chalupa, Thomas A. Henzinger
2023 J jnl
Monitoring Hyperproperties With Prefix Transducers.
CoRR
Marek Chalupa, Thomas A. Henzinger
2023 B conf
Monitoring Hyperproperties with Prefix Transducers.
RV
Marek Chalupa, Thomas A. Henzinger
2023 B conf
Vamos: Middleware for Best-Effort Third-Party Monitoring.
FASE
Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger
2022 — conf
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution).
TACAS (2)
Marek Chalupa, Vincent Mihalkovic, Anna Rechtácková, Lukás Zaoral, Jan Strejcek
2022 — conf
Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution).
TACAS (2)
Paulína Ayaziová, Marek Chalupa, Jan Strejcek
2021 B conf
Backward Symbolic Execution with Loop Folding.
SAS
Marek Chalupa, Jan Strejcek
2021 — conf
Fast Computation of Strong Control Dependencies.
CAV (2)
Marek Chalupa, David Klaska, Jan Strejcek, Lukás Tomovic
2021 J jnl
Symbiotic 6: generating test cases by slicing and symbolic execution.
Int. J. Softw. Tools Technol. Transf.
Marek Chalupa, Martina Vitovská, Tomás Jasek, Michael Simácek, Jan Strejcek
2021 — conf
Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution).
TACAS (2)
Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, Jan Strejcek
2021 B conf
Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution).
FASE
Marek Chalupa, Jakub Novák, Jan Strejcek
2020 J jnl
DG: A program analysis library.
Softw. Impacts
Marek Chalupa
2020 B conf
DG: Analysis and Slicing of LLVM Bitcode.
ATVA
Marek Chalupa
2020 J jnl
Fast Computation of Strong Control Dependencies.
CoRR
Marek Chalupa, David Klaska, Jan Strejcek, Lukás Tomovic
2020 J jnl
Joint forces for memory safety checking revisited.
Int. J. Softw. Tools Technol. Transf.
Marek Chalupa, Jan Strejcek, Martina Vitovská
2020 — conf
Symbiotic 7: Integration of Predator and More - (Competition Contribution).
TACAS (2)
Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar
2019 B conf
Evaluation of Program Slicing in Software Verification.
IFM
Marek Chalupa, Jan Strejcek
2018 J jnl
Data-centric dynamic partial order reduction.
Proc. ACM Program. Lang.
Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, Kapil Vaidya
2018 — conf
Joint Forces for Memory Safety Checking.
SPIN
Marek Chalupa, Jan Strejcek, Martina Vitovská
2018 J jnl
SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode.
CoRR
Martina Vitovská, Marek Chalupa, Jan Strejcek
2018 — conf
SYMBIOTIC 5: Boosted Instrumentation - (Competition Contribution).
TACAS (2)
Marek Chalupa, Martina Vitovská, Jan Strejcek
2017 — conf
Symbiotic 4: Beyond Reachability - (Competition Contribution).
TACAS (2)
Marek Chalupa, Martina Vitovská, Martin Jonás, Jiri Slaby, Jan Strejcek
2016 A conf
Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution).
TACAS
Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská