OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Sadani, Tarek"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 8.

Conference or Workshop Item

Sadani, Tarek and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre Extended real-time LOTOS for preemptive systems verification. (2007) In: RTNS'07 - 15th International Conference on Real-Time and Network Systems, 29-30 Mars 2007, Nancy, France .

Sadani, Tarek and Boyer, Marc and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre Effective representation of RT-LOTOS terms by finite time petri nets. (2006) In: FORTE'06 - 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, 26-29 Sept 2006, Paris, France .

Sadani, Tarek and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre Formal and efficient verification techniques for Real-Time UML models. (2006) In: ERTS'06 - 3rd European Congress ERTS Embedded Real Time Software, 25-27 Janv 2006, Toulouse, France .

Sadani, Tarek and Boyer, Marc and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre Mapping RT-LOTOS specifications into Time Petri Nets. (2006) In: ICFEM'06 - 8th International Conference on Formal Engineering Methods, 01-03 Nov 2006, Macao, China .

Sadani, Tarek and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre Recherche d’efficacité en vérification de modèles UML temps réel traduits en RT-LOTOS. (2006) In: AFADL'06 - Approches Formelles dans l'Assistance au Développement de Logiciels, 15-17 march 2006, Paris, France .

Sadani, Tarek and Courtiat, Jean-Pierre and Saqui-Sannes, Pierre de From RT-LOTOS to Time Petri Nets new foundations for a verification platform. (2005) In: SEFM'05 - 3rd IEEE International Conference on Software Engineering and Formal Methods, 05-09 Sept 2005, Koblenz, Germany .

Sadani, Tarek and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre Validation de spécifications RT-LOTOS : une interface vers l'outil TINA. (2005) In: MSR'05 - Modélisation des Systèmes Réactifs, 05-07 Oct 2005, Autrans, France .

Thesis

Sadani, Tarek. 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. PhD, Institut National Polytechnique de Toulouse, 2007

This list was generated on Sat Oct 25 03:05:17 2014 CEST.