DELIGIANNIS, NIKOLAOS
DELIGIANNIS, NIKOLAOS
Dipartimento di Automatica e Informatica
060034
Enhancing the Effectiveness of STLs for GPUs via Bounded Model Checking
2024 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
Evaluating the Code Encryption Effects on Memory Fault Resilience
2020 Cantoro, R.; Deligiannis, N.; Sonza Reorda, M.; Traiola, M.; Valea, E.
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
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. - (2024). [10.1145/3706635] | 1-gen-2024 | Deligiannis, NikolaosRodriguez Condia, Josie EstebanCantoro, RiccardoSonza Reorda, Matteo + | _TODAES_Review_1__Enhancing_the_Effectiveness_of_STLs_for_GPUs_via_Bounded_Model_Checking.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. (Intervento presentato al convegno International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) tenutosi a Kielce (POL) nel 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). (Intervento presentato al convegno International Symposium on On-Line Testing and Robust System Design (IOLTS) tenutosi a Rennes (FRA) nel 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. (Intervento presentato al convegno 2023 IEEE European Test Symposium (ETS) tenutosi a Venice (Italy) nel 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. (Intervento presentato al convegno Asian Test Symposium (ATS) tenutosi a Beijing (China) nel 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. (Intervento presentato al convegno 2023 IEEE European Test Symposium (ETS) tenutosi a Venice (Italy) nel 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 + | _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_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. (Intervento presentato al convegno 2023 IEEE European Test Symposium (ETS) tenutosi a Venice (Italy) nel 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. (Intervento presentato al convegno ISC High Performance 2023 International Workshops tenutosi a Hamburg (DEU) nel 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. (Intervento presentato al convegno Dependable Systems and Networks nel 27-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). (Intervento presentato al convegno 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. (Intervento presentato al convegno Asian Test Symposium (ATS) tenutosi a Taiwan nel 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. (Intervento presentato al convegno Asian Test Symposium (ATS) nel 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. (Intervento presentato al convegno Digital System Design (DSD) nel 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. (Intervento presentato al convegno 2021 IEEE 39th VLSI Test Symposium (VTS) nel 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. (Intervento presentato al convegno 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 |
Evaluating the Code Encryption Effects on Memory Fault Resilience / Cantoro, R.; Deligiannis, N.; Sonza Reorda, M.; Traiola, M.; Valea, E.. - ELETTRONICO. - (2020), pp. 1-6. (Intervento presentato al convegno 21st IEEE Latin-American Test Symposium, LATS 2020 tenutosi a Maceio, Brazil nel 30 March-2 April 2020) [10.1109/LATS49555.2020.9093670]. | 1-gen-2020 | Cantoro R.Deligiannis N.Sonza Reorda M.Valea E. + | PUBLISHED-09093670.pdf; _LATS2020__Evaluating_the_Code_Encryption_Effects_on_Memory_Fault_Resilience.pdf |