LabSoc - Publications

Click on the arrow to open the search options

Optionnal
informations sur la saisie
informations sur la saisie
informations sur la saisie
informations sur la saisie
informations sur la saisie
informations sur la saisie

Click on the + icon to open each results.

Journal papers and books/book chapters - 2015 and 2014

4 Publications found for this search

Radio science for humanity

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

Author(s) : T. J. Tanzi and M. Chandra

Drone-borne GPR design: Propagation issues

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

Author(s) : M. Chandra and T. J. Tanzi

Framework for the Formal Specification and Verification of Security Guidelines

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

Author(s) : Z. Zhioua, R. Ameur-Boulifa and Y. Roudier

link 

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

Author(s) : L. W. Li, D. Genius and L. Apvrille

pdf  link 

Conferences and workshops - 2015 and 2014

9 Publications found for this search

SysML model transformation for safety and security analysis

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

Author(s) : R. Ameur-Boulifa, F. Lugou and 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, July 2018.

Author(s) : D. Genius and L. Apvrille

Early Checking of SysML Models Applied to Protocols

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

Author(s) : P. De Saqui-Sannes, R. VINGERHOEDS and 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, May 2018.

Author(s) : M. Chandra and T. J. Tanzi

Modeling Heterogeneous Embedded Systems with TTool

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

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

Autonomous system for data collection: from signal to information

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

Author(s) : T. J. Tanzi and J. Isnard

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

MODELSWARD 2018, Funchal Madeira, Portugal, January 2018

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

pdf 

Evolving Attacker Perspectives for Secure Embedded System Design

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

Author(s) : L. W. Li, F. Lugou and L. Apvrille

pdf 

Multi-level Latency Evaluation with an MDE Approach

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

Author(s) : D. Genius, L. W. Li, L. Apvrille and T. J. Tanzi

pdf 

PhD Thesis and habilitations (HDR) - 2015 and 2014

No publications found

Patents - 2015 and 2014

No publications found

Others - 2015 and 2014

No publications found
Image return top of page