| The syntax and semantics of Fiacre B Berthomieu, JP Bodeveix, M Filali, H Garavel, F Lang, F Peres, R Saad, ... Repport LAAS 7264, 2007 | 43 | 2007 |
| 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 | 20 | 2011 |
| 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 | 12 | 2010 |
| 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 | 7 | 2012 |
| Parallel model checking for multiprocessor architecture RT Saad INSA de Toulouse, 2011 | 7 | 2011 |
| 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 | 6 | 2007 |
| 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 | 4 | 2012 |
| 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 | 4 | 2009 |
| Benford's law: what does it say on adversarial images? JG Zago, FL Baldissera, EA Antonelo, RT Saad arXiv preprint arXiv:2102.04615, 2021 | 2 | 2021 |
| 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 | 2 | 2008 |
| Elementos para a construçao de uma cadeia de verificaçao para o projeto topcased RT Saad Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós …, 2008 | 2 | 2008 |
| 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 | 1 | 2020 |
| Parallel Model Checking With Lazy Cycle Detection-MCLCD RT Saad, S Dal Zilio, B Berthomieu | 1 | 2011 |
| 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 | | |
Silvano Dal ZilioResearcher, LAAS-CNRSAdresse e-mail validée de laas.fr
