Oscar Soria Dustmann

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

On Automated Memoization in the Field of Simulation Parameter Studies.
ACM Trans. Model. Comput. Simul., 2018

PARTI: a multi-interval theory solver for symbolic execution.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Symbolic Liveness Analysis of Real-World Software.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016
Automated Memoization for Parameter Studies Implemented in Impure Languages.
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.
Proceedings of the Informatiktage 2013, 2013

2012
Effizientes Auffinden von Fehlern in Verteilten Systemen mit Symbolischer Ausführung.
Prax. Inf.verarb. Kommun., 2012

Symbolic System Time in Distributed Systems Testing.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011
Scalable Symbolic Execution of Distributed Systems.
Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

2010
Integrating symbolic execution with sensornet simulation for efficient bug finding.
Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010


  Loading...