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
442007
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
202011
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, S Dal Zilio, B Berthomieu
International Symposium on Automated Technology for Verification and …, 2012
72012
Parallel model checking for multiprocessor architecture
R 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
R Saad, S Dal Zilio, B Berthomieu
12011
Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel: retour d'expérience sur la chaîne de vérification formelle Fiacre
B Berthomieu, JP Bodeveix, S Dal Zilio, M Filali, M Pantel, F Vernadat
IDM 2010: journées sur l'Ingénierie Dirigée par les Modèles, 2010
12010
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
R 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–19