On Automated Memoization in the Field of Simulation Parameter Studies

Publications

Year:

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

All :: Saad, ... , Smith, Soria Dustmann, Sowa, ... , Stüble

8.	Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, and Klaus Wehrle On Automated Memoization in the Field of Simulation Parameter Studies ACM Transactions on Modeling and Computer Simulation (TOMACS), 28(4):26:1-26:25 October 2018 DOI: 10.1145/3186316
7.	Oscar Soria Dustmann, Klaus Wehrle, and Cristian Cadar PARTI: A Multi-interval Theory Solver for Symbolic Execution Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18) September 2018 DOI: 10.1145/3238147.3238179
6.	Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, and Klaus Wehrle Symbolic Liveness Analysis of Real-World Software Computer Aided Verification (CAV 2018) July 2018 DOI: 10.1007/978-3-319-96142-2_27

Export as: