% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-07-04
% Creation time: 17-16-00
% --- Number of references
% 3
% 

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