XbarGen: A memristor based boolean logic synthesis tool. - Marcello Traiola; Mario Barbareschi; Antonino Mazzeo; Alberto Bosio (VLSI-SoC, 2016)

Formal Design Space Exploration for memristor-based crossbar architecture. - Marcello Traiola; Mario Barbareschi; Alberto Bosio (DDECS, 2017)

Towards approximation during test of Integrated Circuits. - Imran Wali; Marcello Traiola; Arnaud Virazel; Patrick Girard 001; Mario Barbareschi; Alberto Bosio (DDECS, 2017)

Memristive devices: Technology, design automation and computing frontiers. - Mario Barbareschi; Alberto Bosio; Hoang Anh Du Nguyen; Said Hamdioui; Marcello Traiola; Elena-Ioana Vatajelu (DTIS, 2017)

Towards digital circuit approximation by exploiting fault simulation. - Marcello Traiola; Arnaud Virazel; Patrick Girard 001; Mario Barbareschi; Alberto Bosio (EWDTS, 2017)

Synthesis of Finite State Machines on Memristor Crossbars. - Umberto Ferrandino; Marcello Traiola; Mario Barbareschi; Antonino Mazzeo; Petr Fiser; Alberto Bosio (DDECS, 2018)

On the Comparison of Different ATPG Approaches for Approximate Integrated Circuits. - Marcello Traiola; Arnaud Virazel; Patrick Girard 001; Mario Barbareschi; Alberto Bosio (DDECS, 2018)

Investigation of Mean-Error Metrics for Testing Approximate Integrated Circuits. - Marcello Traiola; Arnaud Virazel; Patrick Girard 001; Mario Barbareschi; Alberto Bosio (DFT, 2018)

Predicting the Impact of Functional Approximation: from Component- to Application-Level. - Marcello Traiola; Alessandro Savino; Mario Barbareschi; Stefano Di Carlo; Alberto Bosio (IOLTS, 2018)

Testing approximate digital circuits: Challenges and opportunities. - Marcello Traiola; Arnaud Virazel; Patrick Girard 001; Mario Barbareschi; Alberto Bosio (LATS, 2018)

Special session: How approximate computing impacts verification, test and reliability. - Lukás Sekanina; Zdenek Vasícek; Alberto Bosio; Marcello Traiola; Paolo Rech; Daniel Oliveira 002; Fernando Fernandes 001; Stefano Di Carlo (VTS, 2018)

Test and Reliability in Approximate Computing. - Lorena Anghel; Mounir Benabdenbi; Alberto Bosio; Marcello Traiola; Elena-Ioana Vatajelu (J. Electron. Test., 2018)

Estimating dynamic power consumption for memristor-based CiM architecture. - Marcello Traiola; Mario Barbareschi; Alberto Bosio (Microelectron. Reliab., 2018)

Maximizing Yield for Approximate Integrated Circuits. - Marcello Traiola; Arnaud Virazel; Patrick Girard 001; Mario Barbareschi; Alberto Bosio (DATE, 2020)

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)

Design, Verification, Test and In-Field Implications of Approximate Computing Systems. - Alberto Bosio; Stefano Di Carlo; Patrick Girard 001; Ernesto Sánchez 001; Alessandro Savino; Lukás Sekanina; Marcello Traiola; Zdenek Vasícek; Arnaud Virazel (ETS, 2020)

QAMR: an Approximation-Based Fully Reliable TMR Alternative for Area Overhead Reduction. - Bastien Deveautour; Marcello Traiola; Arnaud Virazel; Patrick Girard 001 (ETS, 2020)

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

A Survey of Testing Techniques for Approximate Integrated Circuits. - Marcello Traiola; Arnaud Virazel; Patrick Girard 001; Mario Barbareschi; Alberto Bosio (Proc. IEEE, 2020)

Emerging Technologies: Challenges and Opportunities for Logic Synthesis. - Alberto Bosio; Mayeul Cantan; Cédric Marchand 002; Ian O'Connor; Petr Fiser; Arnaud Poittevin; Marcello Traiola (DDECS, 2021)

Efficient Neural Network Approximation via Bayesian Reasoning. - Alessandro Savino; Marcello Traiola; Stefano Di Carlo; Alberto Bosio (DDECS, 2021)

