% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: UTC
% Creation date: 2024-11-21
% Creation time: 13-25-01
% --- Number of references
% 12
% 

@Inproceedings { 2023-schemmel-kdalloc-tool,
   title = {KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay},
   year = {2023},
   month = {7},
   day = {13},
   url = {https://dl.acm.org/doi/pdf/10.1145/3597926.3604921},
   booktitle = {ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)},
   DOI = {10.1145/3597926.3604921},
   reviewed = {1},
   author = {Schemmel, Daniel and B{\"u}ning, Julian and Busse, Frank and Nowack, Martin and Cadar, Cristian}
}

@Inproceedings { 2022-schemmel-kdalloc,
   title = {A Deterministic Memory Allocator for Dynamic Symbolic Execution},
   year = {2022},
   month = {6},
   tags = {safe},
   url = {https://drops.dagstuhl.de/opus/volltexte/2022/16237/pdf/LIPIcs-ECOOP-2022-9.pdf},
   booktitle = {European Conference on Object-Oriented Programming (ECOOP 2022)},
   DOI = {10.4230/LIPIcs.ECOOP.2022.9},
   reviewed = {1},
   author = {Schemmel, Daniel and B{\"u}ning, Julian and Busse, Frank and Nowack, Martin and Cadar, Cristian}
}

@Inproceedings { 2021-krude-nfp-pred,
   title = {Determination of Throughput Guarantees for Processor-based SmartNICs},
   year = {2021},
   month = {12},
   day = {7},
   tags = {maki},
   url = {https://www.comsys.rwth-aachen.de/fileadmin/papers/2021/2021-krude-nfp-pred.pdf},
   publisher = {ACM},
   booktitle = {The 17th International Conference on emerging Networking EXperiments and Technologies (CoNEXT '21)},
   ISBN = {978-1-4503-9098-9/21/12},
   DOI = {10.1145/3485983.3494842},
   reviewed = {1},
   author = {Krude, Johannes and R{\"u}th, Jan and Schemmel, Daniel and Rath, Felix and Folbort, Iohannes-Heorh and Wehrle, Klaus}
}

@Inproceedings { 2020-schemmel-porse,
   title = {Symbolic Partial-Order Execution for Testing Multi-Threaded Programs},
   year = {2020},
   month = {7},
   tags = {symbiosys},
   url = {https://arxiv.org/pdf/2005.06688.pdf},
   web_url2 = {https://arxiv.org/abs/2005.06688},
   booktitle = {Computer Aided Verification (CAV 2020)},
   event_name = {32nd International Conference on Computer Aided Verification},
   DOI = {10.1007/978-3-030-53288-8_18},
   reviewed = {1},
   author = {Schemmel, Daniel and B{\"u}ning, Julian and Rodr{\'i}guez, C{\'e}sar and Laprell, David and Wehrle, Klaus}
}

@Proceedings { 2018-QuicTesting,
   title = {Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution},
   year = {2018},
   month = {12},
   day = {4},
   tags = {erc,symbiosys},
   url = {https://www.comsys.rwth-aachen.de/fileadmin/papers/2018/2018-rath-quictesting.pdf},
   web_url = {https://dl.acm.org/citation.cfm?id=3284853},
   web_url2 = {https://arxiv.org/abs/1811.12099},
   publisher = {ACM},
   event_place = {Heraklion, Greece},
   event_name = {EPIQ'18 Workshop Paper},
   event_date = {4.12.2018},
   language = {en},
   ISBN = {978-1-4503-6082-1},
   DOI = {10.1145/3284850.3284853},
   reviewed = {1},
   author = {Rath, Felix and Schemmel, Daniel and Wehrle, Klaus}
}

@Article { 2018-stoffers-on-automated-memoization,
   title = {On Automated Memoization in the Field of Simulation Parameter Studies},
   journal = {ACM Transactions on Modeling and Computer Simulation (TOMACS)},
   year = {2018},
   month = {10},
   volume = {28},
   number = {4},
   number2 = {Article 26},
   pages = {26:1-26:25},
   tags = {memosim,symbiosys},
   url = {file:2213},
   DOI = {10.1145/3186316},
   reviewed = {1},
   author = {Stoffers, Mirko and Schemmel, Daniel and Soria Dustmann, Oscar and Wehrle, Klaus}
}

@Inproceedings { 2018-cav-schemmel-liveness,
   title = {Symbolic Liveness Analysis of Real-World Software},
   year = {2018},
   month = {7},
   day = {14},
   tags = {symbiosys},
   url = {https://www.comsys.rwth-aachen.de/fileadmin/papers/2018/2018-schemmel-symbolic-liveness-analysis-of-real-world-software.pdf},
   booktitle = {Computer Aided Verification (CAV 2018)},
   event_place = {Oxford, Great Britain},
   event_name = {30th International Conference on Computer Aided Verification},
   event_date = {2018-07-14 to 2018-07-17},
   language = {en},
   DOI = {10.1007/978-3-319-96142-2_27},
   reviewed = {1},
   author = {Schemmel, Daniel and B{\"u}ning, Julian and Soria Dustmann, Oscar and Noll, Thomas and Wehrle, Klaus}
}

@Inproceedings { 2018-cpsbench-schemmel-equiv,
   title = {Towards Benchmark Optimization by Automated Equivalence Detection},
   year = {2018},
   month = {4},
   day = {10},
   tags = {symbiosys,reflexes},
   url = {file:2196},
   booktitle = {Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18)},
   event_place = {Porto, Portugal},
   event_name = {1st Workshop on Benchmarking Cyber-Physical Networks and Systems},
   event_date = {2018-04-10},
   ISBN = {978-1-5386-6742-2},
   DOI = {10.1109/CPSBench.2018.00011},
   reviewed = {1},
   author = {Schemmel, Daniel and Glebke, Ren{\'e} and Stoffers, Mirko and Wehrle, Klaus}
}

@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}
}

@Inproceedings { 2016-stoffers-pads-memo,
   title = {Automated Memoization for Parameter Studies Implemented in Impure Languages},
   year = {2016},
   month = {5},
   day = {15},
   pages = {221-232},
   note = {Best Paper Award},
   keywords = {Automatic Memoization; Accelerating Parameter Studies;
Impure Languages},
   tags = {memosim,symbiosys},
   url = {http://www.comsys.rwth-aachen.de/fileadmin/papers/2016/2016-stoffers-pads-memoization.pdf},
   misc2 = {Online},
   publisher = {ACM},
   address = {New York, NY},
   booktitle = {Proceedings of the 4th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’16), Banff, AB, Canada},
   event_place = {Banff, AB, Canada},
   language = {en},
   DOI = {10.1145/2901378.2901386},
   reviewed = {1},
   author = {Stoffers, Mirko and Schemmel, Daniel and Soria Dustmann, Oscar and Wehrle, Klaus}
}

@Inproceedings { 2012-kunz-pads-gpu,
   title = {Multi-level Parallelism for Time- and Cost-efficient Parallel Discrete Event Simulation on GPUs},
   year = {2012},
   month = {7},
   day = {20},
   pages = {23--32},
   tags = {horizon},
   url = {https://www.comsys.rwth-aachen.de/fileadmin/papers/2012/2012-kunz-pads-gpu.pdf},
   misc2 = {Print},
   publisher = {IEEE},
   booktitle = {Proceedings of the 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS'12), Zhangjiajie, China},
   language = {en},
   ISBN = {978-0-7695-4714-5},
   ISSN = {1087-4097},
   DOI = {10.1109/PADS.2012.27},
   reviewed = {1},
   author = {Kunz, Georg and Schemmel, Daniel and Gross, James and Wehrle, Klaus}
}