On the Functional Test of the Register Forwarding and Pipeline Interlocking Unit in Pipelined Processors. - Paolo Bernardi; Riccardo Cantoro; Lyl M. Ciganda Brasca; Boyang Du; Ernesto Sánchez 001; Matteo Sonza Reorda; Michelangelo Grosso; Oscar Ballan (MTV, 2013)

On the in-field functional testing of decode units in pipelined RISC processors. - Paolo Bernardi; Riccardo Cantoro; Lyl M. Ciganda Brasca; Ernesto Sánchez 001; Matteo Sonza Reorda; Sergio de Luca; Renato Meregalli; Alessandro Sansonetti (DFT, 2014)

On the testability of IEEE 1687 networks. - Riccardo Cantoro; Mehrdad Montazeri; Matteo Sonza Reorda; Farrokh Ghani Zadegan; Erik Larsson (ATS, 2015)

On the automatic generation of SBST test programs for in-field test. - Andreas Riefert; Riccardo Cantoro; Matthias Sauer 002; Matteo Sonza Reorda; Bernd Becker 001 (DATE, 2015)

Software-based self-test techniques of computational modules in dual issue embedded processors. - Paolo Bernardi; C. Bovi; Riccardo Cantoro; Sergio de Luca; Renato Meregalli; Davide Piumatti; Ernesto Sánchez 001; Alessandro Sansonetti (ETS, 2015)

Exploiting Evolutionary Computation in an Industrial Flow for the Development of Code-Optimized Microprocessor Test Programs. - Riccardo Cantoro; Marco Gaudesi; Ernesto Sánchez 001; Giovanni Squillero (GECCO (Companion), 2015)

On the maximization of the sustained switching activity in a processor. - Riccardo Cantoro; Matteo Sonza Reorda; Alireza Rohani; Hans G. Kerkhoff (IOLTS, 2015)

On the functional test of the cache coherency logic in multi-core systems. - Julio Pérez Acle; Riccardo Cantoro; Ernesto Sánchez 001; Matteo Sonza Reorda (LASCAS, 2015)

An evolutionary approach for test program compaction. - Riccardo Cantoro; Marco Gaudesi; Ernesto Sánchez 001; Pasquale Davide Schiavone; Giovanni Squillero (LATS, 2015)

Test Time Minimization in Reconfigurable Scan Networks. - Riccardo Cantoro; Marco Palena; Paolo Pasini; Matteo Sonza Reorda (ATS, 2016)

In-field functional test programs development flow for embedded FPUs. - Riccardo Cantoro; Davide Piumatti; Paolo Bernardi; Sergio de Luca; Alessandro Sansonetti (DFT, 2016)

On the diagnostic analysis of IEEE 1687 networks. - Riccardo Cantoro; Mehrdad Montazeri; Matteo Sonza Reorda; Farrokh Ghani Zadegan; Erik Larsson (ETS, 2016)

Automatic generation of stimuli for fault diagnosis in IEEE 1687 networks. - Riccardo Cantoro; Mehrdad Montazeri; Matteo Sonza Reorda; Farrokh Ghani Zadegan; Erik Larsson (IOLTS, 2016)

A suite of IEEE 1687 benchmark networks. - Anton Tsertov; Artur Jutman; Sergei Devadze; Matteo Sonza Reorda; Erik Larsson; Farrokh Ghani Zadegan; Riccardo Cantoro; Mehrdad Montazeri; Rene Krenz-Baath (ITC, 2016)

Thermal issues in test: An overview of the significant aspects and industrial practice. - Juergen Alt; Paolo Bernardi; Alberto Bosio; Riccardo Cantoro; Hans G. Kerkhoff; Andreas Leininger; Wolfgang Molzer; Alessandro Motta; Christian Pacha; Alberto Pagani; Alireza Rohani; R. Strasser (VTS, 2016)

Effective generation and evaluation of diagnostic SBST programs. - Andreas Riefert; Riccardo Cantoro; Matthias Sauer 002; Matteo Sonza Reorda; Bernd Becker 001 (VTS, 2016)

Observability solutions for in-field functional test of processor-based systems: A survey and quantitative test case evaluation. - Julio Pérez Acle; Riccardo Cantoro; Ernesto Sánchez 001; Matteo Sonza Reorda; Giovanni Squillero (Microprocess. Microsystems, 2016)

