Rodrigo T. Saad

Universidade Federal de Santa Catarina — Brazil

Computer Science · Physical Sciences

3h-index35citations18works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Distributed systems and fault tolerance(6), Formal Methods in Verification(5), Parallel Computing and Optimization Techniques(4), Software Testing and Debugging Techniques(4), Radiation Effects in Electronics(3)

Publications18 total

Benford’s law: What does it say on adversarial images?
Journal of Visual Communication and Image Representation·2023· 2 cited
Benford's Law: What Does it Say on Adversarial Images?
SSRN Electronic Journal·2022Open Access
Benford's law: what does it say on adversarial images?
arXiv (Cornell University)·2021Open Access
It is double pleasure to deceive the deceiver: disturbing classifiers against adversarial attacks
2020· 1 cited
Internet Voting and the Equity of Participatory Budgeting Outcomes: A Study of New York City’s Participatory Budgeting Initiative
CUNY Academic Works (City University of New York)·2020· 2 cited
Coarse-Grained Locking Scheme for Parallel State Space Construction
HAL (Le Centre pour la Communication Scientifique Directe)·2013Open Access
An Experiment on Parallel Model Checking of a CTL Fragment
Lecture notes in computer science·2012· 4 citedOpen Access
Parallel Model Checking With Lazy Cycle Detection - MCLCD
HAL (Le Centre pour la Communication Scientifique Directe)·2011· 1 citedOpen Access
Parallel model checking for multiprocessor architecture
HAL (Le Centre pour la Communication Scientifique Directe)·2011· 3 citedOpen Access
Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction
HAL (Le Centre pour la Communication Scientifique Directe)·2011Open Access
Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction
2011· 9 cited
A Dynamic, Lock free Data Dictionary for Parallel State Space Construction
2010
Reconciling Distributed and Shared Hash Tables Approaches for Parallel State Space Construction
2010
A General Lock-Free Algorithm for Parallel State Space Construction
2010· 10 citedOpen Access
Enumerative Parallel And Distributed State Space Construction
HAL (Le Centre pour la Communication Scientifique Directe)·2009· 3 citedOpen Access
Observation Graph implementation for TINA toolbox
HAL (Le Centre pour la Communication Scientifique Directe)·2009Open Access
An OpenEmbeDD experimentation: "transformation from an SDL profiled UML model to a FIACRE model"
HAL (Le Centre pour la Communication Scientifique Directe)·2008
Elementos para a construção de uma cadeia de verificação para o projeto TopCased
LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)·2008Open Access

Frequent Co-authors

Silvano Dal Zilio(10), Bernard Berthomieu(10), João G. Zago(4), Eric Aislan Antonelo(4), Fabio L. Baldissera(4), François Vernadat(2), Agustí Canals(1), Hugues Bonnin(1), Sébastien Gabel(1), Christophe Le Camus(1)