% % This file was created by the TYPO3 extension % bib % --- Timezone: UTC % Creation date: 2024-12-06 % Creation time: 00-39-07 % --- Number of references % 11 % @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-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-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} } @Inproceedings { 2017-stoffers-dsrt-memo-ident, title = {Automated Memoization: Automatically Identifying Memoization Units in Simulation Parameter Studies}, year = {2017}, month = {10}, day = {18}, pages = {33-42}, keywords = {Automatic Memoization; Accelerating Parameter Studies; Performance Prediction}, tags = {memosim,symbiosys}, url = {http://www.comsys.rwth-aachen.de/fileadmin/papers/2017/2017-stoffers-dsrt-memo-ident.pdf}, misc2 = {Online}, publisher = {IEEE}, booktitle = {Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017), Rome, Italy}, event_place = {Rome, Italy}, language = {en}, DOI = {10.1109/DISTRA.2017.8167664}, reviewed = {1}, author = {Stoffers, Mirko and Bettermann, Ralf 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 { 2017-serror-pads-cows, title = {Code-transparent Discrete Event Simulation for Time-accurate Wireless Prototyping}, year = {2017}, month = {5}, day = {24}, tags = {memosim,symbiosys}, url = {https://www.comsys.rwth-aachen.de/fileadmin/papers/2017/2017-serror-pads-cows.pdf}, publisher = {ACM}, howpublished = {online}, booktitle = {Proceedings of the 5th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’17), Singapore, Singapore}, event_place = {Singapore, Singapore}, event_name = {5th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’17)}, event_date = {May 24-26, 2017}, ISBN = {978-1-4503-4489-0}, DOI = {10.1145/3064911.3064913}, reviewed = {1}, author = {Serror, Martin and Kirchhof, J{\"o}rg Christian and Stoffers, Mirko and Wehrle, Klaus and Gross, James} } @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} }