• Generalizing Window Flow Control in Bivariate Network Calculus to Enable Leftover Service in the Loop

  • Compositional Construction of Importance Functions in Fully Automated Importance Splitting

  • Stationary solutions of discrete and continuous Petri nets with priorities

  • Generalizing Network Calculus Analysis to Derive Performance Guarantees for Multicast Flows

  • BuTools 2: a Rich Toolbox for Markovian Performance Evaluation

  • Sensitivity of Application Performance to Resource Availability

  • A Queueing Network Model for Performance Prediction of Apache Cassandra

  • A Stable Mean Value Analysis Algorithm for Closed Systems with Load-dependent Queues

  • Performance Prediction for Burstable Cloud Resources

  • Quantitative assessment of workflow performance through PH reduction