OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Courtiat, Jean-Pierre"

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

Article

Apvrille, Ludovic and Courtiat, Jean-Pierre and Lohr, Christophe and Saqui-Sannes, Pierre de TURTLE: A real-time UML profile supported by a formal validation toolkit. (2004) IEEE Transactions on Software Engineering, vol. 3 (n° 7). pp. 473-487. ISSN 0098-5589

Saqui-Sannes, Pierre de and Apvrille, Ludovic and Lohr, Christophe and Sénac, Patrick and Courtiat, Jean-Pierre UML and RT-LOTOS: an integration for real-time system validation. (2002) Journal Européen des Systèmes Automatisés (JESA), vol. 3 (n° 7). pp. 1029-1042. ISSN 1269-6935

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 .

Fontan, Benjamin and Apvrille, Ludovic and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre Real-time and embedded system verification based on formal requirements. (2006) In: IES'06 - Industrial Embedded Systems, 18-20 Oct 2006, Antibes Juan-les-Pins, 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 .

Fontan, Benjamin and Mota, Sara and Villemur, Thierry and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre UML-based modeling and formal verification of authentication protocols. (2006) In: ICSSE'06 - IEEE International Conference on Secure Software Engineering, March 2006, Washington, United States .

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 .

This list was generated on Wed Nov 26 14:15:06 2014 CET.