Emerging Computing Devices: Challenges and Opportunities for Test and Reliability*. - Alberto Bosio; Ian O'Connor; Marcello Traiola; Jorge Echavarria; Jürgen Teich; Muhammad Abdullah Hanif; Muhammad Shafique 001; Said Hamdioui; Bastien Deveautour; Patrick Girard 001; Arnaud Virazel; Koen Bertels (ETS, 2021)

Design Space Exploration of Approximation-Based Quadruple Modular Redundancy Circuits. - Marcello Traiola; Jorge Echavarria; Alberto Bosio; Jürgen Teich; Ian O'Connor (ICCAD, 2021)

Reducing Overprovision of Triple Modular Reduncancy Owing to Approximate Computing. - Bastien Deveautour; Marcello Traiola; Arnaud Virazel; Patrick Girard 001 (IOLTS, 2021)

Pros and Cons of Fault Injection Approaches for the Reliability Assessment of Deep Neural Networks. - Annachiara Ruospo; Lucas Matana Luza; Alberto Bosio; Marcello Traiola; Luigi Dilillo; Ernesto Sánchez 001 (LATS, 2021)

Multi-Objective Application-Driven Approximate Design Method. - Salvatore Barone; Marcello Traiola; Mario Barbareschi; Alberto Bosio (IEEE Access, 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)

Investigating data representation for efficient and reliable Convolutional Neural Networks. - Annachiara Ruospo; Ernesto Sánchez 001; Marcello Traiola; Ian O'Connor; Alberto Bosio (Microprocess. Microsystems, 2021)

Test and Reliability of Approximate Hardware. - Marcello Traiola; Bastien Deveautour; Alberto Bosio; Patrick Girard 001; Arnaud Virazel (Approximate Computing, 2022)

Input-Aware Approximate Computing. - Ali Piri; Sepide Saeedi; Mario Barbareschi; Bastien Deveautour; Stefano Di Carlo; Ian O'Connor; Alessandro Savino; Marcello Traiola; Alberto Bosio (AQTR, 2022)

A Design Space Exploration Framework for Memristor-Based Crossbar Architecture. - Mario Barbareschi; Alberto Bosio; Ian O'Connor; Petr Fiser; Marcello Traiola (DDECS, 2022)

Selective Hardening of Critical Neurons in Deep Neural Networks. - Annachiara Ruospo; Gabriele Gavarini; Ilaria Bragaglia; Marcello Traiola; Alberto Bosio; Ernesto Sánchez 001 (DDECS, 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)

Assertion-aware approximate computing design exploration on behavioral models. - Alberto Bosio; Moreno Bragaglio; Samuele Germiniani; Samuele Mori; Graziano Pravadelli; Marcello Traiola (LATS, 2022)

A Genetic-algorithm-based Approach to the Design of DCT Hardware Accelerators. - Mario Barbareschi; Salvatore Barone; Alberto Bosio; Jie Han 001; Marcello Traiola (ACM J. Emerg. Technol. Comput. Syst., 2022)

Exploiting assertions mining and fault analysis to guide RTL-level approximation. - Alberto Bosio; Samuele Germiniani; Graziano Pravadelli; Marcello Traiola (DATE, 2023)

A machine-learning-guided framework for fault-tolerant DNNs. - Marcello Traiola; Angeliki Kritikakou; Olivier Sentieys (DATE, 2023)

Design with low complexity fine-grained Dual Core Lock-Step (DCLS) RISC-V processors. - Pegdwende Romaric Nikiema; Angeliki Kritikakou; Marcello Traiola; Olivier Sentieys (DSN-S, 2023)

Input-aware accuracy characterization for approximate circuits. - Ali Piri; Salvatore Pappalardo; Salvatore Barone; Mario Barbareschi; Bastien Deveautour; Marcello Traiola; Ian O'Connor; Alberto Bosio (DSN-W, 2023)

Impact of Transient Faults on Timing Behavior and Mitigation with Near-Zero WCET Overhead. - Pegdwende Romaric Nikiema; Angeliki Kritikakou; Marcello Traiola; Olivier Sentieys (ECRTS, 2023)

harDNNing: a machine-learning-based framework for fault tolerance assessment and protection of DNNs. - Marcello Traiola; Angeliki Kritikakou; Olivier Sentieys (ETS, 2023)

