Ben Lickly

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
A Theory of Synchronous Relational Interfaces. ACM Trans. Program. Lang. Syst. 33 (4) (2011)
Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee
A practical ontology framework for static model analysis. EMSOFT (2011)
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
On relational interfaces. EMSOFT (2009)
Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly
Scalable Semantic Annotation Using Lattice-Based Ontologies. MoDELS (2009)
Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards, Edward A. Lee
Predictable programming on a precision timed architecture. CASES (2008)