Development Flow for On-Line Core Self-Test of Automotive Microcontrollers. - Paolo Bernardi; Riccardo Cantoro; Sergio de Luca; Ernesto Sánchez 001; Alessandro Sansonetti (IEEE Trans. Computers, 2016)

A Flexible Framework for the Automatic Generation of SBST Programs. - Andreas Riefert; Riccardo Cantoro; Matthias Sauer 002; Matteo Sonza Reorda; Bernd Becker 001 (IEEE Trans. Very Large Scale Integr. Syst., 2016)

On the detection of board delay faults through the execution of functional programs. - Gaiping An; Riccardo Cantoro; Ernesto Sánchez 001; Matteo Sonza Reorda (LATS, 2017)

A DMA and CACHE-based stress schema for burn-in of automotive microcontroller. - Paolo Bernardi; Riccardo Cantoro; L. Gianotto; Marco Restifo; Ernesto Sánchez 001; Federico Venini; Davide Appello (LATS, 2017)

New techniques for functional testing of microprocessor based systems. - Riccardo Cantoro (2017)

An Evolutionary Technique for Reducing the Duration of Reconfigurable Scan Network Test. - Riccardo Cantoro; Luigi San Paolo; Matteo Sonza Reorda; Giovanni Squillero (DDECS, 2018)

Fault-Independent Test-Generation for Software-Based Self-Testing. - Panagiotis Georgiou; Xrysovalantis Kavousianos; Riccardo Cantoro; Matteo Sonza Reorda (IOLTS, 2018)

A Semi-Formal Technique to Generate Effective Test Sequences for Reconfigurable Scan Networks. - Riccardo Cantoro; Aleksa Damljanovic; Matteo Sonza Reorda; Giovanni Squillero (ITC-Asia, 2018)

A New Technique to Generate Test Sequences for Reconfigurable Scan Networks. - Riccardo Cantoro; Aleksa Damljanovic; Matteo Sonza Reorda; Giovanni Squillero (ITC, 2018)

About on-line functionally untestable fault identification in microprocessor cores for safety-critical applications. - Riccardo Cantoro; Andrea Firrincieli; Davide Piumatti; Marco Restifo; Ernesto Sánchez 001; Matteo Sonza Reorda (LATS, 2018)

Improved Test Solutions for COTS-Based Systems in Space Applications. - Riccardo Cantoro; Sara Carbonara; Andrea Floridia; Ernesto Sánchez 001; Matteo Sonza Reorda; Jan-Gerd Mess (VLSI-SoC (Selected Papers), 2018)

An analysis of test solutions for COTS-based systems in space applications. - Riccardo Cantoro; Sara Carbonara; Andrea Floridia; Ernesto Sánchez 001; Matteo Sonza Reorda; Jan-Gerd Mess (VLSI-SoC, 2018)

An Optimized Test During Burn-In for Automotive SoC. - Davide Appello; Conrad Bugeja; Giorgio Pollaccia; Paolo Bernardi; Riccardo Cantoro; Marco Restifo; Ernesto Sánchez 001; Federico Venini (IEEE Des. Test, 2018)

Adaptive Management Techniques for Optimized Burn-in of Safety-Critical SoC. - Davide Appello; Paolo Bernardi; Conrad Bugeja; Riccardo Cantoro; Giorgio Pollaccia; Marco Restifo; Federico Venini (J. Electron. Test., 2018)

An Evolutionary Algorithm Approach to Stress Program Generation During Burn-In. - Davide Appello; Paolo Bernardi; Conrad Bugeja; Riccardo Cantoro; Andrea Colazzo; Alessandro Motta; Alberto Pagani; Giorgio Pollaccia; Marco Restifo; Ernesto Sánchez 001; Federico Venini (J. Low Power Electron., 2018)

Test of Reconfigurable Modules in Scan Networks. - Riccardo Cantoro; Farrokh Ghani Zadegan; Marco Palena; Paolo Pasini; Erik Larsson; Matteo Sonza Reorda (IEEE Trans. Computers, 2018)

Non-Intrusive Self-Test Library for Automotive Critical Applications: Constraints and Solutions. - Paolo Bernardi; Riccardo Cantoro; Andrea Floridia; Davide Piumatti; C. Pogonea; Annachiara Ruospo; Ernesto Sánchez 001; Sergio de Luca; Alessandro Sansonetti (DATE, 2019)

On-line Testing for Autonomous Systems driven by RISC-V Processor Design Verification. - Annachiara Ruospo; Riccardo Cantoro; Ernesto Sánchez 001; Pasquale Davide Schiavone; Angelo Garofalo; Luca Benini (DFT, 2019)

A Functional Approach to Test and Debug of IEEE 1687 Reconfigurable Networks. - Michele Portolan; Riccardo Cantoro; Ernesto Sánchez 001 (ETS, 2019)

An Enhanced Evolutionary Technique for the Generation of Compact Reconfigurable Scan-Network Tests. - Riccardo Cantoro; Aleksa Damljanovic; Matteo Sonza Reorda; Giovanni Squillero (J. Circuits Syst. Comput., 2019)

Evaluating Data Encryption Effects on the Resilience of an Artificial Neural Network. - Riccardo Cantoro; Nikolaos Ioannis Deligiannis; Matteo Sonza Reorda; Marcello Traiola; Emanuele Valea (DFT, 2020)

Determined-Safe Faults Identification: A step towards ISO26262 hardware compliant designs. - Felipe Augusto da Silva; Ahmet Cagri Bagbaba; Sandro Sartoni; Riccardo Cantoro; Matteo Sonza Reorda; Said Hamdioui; Christian Sauer 001 (ETS, 2020)

New Perspectives on Core In-field Path Delay Test. - Riccardo Cantoro; Dario Foti; Sandro Sartoni; Matteo Sonza Reorda; Lorena Anghel; Michele Portolan (ITC, 2020)

Machine Learning based Performance Prediction of Microcontrollers using Speed Monitors. - Riccardo Cantoro; Martin Huch; Tobias Kilian; Raffaele Martone; Ulf Schlichtmann; Giovanni Squillero (ITC, 2020)

Evaluating the Code Encryption Effects on Memory Fault Resilience. - Riccardo Cantoro; Nikolaos Ioannis Deligiannis; Matteo Sonza Reorda; Marcello Traiola; Emanuele Valea (LATS, 2020)

In-field Functional Test of CAN Bus Controllers. - Riccardo Cantoro; Sandro Sartoni; Matteo Sonza Reorda (VTS, 2020)

A Novel Sequence Generation Approach to Diagnose Faults in Reconfigurable Scan Networks. - Riccardo Cantoro; Aleksa Damljanovic; Matteo Sonza Reorda; Giovanni Squillero (IEEE Trans. Computers, 2020)

Software-Based Self-Test Techniques for Dual-Issue Embedded Processors. - Paolo Bernardi; Riccardo Cantoro; Sergio de Luca; Ernesto Sánchez 001; Alessandro Sansonetti; Giovanni Squillero (IEEE Trans. Emerg. Top. Comput., 2020)

Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor. - Nikolaos Ioannis Deligiannis; Riccardo Cantoro; Tobias Faller; Tobias Paxian; Bernd Becker 001; Matteo Sonza Reorda (ATS, 2021)

Industrial best practice: cases of study by automotive chip- makers. - L. Degli Abbati; Rudolf Ullmann; G. Paganini; M. Coppetta; L. Zaia; Vincent Huard; O. Montfort; Riccardo Cantoro; Giorgio Insinga; F. Venini; P. Calao; Paolo Bernardi (DFT, 2021)

Maximizing the Switching Activity of Different Modules Within a Processor Core via Evolutionary Techniques. - Nikolaos Ioannis Deligiannis; Riccardo Cantoro; Matteo Sonza Reorda (DSD, 2021)

Exploiting Active Learning for Microcontroller Performance Prediction. - Nicolò Bellarmino; Riccardo Cantoro; Martin Huch; Tobias Kilian; Raffaele Martone; Ulf Schlichtmann; Giovanni Squillero (ETS, 2021)

Self-Test Libraries Analysis for Pipelined Processors Transition Fault Coverage Improvement. - Riccardo Cantoro; Patrick Girard 001; Riccardo Masante; Sandro Sartoni; Matteo Sonza Reorda; Arnaud Virazel (IOLTS, 2021)

New Techniques for the Automatic Identification of Uncontrollable Lines in a CPU Core. - Nikolaos Ioannis Deligiannis; Riccardo Cantoro; Matthias Sauer 002; Bernd Becker 001; Matteo Sonza Reorda (VTS, 2021)

Towards the Integration of Reliability and Security Mechanisms to Enhance the Fault Resilience of Neural Networks. - Nikolaos Ioannis Deligiannis; Riccardo Cantoro; Matteo Sonza Reorda; Marcello Traiola; Emanuele Valea (IEEE Access, 2021)

Using Formal Methods to Support the Development of STLs for GPUs. - Nikolaos Ioannis Deligiannis; Tobias Faller; Josie E. Rodriguez Condia; Riccardo Cantoro; Bernd Becker 001; Matteo Sonza Reorda (ATS, 2022)

Improving the Fault Resilience of Neural Network Applications Through Security Mechanisms. - Nikolaos Ioannis Deligiannis; Riccardo Cantoro; Matteo Sonza Reorda; Marcello Traiola; Emanuele Valea (DSN (Supplements), 2022)

Test, Reliability and Functional Safety Trends for Automotive System-on-Chip. - Francesco Angione; Davide Appello; J. Aribido; Jyotika Athavale; Nicolò Bellarmino; Paolo Bernardi; Riccardo Cantoro; Corrado De Sio; Tommaso Foscale; Gabriele Gavarini; J. Guerrero; Martin Huch; et al. (ETS, 2022)

Optimized diagnostic strategy for embedded memories of Automotive Systems-on-Chip. - Paolo Bernardi; Giorgio Insinga; G. Paganini; Riccardo Cantoro; P. Beer; M. Coppetta; N. Mautone; G. Carnevale; Pierre Scaramuzza; Rudolf Ullmann (ETS, 2022)

Effective techniques for automatically improving the transition delay fault coverage of Self-Test Libraries. - Riccardo Cantoro; Francesco Garau; Patrick Girard 001; Nima Kolahimahmoudi; Sandro Sartoni; Matteo Sonza Reorda; Arnaud Virazel (ETS, 2022)

A comparative overview of ATPG flows targeting traditional and cell-aware fault models. - Nunzio Mirabella; Andrea Floridia; Riccardo Cantoro; Michelangelo Grosso; Matteo Sonza Reorda (ICECS 2022, 2022)

Microcontroller Performance Screening: Optimizing the Characterization in the Presence of Anomalous and Noisy Data. - Nicolò Bellarmino; Riccardo Cantoro; Martin Huch; Tobias Kilian; Ulf Schlichtmann; Giovanni Squillero (IOLTS, 2022)

Recent Trends and Perspectives on Defect-Oriented Testing. - Paolo Bernardi; Riccardo Cantoro; Anthony Coyette; W. Dobbeleare; Moritz Fieback; Andrea Floridia; G. Gielenk; Jhon Gomez; Michelangelo Grosso; Andrea Guerriero; Iacopo Guglielminetti; Said Hamdioui; et al. (IOLTS, 2022)

Runtime Test Solution for Adaptive Aging Compensation and Fail Operational Safety mode. - Vincent Huard; Francois Jacquet; Souhir Mhira; Lionel Jure; Olivier Montfort; Mathieu Louvat; L. Zaia; F. Bertrand; E. Acacia; O. Caffin; H. Belhadj; O. Durand; et al. (IRPS, 2022)

Exploiting post-silicon debug hardware to improve the fault coverage of Software Test Libraries. - Riccardo Cantoro; Francesco Garau; Riccardo Masante; Sandro Sartoni; Virendra Singh; Matteo Sonza Reorda (VTS, 2022)

Enabling Inter-Product Transfer Learning on MCU Performance Screening. - Nicolò Bellarmino; Riccardo Cantoro; Martin Huch; Tobias Kilian; Ulf Schlichtmann; Giovanni Squillero (ATS, 2023)

Automatic Identification of Functionally Untestable Cell-Aware Faults in Microprocessors. - Nikolaos Ioannis Deligiannis; Tobias Faller; Iacopo Guglielminetti; Riccardo Cantoro; Bernd Becker 001; Matteo Sonza Reorda (ATS, 2023)

Evaluating the Impact of Aging on Path-Delay Self-Test Libraries. - Riccardo Cantoro; Sandro Sartoni; Matteo Sonza Reorda; Lorena Anghel; Michele Portolan (DFT, 2023)

