Pedro Yuri Arbs Paiva

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 7

Top Topics

Colored Petri Nets

Protocol Specification

Top Venues

ACM Comput. Surv.

Publications

Ana Carolina Lorena, Pedro Yuri Arbs Paiva, Ricardo B. C. Prudêncio
Trusting My Predictions: On the Value of Instance-Level Analysis. ACM Comput. Surv. 56 (7) (2024)
Maria Gabriela Valeriano, Pedro Yuri Arbs Paiva, Carlos Roberto Veiga Kiffer, Ana Carolina Lorena
A Framework for Characterizing What Makes an Instance Hard to Classify. BRACIS (2) (2023)
Pedro Yuri Arbs Paiva, Camila Castro Moreno, Kate Smith-Miles, Maria Gabriela Valeriano, Ana Carolina Lorena
Relating instance hardness to classification performance in a dataset: a visual approach. Mach. Learn. 111 (8) (2022)
Gustavo P. Torquette, Victor S. Nunes, Pedro Yuri Arbs Paiva, Lourenço B. C. Neto, Ana Carolina Lorena
Characterizing instance hardness in classification and regression problems. CoRR (2022)
Pedro Yuri Arbs Paiva, Kate Smith-Miles, Maria Gabriela Valeriano, Ana Carolina Lorena
PyHard: a novel tool for generating hardness embeddings to support data-centric analysis. CoRR (2021)
Pedro Yuri Arbs Paiva, Osamu Saotome, Christof Brandauer
Specification and Verification of a Multi-agent Coordination Protocol with TLA+. SBESC (2018)
Christof Brandauer, Peter Dorfinger, Pedro Yuri Arbs Paiva
Towards scalable and adaptable security monitoring. IPCCC (2017)