The syntax and semantics of Fiacre B Berthomieu, JP Bodeveix, M Filali, H Garavel, F Lang, F Peres, R Saad, ... Repport LAAS 7264, 2007 | 44 | 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 | 11 | 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 R Saad INSA de Toulouse, 2011 | 6 | 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 |

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 | 2 | 2008 |

Elementos para a construçao de uma cadeia de verificaçao para o projeto topcased RT Saad Florianópolis, SC, 2008 | 2 | 2008 |

Parallel Model Checking With Lazy Cycle Detection-MCLCD R Saad, S Dal Zilio, B Berthomieu | 1 | 2011 |

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ériﬁcation 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 | 1 | 2010 |

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 | | |