Limei Gilham

Publication Activity (10 Years)

Years Active: 1989-2020
Publications (10 Years): 1

Top Topics

Intelligent Behavior

Information Flow

Prior Knowledge

Top Venues

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)