Targeting different defect-oriented fault models in IC testing: an experimental approach. - Nunzio Mirabella; Andrea Floridia; Riccardo Cantoro; Michelangelo Grosso; Matteo Sonza Reorda (DSD, 2023)

A Survey of Recent Developments in Testability, Safety and Security of RISC-V Processors. - Jens Anders; Pablo Andreu; Bernd Becker 001; Steffen Becker 001; Riccardo Cantoro; Nikolaos Ioannis Deligiannis; Nourhan Elhamawy; Tobias Faller; Carles Hernández 001; Nele Mentens; Mahnaz Namazi Rizi; Ilia Polian; et al. (ETS, 2023)

Semi-Supervised Deep Learning for Microcontroller Performance Screening. - Nicolò Bellarmino; Riccardo Cantoro; Martin Huch; Tobias Kilian; Ulf Schlichtmann; Giovanni Squillero (ETS, 2023)

Automating the Generation of Functional Stress Inducing Stimuli for Burn-In Testing. - Nikolaos Ioannis Deligiannis; Tobias Faller; Chenghan Zhou; Riccardo Cantoro; Bernd Becker 001; Matteo Sonza Reorda (ETS, 2023)

On the integration and hardening of Software Test Libraries in Real-Time Operating Systems. - Francesco Angione; Paolo Bernardi; Riccardo Cantoro; Nicola Di Gruttola Giardino; Davide Piumatti; Matteo Sonza Reorda; Davide Appello; Vincenzo Tancorre (LATS, 2023)

Feature Selection for Cost Reduction In MCU Performance Screening. - Nicolò Bellarmino; Riccardo Cantoro; Martin Huch; Tobias Kilian; Ulf Schlichtmann; Giovanni Squillero (LATS, 2023)

U-FLEX: Unsupervised Feature Learning with Evolutionary eXploration. - Nicolò Bellarmino; Riccardo Cantoro; Giovanni Squillero (LOD (1), 2023)

Functional Testing with STLs: A Step Towards Reliable RISC-V-based HPC Commodity Clusters. - Josie E. Rodriguez Condia; Nikolaos Ioannis Deligiannis; Jacopo Sini; Riccardo Cantoro; Matteo Sonza Reorda (ISC Workshops, 2023)

COVID-19 Detection from Mass Spectra of Exhaled Breath. - Nicolò Bellarmino; Giorgio Bozzini; Riccardo Cantoro; Francesco Castelletti; Michele Castelluzzo; Carla Ciricugno; Raffaele Correale; Daniela Dalla Gasperina; Francesco Dentali; Giovanni Poggialini; Piergiorgio Salerno; Giovanni Squillero; et al. (CoRR, 2023)

Automating the Generation of Programs Maximizing the Sustained Switching Activity in Microprocessor units via Evolutionary Techniques. - Nikolaos Ioannis Deligiannis; Riccardo Cantoro; Matteo Sonza Reorda (Microprocess. Microsystems, 2023)

