Sascha Wunderlich

According to our database1, Sascha Wunderlich authored at least 8 papers between 2014 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
A Hardware/Software Stack for Heterogeneous Systems.
IEEE Trans. Multi-Scale Computing Systems, 2018

2017
Maximizing the Conditional Expected Reward for Reaching the Goal.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Towards Automated Variant Selection for Heterogeneous Tiled Architectures.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Greener Bits: Formal Analysis of Demand Response.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2014
Probabilistic Model Checking and Non-standard Multi-objective Reasoning.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Weight monitoring with linear temporal logic: complexity and decidability.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Probabilistic Model Checking for Energy-Utility Analysis.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014


  Loading...