Ben Lickly

According to our database, Ben Lickly authored at least 7 papers between 2008 and 2012.

Collaborative distances:

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

2012

Static Model Analysis with Lattice-based Ontologies.

Ben Lickly

PhD thesis, 2012

2011

A Theory of Synchronous Relational Interfaces.

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee

ACM Trans. Program. Lang. Syst., 2011

A practical ontology framework for static model analysis.

Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee

Proceedings of the 11th International Conference on Embedded Software, 2011

2009

Scalable Semantic Annotation Using Lattice-Based Ontologies.

Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly

Proceedings of the Model Driven Engineering Languages and Systems, 2009

On relational interfaces.

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

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, Dave Stodden, Mark Thomas

Proceedings of the IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, 2008

Predictable programming on a precision timed architecture.

Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards, Edward A. Lee

Proceedings of the 2008 International Conference on Compilers, 2008