According to our database1, Sascha Wunderlich authored at least 9 papers between 2014 and 2018.
Legend:Book In proceedings Article PhD thesis Other
IEEE Trans. Multi Scale Comput. Syst., 2018
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
Proceedings of the Models, Algorithms, Logics and Tools, 2017
Proceedings of the Automated Technology for Verification and Analysis, 2016
Proceedings of the Fundamental Approaches to Software Engineering, 2014
Model Checking with Accumulated Weights.
Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014
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
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014