BibTeX records: Ben Lickly

download as .bib file

@phdthesis{DBLP:phd/basesearch/Lickly12,
  author    = {Ben Lickly},
  title     = {Static Model Analysis with Lattice-based Ontologies},
  school    = {University of California, Berkeley, {USA}},
  year      = {2012},
  url       = {http://www.escholarship.org/uc/item/2hn7w4x1},
  timestamp = {Mon, 24 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/basesearch/Lickly12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TripakisLHL11,
  author    = {Stavros Tripakis and
               Ben Lickly and
               Thomas A. Henzinger and
               Edward A. Lee},
  title     = {A Theory of Synchronous Relational Interfaces},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {33},
  number    = {4},
  pages     = {14:1--14:41},
  year      = {2011},
  url       = {https://doi.org/10.1145/1985342.1985345},
  doi       = {10.1145/1985342.1985345},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/toplas/TripakisLHL11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LicklySLL11,
  author    = {Ben Lickly and
               Charles P. Shelton and
               Elizabeth Latronico and
               Edward A. Lee},
  editor    = {Samarjit Chakraborty and
               Ahmed Jerraya and
               Sanjoy K. Baruah and
               Sebastian Fischmeister},
  title     = {A practical ontology framework for static model analysis},
  booktitle = {Proceedings of the 11th International Conference on Embedded Software,
               {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
               Taipei, Taiwan, October 9-14, 2011},
  pages     = {23--32},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2038642.2038648},
  doi       = {10.1145/2038642.2038648},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/emsoft/LicklySLL11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/TripakisLHL09,
  author    = {Stavros Tripakis and
               Ben Lickly and
               Thomas A. Henzinger and
               Edward A. Lee},
  editor    = {Samarjit Chakraborty and
               Nicolas Halbwachs},
  title     = {On relational interfaces},
  booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
               on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
               2009},
  pages     = {67--76},
  publisher = {{ACM}},
  year      = {2009},
  url       = {https://doi.org/10.1145/1629335.1629346},
  doi       = {10.1145/1629335.1629346},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/emsoft/TripakisLHL09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LeungMLLSTL09,
  author    = {Man{-}Kit Leung and
               Thomas Mandl and
               Edward A. Lee and
               Elizabeth Latronico and
               Charles P. Shelton and
               Stavros Tripakis and
               Ben Lickly},
  editor    = {Andy Sch{\"{u}}rr and
               Bran Selic},
  title     = {Scalable Semantic Annotation Using Lattice-Based Ontologies},
  booktitle = {Model Driven Engineering Languages and Systems, 12th International
               Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5795},
  pages     = {393--407},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04425-0\_31},
  doi       = {10.1007/978-3-642-04425-0\_31},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/models/LeungMLLSTL09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/LicklyLKPEL08,
  author    = {Ben Lickly and
               Isaac Liu and
               Sungjun Kim and
               Hiren D. Patel and
               Stephen A. Edwards and
               Edward A. Lee},
  editor    = {Erik R. Altman},
  title     = {Predictable programming on a precision timed architecture},
  booktitle = {Proceedings of the 2008 International Conference on Compilers, Architecture,
               and Synthesis for Embedded Systems, {CASES} 2008, Atlanta, GA, USA,
               October 19-24, 2008},
  pages     = {137--146},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1450095.1450117},
  doi       = {10.1145/1450095.1450117},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cases/LicklyLKPEL08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics