Seguir
Antti E. J. Hyvärinen
Antti E. J. Hyvärinen
Senior Research Scientist, Certora
Dirección de correo verificada de certora.com - Página principal
Título
Citado por
Citado por
Año
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
692018
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
622016
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
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
372013
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
322011
Designing scalable parallel SAT solvers
AEJ Hyvärinen, N Manthey
International Conference on Theory and Applications of Satisfiability …, 2012
302012
SolCMC: Solidity compiler’s model checker
L Alt, M Blicha, AEJ Hyvärinen, N Sharygina
International Conference on Computer Aided Verification, 325-338, 2022
292022
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
272017
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
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
262020
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
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
172016
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20