Concepedia

A. Ferrari

AF

13

Publications

521

Citations

12

H-Index

2002

Active since

Affiliations

University of Aveiro(Current)

University of California, Berkeley

Scuola Superiore Sant'Anna

A. Ferrari is an author at University of Aveiro specializing in engineering, computer engineering, and computer architecture.

Top concepts

EngineeringComputer EngineeringComputer ArchitectureComputer ScienceParallel ComputingSystems EngineeringParallel ProgrammingFormal MethodsSystem SoftwareEmbedded Systems

Publications per year

2002–2009

13

Publications

13

Fault-tolerant platforms for automotive safety-critical applications

Massimo Baleani, A. Ferrari, Leonardo Mangeruca et al. · 2003 · 143 citations

Hardware Security, Safety-critical System, Reliability Engineering +15

A comparison of mpcp and msrp when sharing resources in the janus multiple-processor on a chip platform

Paolo Gai, Marco Di Natale, Giuseppe Lipari et al. · 2004 · 109 citations

Heterogeneous Computing, Engineering, Computer Architecture +22

A software/reconfigurable hardware SAT solver

Iouliia Skliarova, A. Ferrari · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2004 · 52 citations

Engineering, Hardware Verification Language, Computer Architecture +17

Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development

Massimo Baleani, A. Ferrari, Leonardo Mangeruca et al. · Design, Automation, and Test in Europe · 2005 · 40 citations

Software Maintenance, Engineering, Verification +28

Efficient embedded software design with synchronous models

Massimo Baleani, A. Ferrari, Leonardo Mangeruca et al. · 2005 · 39 citations

Hardware Modeling, Engineering, Computer Architecture +18

Rows per page

1–5 of 13