Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). - Marek Chalupa; Martin Jonás; Jiri Slaby; Jan Strejcek; Martina Vitovská (TACAS, 2016)

Symbiotic 4: Beyond Reachability - (Competition Contribution). - Marek Chalupa; Martina Vitovská; Martin Jonás; Jiri Slaby; Jan Strejcek (TACAS (2), 2017)

Joint Forces for Memory Safety Checking. - Marek Chalupa; Jan Strejcek; Martina Vitovská (SPIN, 2018)

SYMBIOTIC 5: Boosted Instrumentation - (Competition Contribution). - Marek Chalupa; Martina Vitovská; Jan Strejcek (TACAS (2), 2018)

SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode. - Martina Vitovská; Marek Chalupa; Jan Strejcek (CoRR, 2018)

Data-centric dynamic partial order reduction. - Marek Chalupa; Krishnendu Chatterjee; Andreas Pavlogiannis; Nishant Sinha; Kapil Vaidya (Proc. ACM Program. Lang., 2018)

Evaluation of Program Slicing in Software Verification. - Marek Chalupa; Jan Strejcek (IFM, 2019)

DG: Analysis and Slicing of LLVM Bitcode. - Marek Chalupa (ATVA, 2020)

Symbiotic 7: Integration of Predator and More - (Competition Contribution). - Marek Chalupa; Tomás Jasek; Lukás Tomovic; Martin Hruska; Veronika Soková; Paulína Ayaziová; Jan Strejcek; Tomás Vojnar (TACAS (2), 2020)

DG: A program analysis library. - Marek Chalupa (Softw. Impacts, 2020)

Joint forces for memory safety checking revisited. - Marek Chalupa; Jan Strejcek; Martina Vitovská (Int. J. Softw. Tools Technol. Transf., 2020)

Fast Computation of Strong Control Dependencies. - Marek Chalupa; David Klaska; Jan Strejcek; Lukás Tomovic (CAV (2), 2021)

Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution). - Marek Chalupa; Jakub Novák; Jan Strejcek (FASE, 2021)

Backward Symbolic Execution with Loop Folding. - Marek Chalupa; Jan Strejcek (SAS, 2021)

Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution). - Marek Chalupa; Tomás Jasek; Jakub Novák; Anna Rechtácková; Veronika Soková; Jan Strejcek (TACAS (2), 2021)

Symbiotic 6: generating test cases by slicing and symbolic execution. - Marek Chalupa; Martina Vitovská; Tomás Jasek; Michael Simácek; Jan Strejcek (Int. J. Softw. Tools Technol. Transf., 2021)

Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution). - Paulína Ayaziová; Marek Chalupa; Jan Strejcek (TACAS (2), 2022)

Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution). - Marek Chalupa; Vincent Mihalkovic; Anna Rechtácková; Lukás Zaoral; Jan Strejcek (TACAS (2), 2022)

Monitoring Hyperproperties with Prefix Transducers. - Marek Chalupa; Thomas A. Henzinger (RV, 2023)

Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution). - Marek Chalupa; Thomas A. Henzinger (TACAS (2), 2023)

VAMOS: Middleware for Best-Effort Third-Party Monitoring. - Marek Chalupa; Stefanie Muroya Lei; Fabian Muehlboeck; Thomas A. Henzinger (Zenodo, 2023)

Monitoring Hyperproperties With Prefix Transducers. - Marek Chalupa; Thomas A. Henzinger (Zenodo, 2023)

Monitoring Extended Hypernode Logic. - Marek Chalupa; Thomas A. Henzinger; Ana Oliveira da Costa (IFM, 2024)

QuAK: Quantitative Automata Kit. - Marek Chalupa; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (ISoLA (4), 2024)

Bubaak-SpLit: Split what you cannot verify (Competition contribution). - Marek Chalupa; Cedric Richter (TACAS (3), 2024)

VAMOS: Middleware for Best-Effort Third-Party Monitoring. - Marek Chalupa; Stefanie Muroya Lei; Fabian Muehlboeck; Thomas A. Henzinger (Zenodo, 2024)

QuAK: Quantitative Automata Kit (artifact). - Marek Chalupa; Thomas A. Henzinger; Nicolas Mazzochci; N. Ege Saraç (Zenodo, 2024)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2024)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (ICSE, 2025)

Automating the Analysis of Quantitative Automata with QuAK. - Marek Chalupa; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (TACAS (1), 2025)

BUBAAK: Dynamic Cooperative Verification - (Competition Contribution). - Marek Chalupa; Cedric Richter (TACAS (3), 2025)

Vamos: Middleware for best-effort third-party monitoring. - Marek Chalupa; Fabian Muehlboeck; Stefanie Muroya Lei; Thomas A. Henzinger (Sci. Comput. Program., 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2025)

Monitoring Hyperproperties over Observed and Constructed Traces. - Marek Chalupa; Thomas A. Henzinger; Ana Oliveira da Costa (CoRR, 2025)