Letitia W. Li

发表

Evolving Attacker Perspectives for Secure Embedded System Design

Florian Lugou, Ludovic Apvrille, Letitia W. Li, 2018, MODELSWARD.

Security Modeling for Embedded System Design

Florian Lugou, Ludovic Apvrille, Letitia W. Li, 2017, GraMSec@CSF.

High-level modeling of communication-centric applications: Extensions to a system-level design and virtual prototyping tool

Ludovic Apvrille, Letitia W. Li, Daniela Genius, 2019, Microprocess. Microsystems.

Multi-level Latency Evaluation with an MDE Approach

Ludovic Apvrille, Letitia W. Li, Daniela Genius, 2018, MODELSWARD.

Formal and Virtual Multi-level Design Space Exploration

Ludovic Apvrille, Letitia W. Li, Daniela Genius, 2017, MODELSWARD.

SysML models and model transformation for security

Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille, 2016, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Design and Verification of Secure Autonomous Vehicles

Ludovic Apvrille, Annie Bracquemond, Letitia W. Li, 2017 .

Hardware-assisted Memory Tracing on New SoCs Embedding FPGA Fabrics

Renaud Pacalet, Guillaume Duc, Letitia W. Li, 2015, ACSAC.

Safe and secure model-driven design for embedded systems. (Approche orientée modèles pour la sûreté et la sécurité des systèmes embarqués)

Letitia W. Li, Letitia W. Li, 2018 .

Switching circuit energy balance in iLabs on experimental lab server architecture

Letitia W. Li, 2015 .

Security-aware Modeling and Analysis for HW/SW Partitioning

Florian Lugou, Ludovic Apvrille, Letitia W. Li, 2017, MODELSWARD.

Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design

Ludovic Apvrille, Letitia W. Li, Daniela Genius, 2017, MODELSWARD.

Harmonizing Safety, Security and Performance Requirements in Embedded Systems

Ludovic Apvrille, Letitia W. Li, Letitia W. Li, 2019, Design, Automation and Test in Europe.

Safe and Secure Support for Public Safety Networks

Ludovic Apvrille, Letitia W. Li, 2017 .