


default search action
Matteo Marescotti
Person information
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c15]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
:
PrivacyCAT: Privacy-Aware Code Analysis at Scale. ICSE-SEIP 2024: 106-117 - [c14]Dino Distefano, Matteo Marescotti, Cons Åhs, Sopot Cela, Gabriela Cunha Sampaio, Radu Grigore, Ákos Hajdu, Timotej Kapus, Ke Mao, Thibault Suzanne:
Enhancing Compositional Static Analysis with Dynamic Analysis. ASE 2024: 2121-2129 - 2023
- [j1]Rodrigo Otoni
, Matteo Marescotti
, Leonardo Alt
, Patrick Eugster
, Antti E. J. Hyvärinen, Natasha Sharygina
:
A Solicitous Approach to Smart Contract Verification. ACM Trans. Priv. Secur. 26(2): 15:1-15:28 (2023) - 2022
- [c13]Ákos Hajdu
, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano:
InfERL: scalable and extensible Erlang static analysis. Erlang Workshop 2022: 33-39 - [c12]Ke Mao, Timotej Kapus
, Lambros Petrou, Ákos Hajdu
, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano:
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. ICST 2022: 267-278 - 2021
- [c11]Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina:
Lookahead in Partitioning SMT. FMCAD 2021: 271-279 - 2020
- [c10]Matteo Marescotti, Rodrigo Otoni
, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina:
Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) 2020: 178-194 - [c9]Martin Blicha
, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina:
A Cooperative Parallelization Approach for Property-Directed k-Induction. VMCAI 2020: 270-292
2010 – 2019
- 2018
- [c8]Matteo Marescotti, Martin Blicha
, Antti E. J. Hyvärinen, Sepideh Asadi
, Natasha Sharygina:
Computing Exact Worst-Case Gas Consumption for Smart Contracts. ISoLA (4) 2018: 450-465 - [c7]Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina
:
Lookahead-Based SMT Solving. LPAR 2018: 418-434 - [c6]Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
:
SMTS: Distributed, Visualized Constraint Solving. LPAR 2018: 534-542 - 2017
- [c5]Matteo Marescotti, Arie Gurfinkel
, Antti Eero Johannes Hyvärinen, Natasha Sharygina
:
Designing parallel PDR. FMCAD 2017: 156-163 - [c4]Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
:
Visualising SMT-Based Parallel Constraint Solving. SMT 2017: 40-49 - 2016
- [c3]Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
:
Clause Sharing and Partitioning for Cloud-Based SMT Solving. ATVA 2016: 428-443 - [c2]Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina
:
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. SAT 2016: 547-553 - 2015
- [c1]Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
:
Search-Space Partitioning for Parallelizing SMT Solvers. SAT 2015: 369-386
Coauthor Index
aka: Antti E. J. Hyvärinen

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint