Pulse 탐색 nav.journalClub 토론 트렌드 연구자

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

홈 탐색 nav.journalClub 트렌드

⌘+K

Simone Silvetti | Synapse

SS

Simone Silvetti

Formal Methods in Verification

University of Trieste

About

Research focus

Formal Methods in Verification

Impact

21 pubs · 158 cites · h-index 6

Affiliations

Work Experience

University of Trieste

2018 - 2025

University of Virginia

2019 - 2019

University of Udine

2016 - 2018

Publications