% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-07-04
% Creation time: 13-28-30
% --- 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}
}

@Proceedings { 2017-SymPerfPoster,
   title = {SymPerf: Predicting Network Function Performance},
   year = {2017},
   month = {8},
   day = {21},
   tags = {spp,erc,symbiosys,reflexes},
   url = {https://www.comsys.rwth-aachen.de/fileadmin/papers/2017/2017-rath-sym-perf-poster.pdf},
   publisher = {ACM},
   event_place = {Los Angeles, USA},
   event_name = {ACM SIGCOMM 2017 Poster},
   event_date = {21.8.2017 - 25.8.2017},
   language = {en},
   ISBN = {978-1-4503-5057-0/17/08},
   DOI = {10.1145/3123878.3131977},
   reviewed = {1},
   author = {Rath, Felix and Krude, Johannes and R{\"u}th, Jan and Schemmel, Daniel and Hohlfeld, Oliver and Bitsch Link, J{\'o} Agila and Wehrle, Klaus}
}