Matteo Marescotti

17 papers A* 1A 3B 6Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Ke Mao, Timotej Kapus, Cons T. Åhs, Matteo Marescotti, Daniel Ip, Ákos Hajdu, Sopot Cela, Aparup Banerjee
2024 A* conf
ASE
Dino Distefano, Matteo Marescotti, Cons T. Åhs, Sopot Cela, Gabriela Cunha Sampaio, Radu Grigore, Ákos Hajdu, Timotej Kapus, Ke Mao, Thibault Suzanne
2024 conf
ICSE-SEIP
Ke Mao, Cons T. Åhs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, Ákos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne
2023 J jnl
ACM Trans. Priv. Secur.
Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2022 A conf
ICST
Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano
2022 conf
Erlang Workshop
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano
2021 B conf
FMCAD
Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
2020 B conf
VMCAI
Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
2020 conf
ISoLA (3)
Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2018 conf
ISoLA (4)
Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina
2018 B conf
LPAR
Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina
2018 B conf
LPAR
Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
2017 B conf
FMCAD
Matteo Marescotti, Arie Gurfinkel, Antti Eero Johannes Hyvärinen, Natasha Sharygina
2017 conf
SMT
Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
2016 B conf
ATVA
Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
2016 A conf
SAT
Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina
2015 A conf
SAT
Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina