Ben Lickly, Ph.D.
Affiliations: | 2012 | Electrical Engineering & Computer Sciences | University of California, Berkeley, Berkeley, CA, United States |
Area:
Embedded Software, Real-Time Systems, Cyber-Physical Systems, Concurrency; Design, Modeling and Analysis (DMA); Programming Systems (PS); Signal Processing (SP)Google:
"Ben Lickly"Parents
Sign in to add mentorEdward A. Lee | grad student | 2012 | UC Berkeley | |
(Static Model Analysis with Lattice-based Ontologies.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Lickly B, Shelton C, Latronico E, et al. (2011) A practical ontology framework for static model analysis Embedded Systems Week 2011, Esweek 2011 - Proceedings of the 9th Acm International Conference On Embedded Software, Emsoft'11. 23-32 |
Tripakis S, Lickly B, Henzinger TA, et al. (2011) A theory of synchronous relational interfaces Acm Transactions On Programming Languages and Systems. 33 |
Tripakis S, Lickly B, Henzinger TA, et al. (2009) On relational interfaces Embedded Systems Week 2009 - Proceedings of the 7th Acm International Conference On Embedded Software, Emsoft '09. 67-76 |
Leung MK, Mandl T, Lee EA, et al. (2009) Scalable semantic annotation using lattice-based ontologies Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5795: 393-407 |
Lickly B, Liu I, Patel HD, et al. (2008) Predictable Programming on a precision timed architecture Embedded Systems Week 2008 - Proceedings of the 2008 International Conference On Compilers, Architecture and Synthesis For Embedded Systems, Cases'08. 137-146 |
Barr T, Byron C, Duron Z, et al. (2008) Grid-enabling orbital analysis and computationally intensive applications for a growing set of diversified users Noms 2008 - Ieee/Ifip Network Operations and Management Symposium: Pervasive Management For Ubiquitous Networks and Services. 615-629 |