OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Laboratoire SoC (Systems on Chip) - LabSoc (Sophia Antipolis, France) "

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

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

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.

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 An Open-Source simulator for Real-Time sysML models. (2011) In: IEEE Workshop on Simulation in Aerospace 2011, 8 June 2011, Toulouse, France . (Unpublished)

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 .

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)

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 .

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

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)

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

This list was generated on Wed Jul 30 07:20:54 2014 CEST.