On Automated Memoization in the Field of Simulation Parameter Studies

Stoffers, Mirko; Schemmel, Daniel; Soria Dustmann, Oscar; Wehrle, Klaus; Soria Dustmann, Oscar; Wehrle, Klaus; Cadar, Cristian; Schemmel, Daniel; Büning, Julian; Soria Dustmann, Oscar; Noll, Thomas; Wehrle, Klaus; Stoffers, Mirko; Schemmel, Daniel; Soria Dustmann, Oscar; Wehrle, Klaus; Soria Dustmann, Oscar; Soria Dustmann, Oscar; Sasnauskas, Raimondas; Wehrle, Klaus; Sasnauskas, Raimondas; Soria Dustmann, Oscar; Kaminski, Benjamin Lucien; Weise, Carsten; Kowalewski, Stefan; Wehrle, Klaus; Österlind, Fredrik; Sasnauskas, Raimondas; Dunkels, Adam; Soria Dustmann, Oscar; Wehrle, Klaus

doi:10.1145/3186316

Publications

Year:

All :: 2010, 2011, 2012, 2016, 2018

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

2018
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
2016
5.	Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, and Klaus Wehrle Automated Memoization for Parameter Studies Implemented in Impure Languages Proceedings of the 4th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’16), Banff, AB, Canada, page 221-232. Publisher: ACM, New York, NY May 2016 DOI: 10.1145/2901378.2901386
2012
4.	Oscar Soria Dustmann Effizientes Auffinden von Fehlern in Verteilten Systemen mit Symbolischer Ausführung Praxis der Informationsverarbeitung und Kommunikation (PIK Journal), 35(4):289–295 November 2012 ISSN: 0930-5157 DOI: 10.1515/pik-2012-0043 http://www.degruyter.com/...-2012-0043.xml?format=INT
3.	Oscar Soria Dustmann, Raimondas Sasnauskas, and Klaus Wehrle Position Paper: Symbolic System Time in Distributed Systems Testing TAICPART'2012 April 2012
2011
2.	Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Carsten Weise, Stefan Kowalewski, and Klaus Wehrle Scalable Symbolic Execution of Distributed Systems Proceedings of the 31st IEEE International Conference on Distributed Computing Systems (ICDCS 2011), June 2011, Minneapolis, MN, USA, page 333-342. Publisher: IEEE Computer Society, Los Alamitos, CA, USA June 2011 DOI: 10.1109/ICDCS.2011.28 ISBN: 978-0-7695-4364-2
2010
1.	Fredrik Österlind, Raimondas Sasnauskas, Adam Dunkels, Oscar Soria Dustmann, and Klaus Wehrle Demo Abstract: Integrating Symbolic Execution with Sensornet Simulation for Efficient Bug Finding Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems (SenSys 2010), Zurich, Switzerland, page 383--384. Publisher: ACM, New York, NY, USA November 2010 DOI: http://doi.acm.org/10.1145/1869983.1870034 ISBN: 978-1-4503-0344-6

Export as:

BibTeX, XML