BibTeX records: Jacek Galowicz

download as .bib file

@inproceedings{DBLP:conf/fm/BeckerCGHHKNSTT16,
  author    = {Hanno Becker and
               Juan Manuel Crespo and
               Jacek Galowicz and
               Ulrich Hensel and
               Yoichi Hirai and
               C{\'{e}}sar Kunz and
               Keiko Nakata and
               Jorge Luis Sacchini and
               Hendrik Tews and
               Thomas Tuerk},
  editor    = {John S. Fitzgerald and
               Constance L. Heitmeyer and
               Stefania Gnesi and
               Anna Philippou},
  title     = {Combining Mechanized Proofs and Model-Based Testing in the Formal
               Analysis of a Hypervisor},
  booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
               Cyprus, November 9-11, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9995},
  pages     = {69--84},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-48989-6\_5},
  doi       = {10.1007/978-3-319-48989-6\_5},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/BeckerCGHHKNSTT16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/marc/RebleGLB12,
  author    = {Pablo Reble and
               Jacek Galowicz and
               Stefan Lankes and
               Thomas Bemmerl},
  title     = {Efficient Implementation of the bare-metal Hypervisor MetalSVM for
               the {SCC}},
  booktitle = {6th Many-core Applications Research Community {(MARC)} Symposium.
               Proceedings of the 6th {MARC} Symposium, 19-20 July 2012, Toulouse,
               France},
  pages     = {59--65},
  publisher = {ONERA, The French Aerospace Lab},
  year      = {2012},
  url       = {http://hal.archives-ouvertes.fr/hal-00719037},
  timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/marc/RebleGLB12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics