LabSoc - Publications

Cliquez sur la flêche pour afficher les options de recherche puis cliquez sur un + pour ouvrir les résultats

Optionnel
informations sur la saisie
informations sur la saisie
informations sur la saisie
informations sur la saisie
informations sur la saisie
informations sur la saisie

Cliquez sur le + pour ouvrir et visualiser les résultats de recherche

Articles de revues et ouvrages - 2015 et 2014

4 Publications trouvées pour cette recherche

Radio science for humanity

Comptes Rendus Physique, Mars 2018, vol. 19, n° 1-2, pp. 1-6.

Auteur(s) : T. J. Tanzi et M. Chandra

Drone-borne GPR design: Propagation issues

Comptes Rendus Physique, Mars 2018, vol. 19, n° 1-2, pp. 72-84.

Auteur(s) : M. Chandra et T. J. Tanzi

Framework for the Formal Specification and Verification of Security Guidelines

Advances in Science, Technology and Engineering Systems Journal, Janvier 2018, vol. 3, n° 3, pp. 38-48

Auteur(s) : Z. Zhioua, R. Ameur-Boulifa et Y. Roudier

lien 

Formal and Virtual Multi-level Design Space Exploration

in Model-Driven Engineering and Software Development, Luis Pires, Slimane Hammoudi, Bran Selic,, Springer International Publishing, 2018, pp. 47-72

Auteur(s) : L. W. Li, D. Genius et L. Apvrille

pdf  lien 

Colloques - 2015 et 2014

9 Publications trouvées pour cette recherche

SysML model transformation for safety and security analysis

ISSA 2018 : International workshop on Interplay of Security, Safety and System/Software, Bercelona, Spain, Septembre 2018

Auteur(s) : R. Ameur-Boulifa, F. Lugou et L. Apvrille

pdf 

System-Level Design and Virtual Prototyping of a Telecommunication Application on a NUMA Platform

13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), Lille, France, Juillet 2018.

Auteur(s) : D. Genius et L. Apvrille

Early Checking of SysML Models Applied to Protocols

12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), Toulouse, France, Juin 2018

Auteur(s) : P. De Saqui-Sannes, R. VINGERHOEDS et L. Apvrille

pdf 

On the Design of a side-looking Drone-borne GPR and its Physical Basis

URSI. AT-RASC 2018. Second URSI Atlantic Radio Science Meeting - 2018. , Gran Canarian, Spain, Mai 2018.

Auteur(s) : M. Chandra et T. J. Tanzi

Modeling Heterogeneous Embedded Systems with TTool

5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe'2018), Dresden, Germany, Mars 2018.

Auteur(s) : D. Genius, M.-M. Louërat, F. Pêcheux, L. Apvrille et H. Stratigopoulos

Autonomous system for data collection: from signal to information

Jourenées scientifiqsues URSI France JS'18, Meudon, France, Mars 2018.

Auteur(s) : T. J. Tanzi et J. Isnard

A Model Compilation Approach for Optimized Implementations of Signal-Processing Systems

MODELSWARD 2018, Funchal Madeira, Portugal, Janvier 2018

Auteur(s) : A. Enrici, J. Lallet, I. Latif, L. Apvrille, R. Pacalet et A. Canuel

pdf 

Evolving Attacker Perspectives for Secure Embedded System Design

6th International Conference on Model-Driven Engineering and Software Development (Modelsward), Funchal, Portugal, Janvier 2018

Auteur(s) : L. W. Li, F. Lugou et L. Apvrille

pdf 

Multi-level Latency Evaluation with an MDE Approach

6th International Conference on Model-Driven Engineering and Software Development (Modelsward), Funchal, Portugal, Janvier 2018

Auteur(s) : D. Genius, L. W. Li, L. Apvrille et T. J. Tanzi

pdf 

Thèses et HDR - 2015 et 2014

Pas de résultats

Brevets - 2015 et 2014

Pas de résultats

Autres - 2015 et 2014

Pas de résultats
Image Retour haut de page