Search-Space Partitioning for Parallelizing SMT Solvers. - Antti E. J. Hyvärinen; Matteo Marescotti; Natasha Sharygina (SAT, 2015)

Clause Sharing and Partitioning for Cloud-Based SMT Solving. - Matteo Marescotti; Antti E. J. Hyvärinen; Natasha Sharygina (ATVA, 2016)

OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. - Antti E. J. Hyvärinen; Matteo Marescotti; Leonardo Alt; Natasha Sharygina (SAT, 2016)

Designing parallel PDR. - Matteo Marescotti; Arie Gurfinkel; Antti Eero Johannes Hyvärinen; Natasha Sharygina (FMCAD, 2017)

Visualising SMT-Based Parallel Constraint Solving. - Jelena Budakovic; Matteo Marescotti; Antti E. J. Hyvärinen; Natasha Sharygina (SMT, 2017)

Computing Exact Worst-Case Gas Consumption for Smart Contracts. - Matteo Marescotti; Martin Blicha; Antti E. J. Hyvärinen; Sepideh Asadi; Natasha Sharygina (ISoLA (4), 2018)

Lookahead-Based SMT Solving. - Antti E. J. Hyvärinen; Matteo Marescotti; Parvin Sadigova; Hana Chockler; Natasha Sharygina (LPAR, 2018)

SMTS: Distributed, Visualized Constraint Solving. - Matteo Marescotti; Antti E. J. Hyvärinen; Natasha Sharygina (LPAR, 2018)

Accurate Smart Contract Verification Through Direct Modelling. - Matteo Marescotti; Rodrigo Otoni; Leonardo Alt; Patrick Eugster; Antti E. J. Hyvärinen; Natasha Sharygina (ISoLA (3), 2020)

A Cooperative Parallelization Approach for Property-Directed k-Induction. - Martin Blicha; Antti E. J. Hyvärinen; Matteo Marescotti; Natasha Sharygina (VMCAI, 2020)

Lookahead in Partitioning SMT. - Antti E. J. Hyvärinen; Matteo Marescotti; Natasha Sharygina (FMCAD, 2021)

InfERL: scalable and extensible Erlang static analysis. - Ákos Hajdu; Matteo Marescotti; Thibault Suzanne; Ke Mao; Radu Grigore; Per Gustafsson; Dino Distefano (Erlang Workshop, 2022)

FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. - Ke Mao; Timotej Kapus; Lambros Petrou; Ákos Hajdu; Matteo Marescotti; Andreas Löscher; Mark Harman; Dino Distefano (ICST, 2022)

A Solicitous Approach to Smart Contract Verification. - Rodrigo Otoni; Matteo Marescotti; Leonardo Alt; Patrick Eugster; Antti E. J. Hyvärinen; Natasha Sharygina (ACM Trans. Priv. Secur., 2023)

PrivacyCAT: Privacy-Aware Code Analysis at Scale. - Ke Mao; Cons Åhs; Sopot Cela; Dino Distefano; Nick Gardner; Radu Grigore; Per Gustafsson; Ákos Hajdu; Timotej Kapus; Matteo Marescotti; Gabriela Cunha Sampaio; Thibault Suzanne (ICSE-SEIP, 2024)

Enhancing Compositional Static Analysis with Dynamic Analysis. - Dino Distefano; Matteo Marescotti; Cons Åhs; Sopot Cela; Gabriela Cunha Sampaio; Radu Grigore; Ákos Hajdu; Timotej Kapus; Ke Mao; Thibault Suzanne (ASE, 2024)