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 mentor| Edward 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 |