| Data-centric dynamic partial order reduction M Chalupa, K Chatterjee, A Pavlogiannis, N Sinha, K Vaidya Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 76 | 2017 |
| Joint forces for memory safety checking M Chalupa, J Strejček, M Vitovská Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018 | 29 | 2018 |
| Symbiotic 5: Boosted Instrumentation: (Competition Contribution) M Chalupa, M Vitovská, J Strejček Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 27 | 2018 |
| Symbiotic 4: Beyond Reachability: (Competition Contribution) M Chalupa, M Vitovská, M Jonáš, J Slaby, J Strejček Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 26 | 2017 |
| Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding: (Competition Contribution) M Chalupa, V Mihalkovič, A Řechtáčková, L Zaoral, J Strejček International Conference on Tools and Algorithms for the Construction and …, 2022 | 25 | 2022 |
| Evaluation of program slicing in software verification M Chalupa, J Strejček International Conference on Integrated Formal Methods, 101-119, 2019 | 23 | 2019 |
| Symbiotic 8: Beyond Symbolic Execution: (Competition Contribution) M Chalupa, T Jašek, J Novák, A Řechtáčková, V Šoková, J Strejček International Conference on Tools and Algorithms for the Construction and …, 2021 | 20 | 2021 |
| DG: Analysis and Slicing of LLVM Bitcode M Chalupa International Symposium on Automated Technology for Verification and …, 2020 | 19 | 2020 |
| Slicing of LLVM bitcode M Chalupa Masaryk Univ, 2016 | 19 | 2016 |
| Symbiotic 3: New Slicer and Error-Witness Generation: (Competition Contribution) M Chalupa, M Jonáš, J Slaby, J Strejček, M Vitovská Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 18 | 2016 |
| Symbiotic 8: Parallel and targeted test generation M Chalupa, J Novák, J Strejcek Fundamental Approaches to Software Engineering, 368-372, 2021 | 17 | 2021 |
| Symbiotic 7: Integration of Predator and More: (Competition Contribution) M Chalupa, T Jašek, L Tomovič, M Hruška, V Šoková, P Ayaziová, ... Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 17 | 2020 |
| Backward symbolic execution with loop folding M Chalupa, J Strejček Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021 | 13 | 2021 |
| Joint forces for memory safety checking revisited M Chalupa, J Strejček, M Vitovská International Journal on Software Tools for Technology Transfer 22 (2), 115-133, 2020 | 11 | 2020 |
| Bubaak: Runtime Monitoring of Program Verifiers: (Competition Contribution) M Chalupa, TA Henzinger International Conference on Tools and Algorithms for the Construction and …, 2023 | 10 | 2023 |
| Symbiotic-Witch: A Klee-Based Violation Witness Checker: (Competition Contribution) P Ayaziová, M Chalupa, J Strejček International Conference on Tools and Algorithms for the Construction and …, 2022 | 10 | 2022 |
| Symbiotic 6: generating test cases by slicing and symbolic execution M Chalupa, M Vitovská, T Jašek, M Šimáček, J Strejček International Journal on Software Tools for Technology Transfer 23, 875-877, 2021 | 9 | 2021 |
| DG: A program analysis library M Chalupa Software Impacts 6, 100038, 2020 | 8 | 2020 |
| Monitoring hyperproperties with prefix transducers M Chalupa, TA Henzinger International Conference on Runtime Verification, 168-190, 2023 | 7 | 2023 |
| SBT-instrumentation: a tool for configurable instrumentation of LLVM bitcode M Vitovská, M Chalupa, J Strejček arXiv preprint arXiv:1810.12617, 2018 | 6 | 2018 |
Jan StrejčekMasaryk UniversityVerified email at fi.muni.cz