Tarek Sadani

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

National Polytechnic Institute of Toulouse, France (PHD)

Education History

National Polytechnic Institute of Toulouse, France

PHD

Publications

Jounaidi Ben Hassan, Osman Hasan, Tarek Sadani, Sofiène Tahar
Performance analysis of real-time rewriting models. AICCSA (2010)
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM (2006)
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. FORTE (2006)
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. SEFM (2005)