Letitia W. Li

22 papers A 2C 6Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report).
CoRR
Letitia W. Li, Denley Lam, Vu Le, Daniel Mitchell, Mark J. Gerken, Robert B. Ross
2024 C conf
Concurrent Learning of Bayesian Agents with Deep Reinforcement Learning for Operational Planning.
ICMLA
T. Scott Brandes, Letitia W. Li, Daniel Clymer, Eric C. Blair, Michael K. Miller, Marco A. Pravia
2024 J jnl
PDF Investigation With Parser Differentials and Ontology.
IEEE Trans. Inf. Forensics Secur.
Denley Lam, Letitia W. Li, Cory Anderson
2023 — conf
Parser Weakness Enumeration: Definition and Preliminary Assessment.
SecDev
Denley Lam, Letitia W. Li, Anthony Gabrielson
2023 — conf
Unsupervised clustering of file dialects according to monotonic decompositions of mixtures.
SP (Workshops)
Michael Robinson, Tate Altman, Denley Lam, Letitia W. Li
2023 J jnl
Unsupervised clustering of file dialects according to monotonic decompositions of mixtures.
CoRR
Michael Robinson, Tate Altman, Denley Lam, Letitia W. Li
2022 — conf
Capturing the iccMAX calculatorElement: A Case Study on Format Design.
SP (Workshops)
Vijay H. Kothari, Prashant Anantharaman, Sean W. Smith, Briland Hitaj, Prashanth Mundkur, Natarajan Shankar, Letitia W. Li, Iavor Diatchki, William Harris
2022 J jnl
Multi-paradigm modeling for cyber-physical systems: A systematic mapping review.
J. Syst. Softw.
Ankica Barisic, Ivan Ruchkin, Dusan Savic, Mustafa Abshir Mohamed, Rima Al Ali, Letitia W. Li, Hana Mkaouar, Raheleh Eslampanah, Moharram Challenger, Dominique Blouin, Oksana Nikiforova, Antonio Cicchetti
2022 — conf
Statistical detection of format dialects using the weighted Dowker complex.
SP (Workshops)
Michael Robinson, Cory Anderson, Letitia W. Li, Steve Huntsman
2022 J jnl
Statistical detection of format dialects using the weighted Dowker complex.
CoRR
Michael Robinson, Letitia W. Li, Cory Anderson, Steve Huntsman
2021 — conf
Accessible Formal Methods for Verified Parser Development.
SP (Workshops)
Letitia W. Li, Greg Eakman, Elias J. M. Garcia, Sam Atman
2019 A conf
Harmonizing Safety, Security and Performance Requirements in Embedded Systems.
DATE
Ludovic Apvrille, Letitia W. Li
2019 J jnl
High-level modeling of communication-centric applications: Extensions to a system-level design and virtual prototyping tool.
Microprocess. Microsystems
Daniela Genius, Ludovic Apvrille, Letitia W. Li
2018 C conf
Evolving Attacker Perspectives for Secure Embedded System Design.
MODELSWARD
Letitia W. Li, Florian Lugou, Ludovic Apvrille
2018 C conf
Multi-level Latency Evaluation with an MDE Approach.
MODELSWARD
Daniela Genius, Letitia W. Li, Ludovic Apvrille, Tullio Tanzi
2018 — —
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
2017 — conf
Formal and Virtual Multi-level Design Space Exploration.
MODELSWARD (Revised Selected Papers)
Letitia W. Li, Daniela Genius, Ludovic Apvrille
2017 C conf
Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design.
MODELSWARD
Daniela Genius, Letitia W. Li, Ludovic Apvrille
2017 — conf
Security Modeling for Embedded System Design.
GraMSec
Letitia W. Li, Florian Lugou, Ludovic Apvrille
2017 C conf
Security-aware Modeling and Analysis for HW/SW Partitioning.
MODELSWARD
Letitia W. Li, Florian Lugou, Ludovic Apvrille
2016 C conf
SysML Models and Model Transformation for Security.
MODELSWARD
Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa
2015 A conf
Hardware-assisted Memory Tracing on New SoCs Embedding FPGA Fabrics.
ACSAC
Letitia W. Li, Guillaume Duc, Renaud Pacalet