BibTeX records: Hermann Lehner

• > Home > Persons > Hermann Lehner

@inproceedings{DBLP:conf/cogsci/HalbherrLK19,
  author       = {Tobias Halbherr and
                  Hermann Lehner and
                  Manu Kapur},
  editor       = {Ashok K. Goel and
                  Colleen M. Seifert and
                  Christian Freksa},
  title        = {Resource-Rich versus Resource-Poor Assessment in Introductory Computer
                  Science and its Implications on Models of Cognition: An in-Class Experimental
                  Study},
  booktitle    = {Proceedings of the 41th Annual Meeting of the Cognitive Science Society,
                  CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada,
                  July 24-27, 2019},
  pages        = {1873--1979},
  publisher    = {cognitivesciencesociety.org},
  year         = {2019},
  url          = {https://mindmodeling.org/cogsci2019/papers/0331/index.html},
  timestamp    = {Wed, 17 Apr 2024 12:43:09 +0200},
  biburl       = {https://dblp.org/rec/conf/cogsci/HalbherrLK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Lehner11,
  author       = {Hermann Lehner},
  title        = {A formal definition of {JML} in Coq and its application to runtime
                  assertion checking},
  school       = {{ETH} Zurich, Z{\"{u}}rich, Switzerland},
  year         = {2011},
  url          = {https://hdl.handle.net/20.500.11850/44276},
  doi          = {10.3929/ETHZ-A-006680049},
  timestamp    = {Mon, 02 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Lehner11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/LehnerM10,
  author       = {Hermann Lehner and
                  Peter M{\"{u}}ller},
  editor       = {David S. Rosenblum and
                  Gabriele Taentzer},
  title        = {Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups},
  booktitle    = {Fundamental Approaches to Software Engineering, 13th International
                  Conference, {FASE} 2010, Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
                  March 20-28, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6013},
  pages        = {338--352},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-12029-9\_24},
  doi          = {10.1007/978-3-642-12029-9\_24},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/LehnerM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LehnerM07,
  author       = {Hermann Lehner and
                  Peter M{\"{u}}ller},
  editor       = {Marieke Huisman and
                  Fausto Spoto},
  title        = {Formal Translation of Bytecode into BoogiePL},
  booktitle    = {Proceedings of the Second Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal,
                  March 31, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {1},
  pages        = {35--50},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.059},
  doi          = {10.1016/J.ENTCS.2007.02.059},
  timestamp    = {Tue, 31 Jan 2023 15:42:47 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LehnerM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}