| 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 | 67 | 2016 |
| 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 |
| 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 |
| 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 |
| SMTS: Distributed, Visualized Constraint Solving. M Marescotti, AEJ Hyvärinen, N Sharygina LPAR, 534-542, 2018 | 13 | 2018 |
| A cooperative parallelization approach for property-directed k-induction M Blicha, AEJ Hyvärinen, M Marescotti, N Sharygina Verification, Model Checking, and Abstract Interpretation: 21st …, 2020 | 11 | 2020 |
| FAUSTA: scaling dynamic analysis with traffic generation at whatsapp K Mao, T Kapus, L Petrou, Á Hajdu, M Marescotti, A Löscher, M Harman, ... 2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022 | 8 | 2022 |
| Lookahead-Based SMT Solving. AEJ Hyvärinen, M Marescotti, P Sadigova, H Chockler, N Sharygina LPAR, 418-434, 2018 | 7 | 2018 |
| InfERL: scalable and extensible Erlang static analysis Á Hajdu, M Marescotti, T Suzanne, K Mao, R Grigore, P Gustafsson, ... Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang, 33-39, 2022 | 6 | 2022 |
| Lookahead in partitioning SMT AEJ Hyvärinen, M Marescotti, N Sharygina 2021 Formal Methods in Computer Aided Design (FMCAD), 271-279, 2021 | 4 | 2021 |
| PrivacyCAT: Privacy-Aware Code Analysis at Scale K Mao, C Åhs, S Cela, D Distefano, N Gardner, R Grigore, P Gustafsson, ... Proceedings of the 46th International Conference on Software Engineering …, 2024 | 3 | 2024 |
| The opensmt solver in smt-comp 2020 M Blicha, AE Hyvärinen, M Marescotti, N Sharygina | 1 | 2021 |
| Parallelization and modelling techniques for scalable SMT-based verification M Marescotti Università della Svizzera Italiana, 2020 | 1 | 2020 |
| Enhancing Compositional Static Analysis with Dynamic Analysis D Distefano, M Marescotti, CT Åhs, S Cela, GC Sampaio, R Grigore, ... 2024 39th IEEE/ACM International Conference on Automated Software …, 2024 | | 2024 |
| The OpenSMT Solver in SMT-COMP 2019 M Blicha, AEJ Hyvärinen, M Marescotti, N Sharygina | | |
| An Arboriculture Approach for Parallel SMT and Symbolic Model Checking M Marescotti, AEJ Hyvärinen, N Sharygina | | |
Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.com
