% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-04-20
% Creation time: 08-04-56
% --- Number of references
% 2
% 

@Inproceedings { 2017-liew-schemmel-fp,
   title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming},
   year = {2017},
   month = {10},
   day = {30},
   tags = {symbiosys},
   url = {file:1848},
   booktitle = {Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering},
   event_place = {Urbana-Champaign, IL, USA},
   language = {en},
   ISBN = {978-1-5386-2684-9/17},
   reviewed = {1},
   author = {Liew, Daniel and Schemmel, Daniel and Cadar, Cristian and Donaldson, Alastair and Z{\"a}hl, Rafael and Wehrle, Klaus}
}

@Inproceedings { 2017-wirtz-zimmermann-percom-etc,
   title = {Encrypting Data to Pervasive Contexts},
   year = {2017},
   month = {3},
   day = {13},
   url = {https://www.comsys.rwth-aachen.de/fileadmin/papers/2017/2017-wirtz-zimmermann-percom-etc.pdf},
   misc2 = {Online},
   publisher = {IEEE},
   booktitle = {Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications (PerCom), Kona, Big Island, HI, USA},
   language = {en},
   ISBN = {978-1-5090-4328-6},
   DOI = {10.1109/PERCOM.2017.7917877},
   reviewed = {1},
   author = {Wirtz, Hanno and Zimmermann, Torsten and Ceriotti, Matteo and Wehrle, Klaus}
}