Martin Blicha

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 15

Top Topics

Extractive Summarization

Top Venues

Publications

Martin Blicha, Konstantin Britikov, Natasha Sharygina
The Golem Horn Solver. CAV (2) (2023)
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina
CHC Model Validation with Proof Guarantees. iFM (2023)
Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
Using linear algebra in decomposition of Farkas interpolants. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
Split Transition Power Abstraction for Unbounded Safety. FMCAD (2022)
Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
SMT-based verification of program changes through summary repair. Formal Methods Syst. Des. 60 (3) (2022)
Leonardo Alt, Martin Blicha, Antti E. J. Hyvärinen, Natasha Sharygina
SolCMC: Solidity Compiler's Model Checker. CAV (1) (2022)
Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
Transition Power Abstractions for Deep Counterexample Detection. TACAS (1) (2022)
Martin Blicha, Jan Kofron, William Tatarko
Summarization of branching loops. SAC (2022)
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. DAC (2021)
Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
Incremental Verification by SMT-based Summary Repair. FMCAD (2020)
Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
Farkas-Based Tree Interpolation. SAS (2020)
Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
A Cooperative Parallelization Approach for Property-Directed k-Induction. VMCAI (2020)
Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
Decomposing Farkas Interpolants. TACAS (1) (2019)
Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler
Function Summarization Modulo Theories. LPAR (2018)
Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina
Computing Exact Worst-Case Gas Consumption for Smart Contracts. ISoLA (4) (2018)