Oscar Soria Dustmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2010–2018
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CAV | Symbolic Liveness Analysis of Real-World Software. | Daniel Schemmel, Julian Bning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle |
| 2016 | PADS | Automated Memoization for Parameter Studies Implemented in Impure Languages. | Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle |
| 2012 | ICST | Symbolic System Time in Distributed Systems Testing. | Oscar Soria Dustmann, Raimondas Sasnauskas, Klaus Wehrle |
| 2011 | ICDCS | Scalable Symbolic Execution of Distributed Systems. | Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski |
| 2010 | SENSYS | Integrating symbolic execution with sensornet simulation for efficient bug finding. | Fredrik sterlind, Adam Dunkels, Raimondas Sasnauskas, Oscar Soria Dustmann, Klaus Wehrle |