Tarek Sadani

According to our database, Tarek Sadani authored at least 5 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

Performance analysis of real-time rewriting models.

Jounaidi Ben Hassan, Osman Hasan, Tarek Sadani, Sofiène Tahar

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2007

Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS.

Tarek Sadani

PhD thesis, 2007

2006

Mapping RT-LOTOS Specifications into Time Petri Nets.

Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Formal Methods and Software Engineering, 2006

Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.

Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform.

Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005