Login / Signup
Limei Gilham
Publication Activity (10 Years)
Years Active: 1989-2020
Publications (10 Years): 1
Top Topics
Intelligent Behavior
Information Flow
Prior Knowledge
Flow Analysis
Top Venues
NDSS
NFM
</>
Publications
</>
Darren D. Cofer
,
Isaac Amundson
,
Ramachandra Sattigeri
,
Arjun Passi
,
Christopher Boggs
,
Eric Smith
,
Limei Gilham
,
Taejoon Byun
,
Sanjai Rayadurgam
Run-Time Assurance for Learning-Enabled Systems.
NFM
(2020)
Michael I. Gordon
,
Deokhwan Kim
,
Jeff H. Perkins
,
Limei Gilham
,
Nguyen Nguyen
,
Martin C. Rinard
Information Flow Analysis of Android Applications in DroidSafe.
NDSS
(2015)
Lee Blaine
,
Limei Gilham
,
Junbo Liu
,
Douglas R. Smith
,
Stephen J. Westfold
Planware - Domain-Specific Synthesis of High-Performance Schedulers.
ASE
(1998)
Limei Gilham
,
Allen Goldberg
,
Tie-Cheng Wang
Toward reliable reactive systems.
IWSSD
(1989)