Oscar Soria Dustmann

According to our database, Oscar Soria Dustmann authored at least 10 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Artifact for the CAV 2018 Paper: Symbolic Liveness Analysis of Real-World Software.

Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle

Dataset, July, 2018

On Automated Memoization in the Field of Simulation Parameter Studies.

Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle

ACM Trans. Model. Comput. Simul., 2018

PARTI: a multi-interval theory solver for symbolic execution.

Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Symbolic Liveness Analysis of Real-World Software.

Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

Automated Memoization for Parameter Studies Implemented in Impure Languages.

Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle

Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016

2013

Symbolic Execution of Discrete Event Systems with Uncertain Time.

Oscar Soria Dustmann

Proceedings of the Informatiktage 2013, 2013

2012

Effizientes Auffinden von Fehlern in Verteilten Systemen mit Symbolischer Ausführung.

Oscar Soria Dustmann

Prax. Inf.verarb. Kommun., 2012

Symbolic System Time in Distributed Systems Testing.

Oscar Soria Dustmann, Raimondas Sasnauskas, Klaus Wehrle

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Scalable Symbolic Execution of Distributed Systems.

Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski

Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

2010

Integrating symbolic execution with sensornet simulation for efficient bug finding.

Fredrik Österlind, Adam Dunkels, Raimondas Sasnauskas, Oscar Soria Dustmann, Klaus Wehrle

Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010