Rodrigo T. Saad

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 3

Top Topics

Automated Verification

Temporal Epistemic

Top Venues

J. Vis. Commun. Image Represent.

Publications

João G. Zago, Eric A. Antonelo, Fabio L. Baldissera, Rodrigo T. Saad
Benford's law: What does it say on adversarial images? J. Vis. Commun. Image Represent. 93 (2023)
João G. Zago, Fabio L. Baldissera, Eric A. Antonelo, Rodrigo T. Saad
Benford's law: what does it say on adversarial images? CoRR (2021)
João G. Zago, Eric A. Antonelo, Fabio L. Baldissera, Rodrigo T. Saad
It is double pleasure to deceive the deceiver: disturbing classifiers against adversarial attacks. SMC (2020)
Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu
An Experiment on Parallel Model Checking of a CTL Fragment CoRR (2013)
Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu
An Experiment on Parallel Model Checking of a CTL Fragment. ATVA (2012)
Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu
Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction. ISPDC (2011)