Archivio Istituzionale della RicercaDELIGIANNIS, NIKOLAOS
DELIGIANNIS, NIKOLAOS
Dipartimento di Automatica e Informatica
060034
A Reliability Evaluation Flow for Assessing the Impact of Permanent Hardware Faults on Integer Arithmetic Circuits
2025 Deligiannis, Nikolaos; Guerrero-Balaguera, Juan-David; Cantoro, Riccardo; Habib, S. E. D.; Reorda, Matteo Sonza
Enhancing the Effectiveness of STLs for GPUs via Bounded Model Checking
2025 Deligiannis, Nikolaos; Faller, Tobias; Rodriguez Condia, Josie Esteban; Cantoro, Riccardo; Becker, Bernd; Sonza Reorda, Matteo
Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT
2023 Deligiannis, Nikolaos; Faller, Tobias; Cantoro, Riccardo; Paxian, Tobias; Becker, Bernd; Sonza Reorda, Matteo
Automating the Generation of Programs Maximizing the Sustained Switching Activity in Microprocessor units via Evolutionary Techniques
2023 Deligiannis, Nikolaos; Cantoro, Riccardo; SONZA REORDA, Matteo
Towards the Integration of Reliability and Security Mechanisms to Enhance the Fault Resilience of Neural Networks
2021 Deligiannis, Nikolaos; Cantoro, Riccardo; SONZA REORDA, Matteo; Traiola, Marcello; Valea, Emanuele
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A Reliability Evaluation Flow for Assessing the Impact of Permanent Hardware Faults on Integer Arithmetic Circuits / Deligiannis, N., Guerrero-Balaguera, J., Cantoro, R., Habib, S.E.D., Reorda, M.S.. - In: IEEE ACCESS. - ISSN 2169-3536. - 13:(2025), pp. 32177-32196. [10.1109/access.2025.3534274] | 1-gen-2025 | Deligiannis, NikolaosGuerrero-Balaguera, Juan-DavidCantoro, RiccardoReorda, Matteo Sonza + | A_Reliability_Evaluation_Flow_for_Assessing_the_Impact_of_Permanent_Hardware_Faults_on_Integer_Arithmetic_Circuits.pdf |
| Enhancing the Effectiveness of STLs for GPUs via Bounded Model Checking / Deligiannis, N., Faller, T., Rodriguez Condia, J.E., Cantoro, R., Becker, B., Sonza Reorda, M.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 30:2(2025), pp. 1-24. [10.1145/3706635] | 1-gen-2025 | Deligiannis, NikolaosRodriguez Condia, Josie EstebanCantoro, RiccardoSonza Reorda, Matteo + | 3706635.pdf |
| Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT / Deligiannis, N., Faller, T., Cantoro, R., Paxian, T., Becker, B., Sonza Reorda, M.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 42:11(2023), pp. 4270-4281. [10.1109/TCAD.2023.3252467] | 1-gen-2023 | Nikolaos DeligiannisRiccardo CantoroMatteo Sonza Reorda + | Automating_the_Generation_of_Programs_Maximizing_the_Repeatable_Constant_Switching_Activity_in_Microprocessor_Units_via_MaxSAT.pdf; _IEEE_TCAD__Automating_the_Generation_of_Programs_Maximizing_the_Repeatable_Constant_Switching_Activity_in_Microprocessor_Units_via_MaxSAT.pdf |
| Automating the Generation of Programs Maximizing the Sustained Switching Activity in Microprocessor units via Evolutionary Techniques / Deligiannis, N., Cantoro, R., SONZA REORDA, M.. - In: MICROPROCESSORS AND MICROSYSTEMS. - ISSN 0141-9331. - 98:(2023), p. 104775. [10.1016/j.micpro.2023.104775] | 1-gen-2023 | Nikolaos DeligiannisRiccardo CantoroMatteo Sonza Reorda | _MICPRO_SI_DSD21__Automating_the_Generation_of_Programs_Maximizing_the_Switching_Activity_in_Microprocessor_Units_via_Evolutionary_Techniques.pdf; 1-s2.0-S0141933123000212-main.pdf |
| Towards the Integration of Reliability and Security Mechanisms to Enhance the Fault Resilience of Neural Networks / Deligiannis, N., Cantoro, R., SONZA REORDA, M., Traiola, M., Valea, E.. - In: IEEE ACCESS. - ISSN 2169-3536. - 9:(2021), pp. 155998-156012. [10.1109/ACCESS.2021.3129149] | 1-gen-2021 | Deligiannis NikolaosRiccardo CantoroMatteo Sonza ReordaEmanuele Valea + | Towards_the_Integration_of_Reliability_and_Security_Mechanisms_to_Enhance_the_Fault_Resilience_of_Neural_Networks.pdf |