Login / Signup
Antonio Tierno
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Website
Hardware Software Partitioning
Computer Architecture
Design Space
Top Venues
ICPS
ApplePies
</>
Publications
</>
Antonio Tierno
,
Giuliano Turri
,
Alessandro Cimatti
,
Roberto Passerone
Symbolic Encoding of Reliability for the Design of Redundant Architectures.
ICPS
(2022)
Antonio Tierno
,
Giuliano Turri
,
Alessandro Cimatti
,
Roberto Passerone
Automatic Design Space Exploration of Redundant Architectures.
ApplePies
(2021)