Limei Gilham

Run-Time Assurance for Learning-Based Aircraft Taxiing

Sanjai Rayadurgam, Taejoon Byun, Isaac Amundson, 2020, 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC).

Planware-domain-specific synthesis of high-performance schedulers

Douglas R. Smith, Stephen J. Westfold, Limei Gilham, 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

Vulnerabilities in Bytecode Removed by Analysis, Nuanced Confinement and Diversification (VIBRANCE)

Martin Rinard, Henny B. Sipma, Jeff H. Perkins, 2015 .

Run-Time Assurance for Learning-Enabled Systems

Sanjai Rayadurgam, Darren D. Cofer, Eric Smith, 2020, NFM.

Information Flow Analysis of Android Applications in DroidSafe

Jeff H. Perkins, Michael I. Gordon, Martin C. Rinard, 2015, NDSS.

Planware II : Synthesis of Schedulers for Complex Resource Systems

Marcel Becker, Limei Gilham, Douglas R. Smith, 2003 .