A Multilabel Active Learning Framework for Microcontroller Performance Screening. - Nicolò Bellarmino; Riccardo Cantoro; Martin Huch; Tobias Kilian; Raffaele Martone; Ulf Schlichtmann; Giovanni Squillero (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Self-Test Library Generation for In-Field Test of Path Delay Faults. - Lorena Anghel; Riccardo Cantoro; Riccardo Masante; Michele Portolan; Sandro Sartoni; Matteo Sonza Reorda (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT. - Nikolaos Ioannis Deligiannis; Tobias Faller; Riccardo Cantoro; Tobias Paxian; Bernd Becker 001; Matteo Sonza Reorda (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Evaluating the Reliability of Integer Multipliers With Respect to Permanent Faults. - Nikolaos Ioannis Deligiannis; Riccardo Cantoro; Matteo Sonza Reorda; Serag E.-D. Habib (DDECS, 2024)

Special Session: Software-Based Self-Test Generation for RISC-V - Stuck-At Generation, Functional Cell-Aware Untestability, and FPGA Demonstration -. - Tobias Faller; Nikolaos Ioannis Deligiannis; Riccardo Cantoro; Matteo Sonza Reorda; Bernd Becker 001 (DFT, 2024)

Embedded Feature Selection in MCU Performance Screening. - Nicolò Bellarmino; Riccardo Cantoro; Martin Huch; Tobias Kilian; Ulf Schlichtmann; Giovanni Squillero (DTTIS, 2024)

Assessing the Effectiveness of Software-Based Self-Test Programs for Static Cell-Aware Test. - Riccardo Cantoro; Michelangelo Grosso; Iacopo Guglielminetti; Reza Khoshzaban; Matteo Sonza Reorda (ETS, 2024)

Fault Grading Techniques for Evaluating Software-Based Self-Test with Respect to Small Delay Defects. - Michelangelo Bartolomucci; Nikolaos Ioannis Deligiannis; Riccardo Cantoro; Matteo Sonza Reorda (IOLTS, 2024)

Defects, Fault Modeling, and Test Development Framework for FeFETs. - Changhao Wang; Sicong Yuan; Hanzhi Xun; Chaobo Li; Mottaqiallah Taouil; Moritz Fieback; Danyang Chen; Xiuyan Li; Lin Wang 111; Riccardo Cantoro; Chujun Yin; Said Hamdioui (ITC, 2024)

Investigating on Gradient Regularization for Testing Neural Networks. - Nicolò Bellarmino; Alberto Bosio; Riccardo Cantoro; Annachiara Ruospo; Ernesto Sánchez 001; Giovanni Squillero (LOD (2), 2024)

Device-Aware Test for Anomalous Charge Trapping in FeFETs. - Sicong Yuan; Changhao Wang; Moritz Fieback; Hanzhi Xun; Mottaqiallah Taouil; Xiuyan Li; Danyang Chen; Lin Wang 111; Nicolò Bellarmino; Riccardo Cantoro; Said Hamdioui (ASP-DAC, 2025)

Early Functional Safety and PPA Evaluation of Digital Designs. - Michelangelo Bartolomucci; David Kingston; Teo Cupaiuolo; Alessandra Nardi; Riccardo Cantoro (DATE, 2025)

DEAR-CNN: Data-Efficient Assessment of Resiliency in Convolutional Neural Networks. - Nicolò Bellarmino; Alberto Bosio; Riccardo Cantoro; Annachiara Ruospo; Ernesto Sánchez 001 (DDECS, 2025)

In-Field Monitoring and Preventing Read Disturb Faults in RRAMs. - Hanzhi Xun; Moritz Fieback; Sicong Yuan; Changhao Wang; Erbing Hua; Hassen Aziza; Leticia Bolzani Poehls; Riccardo Cantoro; Rajendra Bishnoi; Mottaqiallah Taouil; Said Hamdioui (ETS, 2025)

Grouped Feature Selection for SMONs Placement in MCU Performance Screening. - Nicolò Bellarmino; Riccardo Cantoro; Martin Huch; Tobias Kilian; Giovanni Squillero (LATS, 2025)

DOC: Detection of On-Line Failures in CNNs. - Vittorio Turco; Nicolò Bellarmino; Annachiara Ruospo; Riccardo Cantoro; Ernesto Sánchez 001 (LATS, 2025)

A Reliability Evaluation Flow for Assessing the Impact of Permanent Hardware Faults on Integer Arithmetic Circuits. - Nikolaos Ioannis Deligiannis; Juan-David Guerrero-Balaguera; Riccardo Cantoro; Serag E.-D. Habib; Matteo Sonza Reorda (IEEE Access, 2025)

COSMO: COmpressed Sensing for Models and Logging Optimization in MCU Performance Screening. - Nicolò Bellarmino; Riccardo Cantoro; Sophie M. Fosson; Martin Huch; Tobias Kilian; Ulf Schlichtmann; Giovanni Squillero (IEEE Trans. Computers, 2025)

Deep Learning Strategies for Labeling and Accuracy Optimization in Microcontroller Performance Screening. - Nicolò Bellarmino; Riccardo Cantoro; Martin Huch; Tobias Kilian; Ulf Schlichtmann; Giovanni Squillero (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

Enhancing the Effectiveness of STLs for GPUs via Bounded Model Checking. - Nikolaos Ioannis Deligiannis; Tobias Faller; Josie Esteban Rodriguez Condia; Riccardo Cantoro; Bernd Becker 001; Matteo Sonza Reorda (ACM Trans. Design Autom. Electr. Syst., 2025)