Marek Chalupa

According to our database, Marek Chalupa authored at least 27 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Vamos: Middleware for best-effort third-party monitoring.

Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger

Sci. Comput. Program., 2025

2024

VAMOS: Middleware for Best-Effort Third-Party Monitoring.

Marek Chalupa, Stefanie Muroya Lei, Fabian Muehlboeck, Thomas A. Henzinger

Dataset, April, 2024

Bubaak-SpLit: Split what you cannot verify (Competition contribution).

Marek Chalupa, Cedric Richter

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

QuAK: Quantitative Automata Kit.

Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

Monitoring Extended Hypernode Logic.

Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Monitoring Hyperproperties With Prefix Transducers.

Marek Chalupa, Thomas A. Henzinger

Dataset, July, 2023

VAMOS: Middleware for Best-Effort Third-Party Monitoring.

Marek Chalupa, Stefanie Muroya Lei, Fabian Muehlboeck, Thomas A. Henzinger

Dataset, January, 2023

Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution).

Marek Chalupa, Thomas A. Henzinger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Monitoring Hyperproperties with Prefix Transducers.

Marek Chalupa, Thomas A. Henzinger

Proceedings of the Runtime Verification - 23rd International Conference, 2023

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution).

Paulína Ayaziová, Marek Chalupa, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

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 8: Beyond Symbolic Execution - (Competition Contribution).

Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Backward Symbolic Execution with Loop Folding.

Marek Chalupa, Jan Strejcek

Proceedings of the Static Analysis - 28th International Symposium, 2021

Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution).

Marek Chalupa, Jakub Novák, Jan Strejcek

Proceedings of the Fundamental Approaches to Software Engineering, 2021

Fast Computation of Strong Control Dependencies.

Marek Chalupa, David Klaska, Jan Strejcek, Lukás Tomovic

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Joint forces for memory safety checking revisited.

Marek Chalupa, Jan Strejcek, Martina Vitovská

Int. J. Softw. Tools Technol. Transf., 2020

DG: A program analysis library.

Marek Chalupa

Softw. Impacts, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

DG: Analysis and Slicing of LLVM Bitcode.

Marek Chalupa

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Evaluation of Program Slicing in Software Verification.

Marek Chalupa, Jan Strejcek

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Data-centric dynamic partial order reduction.

Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, Kapil Vaidya

Proc. ACM Program. Lang., 2018

SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode.

Martina Vitovská, Marek Chalupa, Jan Strejcek

CoRR, 2018

SYMBIOTIC 5: Boosted Instrumentation - (Competition Contribution).

Marek Chalupa, Martina Vitovská, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Joint Forces for Memory Safety Checking.

Marek Chalupa, Jan Strejcek, Martina Vitovská

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2017

Symbiotic 4: Beyond Reachability - (Competition Contribution).

Marek Chalupa, Martina Vitovská, Martin Jonás, Jiri Slaby, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution).

Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016