Co-Founder And Ceo
CurrentOur current Models and Methods address:-Quantitative evaluation techniques related to performance, dependability, security, privacy, survivability, real-time constraints, cost, energy-efficiency and combined aspects like performance-security trade-offs;- Testing, measuring, bench-marking, learning, and run-time monitoring of systems and networks;- Parameter estimation, model learning, extremal-value and outlier analysis, big data analytics,- Queueing models, Markov and non-Markovian models, network calculus, stochastic games, integration of stochastic modeling into formal methods;- Simulation techniques including rare event simulation and parallel and distributed simulation;- Fault-tolerant and dependable computing, redundancy and fault modelling, fault injection methods;- Network planning and optimization especially for cyber-physical networking;- Models, methods and tools for explainable machine learning;