Follow
Letitia W. Li
Letitia W. Li
FAST Labs, BAE Systems
Verified email at baesystems.com
Title
Cited by
Cited by
Year
Multi-paradigm modeling for cyber-physical systems: A systematic mapping review
A Barišić, I Ruchkin, D Savić, MA Mohamed, R Al-Ali, LW Li, H Mkaouar, ...
Journal of Systems and Software, 111081, 2021
282021
SysML Models and Model Transformation for Security
F Lugou, LW Li, L Apvrille, R Ameur-Boulifa
Modelsward 2016, 2016
272016
Model-Driven Engineering for Designing Safe and Secure Embedded Systems
L Apvrille, L Li, Y Roudier
Architecture-Centric Virtual Integration (ACVI), 2016, 4-7, 2016
212016
Security-Aware Modeling and Analysis for HW/SW Partitioning
LW Li, F Lugou, L Apvrille
Modelsward 2017, 2017
172017
Experiment lab server architecture: A web services approach to supporting interactive LabVIEW-based remote experiments under MIT's iLab shared architecture
LA Mendes, L Li, PH Bailey, KR DeLong, JA del Alamo
2016 13th International Conference on Remote Engineering and Virtual …, 2016
172016
Harmonizing safety, security and performance requirements in embedded systems
L Apvrille, LW Li
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
162019
Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design
D Genius, L Li, L Apvrille
5th International Conference on Model-Driven Engineering and Software …, 2017
162017
Safe and secure model-driven design for embedded systems
L Li
Université Paris-Saclay, 2018
122018
Hardware-assisted Memory Tracing on New SoCs Embedding FPGA Fabrics
LW Li, G Duc, R Pacalet
Proceedings of the 31st Annual Computer Security Applications Conference …, 2015
122015
Multi-level Latency Evaluation with an MDE Approach
D Genius, LW Li, L Apvrille, T Tanzi
6th International Conference on Model-Driven Rngineering and Software …, 2018
102018
Security Modeling for Embedded System Design
LW Li, F Lugou, L Apvrille
International Workshop on Graphical Models for Security, 99-106, 2017
82017
Design and verification of secure autonomous vehicles
L Apvrille, LW Li, A Bracquemond
12th European ITS Congress, 2017
72017
Virtual Prototyping of Automotive Systems: Towards Multi-level Design Space Exploration
L Li, L Apvrille, D Genius
Conference on Design and Architectures for Signal and Image Processing, 2016
72016
Formal and Virtual Multi-level Design Space Exploration
LW Li, D Genius, L Apvrille
International Conference on Model-Driven Engineering and Software …, 2017
62017
Safe and Secure Support for Public Safety Networks
L Apvrille, LW Li
Wireless Public Safety Networks 3, 185-210, 2017
62017
Statistical detection of format dialects using the weighted Dowker complex
M Robinson, C Anderson, LW Li, S Huntsman
2022 IEEE Security and Privacy Workshops (SPW), 98-112, 2022
42022
Capturing the iccMAX calculatorElement: A Case Study on Format Design
VH Kothari, P Anantharaman, SW Smith, B Hitaj, P Mundkur, N Shankar, ...
2022 IEEE Security and Privacy Workshops (SPW), 176-197, 2022
32022
Approche orientée modèles pour la sûreté et la sécurité des systèmes embarqués
L Li
Paris Saclay, 2018
32018
A tutorial on ttool
A Enrici, L Li, L Apvrille, D Blouin
DIPLODOCUS: an Open-source Toolkit for the Design of Data-flow Embedded Systems, 2018
32018
Evolving Attacker Perspectives for Secure Embedded System Design.
LW Li, F Lugou, L Apvrille
MODELSWARD, 287-294, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20