Ben Lickly

Predictable programming on a precision timed architecture

Stephen A. Edwards, Edward A. Lee, Hiren D. Patel, 2008, CASES '08.

A practical ontology framework for static model analysis

Edward A. Lee, Charles P. Shelton, Elizabeth Latronico, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

On relational interfaces

Edward A. Lee, Thomas A. Henzinger, Stavros Tripakis, 2009, EMSOFT '09.

Scalable Semantic Annotation Using Lattice-Based Ontologies

Edward A. Lee, Charles P. Shelton, Stavros Tripakis, 2009, MoDELS.

Static Model Analysis with Lattice-based Ontologies

Ben Lickly, Ben Lickly, 2012 .

A Timing Requirements-Aware Scratchpad Memory Allocation Scheme for a Precision Timed Architecture

Edward A. Lee, Hiren D. Patel, Ben Lickly, 2008 .

A Theory of Synchronous Relational Interfaces

Edward A. Lee, Thomas A. Henzinger, Stavros Tripakis, 2011, TOPL.

Poster Abstract : Timing Instructions – ISA Extensions for Timing Guarantees

Edward A. Lee, Hiren D. Patel, Ben Lickly, 2009 .