Antti E. J. Hyvärinen

36 papers A* 1A 3B 11C 2Journal 4Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Parallel SMT Solving via Iterative Tree Partitioning. TACAS (1) Tomás Kolárik, Antti E. J. Hyvärinen, Seyedmasoud Asadzadeh, Natasha Sharygina
2023	J	`jnl`	A Solicitous Approach to Smart Contract Verification. ACM Trans. Priv. Secur. Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2023	—	`conf`	Picky CDCL: SMT-Solving with Flexible Literal Selection. VSTTE Konstantin Britikov, Antti E. J. Hyvärinen, Natasha Sharygina
2022	—	`ed.`	Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022. SMT David Déharbe, Antti E. J. Hyvärinen
2022	J	`jnl`	SMT-based verification of program changes through summary repair. Formal Methods Syst. Des. Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
2022	—	`conf`	SolCMC: Solidity Compiler's Model Checker. CAV (1) Leonardo Alt, Martin Blicha, Antti E. J. Hyvärinen, Natasha Sharygina
2022	B	`conf`	Split Transition Power Abstraction for Unbounded Safety. FMCAD Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2022	—	`conf`	Transition Power Abstractions for Deep Counterexample Detection. TACAS (1) Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2022	J	`jnl`	Using linear algebra in decomposition of Farkas interpolants. Int. J. Softw. Tools Technol. Transf. Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
2021	B	`conf`	Lookahead in Partitioning SMT. FMCAD Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
2021	A*	`conf`	Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. DAC Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2020	B	`conf`	A Cooperative Parallelization Approach for Property-Directed k-Induction. VMCAI Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
2020	—	`conf`	Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2020	B	`conf`	Farkas-Based Tree Interpolation. SAS Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
2020	B	`conf`	Incremental Verification by SMT-based Summary Repair. FMCAD Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
2019	—	`conf`	Decomposing Farkas Interpolants. TACAS (1) Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
2019	J	`jnl`	Exploiting partial variable assignment in interpolation-based model checking. Formal Methods Syst. Des. Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2019	C	`conf`	Lattice-based SMT for program verification. MEMOCODE Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
2018	—	`conf`	Computing Exact Worst-Case Gas Consumption for Smart Contracts. ISoLA (4) Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina
2018	B	`conf`	Function Summarization Modulo Theories. LPAR Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler
2018	—	`conf`	Lattice-Based Refinement in Bounded Model Checking. VSTTE Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
2018	B	`conf`	Lookahead-Based SMT Solving. LPAR Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina
2018	—	`ch.`	Parallel Satisfiability Modulo Theories. Handbook of Parallel Constraint Reasoning Antti E. J. Hyvärinen, Christoph M. Wintersteiger
2018	B	`conf`	SMTS: Distributed, Visualized Constraint Solving. LPAR Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
2017	—	`conf`	HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2017	—	`conf`	LRA Interpolants from No Man's Land. Haifa Verification Conference Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina
2017	A	`conf`	Theory Refinement for Program Verification. SAT Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina
2017	—	`conf`	Visualising SMT-Based Parallel Constraint Solving. SMT Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
2016	B	`conf`	Clause Sharing and Partitioning for Cloud-Based SMT Solving. ATVA Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
2016	A	`conf`	OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. SAT Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina
2016	B	`conf`	PVAIR: Partial Variable Assignment InterpolatoR. FASE Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
2015	—	`conf`	A Proof-Sensitive Approach for Small Propositional Interpolants. VSTTE Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2015	—	`conf`	Flexible Interpolation for Efficient Model Checking. MEMICS Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina
2015	A	`conf`	Search-Space Partitioning for Parallelizing SMT Solvers. SAT Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
2015	B	`conf`	Symbolic Detection of Assertion Dependencies for Bounded Model Checking. FASE Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina
2013	C	`conf`	Interpolation-based model checking for efficient incremental analysis of software. DDECS Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina