Martin Blicha

23 papers A* 1B 7Misc 1Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2026 — conf
Hornix: From LLVM IR to Constrained Horn Clauses and Back (Competition Contribution).
TACAS (2)
Martin Blicha, Jan Kofron, Oliver Glitta
2025 J jnl
Golem: a flexible and efficient solver for constrained Horn clauses.
Formal Methods Syst. Des.
Martin Blicha, Konstantin Britikov, Natasha Sharygina
2025 — conf
Space Explanations of Neural Network Classification.
CAV (3)
Faezeh Labbaf, Tomás Kolárik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina
2025 J jnl
Space Explanations of Neural Network Classification.
CoRR
Faezeh Labbaf, Tomás Kolárik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina
2025 — conf
Unsatisfiability Proofs for Horn Solving.
TACAS (2)
Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina
2025 J jnl
Validation of CHC Satisfiability with ATHENA.
Formal Aspects Comput.
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina
2024 — conf
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction.
FM (1)
Konstantin Britikov, Martin Blicha, Natasha Sharygina, Grigory Fedyukovich
2024 B conf
The FMCAD 2024 Student Forum.
FMCAD
Martin Blicha, Nestan Tsiskaridze
2023 B conf
CHC Model Validation with Proof Guarantees.
iFM
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina
2023 — conf
The Golem Horn Solver.
CAV (2)
Martin Blicha, Konstantin Britikov, Natasha Sharygina
2022 J jnl
SMT-based verification of program changes through summary repair.
Formal Methods Syst. Des.
Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
2022 — conf
SolCMC: Solidity Compiler's Model Checker.
CAV (1)
Leonardo Alt, Martin Blicha, Antti E. J. Hyvärinen, Natasha Sharygina
2022 B conf
Split Transition Power Abstraction for Unbounded Safety.
FMCAD
Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2022 Misc conf
Summarization of branching loops.
SAC
Martin Blicha, Jan Kofron, William Tatarko
2022 — conf
Transition Power Abstractions for Deep Counterexample Detection.
TACAS (1)
Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2022 J jnl
Using linear algebra in decomposition of Farkas interpolants.
Int. J. Softw. Tools Technol. Transf.
Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
2021 A* conf
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions.
DAC
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2020 B conf
A Cooperative Parallelization Approach for Property-Directed k-Induction.
VMCAI
Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
2020 B conf
Farkas-Based Tree Interpolation.
SAS
Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
2020 B conf
Incremental Verification by SMT-based Summary Repair.
FMCAD
Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
2019 — conf
Decomposing Farkas Interpolants.
TACAS (1)
Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
2018 — conf
Computing Exact Worst-Case Gas Consumption for Smart Contracts.
ISoLA (4)
Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina
2018 B conf
Function Summarization Modulo Theories.
LPAR
Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler