Martin Blicha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
11
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | PyCHC: A Framework for Certified Horn Solving and CHC-Based Design. | Anna Becchi, Martin Blicha, Rodrigo Otoni, Natasha Sharygina |
| 2026 | TACAS | Hornix: From LLVM IR to Constrained Horn Clauses and Back (Competition Contribution). | Martin Blicha, Jan Kofron, Oliver Glitta |
| 2025 | CAV | Space Explanations of Neural Network Classification. | Faezeh Labbaf, Toms Kolrik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina |
| 2025 | TACAS | Unsatisfiability Proofs for Horn Solving. | Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina |
| 2024 | FM | Reachability Analysis for Multiloop Programs Using Transition Power Abstraction. | Konstantin Britikov, Martin Blicha, Natasha Sharygina, Grigory Fedyukovich |
| 2024 | FMCAD | The FMCAD 2024 Student Forum. | Martin Blicha, Nestan Tsiskaridze |
| 2023 | CAV | The Golem Horn Solver. | Martin Blicha, Konstantin Britikov, Natasha Sharygina |
| 2023 | IFM | CHC Model Validation with Proof Guarantees. | Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina |
| 2022 | CAV | SolCMC: Solidity Compiler's Model Checker. | Leonardo Alt, Martin Blicha, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2022 | FMCAD | Split Transition Power Abstraction for Unbounded Safety. | Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2022 | SAC | Summarization of branching loops. | Martin Blicha, Jan Kofron, William Tatarko |
| 2022 | TACAS | Transition Power Abstractions for Deep Counterexample Detection. | Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2021 | DAC | Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. | Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2020 | FMCAD | Incremental Verification by SMT-based Summary Repair. | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvrinen, Grigory Fedyukovich, Natasha Sharygina |
| 2020 | SAS | Farkas-Based Tree Interpolation. | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvrinen, Grigory Fedyukovich, Natasha Sharygina |
| 2020 | VMCAI | A Cooperative Parallelization Approach for Property-Directed k-Induction. | Martin Blicha, Antti E. J. Hyvrinen, Matteo Marescotti, Natasha Sharygina |
| 2019 | TACAS | Decomposing Farkas Interpolants. | Martin Blicha, Antti E. J. Hyvrinen, Jan Kofron, Natasha Sharygina |
| 2018 | ISoLA | Computing Exact Worst-Case Gas Consumption for Smart Contracts. | Matteo Marescotti, Martin Blicha, Antti E. J. Hyvrinen, Sepideh Asadi, Natasha Sharygina |
| 2018 | LPAR | Function Summarization Modulo Theories. | Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler |