Experimente mit Ersatzdarstellungen unter Berücksichtigung der Verweilzeitverteilung. - Heinz Beilner; Peter Buchholz 001; Bruno Müller-Clostermann (MMB, 1987)

Protocol Analysis Using a Timed Version of SDL. - Falko Bause; Peter Buchholz 001 (FORTE, 1990)

Die strukturierte Analyse Markovscher Modelle - Peter Buchholz 001 (Springer, 1991)

The Numerical Analysis of Hierarchical Queueing Network Models. - Peter Buchholz 001 (MMB, 1991)

A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis. - Peter Buchholz 001 (J. Parallel Distributed Comput., 1992)

Hierarchies in Colored GSPNs. - Peter Buchholz 001 (Application and Theory of Petri Nets, 1993)

Qualitative und Quantitative Analysis of Timed SDL Specifications. - Falko Bause; Peter Buchholz 001 (Kommunikation in Verteilten Systemen, 1993)

A Heuristic Approach for the Aggregation of Markovian Submodels. - Peter Buchholz 001 (MMB, 1993)

Aggregation and reduction techniques for hierarchical GCSPNs. - Peter Buchholz 001 (PNPM, 1993)

Hierarchical High Level Petri Nets for Complex System Analysis. - Peter Buchholz 001 (Application and Theory of Petri Nets, 1994)

A class of hierarchical queueing networks and their analysis. - Peter Buchholz 001 (Queueing Syst. Theory Appl., 1994)

A Notion of Equivalence for Stochastic Petri Nets. - Peter Buchholz 001 (Application and Theory of Petri Nets, 1995)

QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. - Falko Bause; Peter Buchholz 001; Peter Kemper (MMB, 1995)

On the Exact and Approximate Analysis of Hierarchical Discrete Time Queueing Networks. - Peter Buchholz 001 (MMB, 1995)

Numerical analysis of stochastic marked graph nets. - Peter Buchholz 001; Peter Kemper (PNPM, 1995)

Hierarchical Markovian Models: Symmetries and Reduction. - Peter Buchholz 001 (Perform. Evaluation, 1995)

Efficient Analysis Techniques for Symmetric Multiprocessor Architecture. - Peter Buchholz 001 (MASCOTS, 1997)

Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. - Falko Bause; Peter Buchholz 001; Peter Kemper (MMB, 1997)

HiQPN-Tool. - Falko Bause; Peter Buchholz 001; Peter Kemper (MMB (Kurzbeiträge), 1997)

A Distributed Numerical/Simulative Algorithm for the Analysis of Large Continuous Time Markov Chains. - Peter Buchholz 001 (Workshop on Parallel and Distributed Simulation, 1997)

Aggregation and disaggregation in product form queueing Petri Nets. - Falko Bause; Peter Buchholz 001 (PNPM, 1997)

Iterative Decomposition and Aggregation of Labeled GSPNs. - Peter Buchholz 001 (ICATPN, 1998)

A Toolbox for Functional and Quantitative Analysis of DEDS. - Falko Bause; Peter Buchholz 001; Peter Kemper (Computer Performance Evaluation (Tools), 1998)

Queueing Petri Nets with Product Form Solution. - Falko Bause; Peter Buchholz 001 (Perform. Evaluation, 1998)

On generating a hierarchy for GSPN analysis. - Peter Buchholz 001; Peter Kemper (SIGMETRICS Perform. Evaluation Rev., 1998)

A New Approach Combining Simulation and Randomization for the Analysis of Large Continuous Time Markov Chains. - Peter Buchholz 001 (ACM Trans. Model. Comput. Simul., 1998)

A Toolbox for the Analysis of Discrete Event Dynamic Systems. - Peter Buchholz 001; Peter Kemper (CAV, 1999)

Modular State Level Analysis of Distributed Systems Techniques and Tool Support. - Peter Buchholz 001; Peter Kemper (TACAS, 1999)

An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models. - Peter Buchholz 001 (Eur. J. Oper. Res., 1999)

Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata. - Peter Buchholz 001 (Theor. Comput. Sci., 1999)

Hierarchical Structuring of Superposed GSPNs. - Peter Buchholz 001 (IEEE Trans. Software Eng., 1999)

Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. - Peter Buchholz 001; Gianfranco Ciardo; Susanna Donatelli; Peter Kemper (INFORMS J. Comput., 2000)

A hybrid analysis approach for finite-capacity queues with general inputs and phase type service. - Peter Buchholz 001 (Queueing Syst. Theory Appl., 2000)

Multilevel Solutions for Structured Markov Chains. - Peter Buchholz 001 (SIAM J. Matrix Anal. Appl., 2000)

A Numerical Analysis of a Communication System with Advanced Reservations. - Peter Buchholz 001; Sabine Kühn; Frank Breiter (MMB, 2001)

Quantifying the Dynamic Behavior of Process Algebras. - Peter Buchholz 001; Peter Kemper (PAPM-PROBMIV, 2001)

Equivalence and Aggregation of GSPNs with Labeled Transitions. - Peter Buchholz 001 (PNPM, 2001)

Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs. - Peter Buchholz 001; Peter Kemper (PNPM, 2001)

Hybrid analysis of SGSPNs with time-dependent transition rates. - Peter Buchholz 001 (Perform. Evaluation, 2001)

An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets. - Peter Buchholz 001 (DSN, 2002)

Numerical Analysis and Optimisation of Class Based Queueing. - Andriy Panchenko 002; Peter Buchholz 001 (ESM, 2002)

Efficient Computation and Representation of Large Reachability Sets for Composed Automata. - Peter Buchholz 001; Peter Kemper (Discret. Event Dyn. Syst., 2002)

An adaptive importance sampling approach for the transient analysis of markovian queueing networks. - Peter Buchholz 001 (Eur. Trans. Telecommun., 2002)

Hierarchical Reachability Graph Generation for Petri Nets. - Peter Buchholz 001; Peter Kemper (Formal Methods Syst. Des., 2002)

An iterative bounding method for stochastic automata networks. - Peter Buchholz 001 (Perform. Evaluation, 2002)

An EM-Algorithm for MAP Fitting from Real Traffic Data. - Peter Buchholz 001 (Computer Performance Evaluation / TOOLS, 2003)

Weak Bisimulation for (max/+) Automata and Related Models. - Peter Buchholz 001; Peter Kemper (J. Autom. Lang. Comb., 2003)

Model-checking large structured Markov chains. - Peter Buchholz 001; Joost-Pieter Katoen; Peter Kemper; Carsten Tepper (J. Log. Algebraic Methods Program., 2003)

A Two-Step EM Algorithm for MAP Fitting. - Peter Buchholz 001; Andriy Panchenko 002 (ISCIS, 2004)

The ProC/B-Approach from informal descriptions to formal models. - Peter Buchholz 001; Falko Bause; Carsten Tepper (ISoLA (Preliminary proceedings), 2004)

Functional Analysis of Process-Oriented Systems. - Peter Buchholz 001; Carsten Tepper (OR, 2004)

Hybrid Performability Analysis of Logistic Networks. - Falko Bause; Peter Buchholz 001; Markus Fischer; Peter Kemper (PADS, 2004)

An EM Algorithm for Fitting of Real Traffic Traces to PH-Distribution. - Peter Buchholz 001; Andriy Panchenko 002 (PARELEC, 2004)

Approximate Computation of Transient Results for Large Markov Chains. - Peter Buchholz 001; William H. Sanders (QEST, 2004)

A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. - Vinh Vi Lam; Peter Buchholz 001; William H. Sanders (QEST, 2004)

Kronecker Based Matrix Representations for Large Markov Models. - Peter Buchholz 001; Peter Kemper (Validation of Stochastic Systems, 2004)

Comparison of Multilevel Methods for Kronecker-based Markovian Representations. - Peter Buchholz 001; Tugrul Dayar (Computing, 2004)

Adaptive decomposition and approximation for the analysis of stochastic Petri nets. - Peter Buchholz 001 (Perform. Evaluation, 2004)

A Novel Approach for Fitting Probability Distributions to Real Trace Data with the EM Algorithm. - Axel Thümmler; Peter Buchholz 001; Miklós Telek (DSN, 2005)

A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support. - Árpád Tari; Miklós Telek; Peter Buchholz 001 (EPEW/WS-FM, 2005)

A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation. - Gábor Horváth 002; Miklós Telek; Peter Buchholz 001 (QEST, 2005)

Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization. - Peter Buchholz 001; Axel Thümmler (WSC, 2005)

A component-level path-based simulation approach for efficient analysis of large Markov models. - Vinh Vi Lam; Peter Buchholz 001; William H. Sanders (WSC, 2005)

An improved method for bounding stationary measures of finite Markov processes. - Peter Buchholz 001 (Perform. Evaluation, 2005)

Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations. - Peter Buchholz 001; Tugrul Dayar (SIAM J. Sci. Comput., 2005)

A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs. - Vinh Vi Lam; William H. Sanders; Peter Buchholz 001 (DSN, 2006)

OPEDo: A tool for optimization and performance evaluation of stochastic models. - Peter Buchholz 001; Peter Kemper; Dennis Müller 003; Mathias Stöber; Axel Thümmler (MMB, 2006)

A queueing-network approach for modeling control nets in building automation. - Peter Buchholz 001; Andriy Panchenko 002 (MMB, 2006)

Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. - Peter Buchholz 001; Peter Kemper (QEST, 2006)

Bound-Preserving Composition for Markov Reward Models. - David Daly; Peter Buchholz 001; William H. Sanders (QEST, 2006)

Bounding stationary results of Tandem networks with MAP input and PH service time distributions. - Peter Buchholz 001 (SIGMETRICS/Performance, 2006)

OPEDo: a tool framework for modeling and optimization of stochastic models. - Peter Buchholz 001; Dennis Müller 003; Peter Kemper; Axel Thümmler (VALUETOOLS, 2006)

Guest editors' introduction: quantitative analysis of real-time embedded systems. - Peter Buchholz 001; Joost-Pieter Katoen; Marcel Verhoef (Int. J. Softw. Tools Technol. Transf., 2006)

A Novel Approach for Phase-Type Fitting with the EM Algorithm. - Axel Thümmler; Peter Buchholz 001; Miklós Telek (IEEE Trans. Dependable Secur. Comput., 2006)

Automated modeling and analysis of CSMA-type access schemes for building automation networks. - Joern Ploennigs; Peter Buchholz 001; Mario Neugebauer; Klaus Kabitzsch (IEEE Trans. Ind. Informatics, 2006)

Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains. - Peter Buchholz 001 (Web Information Retrieval and Linear Algebra Algorithms, 2007)

On the Convergence of a Class of Multilevel Methods for Large Sparse Markov Chains. - Peter Buchholz 001; Tugrul Dayar (SIAM J. Matrix Anal. Appl., 2007)

Simulating process chain models with OMNeT++. - Falko Bause; Peter Buchholz 001; Jan Kriege; Sebastian Vastag (SimuTools, 2008)

A Framework for Simulation Models of Service-Oriented Architectures. - Falko Bause; Peter Buchholz 001; Jan Kriege; Sebastian Vastag (SIPEW, 2008)

Bisimulation relations for weighted automata. - Peter Buchholz 001 (Theor. Comput. Sci., 2008)

Optimization of Stochastic Discrete Event Simulation Models. - Peter Buchholz 001 (Models and Algorithms for Optimization in Logistics, 2009)

A Heuristic Approach for Fitting MAPs to Moments and Joint Moments. - Peter Buchholz 001; Jan Kriege (QEST, 2009)

A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. - Falko Bause; Peter Buchholz 001; Jan Kriege (WSC, 2009)

Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. - Falko Bause; Peter Buchholz 001; Jan Kriege; Sebastian Vastag (WSC, 2009)

Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study. - Peter Buchholz 001; Dennis Müller 003 (WSC, 2009)

OPEDo: a tool for the optimization of performance and dependability models. - Markus Arns; Peter Buchholz 001; Dennis Müller 003 (SIGMETRICS Perform. Evaluation Rev., 2009)

An Empirical Comparison of MAP Fitting Algorithms. - Jan Kriege; Peter Buchholz 001 (MMB/DFT, 2010)

ProFiDo - The Processes Fitting Toolkit Dortmund. - Falko Bause; Peter Buchholz 001; Jan Kriege (QEST, 2010)

Canonical Form Based MAP(2) Fitting. - Levente Bodrog; Peter Buchholz 001; Jan Kriege; Miklós Telek (QEST, 2010)

Model Checking for a Class of Weighted Automata. - Peter Buchholz 001; Peter Kemper (Discret. Event Dyn. Syst., 2010)

On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains. - Markus Arns; Peter Buchholz 001; Andriy Panchenko 002 (INFORMS J. Comput., 2010)

Product form approximations for communicating Markov processes. - Peter Buchholz 001 (Perform. Evaluation, 2010)

Multi-class Markovian arrival processes and their parameter fitting. - Peter Buchholz 001; Peter Kemper; Jan Kriege (Perform. Evaluation, 2010)

Stochastic Petri nets with matrix exponentially distributed firing times. - Peter Buchholz 001; Miklós Telek (Perform. Evaluation, 2010)

A Simulation Environment for Hierarchical Process Chains Based on OMNeT++. - Falko Bause; Peter Buchholz 001; Jan Kriege; Sebastian Vastag (Simul., 2010)

Model Checking Algorithms for CTMDPs. - Peter Buchholz 001; Ernst Moritz Hahn; Holger Hermanns; Lijun Zhang 001 (CAV, 2011)

Composition and Equivalence of Markovian and Non-Markovian Models. - Peter Buchholz 001; Miklós Telek (QEST, 2011)

Simulating stochastic processes with OMNeT++. - Jan Kriege; Peter Buchholz 001 (SimuTools, 2011)

Numerical analysis of continuous time Markov decision processes over finite horizons. - Peter Buchholz 001; Ingo Schulz (Comput. Oper. Res., 2011)

Bounding reward measures of Markov models using the Markov decision processes. - Peter Buchholz 001 (Numer. Linear Algebra Appl., 2011)

Correlated phase-type distributed random numbers as input models for simulations. - Jan Kriege; Peter Buchholz 001 (Perform. Evaluation, 2011)

Finite horizon analysis of infinite CTMDPs. - Peter Buchholz 001 (DSN, 2012)

Aggregation of Markovian Models - An Alternating Least Squares Approach. - Peter Buchholz 001; Jan Kriege (QEST, 2012)

State-Based Analysis in ADVISE. - Michael D. Ford; Peter Buchholz 001; William H. Sanders (QEST, 2012)

Traffic modeling with a combination of phase-type distributions and ARMA processes. - Jan Kriege; Peter Buchholz 001 (WSC, 2012)

Rational Processes Related to Communicating Markov Processes. - Peter Buchholz 001; Miklós Telek (J. Appl. Probab., 2012)

Transformation of Acyclic Phase Type Distributions for Correlation Fitting. - Peter Buchholz 001; Iryna Felko; Jan Kriege (ASMTA, 2013)

On minimal representations of Rational Arrival Processes. - Peter Buchholz 001; Miklós Telek (Ann. Oper. Res., 2013)

Rational Automata Networks: A Non-Markovian Modeling Approach. - Peter Buchholz 001; Miklós Telek (INFORMS J. Comput., 2013)

Numerical analysis of rational processes beyond Markov chains. - Peter Buchholz 001 (Perform. Evaluation, 2013)

Model Checking Stochastic Automata for Dependability and Performance Measures. - Peter Buchholz 001; Jan Kriege; Dimitri Scheftelowitsch (DSN, 2014)

Markov Modeling of Availability and Unavailability Data. - Peter Buchholz 001; Jan Kriege (EDCC, 2014)

PH and MAP Fitting with Aggregated Traffic Traces. - Jan Kriege; Peter Buchholz 001 (MMB/DFT, 2014)

A Structured Solution Approach for Markov Regenerative Processes. - Elvio Gilberto Amparore; Peter Buchholz 001; Susanna Donatelli (QEST, 2014)

Editorial. - Peter Buchholz 001; Benny Van Houdt (Perform. Evaluation, 2014)

Approximate aggregation of Markovian models using alternating least squares. - Peter Buchholz 001; Jan Kriege (Perform. Evaluation, 2014)

Markov Decision Petri Nets with Uncertainty. - Marco Beccuti; Elvio Gilberto Amparore; Susanna Donatelli; Dimitri Scheftelowitsch; Peter Buchholz 001; Giuliana Franceschinis (EPEW, 2015)

PH-graphs for analyzing shortest path problems with correlated traveling times. - Peter Buchholz 001; Iryna Felko (Comput. Oper. Res., 2015)

Modeling Human Decisions in Performance and Dependability Models. - Peter Buchholz 001; Iryna Felko; Jan Kriege; Gerhard Rinkenauer (EPEW, 2016)

Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis. - Peter Buchholz 001; Tugrul Dayar; Jan Kriege; M. Can Orhan (QEST, 2016)

Traffic Modeling with Phase-Type Distributions and VARMA Processes. - Jan Kriege; Peter Buchholz 001 (QEST, 2016)

Equivalence and Minimization for Model Checking Labeled Markov Chains. - Peter Buchholz 001; Jan Kriege; Dimitri Scheftelowitsch (EAI Endorsed Trans. Scalable Inf. Syst., 2016)

Equivalence and Lumpability of FSPNs. - Falko Bause; Peter Buchholz 001; Igor V. Tarasyuk; Miklós Telek (ASMTA, 2017)

Bounded Aggregation for Continuous Time Markov Decision Processes. - Peter Buchholz 001; Iryna Dohndorf; Alexander Frank; Dimitri Scheftelowitsch (EPEW, 2017)

Analysis of Markov Decision Processes Under Parameter Uncertainty. - Peter Buchholz 001; Iryna Dohndorf; Dimitri Scheftelowitsch (EPEW, 2017)

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. - Dimitri Scheftelowitsch; Peter Buchholz 001; Vahid Hashemi; Holger Hermanns (VALUETOOLS, 2017)

A Tool Supporting the Analytical Evaluation of Service Level Agreements. - Falko Bause; Peter Buchholz 001; Johannes May (ICPE, 2017)

Optimal decisions for continuous time Markov decision processes over finite planning horizons. - Peter Buchholz 001; Iryna Dohndorf; Dimitri Scheftelowitsch (Comput. Oper. Res., 2017)

Behavioural equivalences for fluid stochastic Petri nets. - Igor V. Tarasyuk; Peter Buchholz 001 (CoRR, 2017)

On compact solution vectors in Kronecker-based Markovian analysis. - Peter Buchholz 001; Tugrul Dayar; Jan Kriege; M. Can Orhan (Perform. Evaluation, 2017)

Fitting correlated arrival and service times and related queueing performance. - Peter Buchholz 001; Jan Kriege (Queueing Syst. Theory Appl., 2017)

Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets. - Peter Buchholz 001; Tugrul Dayar (DSN, 2018)

SLA Tool. - Falko Bause; Peter Buchholz 001 (MMB, 2018)

Time-Based Maintenance Models Under Uncertainty. - Peter Buchholz 001; Iryna Dohndorf; Dimitri Scheftelowitsch (MMB, 2018)

Reliability and test effort analysis of multi-sensor driver assistance systems. - Florian Bock; Sebastian Siegl; Peter Bazan; Peter Buchholz 001; Reinhard German (J. Syst. Archit., 2018)

Toward an analytical method for SLA validation. - Peter Buchholz 001; Sebastian Vastag (Softw. Syst. Model., 2018)

