Concepedia

Simone Nicchi

SN

Statistics

Publications

2

Citations

59

H-Index

2

Active since

2019

Affiliations

Sapienza University of Rome(Current)

Simone Nicchi is an author at Sapienza University of Rome specializing in formal verification, computer science, and software analysis.

Top concepts

Publications per year

2019–2019

2

Publications

2

SoK

Daniele Cono D’Elia, Emilio Coppa, Simone Nicchi et al. · 2019 · 48 citations · Full text

, , +16

SymNav: Visually Assisting Symbolic Execution

Marco Angelini, Graziano Blasilli, Luca Borzacchiello et al. · 2019 · 11 citations · Full text

, , +19

1–2 of 2