Follow
Rodrigo T. Saad
Rodrigo T. Saad
Postdoctoral Researcher at UFSC - Brazil
Verified email at das.ufsc.br - Homepage
Title
Cited by
Cited by
Year
The syntax and semantics of Fiacre
B Berthomieu, JP Bodeveix, M Filali, H Garavel, F Lang, F Peres, R Saad, ...
Repport LAAS 7264, 2007
462007
Mixed shared-distributed hash tables approaches for parallel state space construction
RT Saad, S Dal Zilio, B Berthomieu
2011 10th International Symposium on Parallel and Distributed Computing, 9-16, 2011
212011
A general lock-free algorithm for parallel state space construction
RT Saad, S Dal Zilio, B Berthomieu
2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010
112010
An experiment on parallel model checking of a CTL fragment
RT Saad, SD Zilio, B Berthomieu
International Symposium on Automated Technology for Verification and …, 2012
72012
Parallel model checking for multiprocessor architecture
RT Saad
INSA de Toulouse, 2011
62011
The Syntax and Semantics of FIACRE, Version 1.0 alpha
B Berthomieu, JP Bodeveix, M Filali, H Garavel, F Lang, F Peres, R Saad, ...
Technical report projet ANR05RNTL03101 OpenEmbeDD, 2007
62007
The Syntax and Semantics of FIACRE–version 2.0
B Berthomieu, JP Bodeveix, M Filali, H Garavel, F Lang, F Peres, R Saad, ...
Project deliverable F 3, 2012
42012
Enumerative parallel and distributed state space construction
R Saad, S Dal Zilio, B Berthomieu, F Vernadat
ETR09-École d’été Temps Réel, 89, 2009
42009
An OpenEmbeDD experimentation:" transformation from an SDL profiled UML model to a FIACRE model"
A Canals, H Bonnin, S Gabel, C Le Camus, R Saad
Embedded Real Time Software and Systems (ERTS2008), 2008
22008
Elementos para a construçao de uma cadeia de verificaçao para o projeto topcased
RT Saad
Florianópolis, SC, 2008
22008
Parallel Model Checking With Lazy Cycle Detection-MCLCD
RT Saad, S Dal Zilio, B Berthomieu
12011
Benford's law: what does it say on adversarial images?
JG Zago, FL Baldissera, EA Antonelo, RT Saad
arXiv preprint arXiv:2102.04615, 2021
2021
It is double pleasure to deceive the deceiver: disturbing classifiers against adversarial attacks
JG Zago, EA Antonelo, FL Baldissera, RT Saad
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2020
2020
Coarse-Grained Locking Scheme for Parallel State Space Construction
S Dal Zilio, R Saad, B Berthomieu
2013
Observation Graph implementation for TINA toolbox
RT Saad, F Vernadat, B Berthomieu, S Dal Zilio
12th European Workshop on Dependable Computing, EWDC 2009, 4 pages, 2009
2009
A Dynamic, Lock free Data Dictionary for Parallel State Space Construction
RT Saad, S Dal Zilio, B Berthomieu
Parallel Model Checking With Lazy Cycle Detection
RT Saad, S Dal Zilio, B Berthomieu
Reconciling Distributed and Shared Hash Tables Approaches for Parallel State Space Construction
R Saad, S Dal Zilio, B Berthomieu
The system can't perform the operation now. Try again later.
Articles 1–18