An Online Approach to Estimate Parameters of Phase-Type Distributions. - Peter Buchholz 001; Iryna Dohndorf; Jan Kriege (DSN, 2019)

Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. - Elvio Gilberto Amparore; Peter Buchholz 001; Susanna Donatelli (QEST, 2019)

Light robustness in the optimization of Markov decision processes with uncertain parameters. - Peter Buchholz 001; Dimitri Scheftelowitsch (Comput. Oper. Res., 2019)

Computation of weighted sums of rewards for concurrent MDPs. - Peter Buchholz 001; Dimitri Scheftelowitsch (Math. Methods Oper. Res., 2019)

Real-Time Simulation of Robot Swarms with Restricted Communication Skills. - Alexander Puzicha; Peter Buchholz 001 (DS-RT, 2020)

Concurrent MDPs with Finite Markovian Policies. - Peter Buchholz 001; Dimitri Scheftelowitsch (MMB, 2020)

Parallelization of EM-Algorithms for Markovian Arrival Processes. - Andreas Blume; Peter Buchholz 001; Jan Kriege (MMB, 2020)

Markovian Arrival Processes in Multi-dimensions. - Andreas Blume; Peter Buchholz 001; Clara Scherbaum (QEST, 2020)

A Simulation Environment for Autonomous Robot Swarms with Limited Communication Skills. - Alexander Puzicha; Peter Buchholz 001 (SimuTools (2), 2020)

Local Search and Tabu Search Algorithms for Machine Scheduling of a Hybrid Flow Shop Under Uncertainty. - Christin Schumacher; Peter Buchholz 001; Kevin Fiedler; Nico Gorecki (WSC, 2020)

Scheduling Algorithms for a Hybrid Flow Shop under Uncertainty. - Christin Schumacher; Peter Buchholz 001 (Algorithms, 2020)

Corrigendum to "Reliability and Test Effort Analysis of Multi-Sensor Driver Assistance Systems" [Journal of Systems Architecture 85-86 (2018) 1-13]. - Florian Bock; Sebastian Siegl; Peter Bazan; Peter Buchholz 001; Reinhard German (J. Syst. Archit., 2021)

A multi-objective approach for PH-graphs with applications to stochastic shortest paths. - Peter Buchholz 001; Iryna Dohndorf (Math. Methods Oper. Res., 2021)

Surrogate Models for Markov Reward Models with Uncertain Parameters. - Peter Buchholz 001 (MASCOTS, 2022)

Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis -. - Peter Buchholz 001; Andreas Blume (SRDS, 2022)

Dynamic Mission Control for Decentralized Mobile Robot Swarms. - Alexander Puzicha; Peter Buchholz 001 (SSRR, 2022)

On the Representation of Correlated Exponential Distributions by Phase Type Distributions. - Peter Buchholz 001 (SIGMETRICS Perform. Evaluation Rev., 2022)

Analysis of a Two-State Markov Fluid Model with 2 Buffers. - Peter Buchholz 001; András Mészáros; Miklós Telek (EPEW, 2023)

Optimal decisions in stochastic graphs with uncorrelated and correlated edge weights. - Peter Buchholz 001; Iryna Dohndorf (Comput. Oper. Res., 2023)

An Algebraic Proof of the Relation of Markov Fluid Queues and QBD Processes. - Peter Buchholz 001; András Mészáros; Miklós Telek (ASMTA, 2024)

Adaption of Stochastic Models (ASMo) - A Tool for Input Modeling -. - Falko Bause; Andreas Blume; Peter Buchholz 001; Alexander Puzicha; Alina Timmermann (QEST+FORMATS, 2024)

Live fitting of process data within digital twins of manufacturing to use simulation and optimisation. - Christin Schumacher; Jonas Stilling; Jan Kriege; Peter Buchholz 001 (J. Simulation, 2024)

Dimensioning leaky buckets in stochastic environments. - Peter Buchholz 001; András Mészáros; Miklós Telek (Perform. Evaluation, 2025)