Skip to content

Riccardo Filippozzi

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2015–2015

Best venue rank

A

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2015DATERTL property abstraction for TLM assertion-based verification.Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni