Antti E. J. Hyvärinen

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 28

Top Topics

Partial Assignment

Prune The Search Space

Top Venues

Publications

Konstantin Britikov, Antti E. J. Hyvärinen, Natasha Sharygina
Picky CDCL: SMT-Solving with Flexible Literal Selection. VSTTE (2023)
Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
A Solicitous Approach to Smart Contract Verification. ACM Trans. Priv. Secur. 26 (2) (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)
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. DAC (2021)
Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
Lookahead in Partitioning SMT. FMCAD (2021)
Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) (2020)
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)
Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
Lattice-based SMT for program verification. MEMOCODE (2019)
Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
Exploiting partial variable assignment in interpolation-based model checking. Formal Methods Syst. Des. 55 (1) (2019)
Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
SMTS: Distributed, Visualized Constraint Solving. LPAR (2018)
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)
Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina
Lookahead-Based SMT Solving. LPAR (2018)
Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
Lattice-Based Refinement in Bounded Model Checking. VSTTE (2018)
Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina
LRA Interpolants from No Man's Land. Haifa Verification Conference (2017)
Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) (2017)
Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
Visualising SMT-Based Parallel Constraint Solving. SMT (2017)
Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina
Theory Refinement for Program Verification. SAT (2017)
Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
Clause Sharing and Partitioning for Cloud-Based SMT Solving. ATVA (2016)
Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. SAT (2016)
Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
PVAIR: Partial Variable Assignment InterpolatoR. FASE (2016)
Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina
Symbolic Detection of Assertion Dependencies for Bounded Model Checking. FASE (2015)
Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina
Flexible Interpolation for Efficient Model Checking. MEMICS (2015)
Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
Search-Space Partitioning for Parallelizing SMT Solvers. SAT (2015)
Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
A Proof-Sensitive Approach for Small Propositional Interpolants. VSTTE (2015)
Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
Interpolation-based model checking for efficient incremental analysis of software. DDECS (2013)