Tarek Sadani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2005–2010
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | AICCSA | Performance analysis of real-time rewriting models. | Jounaidi Ben Hassan, Osman Hasan, Tarek Sadani, Sofine Tahar |
| 2006 | FORTE | Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. | Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2006 | ICFEM | Mapping RT-LOTOS Specifications into Time Petri Nets. | Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2005 | SEFM | From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. | Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |