Integrating symbolic execution with sensornet simulation for efficient bug finding. - Fredrik Österlind; Adam Dunkels; Raimondas Sasnauskas; Oscar Soria Dustmann; Klaus Wehrle (SenSys, 2010)

Scalable Symbolic Execution of Distributed Systems. - Raimondas Sasnauskas; Oscar Soria Dustmann; Benjamin Lucien Kaminski; Klaus Wehrle; Carsten Weise; Stefan Kowalewski (ICDCS, 2011)

Symbolic System Time in Distributed Systems Testing. - Oscar Soria Dustmann; Raimondas Sasnauskas; Klaus Wehrle (ICST, 2012)

Effizientes Auffinden von Fehlern in Verteilten Systemen mit Symbolischer Ausführung. - Oscar Soria Dustmann (Prax. Inf.verarb. Kommun., 2012)

Symbolic Execution of Discrete Event Systems with Uncertain Time. - Oscar Soria Dustmann (Informatiktage, 2013)

Automated Memoization for Parameter Studies Implemented in Impure Languages. - Mirko Stoffers; Daniel Schemmel; Oscar Soria Dustmann; Klaus Wehrle (SIGSIM-PADS, 2016)

Symbolic Liveness Analysis of Real-World Software. - Daniel Schemmel; Julian Büning; Oscar Soria Dustmann; Thomas Noll 001; Klaus Wehrle (CAV (2), 2018)

PARTI: a multi-interval theory solver for symbolic execution. - Oscar Soria Dustmann; Klaus Wehrle; Cristian Cadar (ASE, 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)

Artifact for the CAV 2018 Paper: Symbolic Liveness Analysis of Real-World Software. - Daniel Schemmel; Julian Büning; Oscar Soria Dustmann; Thomas Noll 001; Klaus Wehrle (Zenodo, 2018)