% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-04-23
% Creation time: 12-10-10
% --- Number of references
% 3
% 

@Inproceedings { 2018-soria-dustmann-parti,
   title = {PARTI: A Multi-interval Theory Solver for Symbolic Execution},
   year = {2018},
   month = {9},
   tags = {symbiosys},
   url = {file:2195},
   booktitle = {Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18)},
   DOI = {10.1145/3238147.3238179},
   reviewed = {1},
   author = {Soria Dustmann, Oscar and Wehrle, Klaus and Cadar, Cristian}
}

@Inproceedings { 2018-rueth-reflexnetcompute,
   title = {Towards In-Network Industrial Feedback Control},
   year = {2018},
   month = {8},
   day = {20},
   tags = {reflexes},
   url = {https://www.comsys.rwth-aachen.de/fileadmin/papers/2018/2018-rueth-reflexnetcompute.pdf},
   publisher = {ACM},
   booktitle = {Proceedings of the ACM SIGCOMM 2018 1st Workshop on In-Network Computing (NetCompute '18)},
   event_place = {Budapest, Hungary},
   event_name = {ACM SIGCOMM 2018 1st Workshop on In-Network Computing (NetCompute 2018)},
   event_date = {20.08.2018},
   DOI = {10.1145/3229591.3229592},
   reviewed = {1},
   author = {R{\"u}th, Jan and Glebke, Ren{\'e} and Wehrle, Klaus and Causevic, Vedad and Hirche, Sandra}
}

@Article { 2018-scheitle-ccr-caa,
   title = {A First Look at Certification Authority Authorization (CAA)},
   journal = {ACM SIGCOMM Computer Communications Review (CCR)},
   year = {2018},
   month = {4},
   volume = {48},
   pages = {10-23},
   note = {https://www.net.in.tum.de/fileadmin/bibtex/publications/papers/caa17.pdf},
   tags = {internet-measurements},
   url = {https://ccronline.sigcomm.org/wp-content/uploads/2018/05/sigcomm-ccr-final163.pdf},
   web_url = {https://ccronline.sigcomm.org/2018/a-first-look-at-certification-authority-authorization-caa/},
   web_url_date = {2018-06-05},
   DOI = {10.1145/3213232.3213235},
   reviewed = {1},
   author = {Scheitle, Quirin and Chung, Taejoong and Hiller, Jens and Gasser, Oliver and Naab, Johannes and van Rijswijk-Deij, Roland and Hohlfeld, Oliver and Holz, Ralph and Choffnes, Dave and Mislove, Alan and Carle, Georg}
}