Publications

M. Gerhold, Approximation-, Entropy- and Kolmogorov numbers on weighted Banach Spaces, BSc. Thesis, 2011, FSU Jena
M. Gerhold, Embeddings of Weighted Morrey Spaces, MSc. Thesis, 2013, FSU Jena
M. Gerhold, M. Stoelinga, ioco theory for Probabilistic Automata, Proceedings of the 10th Workshop on Model-Based Testing, MBT, 2015
M. Gerhold, M. Stoelinga, Model-Based Testing of Probabilistic Systems, Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE, 2016
M. Gerhold, M. Stoelinga, Model-based testing of stochastic systems with IOCO theory , Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, ATEST, 2016
M. Gerhold, M. Stoelinga, Model-Based Testing for Probabilistic Systems with Stochastic Time, Pending for Publication

Events attended