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

7 Publications trouvées pour cette recherche

Communications in Computer and Information Science, Model-Driven Engineering and Software Development

Springer, 2019, chap. "Model-Based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC, pp. 56_81

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

pdf 

ANALYSE D’UN PROBLÈME POSÉ PAR INTEL SGX : LA COMMUNICATION SÉCURISÉE ENTRE UNE ENCLAVE ET UN PÉRIPHÉRIQUE

MISC Multi-System & Internet Cookbook, Novembre 2018, n° 101, pp. 74--82.

Auteur(s) : F. Lugou et L. Apvrille

La programmation orientée modèles au service des télécommunications mobiles

Programmez! , Novembre 2018, pp. 36-44.

Auteur(s) : A. Enrici, L. Apvrille, R. Pacalet et L. Roullet

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

14 Publications trouvées pour cette recherche

A Tool for High-Level Modeling of Analog/Mixed Signal Embedded Systems

7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS), Prague, Czech Republic, Février 2019.

Auteur(s) : D. Genius, R. Cortés Porto, L. Apvrille et F. Pêcheux

Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-Software Systems

7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS), Prague, Czech Republic, Février 2019.

Auteur(s) : A. Enrici, L. Apvrille et R. Pacalet

Meta-models Combination for Reusing Verification Techniques

7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS), Prague, Czech Republic, Février 2019.

Auteur(s) : H. Zhao, L. Apvrille et F. Mallet

Test Sequence Generation From Formally Verified SysML Models

1st Workshop on Avionics Systems and Software Engineering (AvioSE'2019), Stuttgartn Germany, Février 2019

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

pdf 

Modeling and Virtual Prototyping for Embedded Systems on Mixed-Signal Multicores

11th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Valencia, Spain, Janvier 2019.

Auteur(s) : R. C. Porto, D. Genius et L. Apvrille

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