OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Saqui-Sannes, Pierre de"

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

Article

Apvrille, Ludovic and Saqui-Sannes, Pierre de Vérifications d'exclusions mutuelles par analyse statique de modèles SysML. (2013) Revue Génie Logiciel, vol. 105 . pp. 40-44. ISSN 0295-6322

Adjir, Noureddine and Saqui-Sannes, Pierre de and Rahmouni, Mustapha Conformance Testing of Preemptive Real-Time Systems. (2013) International Journal of Embedded and Real-Time Communication Systems (IJERTCS), vol. 4 (n° 4). pp. 1-26. ISSN 1947-3176

Apvrille, Ludovic and Saqui-Sannes, Pierre de AVATAR/TTool : un environnement en mode libre pour SysML temps réel. (2011) Génie Logiciel, vol. 58 (n° 98). pp. 22-26. ISSN 1265-1397

Apvrille, Ludovic and Saqui-Sannes, Pierre de Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons. (2011) Technique et Science Informatiques, vol. 30 (n°4). pp. 309-337. ISSN 0752-4072

Apvrille, Ludovic and Mifdaoui, Ahlem and Saqui-Sannes, Pierre de Real-time distributed systems dimensioning and validation: The TURTLE method. (2010) Studia Informatica Universalis, vol. 3 (n° 8). pp. 47-69.

Saqui-Sannes, Pierre de and Villemur, Thierry and Mota, Sara and Fontan, Benjamin and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent Formal verification of secure group communication protocols modelled in UML. (2010) Innovations in Systems and Software Engineering, vol. 6 (n°1-2). pp. 125-133. ISSN 1614-5046

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 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

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

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

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

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

Apvrille, Ludovic and Saqui-Sannes, Pierre de Static analysis techniques to verify mutual exclusion situations within SysML models. ( In Press: 2013) In: SDL 2013 - 16th International System Design Languages Forum, 26-28 Jun 2013, Montreal, Canada .

Saqui-Sannes, Pierre de and Hugues, Jérôme Combining SysML and AADL for the design, validation and implementation of critical systems. (2012) In: ERTSS 2012 (Embedded Real Time Software and Systems), 01-03 Feb 2012, Toulouse, France .

Apvrille, Ludovic and Saqui-Sannes, Pierre de An Open-Source simulator for Real-Time sysML models. (2011) In: IEEE Workshop on Simulation in Aerospace 2011, 8 June 2011, Toulouse, France . (Unpublished)

Saqui-Sannes, Pierre de and Villemur, Thierry and Fontan, Benjamin and Mota, Sara and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent Formal verification of secure group communication protocols modelled in UML. (2010) In: 2nd IEEE International workshop UML and Formal Methods - UML&FM'2009, 08 Dec 2009, Rio de Janeiro, Brazil .

Knorreck, Daniel and Apvrille, Ludovic and Saqui-Sannes, Pierre de TEPE: a SysML language for time-constrained property modeling and formal verification. (2010) In: Third IEEE International workshop UML and Formal Methods - ULM&FM'2010, 16 Nov 2010, Shangaï, China .

Apvrille, Ludovic and Saqui-Sannes, Pierre de TURTLE: Four Weddings and a Tutorial. (2010) In: Embedded Real Time Software and Systems - ERTSS 2010, 19-21 May 2010, Toulouse, France .

Adjir, Noureddine and Saqui-Sannes, Pierre de and Rahmouni, Mustapha Testing real-time systems using TINA. (2009) In: TESTCOM-FATES'09, 02-04 Nov 2009, Eindhoven, the Netherlands .

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Mifdaoui, Ahlem A UML framework for the dimensioning and formal verification of embedded systems. (2009) In: SAFA Annual Workshop on Formal Methods (SAFA 2009), 23 Sept 2009, Sophia-Antipolis, France .

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

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

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

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

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 .

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 .

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 .

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

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

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 .

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)

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 .

Book Section

Apvrille, Ludovic and Saqui-Sannes, Pierre de Requirements Analysis. (2013) In: Embedded Systems: Analysis and Modeling with SysML, UML and AADL. (Electronic Engineering Series ). ISTE / Wiley. ISBN 978-1-84821-500-9

Apvrille, Ludovic and Saqui-Sannes, Pierre de Vérification d'exigences d'un modèle SysML. (2013) In: Modélisation et analyse de systèmes embarqués. (Collection SEE ). Hermès Science Lavoisier, Paris, France, pp. 113-131. ISBN 978-2-7462-3900-5

Book

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

HDR

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

Report

Saqui-Sannes, Pierre de and Diana, Rémi and Lochin, Emmanuel SysML Modeling and Formal Verification of the TCP Relentless Congestion Protocol. (2011) [Report] (Unpublished)

This list was generated on Fri Dec 19 19:01:34 2014 CET.