Limei Gilham

According to our database, Limei Gilham authored at least 4 papers between 1989 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Run-Time Assurance for Learning-Enabled Systems.

Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2015

Information Flow Analysis of Android Applications in DroidSafe.

Michael I. Gordon, Deokhwan Kim, Jeff H. Perkins, Limei Gilham, Nguyen Nguyen, Martin C. Rinard

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

1998

Planware - Domain-Specific Synthesis of High-Performance Schedulers.

Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1989

Toward reliable reactive systems.

Limei Gilham, Allen Goldberg, Tie-Cheng Wang

Proceedings of the 5th International Workshop on Software Specification and Design, 1989