OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Laboratoire Traitement et Communication de l’Information - LTCI (Paris, France)"

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

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 .

Lasnier, Gilles and Pautet, Laurent and Hugues, Jérôme A Model-based transformation process to validate and implement high-integrity systems. (2011) In: 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing - ISORC 2011, 28-31 March 2011, Newport Beach, USA .

Lasnier, Gilles and Pautet, Laurent and Hugues, Jérôme and Wrage, Lutz An implementation of the behavior annex in the AADL-toolset Osate2. (2011) In: Sixth IEEE International workshop UML and AADL - UML&AADL'2011, 27-29 April 2011, Las Vegas, USA .

Delange, Julien and Hugues, Jérôme and Pautet, Laurent and De Niz, Diosisio A MDE-based process for the design, implementation and validation of safety critical systems. (2010) In: Proceedings of the 5th UML AADL Workshop - UML AADL 2010, 24 March 2010, Oxford, United Kingdom .

Gilles, Olivier and Hugues, Jérôme Expressing and enforcing user-defined constraints of AADL models. (2010) In: Proceedings of the 5th UML and AADL Workshop (UML and AADL 2010), 22-26 March 2010, Oxford, United Kingdom .

Gilles, Olivier and Hugues, Jérôme A MDE-based optimisation process for Real-Time systems. (2010) In: 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, 05-06 May 2010, Valencia, Spain .

This list was generated on Wed Apr 23 12:15:21 2014 CEST.