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
Evaluating the Reliability of Integer Multipliers With Respect to Permanent Faults
2024 Deligiannis, Nikolaos; Cantoro, Riccardo; SONZA REORDA, Matteo; Habib, S. E. D.
Fault Grading Techniques for Evaluating Software-Based Self-Test with Respect to Small Delay Defects
2024 Bartolomucci, Michelangelo; Deligiannis, Nikolaos; Cantoro, Riccardo; Sonza Reorda, Matteo
Formal Methods for Test and Reliability
2024 Deligiannis, Nikolaos
A Survey of Recent Developments in Testability, Safety and Security of RISC-V Processors
2023 Anders, Jens; Andreu, Pablo; Becker, Bernd; Becker, Steffen; Cantoro, Riccardo; Deligiannis, Nikolaos; Elhamawy, Nourhan; Faller, Tobias; Hernandez, Carles; Mentens, Nele; Namazi Rizi, Mahnaz; Polian, Ilia; Sajadi, Abolfazl; Sauer, Mathias; Schwachhofer, Denis; SONZA REORDA, Matteo; Stefanov, Todor; Tuzov, Ilya; Wagner, Stefan; Zidaric, Nuša
Automatic Identification of Functionally Untestable Cell-Aware Faults in Microprocessors
2023 Deligiannis, Nikolaos; Faller, Tobias; Iacopo, Guglielminetti; Cantoro, Riccardo; Becker, Bernd; SONZA REORDA, Matteo
Automating the Generation of Functional Stress Inducing Stimuli for Burn-In Testing
2023 Deligiannis, Nikolaos; Faller, Tobias; Chenghan, Zhou; 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
Constraint-Based Automatic SBST Generation for RISC-V Processor Families
2023 Faller, Tobias; Deligiannis, Nikolaos; Schwörer, Markus; SONZA REORDA, Matteo; Becker, Bernd
Functional Testing with STLs: A Step Towards Reliable RISC-V-based HPC Commodity Clusters
2023 Rodriguez, Esteban; Deligiannis, Nikolaos; Sini, Jacopo; Cantoro, Riccardo; SONZA REORDA, Matteo
Improving the Fault Resilience of Neural Network Applications Through Security Mechanisms
2022 Deligiannis, Nikolaos; Cantoro, Riccardo; SONZA REORDA, Matteo; Traiola, Marcello; Valea, Emanuele
New Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity of Complex SoCs
2022 Deligiannis, Nikolaos
Using Formal Methods to Support the Development of STLs for GPUs
2022 Deligiannis, Nikolaos; Faller, Tobias; RODRIGUEZ CONDIA, JOSIE ESTEBAN; Cantoro, Riccardo; Becker, Bernd; SONZA REORDA, Matteo
Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor
2021 Deligiannis, Nikolaos; Cantoro, Riccardo; Faller, Tobias; Paxian, Tobias; Becker, Bernd; SONZA REORDA, Matteo
Maximizing the Switching Activity of Different Modules Within a Processor Core via Evolutionary Techniques
2021 Deligiannis, Nikolaos; Cantoro, Riccardo; Sonza Reorda, Matteo
New Techniques for the Automatic Identification of Uncontrollable Lines in a CPU Core
2021 Deligiannis, Nikolaos; Cantoro, Riccardo; Sauer, Matthias; Becker, Bernd; Reorda, Matteo Sonza
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
Evaluating Data Encryption Effects on the Resilience of an Artificial Neural Network
2020 Cantoro, Riccardo; Deligiannis, Nikolaos; Reorda, Matteo Sonza; 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, Nikolaos; Guerrero-Balaguera, Juan-David; Cantoro, Riccardo; Habib, S. E. D.; Reorda, Matteo Sonza. - 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, Nikolaos; Faller, Tobias; Rodriguez Condia, Josie Esteban; Cantoro, Riccardo; Becker, Bernd; Sonza Reorda, Matteo. - 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 |
| Evaluating the Reliability of Integer Multipliers With Respect to Permanent Faults / Deligiannis, Nikolaos; Cantoro, Riccardo; SONZA REORDA, Matteo; Habib, S. E. D.. - (2024), pp. 124-129. ( International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) Kielce (POL) 03-05 April 2024) [10.1109/DDECS60919.2024.10508899]. | 1-gen-2024 | Deligiannis, NikolaosCantoro, RiccardoSonza Reorda Matteo + | DDECS2024__Evaluating_the_Reliability_of_Integer_Multipliers_With_Respect_to_Permanent_Faults.pdf; Evaluating_the_Reliability_of_Integer_Multipliers_With_Respect_to_Permanent_Faults.pdf |
| Fault Grading Techniques for Evaluating Software-Based Self-Test with Respect to Small Delay Defects / Bartolomucci, Michelangelo; Deligiannis, Nikolaos; Cantoro, Riccardo; Sonza Reorda, Matteo. - (2024). ( International Symposium on On-Line Testing and Robust System Design (IOLTS) Rennes (FRA) 03-05 July 2024) [10.1109/IOLTS60994.2024.10616077]. | 1-gen-2024 | Bartolomucci, MichelangeloDeligiannis, NikolaosCantoro, RiccardoSonza Reorda, Matteo | IOLTS-24_CameraReady.pdf; Fault_Grading_Techniques_for_Evaluating_Software-Based_Self-Test_with_Respect_to_Small_Delay_Defects.pdf |
| Formal Methods for Test and Reliability / Deligiannis, Nikolaos. - (2024 Jul 11), pp. 1-168. | 11-lug-2024 | DELIGIANNIS, NIKOLAOS | [PHD_THESIS]__Formal_Methods_for_Test_and_Reliability.pdf; [PHD_ABSTRACT]_Formal_Methods_for_Test_and_Reliability.pdf |
| A Survey of Recent Developments in Testability, Safety and Security of RISC-V Processors / Anders, Jens; Andreu, Pablo; Becker, Bernd; Becker, Steffen; Cantoro, Riccardo; Deligiannis, Nikolaos; Elhamawy, Nourhan; Faller, Tobias; Hernandez, Carles; Mentens, Nele; Namazi Rizi, Mahnaz; Polian, Ilia; Sajadi, Abolfazl; Sauer, Mathias; Schwachhofer, Denis; SONZA REORDA, Matteo; Stefanov, Todor; Tuzov, Ilya; Wagner, Stefan; Zidaric, Nuša. - (2023), pp. 1-10. ( 2023 IEEE European Test Symposium (ETS) Venice (Italy) 22-26 May 2023) [10.1109/ETS56758.2023.10174099]. | 1-gen-2023 | Riccardo CantoroNikolaos DeligiannisMatteo Sonza Reorda + | ETS_RISC_V_testing_safety_security.pdf; A_Survey_of_Recent_Developments_in_Testability_Safety_and_Security_of_RISC-V_Processors.pdf |
| Automatic Identification of Functionally Untestable Cell-Aware Faults in Microprocessors / Deligiannis, Nikolaos; Faller, Tobias; Iacopo, Guglielminetti; Cantoro, Riccardo; Becker, Bernd; SONZA REORDA, Matteo. - (2023), pp. 1-6. ( Asian Test Symposium (ATS) Beijing (China) 14-17 October 2023) [10.1109/ATS59501.2023.10317988]. | 1-gen-2023 | Nikolaos DeligiannisRiccardo CantoroMatteo Sonza Reorda + | _ATS2023__Automatic_Identification_of_Functionally_Untestable_Cell_Aware_Faults_in_Microprocessors.pdf; Automatic_Identification_of_Functionally_Untestable_Cell-Aware_Faults_in_Microprocessors.pdf |
| Automating the Generation of Functional Stress Inducing Stimuli for Burn-In Testing / Deligiannis, Nikolaos; Faller, Tobias; Chenghan, Zhou; Cantoro, Riccardo; Becker, Bernd; SONZA REORDA, Matteo. - (2023), pp. 1-5. ( 2023 IEEE European Test Symposium (ETS) Venice (Italy) 22-26 May 2023) [10.1109/ETS56758.2023.10174232]. | 1-gen-2023 | Nikolaos DeligiannisRiccardo CantoroMatteo Sonza Reorda + | _ETS2023__Automating_the_Generation_of_Functional_Stress_Inducing_Stimuli_for_Burn_In_Testing.pdf; Automating_the_Generation_of_Functional_Stress_Inducing_Stimuli_for_Burn-In_Testing.pdf |
| Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT / Deligiannis, Nikolaos; Faller, Tobias; Cantoro, Riccardo; Paxian, Tobias; Becker, Bernd; Sonza Reorda, Matteo. - 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, Nikolaos; Cantoro, Riccardo; SONZA REORDA, Matteo. - 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 |
| Constraint-Based Automatic SBST Generation for RISC-V Processor Families / Faller, Tobias; Deligiannis, Nikolaos; Schwörer, Markus; SONZA REORDA, Matteo; Becker, Bernd. - (2023), pp. 1-6. ( 2023 IEEE European Test Symposium (ETS) Venice (Italy) 22-26 May 2023) [10.1109/ETS56758.2023.10174156]. | 1-gen-2023 | Nikolaos DeligiannisMatteo Sonza Reorda + | _ETS2023__Constraint_Based_Automatic_SBST_Generation_for_RISC_V_Processor_Families.pdf; Constraint-Based_Automatic_SBST_Generation_for_RISC-V_Processor_Families.pdf |
| Functional Testing with STLs: A Step Towards Reliable RISC-V-based HPC Commodity Clusters / Rodriguez, Esteban; Deligiannis, Nikolaos; Sini, Jacopo; Cantoro, Riccardo; SONZA REORDA, Matteo. - 13999:(2023), pp. 444-457. ( ISC High Performance 2023 International Workshops Hamburg (DEU) May 21–25, 2023) [10.1007/978-3-031-40843-4_33]. | 1-gen-2023 | Esteban RodriguezNikolaos DeligiannisJacopo SiniRiccardo CantoroMatteo Sonza Reorda | _RV_HPC2023__FULL_FORMAT__Functional_Testing_with_SLTs__A_step_towards_reliable_RISC_V_Based_HPC_commodity_clusters.pdf; 978-3-031-40843-4_33.pdf |
| Improving the Fault Resilience of Neural Network Applications Through Security Mechanisms / Deligiannis, Nikolaos; Cantoro, Riccardo; SONZA REORDA, Matteo; Traiola, Marcello; Valea, Emanuele. - (2022), pp. 23-24. ( Dependable Systems and Networks27-30 June 2022) [10.1109/DSN-S54099.2022.00017]. | 1-gen-2022 | Nikolaos DeligiannisRiccardo CantoroMatteo Sonza ReordaEmanuele Valea + | DSN_2022.pdf; Improving_the_Fault_Resilience_of_Neural_Network_Applications_Through_Security_Mechanisms.pdf |
| New Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity of Complex SoCs / Deligiannis, Nikolaos. - (2022). ( European Test Symposium (ETS)). | 1-gen-2022 | Nikolaos Deligiannis | ETS2022_PhD_Forum.pdf |
| Using Formal Methods to Support the Development of STLs for GPUs / Deligiannis, Nikolaos; Faller, Tobias; RODRIGUEZ CONDIA, JOSIE ESTEBAN; Cantoro, Riccardo; Becker, Bernd; SONZA REORDA, Matteo. - (2022), pp. 84-89. ( Asian Test Symposium (ATS) Taiwan 21-24 November 2022) [10.1109/ATS56056.2022.00027]. | 1-gen-2022 | Nikolaos DeligiannisJosie Esteban RodriguezRiccardo CantoroMatteo Sonza Reorda + | _ATS2022__Using_Formal_Methods_to_Support_the_Development_of_STLs_for_GPUs.pdf; Using_Formal_Methods_to_Support_the_Development_of_STLs_for_GPUs.pdf |
| Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor / Deligiannis, Nikolaos; Cantoro, Riccardo; Faller, Tobias; Paxian, Tobias; Becker, Bernd; SONZA REORDA, Matteo. - (2021), pp. 73-78. ( Asian Test Symposium (ATS)22-25 Nov. 2021) [10.1109/ATS52891.2021.00025]. | 1-gen-2021 | Nikolaos DeligiannisRiccardo CantoroMatteo Sonza Reorda + | 2021178103.pdf; Effective_SAT-based_Solutions_for_Generating_Functional_Sequences_Maximizing_the_Sustained_Switching_Activity_in_a_Pipelined_Processor.pdf |
| Maximizing the Switching Activity of Different Modules Within a Processor Core via Evolutionary Techniques / Deligiannis, Nikolaos; Cantoro, Riccardo; Sonza Reorda, Matteo. - (2021), pp. 535-540. ( Digital System Design (DSD)01-03 September 2021) [10.1109/DSD53832.2021.00086]. | 1-gen-2021 | Deligiannis, NikolaosCantoro, RiccardoSonza Reorda, Matteo | _DSD2021__Maximizing_the_Switching_Activity_of_a_Processor_via_Evolutionary_Tecnhiques.pdf; Maximizing_the_Switching_Activity_of_Different_Modules_Within_a_Processor_Core_via_Evolutionary_Techniques.pdf |
| New Techniques for the Automatic Identification of Uncontrollable Lines in a CPU Core / Deligiannis, Nikolaos; Cantoro, Riccardo; Sauer, Matthias; Becker, Bernd; Reorda, Matteo Sonza. - (2021), pp. 1-7. ( 2021 IEEE 39th VLSI Test Symposium (VTS)25-28 April 2021) [10.1109/VTS50974.2021.9441040]. | 1-gen-2021 | Deligiannis, NikolaosCantoro, RiccardoReorda, Matteo Sonza + | 09441040.pdf |
| Towards the Integration of Reliability and Security Mechanisms to Enhance the Fault Resilience of Neural Networks / Deligiannis, Nikolaos; Cantoro, Riccardo; SONZA REORDA, Matteo; Traiola, Marcello; Valea, Emanuele. - 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 |
| Evaluating Data Encryption Effects on the Resilience of an Artificial Neural Network / Cantoro, Riccardo; Deligiannis, Nikolaos; Reorda, Matteo Sonza; Traiola, Marcello; Valea, Emanuele. - ELETTRONICO. - (2020), pp. 1-4. ( 2020 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)) [10.1109/DFT50435.2020.9250869]. | 1-gen-2020 | Cantoro, RiccardoDeligiannis, NikolaosReorda, Matteo SonzaValea, Emanuele + | Camera Ready.pdf; 09250869.pdf |