Antonio Tierno

According to our database, Antonio Tierno authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Symbolic Encoding of Reliability for the Design of Redundant Architectures.

Antonio Tierno, Giuliano Turri, Alessandro Cimatti, Roberto Passerone

Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022

2021

Automatic Design Space Exploration of Redundant Architectures.

Antonio Tierno, Giuliano Turri, Alessandro Cimatti, Roberto Passerone

Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2021