Martin Blicha

According to our database, Martin Blicha authored at least 24 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Analyzing multiloop programs with Golem.

Konstantin Britikov, Martin Blicha, Natasha Sharygina, Grigory Fedyukovich

Sci. Comput. Program., 2026

Hornix: From LLVM IR to Constrained Horn Clauses and Back (Competition Contribution).

Martin Blicha, Jan Kofron, Oliver Glitta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Validation of CHC Satisfiability with ATHENA.

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina

Formal Aspects Comput., December, 2025

Golem: a flexible and efficient solver for constrained Horn clauses.

Martin Blicha, Konstantin Britikov, Natasha Sharygina

Formal Methods Syst. Des., November, 2025

Artifact for the paper Unsatisfiability Proofs for Horn Solving.

Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina

Dataset, January, 2025

Unsatisfiability Proofs for Horn Solving.

Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Space Explanations of Neural Network Classification.

Faezeh Labbaf, Tomás Kolárik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

The FMCAD 2024 Student Forum.

Martin Blicha, Nestan Tsiskaridze

Proceedings of the Formal Methods in Computer-Aided Design, 2024

Reachability Analysis for Multiloop Programs Using Transition Power Abstraction.

Konstantin Britikov, Martin Blicha, Natasha Sharygina, Grigory Fedyukovich

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

CHC Model Validation with Proof Guarantees.

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina

Proceedings of the iFM 2023 - 18th International Conference, 2023

The Golem Horn Solver.

Martin Blicha, Konstantin Britikov, Natasha Sharygina

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Using linear algebra in decomposition of Farkas interpolants.

Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina

Int. J. Softw. Tools Technol. Transf., 2022

SMT-based verification of program changes through summary repair.

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

Formal Methods Syst. Des., 2022

Transition Power Abstractions for Deep Counterexample Detection.

Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Summarization of branching loops.

Martin Blicha, Jan Kofron, William Tatarko

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Split Transition Power Abstraction for Unbounded Safety.

Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

SolCMC: Solidity Compiler's Model Checker.

Leonardo Alt, Martin Blicha, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Theory-Specific Proof Steps Witnessing Correctness of SMT Executions.

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

A Cooperative Parallelization Approach for Property-Directed k-Induction.

Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Farkas-Based Tree Interpolation.

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Static Analysis - 27th International Symposium, 2020

Incremental Verification by SMT-based Summary Repair.

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Decomposing Farkas Interpolants.

Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Function Summarization Modulo Theories.

Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Computing Exact Worst-Case Gas Consumption for Smart Contracts.

Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018