OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Institut Eurécom (FRANCE)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 9.

Aguilar-Melchor, Carlos and Deneuville, Jean-Christophe and Dion, Arnaud and Howe, James and Malmain, Romain and Migliore, Vincent and Nawan, Mamuri and Nawaz, Kashif Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC. (2022) In: International Workshop on Code-Based Cryptography, CBCrypto 2022, 29 May 2022 - 30 May 2022 (Trondheim, Norway).

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

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 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, 23 June 2008 - 27 June 2008 (Lyon, France).

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

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

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

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

This list was generated on Sun Jun 16 01:04:11 2024 CEST.