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

7 Publications found for this search

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

Author(s) : A. Enrici, J. Lallet, R. Pacalet, L. Apvrille, K. Desnos and 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, November 2018, n° 101, pp. 74--82.

Author(s) : F. Lugou and L. Apvrille

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

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

Author(s) : A. Enrici, L. Apvrille, R. Pacalet and L. Roullet

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

14 Publications found for this search

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, February 2019.

Author(s) : D. Genius, R. Cortés Porto, L. Apvrille and 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, February 2019.

Author(s) : A. Enrici, L. Apvrille and R. Pacalet

Meta-models Combination for Reusing Verification Techniques

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

Author(s) : H. Zhao, L. Apvrille and F. Mallet

Test Sequence Generation From Formally Verified SysML Models

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

Author(s) : P. De Saqui-Sannes and 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, January 2019.

Author(s) : R. C. Porto, D. Genius and L. Apvrille

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