Skip to main content

Biography

Publications

2020

2019

2018

2016

2015

  • Wolter, K., Reinecke, P. and Dräger, M. 2015. GRnet: : A tool for Gnetworks with restart. Presented at: 6th ACM/SPEC International Conference on Performance Engineering: ICPEC 2015, Austin, TX, USA, 31 Jan - 4 Feb 2015ICPE '15: Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering. ACM pp. 101-102., (10.1145/2668930.2688060)

2014

2013

2012

2011

2010

  • Reinecke, P., Wolter, K. and van Moorsel, A. 2010. Evaluating the adaptivity of computing systems. Performance Evaluation 67(8), pp. 676 - 693. (10.1016/j.peva.2009.12.001)
  • Wolter, K. and Reinecke, P. 2010. Stochastic models for dependable services. Electronic Notes in Theoretical Computer Science 261, pp. 5 - 21. (10.1016/j.entcs.2010.01.003)
  • Reinecke, P., Telek, M. and Wolter, K. 2010. Reducing the cost of generating APH-distributed random numbers. Presented at: MMB&DFT: 15th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, Essen, Germany, 15-17 March 2010 Presented at Müller-Clostermann, B., Echtle, K. and Rathgeb, E. P. eds.Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 5th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings, Vol. 5987. Springer pp. 274 - 286., (10.1007/978-3-642-12104-3_21)
  • Wolter, K. and Reinecke, P. 2010. Performance and security tradeoff. Presented at: SFM 2010: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bertinoro, Italy, 21-26 June 2010 Presented at Aldini, A. et al. eds.Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures, Vol. 6154. Lecture Notes in Computer Science Springer pp. 135 - 167., (10.1007/978-3-642-13678-8_4)

2009

2008

2006

2005

Teaching

I currently teach the following modules:

  • Communication Networks (2nd year UG)
  • Programming Paradigms (MSc)
  • Cybersecurity Operations (MSc)

I am the Module Leader for Communication Networks and the Programme Lead for the Cybersecurity MSc programme.

Supervision

I am interested in supervising PhD students in the following areas:

  • Cybersecurity
  • Performance, Security, and Dependability Evaluation