Follow
Antti E. J. Hyvärinen
Antti E. J. Hyvärinen
Senior Research Scientist, Certora
Verified email at certora.com - Homepage
Title
Cited by
Cited by
Year
Partitioning SAT instances for distributed solving
AEJ Hyvärinen, T Junttila, I Niemelä
International Conference on Logic for Programming Artificial Intelligence …, 2010
712010
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
652018
A distribution method for solving SAT in grids
AEJ Hyvärinen, T Junttila, I Niemelä
Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006
612006
OpenSMT2: An SMT solver for multi-core and cloud computing
AEJ Hyvärinen, M Marescotti, L Alt, N Sharygina
Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016
602016
Grid-based SAT solving with iterative partitioning and clause learning
AEJ Hyvärinen, T Junttila, I Niemelä
International Conference on Principles and Practice of Constraint …, 2011
502011
PeRIPLO: A framework for producing effective interpolants in SAT-based software verification
SF Rollini, L Alt, G Fedyukovich, AEJ Hyvärinen, N Sharygina
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
362013
Verification-aided regression testing
F Pastore, L Mariani, AEJ Hyvärinen, G Fedyukovich, N Sharygina, ...
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
322014
Grid based propositional satisfiability solving
AEJ Hyvärinen
Aalto University, 2011
312011
Designing scalable parallel SAT solvers
AEJ Hyvärinen, N Manthey
International Conference on Theory and Applications of Satisfiability …, 2012
302012
Incorporating clause learning in grid-based randomized SAT solving
AEJ Hyvärinen, T Junttila, I Niemelä
Journal on Satisfiability, Boolean Modeling and Computation 6 (4), 223-244, 2010
272010
HiFrog: SMT-based function summarization for software verification
L Alt, S Asadi, H Chockler, K Even Mendoza, G Fedyukovich, ...
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
262017
SolCMC: Solidity compiler’s model checker
L Alt, M Blicha, AEJ Hyvärinen, N Sharygina
International Conference on Computer Aided Verification, 325-338, 2022
252022
Accurate smart contract verification through direct modelling
M Marescotti, R Otoni, L Alt, P Eugster, AEJ Hyvärinen, N Sharygina
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
242020
A proof-sensitive approach for small propositional interpolants
L Alt, G Fedyukovich, AEJ Hyvärinen, N Sharygina
Verified Software: Theories, Tools, and Experiments: 7th International …, 2016
232016
Search-space partitioning for parallelizing SMT solvers
AEJ Hyvärinen, M Marescotti, N Sharygina
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
222015
Designing parallel PDR
M Marescotti, A Gurfinkel, AEJ Hyvärinen, N Sharygina
2017 Formal Methods in Computer Aided Design (FMCAD), 156-163, 2017
202017
Decomposing farkas interpolants
M Blicha, AEJ Hyvärinen, J Kofroň, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2019
192019
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
172022
Strategies for solving SAT in grids by randomized search
AEJ Hyvärinen, T Junttila, I Niemelä
International Conference on Intelligent Computer Mathematics, 125-140, 2008
172008
Clause sharing and partitioning for cloud-based SMT solving
M Marescotti, AEJ Hyvärinen, N Sharygina
Automated Technology for Verification and Analysis: 14th International …, 2016
162016
The system can't perform the operation now. Try again later.
Articles 1–20