| Computing exact worst-case gas consumption for smart contracts M Marescotti, M Blicha, AEJ Hyvärinen, S Asadi, N Sharygina Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 67 | 2018 |
| SolCMC: solidity compiler’s model checker L Alt, M Blicha, AEJ Hyvärinen, N Sharygina International Conference on Computer Aided Verification, 325-338, 2022 | 27 | 2022 |
| Decomposing farkas interpolants M Blicha, AEJ Hyvärinen, J Kofroň, N Sharygina International Conference on Tools and Algorithms for the Construction and …, 2019 | 19 | 2019 |
| Transition power abstractions for deep counterexample detection M Blicha, G Fedyukovich, AEJ Hyvärinen, N Sharygina International Conference on Tools and Algorithms for the Construction and …, 2022 | 17 | 2022 |
| Theory-Specific Proof Steps Witnessing Correctness of SMT Executions R Otoni, M Blicha, P Eugster, AEJ Hyvärinen, N Sharygina 2021 58th ACM/IEEE Design Automation Conference (DAC), 541-546, 2021 | 11 | 2021 |
| A cooperative parallelization approach for property-directed k-induction M Blicha, AEJ Hyvärinen, M Marescotti, N Sharygina Verification, Model Checking, and Abstract Interpretation: 21st …, 2020 | 10 | 2020 |
| Incremental verification by SMT-based summary repair S Asadi, M Blicha, A Hyvärinen, G Fedyukovich, N Sharygina # PLACEHOLDER_PARENT_METADATA_VALUE# 1, 77-82, 2020 | 7 | 2020 |
| Function Summarization Modulo Theories. S Asadi, M Blicha, G Fedyukovich, AEJ Hyvärinen, K Even-Mendoza, ... LPAR, 56-75, 2018 | 7 | 2018 |
| Split Transition Power Abstraction for Unbounded Safety M Blicha, G Fedyukovich, AEJ Hyvärinen, N Sharygina 2022 Formal Methods in Computer-Aided Design (FMCAD), 349-358, 2022 | 5 | 2022 |
| Using linear algebra in decomposition of Farkas interpolants M Blicha, AEJ Hyvärinen, J Kofroň, N Sharygina International Journal on Software Tools for Technology Transfer 24 (1), 111-125, 2022 | 5 | 2022 |
| Farkas-based tree interpolation S Asadi, M Blicha, A Hyvärinen, G Fedyukovich, N Sharygina International Static Analysis Symposium, 357-379, 2020 | 4 | 2020 |
| The Golem Horn Solver M Blicha, K Britikov, N Sharygina International Conference on Computer Aided Verification, 209-223, 2023 | 3 | 2023 |
| SMT-based verification of program changes through summary repair S Asadi, M Blicha, AEJ Hyvärinen, G Fedyukovich, N Sharygina Formal Methods in System Design 60 (3), 350-380, 2022 | 2 | 2022 |
| Summarization of branching loops M Blicha, J Kofroň, W Tatarko Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1808-1816, 2022 | 1 | 2022 |
| The Logica Yearbook 2019 M Blicha, I Sedlar | 1 | 2020 |
| The OpenSMT Solver in SMT-COMP 2020 M Blicha, AEJ Hyvärinen, M Marescotti, N Sharygina | 1 | |
| The OpenSMT Solver in SMT-COMP 2021 M Asadzade, M Blicha, AEJ Hyvärinen, N Sharygina | 1* | |
| CHC Model Validation with Proof Guarantees R Otoni, M Blicha, P Eugster, N Sharygina International Conference on Integrated Formal Methods, 62-81, 2023 | | 2023 |
| Effective automated software verification M Blicha | | 2022 |
| The Logica Yearbook 2020 M Blicha, I Sedlár | | 2021 |
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
