Antti E. J. Hyvrinen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
13
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Parallel SMT Solving via Iterative Tree Partitioning. | Toms Kolrik, Antti E. J. Hyvrinen, Seyedmasoud Asadzadeh, Natasha Sharygina |
| 2022 | CAV | SolCMC: Solidity Compiler's Model Checker. | Leonardo Alt, Martin Blicha, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2022 | FMCAD | Split Transition Power Abstraction for Unbounded Safety. | Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2022 | TACAS | Transition Power Abstractions for Deep Counterexample Detection. | Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2021 | DAC | Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. | Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2021 | FMCAD | Lookahead in Partitioning SMT. | Antti E. J. Hyvrinen, Matteo Marescotti, Natasha Sharygina |
| 2020 | FMCAD | Incremental Verification by SMT-based Summary Repair. | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvrinen, Grigory Fedyukovich, Natasha Sharygina |
| 2020 | ISoLA | Accurate Smart Contract Verification Through Direct Modelling. | Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2020 | SAS | Farkas-Based Tree Interpolation. | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvrinen, Grigory Fedyukovich, Natasha Sharygina |
| 2020 | VMCAI | A Cooperative Parallelization Approach for Property-Directed k-Induction. | Martin Blicha, Antti E. J. Hyvrinen, Matteo Marescotti, Natasha Sharygina |
| 2019 | MEMOCODE | Lattice-based SMT for program verification. | Karine Even-Mendoza, Antti E. J. Hyvrinen, Hana Chockler, Natasha Sharygina |
| 2019 | TACAS | Decomposing Farkas Interpolants. | Martin Blicha, Antti E. J. Hyvrinen, Jan Kofron, Natasha Sharygina |
| 2018 | ISoLA | Computing Exact Worst-Case Gas Consumption for Smart Contracts. | Matteo Marescotti, Martin Blicha, Antti E. J. Hyvrinen, Sepideh Asadi, Natasha Sharygina |
| 2018 | LPAR | Function Summarization Modulo Theories. | Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler |
| 2018 | LPAR | Lookahead-Based SMT Solving. | Antti E. J. Hyvrinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina |
| 2018 | LPAR | SMTS: Distributed, Visualized Constraint Solving. | Matteo Marescotti, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2017 | SAT | Theory Refinement for Program Verification. | Antti E. J. Hyvrinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina |
| 2017 | TACAS | HiFrog: SMT-based Function Summarization for Software Verification. | Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2016 | ATVA | Clause Sharing and Partitioning for Cloud-Based SMT Solving. | Matteo Marescotti, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2016 | FASE | PVAIR: Partial Variable Assignment InterpolatoR. | Pavel Janck, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvrinen, Jan Kofron, Natasha Sharygina |
| 2016 | SAT | OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. | Antti E. J. Hyvrinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina |
| 2015 | FASE | Symbolic Detection of Assertion Dependencies for Bounded Model Checking. | Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2015 | SAT | Search-Space Partitioning for Parallelizing SMT Solvers. | Antti E. J. Hyvrinen, Matteo Marescotti, Natasha Sharygina |
| 2013 | DDECS | Interpolation-based model checking for efficient incremental analysis of software. | Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |