Suivre
Rodrigo T. Saad
Rodrigo T. Saad
Postdoctoral Researcher at UFSC - Brazil
Adresse e-mail validée de das.ufsc.br - Page d'accueil
Titre
Citée par
Citée par
Année
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
122010
An experiment on parallel model checking of a CTL fragment
RT Saad, S Dal 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
72011
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, RT 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
Benford's law: what does it say on adversarial images?
JG Zago, FL Baldissera, EA Antonelo, RT Saad
arXiv preprint arXiv:2102.04615, 2021
12021
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
12020
Parallel Model Checking With Lazy Cycle Detection-MCLCD
RT Saad, S Dal Zilio, B Berthomieu
12011
Coarse-Grained Locking Scheme for Parallel State Space Construction
S Dal Zilio, RT 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
RT Saad, S Dal Zilio, B Berthomieu
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–18