OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Apvrille, Ludovic"

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

Article

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Vingerhoeds, Rob A.. An Educational Case Study of Using SysML and TTool for Unmanned Aerial Vehicles Design. (2020) The IEEE Journal on Miniaturization for Air and Space Systems (J-MASS), 1 (2). 117-129. ISSN 2576-3164

Apvrille, Ludovic and Saqui-Sannes, Pierre de. Vérifications d'exclusions mutuelles par analyse statique de modèles SysML. (2013) Revue Génie Logiciel, 105. 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, 58 (98). 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, 30 (4). 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, 3 (8). 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, 5 (4). 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, 6 (11-). 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, 3 (7). 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, 1 (2). 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), 3 (7). 1029-1042. ISSN 1269-6935

Conference or Workshop Item

Rey de Suza, Fellipe and Melo Bezerra, Juliana de and Hirata, Celso and Saqui-Sannes, Pierre de and Apvrille, Ludovic. Combining STPA with SysML Modeling. ( In Press: 2020) In: The 14th annual IEEE International Systems Conference (SysCon 2020), 20 April 2020 - 23 April 2020 (Montréal, Canada).

Saqui-Sannes, Pierre de and Apvrille, Ludovic. Test Sequence Generation From Formally Verified SysML Models. (2019) In: 1st Workshop on Software Engineering for Avionics System (Aviose 2019), 18 February 2019 - 18 February 2019 (Stuttgart, Germany).

Saqui-Sannes, Pierre de and Vingerhoeds, Rob A. and Apvrille, Ludovic. Early Checking of SysML Models Applied to Protocols. (2018) In: 12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), 27 June 2018 - 29 June 2018 (Toulouse, France).

Saqui-Sannes, Pierre de and Apvrille, Ludovic. Making Modeling Assumptions an Explicit Part of Real-Time Systems Models. (2016) In: the 8th European Congress Embedded Real Time software and systems ERTS2 2016, 27 January 2016 - 29 January 2016 (Toulouse, France).

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

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

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. (2009) In: NOTERE 2009 - Nouvelles Technologies pour la Répartition, 29 June 2009 - 3 July 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 January 2009 - 30 January 2009 (Toulouse, 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 .

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 August 2005 - 1 September 2005 (Gatineau, Canada).

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, 113-131. ISBN 978-2-7462-3900-5

Report

Saqui-Sannes, Pierre de and Apvrille, Ludovic and Vingerhoeds, Rob A.. Early Detection of Design Errors in the Life Cycle of Unmanned Aerial Vehicles: A SysML Approach. (2018) [Report] (Unpublished)

This list was generated on Wed Oct 28 02:43:48 2020 CET.