| 2026 | TACAS | Hornix: From LLVM IR to Constrained Horn Clauses and Back (Competition Contribution). | Martin Blicha, Jan Kofron, Oliver Glitta |
| 2025 | TACAS | Unsatisfiability Proofs for Horn Solving. | Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina |
| 2022 | ICSoft | Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages. | Robert Husk, Jan Kofron, Jakub Msek, Filip Zavoral |
| 2022 | SAC | Summarization of branching loops. | Martin Blicha, Jan Kofron, William Tatarko |
| 2020 | TASE | Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations. | Robert Husk, Filip Zavoral, Jan Kofron |
| 2019 | FM | Handling Heap Data Structures in Backward Symbolic Execution. | Robert Husk, Jan Kofron, Filip Zavoral |
| 2019 | TACAS | Decomposing Farkas Interpolants. | Martin Blicha, Antti E. J. Hyvrinen, Jan Kofron, Natasha Sharygina |
| 2016 | FASE | PVAIR: Partial Variable Assignment InterpolatoR. | Pavel Janck, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvrinen, Jan Kofron, Natasha Sharygina |
| 2016 | SAC | Dead variable analysis for multi-threaded heap manipulating programs. | Pavel Janck, Jan Kofron |
| 2015 | ECOOP | Framework for Static Analysis of PHP Applications. | David Hauzar, Jan Kofron |
| 2014 | FMCAD | On interpolants and variable assignments. | Pavel Janck, Jan Kofron, Simone Fulvio Rollini, Natasha Sharygina |
| 2014 | SEFM | WeVerca: Web Applications Verification for PHP. | David Hauzar, Jan Kofron |
| 2012 | COMPSAC | On Security Analysis of PHP Web Applications. | David Hauzar, Jan Kofron |
| 2008 | SEW | Making Components Fit: SPINing. | Jan Kofron, Toms Poch, Ondrej Sery |
| 2008 | SEW | TBP: Code-Oriented Component Behavior Specification. | Jan Kofron, Toms Poch, Ondrej Sery |
| 2007 | SAC | Checking software component behavior using behavior protocols and spin. | Jan Kofron |
| 2006 | SEW | Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. | Pavel Parzek, Frantisek Plsil, Jan Kofron |