Graziano Pravadelli

University of Verona

0H指数

0论文数

0被引数

收录论文 7

发表时间

Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences

IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING

IF5.4

2020-01-01

PREAI

Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano

Testbench Qualification of SystemC TLM Protocols through Mutation Analysis

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2014-05-01

PREAI

Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano

On the integration of model-driven design and dynamic assertion-based verification for embedded software

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2013-08-01

PREAI

Di Guglielmo, Giuseppe; Di Guglielmo, Luigi; Foltinek, Andreas; Fujita, Masahiro; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano

UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2013-02-01

PREAI

Di Guglielmo, Luigi; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; Vinco, Sara

Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2011-12-01

PREAI

Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano

Properties incompleteness evaluation by functional verification 通过功能验证评估属性的不完全性

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2007-04-01

PREAI

Fedeli, Andrea; Fummi, Franco; Pravadelli, Graziano

Identification of design errors through functional testing

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2003-12-01

PREAI

Ferrandi, F; Fummi, F; Pravadelli, G; Sciuto, D

研究方向