Martin Blicha

According to our database, Martin Blicha authored at least 15 papers between 2018 and 2023.

Collaborative distances:

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

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