Concepedia

M. Favalli

MF

46

Publications

1.4K

Citations

21

H-Index

1989

Active since

Affiliations

University of Bologna(Current)

University of Ferrara

Stanford University

M. Favalli is an author at University of Bologna specializing in computer engineering, engineering, and software testing.

Top concepts

EngineeringComputer EngineeringSoftware TestingHardware SecurityVerificationComputer ScienceDesign For TestingFormal VerificationReliability EngineeringSystems Engineering

Publications per year

1989–2021

46

Publications

46

Estimate of signal probability in combinational logic networks

S. Ercolani, M. Favalli, M. Damiani et al. · 2003 · 156 citations

Engineering, Network Analysis, Probabilistic Computation +19

On-line detection of logic errors due to crosstalk, delay, and transient faults

Cecilia Metra, M. Favalli, B. Riccò · 2002 · 75 citations

Engineering, Verification, Software Analysis +21

Analysis of glitch power dissipation in CMOS ICs

M. Favalli, Luca Benini · 1995 · 67 citations · Full text

Regression Models for Behavioral Power Estimation

Luca Benini, Alessandro Bogliolo, M. Favalli et al. · Integrated Computer-Aided Engineering · 1998 · 62 citations

Design Decision, Engineering, Energy-efficient Design +18

Self-checking detection and diagnosis of transient, delay, and crosstalk faults affecting bus lines

Cecilia Metra, M. Favalli, B. Riccò · IEEE Transactions on Computers · 2000 · 60 citations

Engineering, Verification, Formal Verification +16

Rows per page

1–5 of 46