Towards scalable and adaptable security monitoring. - Christof Brandauer; Peter Dorfinger; Pedro Yuri Arbs Paiva (IPCCC, 2017)

Specification and Verification of a Multi-agent Coordination Protocol with TLA+. - Pedro Yuri Arbs Paiva; Osamu Saotome; Christof Brandauer (SBESC, 2018)

PyHard: a novel tool for generating hardness embeddings to support data-centric analysis. - Pedro Yuri Arbs Paiva; Kate Smith-Miles; Maria Gabriela Valeriano; Ana Carolina Lorena (CoRR, 2021)

Characterizing instance hardness in classification and regression problems. - Gustavo P. Torquette; Victor S. Nunes; Pedro Yuri Arbs Paiva; Lourenço B. C. Neto; Ana Carolina Lorena (CoRR, 2022)

Relating instance hardness to classification performance in a dataset: a visual approach. - Pedro Yuri Arbs Paiva; Camila Castro Moreno; Kate Smith-Miles; Maria Gabriela Valeriano; Ana Carolina Lorena (Mach. Learn., 2022)

A Framework for Characterizing What Makes an Instance Hard to Classify. - Maria Gabriela Valeriano; Pedro Yuri Arbs Paiva; Carlos Roberto Veiga Kiffer; Ana Carolina Lorena (BRACIS (2), 2023)

Trusting My Predictions: On the Value of Instance-Level Analysis. - Ana Carolina Lorena; Pedro Yuri Arbs Paiva; Ricardo B. C. Prudêncio (ACM Comput. Surv., 2024)