Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems. - Giuseppe Bonifacio; Pietro Marmo; Antonio Orazzo; Ida Petrone; Luigi Velardi; Alessio Venticinque (SAFECOMP, 2011)

A Semantic Support for Testing Activities of Safety-Critical Embedded Systems. - Alessio Venticinque; Nicola Mazzocca; Salvatore Venticinque (CISIS, 2014)

Semantic Support for Log Analysis of Safety-Critical Embedded Systems. - Alessio Venticinque; Nicola Mazzocca; Salvatore Venticinque; Massimo Ficco (CoRR, 2014)

Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications. - Alessio Venticinque (2014)

Using the SQuaRE series as a guarantee for GDPR compliance. - Alessandro Simonetta; Maria Cristina Paoletti; Alessio Venticinque (IWESQ@APSEC, 2021)

Fairness Metrics and Maximum Completeness for the Prediction of Discrimination. - Alessandro Simonetta; Tsuyoshi Nakajima; Maria Cristina Paoletti; Alessio Venticinque (IWESQ/APSEDEI@APSEC, 2022)

Multi-Valued Logic Digital Circuits for Realizing a Complete Computer Architecture. - Alessandro Simonetta; Maria Cristina Paoletti; Alessio Venticinque (ICYRIME, 2022)

The use of Maximum Completeness to Estimate Bias in AI-based Recommendation Systems. - Alessandro Simonetta; Maria Cristina Paoletti; Alessio Venticinque (SYSTEM, 2022)