Items where Institution is :Other partners > Institut Eurécom (FRANCE)

Fontan, Benjamin and Saqui-Sannes, Pierre de and Apvrille, Ludovic Timing requirement description diagrams for real-time system verification. (2008) In: 4th European Congress ERTS Embedded real-time software - ERTS 2008, 29 Jan - 01 Feb 2008, Toulouse, France.

Fontan, Benjamin and Saqui-Sannes, Pierre de and Apvrille, Ludovic Synthèse d’observateurs à partir d’exigences temporelles. (2008) Revue des Nouvelles Technologies de l'Information (RNTI) .

Apvrille, Ludovic and Saqui-Sannes, Pierre de Un environnement formel d'assistance à la modélisation de protocoles. (2008) In: NOTERE 2008 : 8ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition, 23-27 June 2008, Lyon, France.

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Khendek, Ferhat TURTLE-P: a UML profile for the formal validation of critical and distributed systems. (2006) Software and Systems Modeling, vol. 5 (n° 4). pp. 449-466. ISSN 1619-1366

Villemur, Thierry and Saqui-Sannes, Pierre de and Drira, Khalil NOTERE’2006: nouvelles technologies de la répartition. (2006) Hermès Lavoisier, Paris, France. ISBN 978-2-7462-1588-7

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Khendek, Ferhat Synthèse d'une conception UML temps-réel à partir de diagrammes de séquences. (2005) In: CFIP 2005 - Colloque Francophone sur l'Ingénierie des Protocoles, 29 March - 01 Apr 2005, Bordeaux, France.

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Apvrille, Axelle Une méthodologie de conception des systèmes distribués basée sur UML. (2005) In: NOuvelles TEchnologies de la REpartition (NOTERE) 2005, 29 Aug - 01 Sept 2005, Gatineau, Canada. (Unpublished)

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