Predictable programming on a precision timed architecture. - Ben Lickly; Isaac Liu; Sungjun Kim; Hiren D. Patel; Stephen A. Edwards; Edward A. Lee (CASES, 2008)

Grid-enabling orbital analysis and computationally intensive applications for a growing set of diversified users. - Thomas Barr; Chris Byron; Ziyad Duron; Robert M. Keller; Ben Lickly; Carl Nygaard; Kyle Roberts; Michael AuYeung; Joseph Betser; John Coggi; Brooks Davis; Craig A. Lee; et al. (NOMS, 2008)

On relational interfaces. - Stavros Tripakis; Ben Lickly; Thomas A. Henzinger; Edward A. Lee (EMSOFT, 2009)

Scalable Semantic Annotation Using Lattice-Based Ontologies. - Man-Kit Leung; Thomas Mandl 002; Edward A. Lee; Elizabeth Latronico; Charles P. Shelton; Stavros Tripakis; Ben Lickly (MoDELS, 2009)

A practical ontology framework for static model analysis. - Ben Lickly; Charles P. Shelton; Elizabeth Latronico; Edward A. Lee (EMSOFT, 2011)

A Theory of Synchronous Relational Interfaces. - Stavros Tripakis; Ben Lickly; Thomas A. Henzinger; Edward A. Lee (ACM Trans. Program. Lang. Syst., 2011)

Static Model Analysis with Lattice-based Ontologies. - Ben Lickly (2012)