Concepedia

Y. Savaria

YS

3

Publications

120

Citations

3

H-Index

2004

Active since

Affiliations

Polytechnique Montréal(Current)

Techniques of Informatics and Microelectronics for Integrated Systems Architecture

Y. Savaria is an author at Polytechnique Montréal specializing in hardware security, computer engineering, and formal verification.

Top concepts

Publications per year

2004–2005

3

Publications

3

Software detection mechanisms providing full coverage against single bit-flip faults

Basarab Nicolescu, Y. Savaria, Raoul Velazco · IEEE Transactions on Nuclear Science · 2004 · 68 citations

, , +23

SIED: software implemented error detection

Basarab Nicolescu, Y. Savaria, R. Velazco · 2004 · 39 citations

, , +19

On the use of model checking for the verification of a dynamic signature monitoring approach

Basarab Nicolescu, N. Gorse, Y. Savaria et al. · IEEE Transactions on Nuclear Science · 2005 · 13 citations

, , +21

Rows per page

1–3 of 3