Logo ISAE3
EN
FR |
Pierre de Saqui-Sannes > Publications

Publications

vendredi 27 janvier 2012.

http://oatao.univ-toulouse.fr/view/...

Number of items: 29.

2009

Apvrille, Ludovic and Mifdaoui, Ahlem and Saqui-Sannes, Pierre de ( 2009) Nouvelle approche TURTLE pour le dimensionnement et la validation de systèmes répartis temps réel. In: NOTERE 2009 - Nouvelles Technologies pour la Répartition, 29 Juin - 3 Juill 2009, Montréal, Canada. (Unpublished)

Saqui-Sannes, Pierre de and Apvrille, Ludovic ( 2009) Traçabilité d'exigences temporelles dans l'outil UML/SysML TTool. In: GPL 2009 - 1ères journées nationales du GDR Génie de la programmation et du Logiciel, 28-30 Janv 2009, Toulouse, France.

Saqui-Sannes, Pierre de and Apvrille, Ludovic ( 2009) Making formal verification amenable to real-time UML practitioners. In: EWDC 2009 European Workshop on Dependable Computing, 14-15 Mai 2009, Toulouse, France. (Unpublished)

2008

Adjir, Noureddine and Saqui-Sannes, Pierre de and Rahmouni, Mustapha ( 2008) Test of preemptive real-time systems. In: AICCSA 2008. IEEE/ACS International Conference on Computer Systems and Applications, 31 March - 4 April 2008, Doha, Qatar.

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

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

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

Saqui-Sannes, Pierre de and Apvrille, Ludovic and Fontan, Benjamin ( 2008) Formal verification of temporal requirements in a SysML/UML framework. IEEE Transactions on Software Engineering . ISSN 0098-5589 (Unpublished)

2007

Fontan, Benjamin and Mota, Sara and Saqui-Sannes, Pierre de and Villemur, Thierry ( 2007) Temporal verification in secure group communication system design. In: SECURWARE 2007 - International Conference on Emerging Security Information Systems, and Technologies, 14-20 Oct. 2007, Valencia, Spain.

Fontan, Benjamin and Saqui-Sannes, Pierre de and Apvrille, Ludovic ( 2007) Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles. In: 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), 4-8 Juin 2007, Marrakech, Maroc.

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

2006

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

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Pascalet, Renaud and Apvrille, Axelle ( 2006) Un environnement de conception de systèmes distribués basé sur UML. Annales des Télécommunications, vol. 61 (n° 11-12). pp. 1347-1368. ISSN 0003-4347

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

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

Sadani, Tarek and Boyer, Marc and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre ( 2006) Effective representation of RT-LOTOS terms by finite time petri nets. 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 Boyer, Marc and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre ( 2006) Mapping RT-LOTOS specifications into Time Petri Nets. 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 ( 2006) Recherche d’efficacité en vérification de modèles UML temps réel traduits en RT-LOTOS. In: AFADL'06 - Approches Formelles dans l'Assistance au Développement de Logiciels, 15-17 mars 2006, Paris, France.

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

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

2005

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

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

Sadani, Tarek and Courtiat, Jean-Pierre and Saqui-Sannes, Pierre de ( 2005) From RT-LOTOS to Time Petri Nets new foundations for a verification platform. 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 ( 2005) Validation de spécifications RT-LOTOS : une interface vers l'outil TINA. Journal Européen des Systèmes Automatisés (JESA), vol. 39 (n° 1-3). pp. 271-286. ISSN 1269-6935

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

Saqui-Sannes, Pierre de ( 2005) Conception basée modèle des systèmes temps réel et distribués. [HDR]

2004

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

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Sénac, Patrick and Lohr, Christophe ( 2004) Verifying service continuity in a satellite reconfiguration procedure. Automated Software Engineering, vol. 11 (n° 2). pp. 167-191. ISSN 0928-8910

2002

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

This list was generated on Wed Apr 8 00:45:10 2009 CEST.
SPIP | | Suivre la vie du site RSS 2.1