This file was created by the TYPO3 extension
bib
--- Timezone: CEST
Creation date: 2024-04-19
Creation time: 16-59-01
--- Number of references
12
inproceedings
2023-schemmel-kdalloc-tool
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay
2023
7
13
https://dl.acm.org/doi/pdf/10.1145/3597926.3604921
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
10.1145/3597926.3604921
1
DanielSchemmel
JulianBüning
FrankBusse
MartinNowack
CristianCadar
inproceedings
2022-schemmel-kdalloc
A Deterministic Memory Allocator for Dynamic Symbolic Execution
2022
6
safe
https://drops.dagstuhl.de/opus/volltexte/2022/16237/pdf/LIPIcs-ECOOP-2022-9.pdf
European Conference on Object-Oriented Programming (ECOOP 2022)
10.4230/LIPIcs.ECOOP.2022.9
1
DanielSchemmel
JulianBüning
FrankBusse
MartinNowack
CristianCadar
inproceedings
2021-krude-nfp-pred
Determination of Throughput Guarantees for Processor-based SmartNICs
2021
12
7
maki
https://www.comsys.rwth-aachen.de/fileadmin/papers/2021/2021-krude-nfp-pred.pdf
ACM
The 17th International Conference on emerging Networking EXperiments and Technologies (CoNEXT '21)
978-1-4503-9098-9/21/12
10.1145/3485983.3494842
1
JohannesKrude
JanRüth
DanielSchemmel
FelixRath
Iohannes-HeorhFolbort
KlausWehrle
inproceedings
2020-schemmel-porse
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
2020
7
symbiosys
https://arxiv.org/pdf/2005.06688.pdf
https://arxiv.org/abs/2005.06688
Computer Aided Verification (CAV 2020)
32nd International Conference on Computer Aided Verification
10.1007/978-3-030-53288-8_18
1
DanielSchemmel
JulianBüning
CésarRodríguez
DavidLaprell
KlausWehrle
proceedings
2018-QuicTesting
Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution
2018
12
4
erc,symbiosys
https://www.comsys.rwth-aachen.de/fileadmin/papers/2018/2018-rath-quictesting.pdf
https://dl.acm.org/citation.cfm?id=3284853
https://arxiv.org/abs/1811.12099
ACM
Heraklion, Greece
EPIQ'18 Workshop Paper
4.12.2018
en
978-1-4503-6082-1
10.1145/3284850.3284853
1
FelixRath
DanielSchemmel
KlausWehrle
article
2018-stoffers-on-automated-memoization
On Automated Memoization in the Field of Simulation Parameter Studies
ACM Transactions on Modeling and Computer Simulation (TOMACS)
2018
10
28
4
Article 26
26:1-26:25
memosim,symbiosys
file:2213
10.1145/3186316
1
MirkoStoffers
DanielSchemmel
OscarSoria Dustmann
KlausWehrle
inproceedings
2018-cav-schemmel-liveness
Symbolic Liveness Analysis of Real-World Software
2018
7
14
symbiosys
https://www.comsys.rwth-aachen.de/fileadmin/papers/2018/2018-schemmel-symbolic-liveness-analysis-of-real-world-software.pdf
Computer Aided Verification (CAV 2018)
Oxford, Great Britain
30th International Conference on Computer Aided Verification
2018-07-14 to 2018-07-17
en
10.1007/978-3-319-96142-2_27
1
DanielSchemmel
JulianBüning
OscarSoria Dustmann
ThomasNoll
KlausWehrle
inproceedings
2018-cpsbench-schemmel-equiv
Towards Benchmark Optimization by Automated Equivalence Detection
2018
4
10
symbiosys,reflexes
file:2196
Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18)
Porto, Portugal
1st Workshop on Benchmarking Cyber-Physical Networks and Systems
2018-04-10
978-1-5386-6742-2
10.1109/CPSBench.2018.00011
1
DanielSchemmel
RenéGlebke
MirkoStoffers
KlausWehrle
inproceedings
2017-liew-schemmel-fp
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
2017
10
30
symbiosys
file:1848
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
Urbana-Champaign, IL, USA
en
978-1-5386-2684-9/17
1
DanielLiew
DanielSchemmel
CristianCadar
AlastairDonaldson
RafaelZähl
KlausWehrle
proceedings
2017-SymPerfPoster
SymPerf: Predicting Network Function Performance
2017
8
21
spp,erc,symbiosys,reflexes
https://www.comsys.rwth-aachen.de/fileadmin/papers/2017/2017-rath-sym-perf-poster.pdf
ACM
Los Angeles, USA
ACM SIGCOMM 2017 Poster
21.8.2017 - 25.8.2017
en
978-1-4503-5057-0/17/08
10.1145/3123878.3131977
1
FelixRath
JohannesKrude
JanRüth
DanielSchemmel
OliverHohlfeld
Jó AgilaBitsch Link
KlausWehrle
inproceedings
2016-stoffers-pads-memo
Automated Memoization for Parameter Studies Implemented in Impure Languages
2016
5
15
221-232
Best Paper Award
Automatic Memoization; Accelerating Parameter Studies;
Impure Languages
memosim,symbiosys
http://www.comsys.rwth-aachen.de/fileadmin/papers/2016/2016-stoffers-pads-memoization.pdf
Online
ACM
New York, NY
Proceedings of the 4th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’16), Banff, AB, Canada
Banff, AB, Canada
en
10.1145/2901378.2901386
1
MirkoStoffers
DanielSchemmel
OscarSoria Dustmann
KlausWehrle
inproceedings
2012-kunz-pads-gpu
Multi-level Parallelism for Time- and Cost-efficient Parallel Discrete Event Simulation on GPUs
2012
7
20
23--32
horizon
https://www.comsys.rwth-aachen.de/fileadmin/papers/2012/2012-kunz-pads-gpu.pdf
Print
IEEE
Proceedings of the 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS'12), Zhangjiajie, China
en
978-0-7695-4714-5
1087-4097
10.1109/PADS.2012.27
1
GeorgKunz
DanielSchemmel
JamesGross
KlausWehrle