Towards Dependable RISC-V Cores for Edge Computing Devices. - Pegdwende Romaric Nikiema; Alessandro Palumbo; Allan Aasma; Luca Cassano; Angeliki Kritikakou; Ari Kulmala; Jari Lukkarila; Marco Ottavi; Rafail Psiakis; Marcello Traiola (IOLTS, 2023)

A Survey on Deep Learning Resilience Assessment Methodologies. - Annachiara Ruospo; Ernesto Sánchez 001; Lucas Matana Luza; Luigi Dilillo; Marcello Traiola; Alberto Bosio (Computer, 2023)

Efficient Neural Networks: from SW optimization to specialized HW accelerators. - Marcello Traiola; Angeliki Kritikakou; Silviu-Ioan Filip; Olivier Sentieys (CASES, 2024)

Cross-Layer Reliability Evaluation and Efficient Hardening of Large Vision Transformers Models. - Lucas Roquet; Fernando Fernandes dos Santos; Paolo Rech; Marcello Traiola; Olivier Sentieys; Angeliki Kritikakou (DAC, 2024)

Special Session: Impact of Compiler Optimizations on the Reliability of a RISC-V-Based Core. - Pegdwende Romaric Nikiema; Marcello Traiola; Angeliki Kritikakou (DFT, 2024)

Reliability and Security of AI Hardware. - Dennis Gnad; Martin Gotthard; Jonas Krautter; Angeliki Kritikakou; Vincent Meyers; Paolo Rech; Josie E. Rodriguez Condia; Annachiara Ruospo; Ernesto Sánchez 001; Fernando Fernandes dos Santos; Olivier Sentieys; Mehdi B. Tahoori; et al. (ETS, 2024)

Approximate Fault-Tolerant Neural Network Systems. - Marcello Traiola; Salvatore Pappalardo; Ali Piri; Annachiara Ruospo; Bastien Deveautour; Ernesto Sánchez 001; Alberto Bosio; Sepide Saeedi; Alessio Carpegna; Anil Bayram Gogebakan; Enrico Magliano; Alessandro Savino (ETS, 2024)

Combining Fault Simulation and Beam Data for CNN Error Rate Estimation on RISC-V Commercial Platforms. - Fernando Fernandes dos Santos; Marcello Traiola; Angeliki Kritikakou (IOLTS, 2024)

Reliability Assessment of Large DNN Models: Trading Off Performance and Accuracy. - Junchao Chen 001; Giuseppe Esposito; Fernando Fernandes dos Santos; Juan-David Guerrero-Balaguera; Angeliki Kritikakou; Milos Krstic; Robert Limas Sierra; Josie E. Rodriguez Condia; Matteo Sonza Reorda; Marcello Traiola; Alessandro Veronesi (VLSI-SoC, 2024)

Special Session: Reliability Assessment Recipes for DNN Accelerators. - Mohammad Hasan Ahmadilivani; Alberto Bosio; Bastien Deveautour; Fernando Fernandes dos Santos; Juan-David Guerrero-Balaguera; Maksim Jenihhin; Angeliki Kritikakou; Robert Limas Sierra; Salvatore Pappalardo; Jaan Raik; Josie E. Rodriguez Condia; Matteo Sonza Reorda; et al. (VTS, 2024)

Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs. - Alberto Bosio; Samuele Germiniani; Graziano Pravadelli; Marcello Traiola (J. Electron. Test., 2024)

Automatic generation of input-aware approximate arithmetic circuits. - Mario Barbareschi; Salvatore Barone; Alberto Bosio; Bastien Deveautour; Ali Piri; Marcello Traiola (DDECS, 2025)

European Test Symposium Teams: an Anniversary Snapshot. - Maksim Jenihhin; Jaan Raik; Artur Jutman; Natalia Cherezova; Raimund Ubar; Liviu Miclea; Szilárd Enyedi; I. Stefan; Ovidiu Stan; Cosmina Corches; Z. Peng; Petru Eles; et al. (ETS, 2025)

SWAPPER: Dynamic Operand Swapping in Non-commutative Approximate Circuits for Online Error Reduction. - Marcello Traiola; Nazar Misyats; Silviu-Ioan Filip; Rémi Garcia 001; Angeliki Kritikakou (CoRR, 2025)

PERTINENCE: Input-based Opportunistic Neural Network Dynamic Execution. - Omkar B. Shende; Gayathri Ananthanarayanan; Marcello Traiola (CoRR, 2025)