Relaying the High-Frequency Contents of Tactile Feedback to Robotic Prosthesis Users: Design, Filtering, Implementation, and Validation. - Simone Fani; Katia Di Blasio; Matteo Bianchi 002; Manuel G. Catalano; Giorgio Grioli; Antonio Bicchi (IEEE Robotics Autom. Lett., 2019)

Multidimensional Framework for Characterizing Verification and Validation of Automated Systems. - Joseba Andoni Agirre; Ahmet Yazici; Katia Di Blasio; Jose Luis de la Vara; Behrooz Sangchoolie; Ugur Yayan; Raul Barbosa; Leire Etxeberria; Massimo Nazaria; Mustafa Karaca (EDCC, 2022)

Modelling V&V Workflows to Improve Development Processes of Software-intensive Systems. - Thomas Bauer 002; Wolfgang Herzner; Bob Hruska; Katia Di Blasio; Zain Shahwar (DSN-W, 2023)

Supporting model-based safety analysis for safety-critical IoT systems. - Felicien Ihirwe; Davide Di Ruscio; Katia Di Blasio; Simone Gianfranceschi; Alfonso Pierantonio (J. Comput. Lang., 2024)