| Partitioning SAT instances for distributed solving AEJ Hyvärinen, T Junttila, I Niemelä Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010 | 72 | 2010 |
| 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 | 71 | 2018 |
| 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 | 68 | 2016 |
| 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 | 66 | 2006 |
| 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 | 50 | 2011 |
| SolCMC: Solidity compiler’s model checker L Alt, M Blicha, AEJ Hyvärinen, N Sharygina International Conference on Computer Aided Verification, 325-338, 2022 | 44 | 2022 |
| 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 | 37 | 2013 |
| 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 | 33 | 2014 |
| 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 | 32 | 2020 |
| Grid based propositional satisfiability solving AEJ Hyvärinen Aalto University, 2011 | 32 | 2011 |
| Designing scalable parallel SAT solvers AEJ Hyvärinen, N Manthey International Conference on Theory and Applications of Satisfiability …, 2012 | 30 | 2012 |
| 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 | 29 | 2017 |
| 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 | 28 | 2010 |
| 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 | 25 | 2016 |
| Search-space partitioning for parallelizing SMT solvers AEJ Hyvärinen, M Marescotti, N Sharygina Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015 | 24 | 2015 |
| Decomposing farkas interpolants M Blicha, AEJ Hyvärinen, J Kofroň, N Sharygina International Conference on Tools and Algorithms for the Construction and …, 2019 | 23 | 2019 |
| 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 | 22 | 2022 |
| Designing parallel PDR M Marescotti, A Gurfinkel, AEJ Hyvärinen, N Sharygina 2017 Formal Methods in Computer Aided Design (FMCAD), 156-163, 2017 | 20 | 2017 |
| 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 | 20 | 2016 |
| A Solicitous Approach to Smart Contract Verification R Otoni, M Marescotti, L Alt, P Eugster, A Hyvärinen, N Sharygina ACM Transactions on Privacy and Security 26 (2), 1-28, 2023 | 18 | 2023 |
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
