Peter Buchholz

ORCID

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 39

Top Venues

Publications

Peter Buchholz, Iryna Dohndorf
Optimal decisions in stochastic graphs with uncorrelated and correlated edge weights. Comput. Oper. Res. 150 (2023)
Peter Buchholz, András Mészáros, Miklós Telek
Analysis of a Two-State Markov Fluid Model with 2 Buffers. EPEW (2023)
Peter Buchholz
On the Representation of Correlated Exponential Distributions by Phase Type Distributions. SIGMETRICS Perform. Evaluation Rev. 49 (3) (2022)
Alexander Puzicha, Peter Buchholz
Dynamic Mission Control for Decentralized Mobile Robot Swarms. SSRR (2022)
Peter Buchholz
Surrogate Models for Markov Reward Models with Uncertain Parameters. MASCOTS (2022)
Peter Buchholz, Andreas Blume
Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis -. SRDS (2022)
Florian Bock, Sebastian Siegl, Peter Bazan, Peter Buchholz, Reinhard German
Corrigendum to "Reliability and Test Effort Analysis of Multi-Sensor Driver Assistance Systems" [Journal of Systems Architecture 85-86 (2018) 1-13]. J. Syst. Archit. 117 (2021)
Peter Buchholz
On the Representation of Correlated Exponential Distributions by Phase Type Distributions. CoRR (2021)
Peter Buchholz, Iryna Dohndorf
A multi-objective approach for PH-graphs with applications to stochastic shortest paths. Math. Methods Oper. Res. 93 (1) (2021)
Alexander Puzicha, Peter Buchholz
A Simulation Environment for Autonomous Robot Swarms with Limited Communication Skills. SimuTools (2) (2020)
Alexander Puzicha, Peter Buchholz
Real-Time Simulation of Robot Swarms with Restricted Communication Skills. DS-RT (2020)
Christin Schumacher, Peter Buchholz, Kevin Fiedler, Nico Gorecki
Local Search and Tabu Search Algorithms for Machine Scheduling of a Hybrid Flow Shop Under Uncertainty. WSC (2020)
Andreas Blume, Peter Buchholz, Jan Kriege
Parallelization of EM-Algorithms for Markovian Arrival Processes. MMB (2020)
Peter Buchholz, Dimitri Scheftelowitsch
Concurrent MDPs with Finite Markovian Policies. MMB (2020)
Andreas Blume, Peter Buchholz, Clara Scherbaum
Markovian Arrival Processes in Multi-dimensions. QEST (2020)
Christin Schumacher, Peter Buchholz
Scheduling Algorithms for a Hybrid Flow Shop under Uncertainty. Algorithms 13 (11) (2020)
Peter Buchholz, Dimitri Scheftelowitsch
Computation of weighted sums of rewards for concurrent MDPs. Math. Methods Oper. Res. 89 (1) (2019)
Peter Buchholz, Iryna Dohndorf, Jan Kriege
An Online Approach to Estimate Parameters of Phase-Type Distributions. DSN (2019)
Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli
: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. QEST (2019)
Peter Buchholz, Dimitri Scheftelowitsch
Light robustness in the optimization of Markov decision processes with uncertain parameters. Comput. Oper. Res. 108 (2019)
Falko Bause, Peter Buchholz
SLA Tool. MMB (2018)
Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch
Time-Based Maintenance Models Under Uncertainty. MMB (2018)
Florian Bock, Sebastian Siegl, Peter Bazan, Peter Buchholz, Reinhard German
Reliability and test effort analysis of multi-sensor driver assistance systems. J. Syst. Archit. (2018)
Peter Buchholz, Sebastian Vastag
Toward an analytical method for SLA validation. Softw. Syst. Model. 17 (2) (2018)
Peter Buchholz, Tugrul Dayar
Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets. DSN (2018)
Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS (2017)
Peter Buchholz, Iryna Dohndorf, Alexander Frank, Dimitri Scheftelowitsch
Bounded Aggregation for Continuous Time Markov Decision Processes. EPEW (2017)
Falko Bause, Peter Buchholz, Igor V. Tarasyuk, Miklós Telek
Equivalence and Lumpability of FSPNs. ASMTA (2017)
Falko Bause, Peter Buchholz, Johannes May
A Tool Supporting the Analytical Evaluation of Service Level Agreements. ICPE (2017)
Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch
Optimal decisions for continuous time Markov decision processes over finite planning horizons. Comput. Oper. Res. 77 (2017)
Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. CoRR (2017)
Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch
Analysis of Markov Decision Processes Under Parameter Uncertainty. EPEW (2017)
Peter Buchholz, Jan Kriege
Fitting correlated arrival and service times and related queueing performance. Queueing Syst. Theory Appl. 85 (3-4) (2017)
Peter Buchholz, Tugrul Dayar, Jan Kriege, M. Can Orhan
On compact solution vectors in Kronecker-based Markovian analysis. Perform. Evaluation 115 (2017)
Igor V. Tarasyuk, Peter Buchholz
Behavioural equivalences for fluid stochastic Petri nets. CoRR (2017)
Jan Kriege, Peter Buchholz
Traffic Modeling with Phase-Type Distributions and VARMA Processes. QEST (2016)
Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch
Equivalence and Minimization for Model Checking Labeled Markov Chains. EAI Endorsed Trans. Scalable Inf. Syst. 3 (11) (2016)
Peter Buchholz, Iryna Felko, Jan Kriege, Gerhard Rinkenauer
Modeling Human Decisions in Performance and Dependability Models. EPEW (2016)
Peter Buchholz, Tugrul Dayar, Jan Kriege, M. Can Orhan
Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis. QEST (2016)
Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis
Markov Decision Petri Nets with Uncertainty. EPEW (2015)
Peter Buchholz, Iryna Felko
PH-graphs for analyzing shortest path problems with correlated traveling times. Comput. Oper. Res. 59 (2015)
Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch
Equivalence and Minimization for Model Checking Labeled Markov Chains. VALUETOOLS (2015)
Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch
Model Checking Stochastic Automata for Dependability and Performance Measures. DSN (2014)
Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli
A Structured Solution Approach for Markov Regenerative Processes. QEST (2014)
Peter Buchholz, Jan Kriege
Markov Modeling of Availability and Unavailability Data. EDCC (2014)
Peter Buchholz, Benny Van Houdt
Editorial. Perform. Evaluation 79 (2014)
Peter Buchholz, Jan Kriege
Approximate aggregation of Markovian models using alternating least squares. Perform. Evaluation 73 (2014)
Jan Kriege, Peter Buchholz
PH and MAP Fitting with Aggregated Traffic Traces. MMB/DFT (2014)
Peter Buchholz
Numerical analysis of rational processes beyond Markov chains. Perform. Evaluation 70 (9) (2013)
Peter Buchholz, Miklós Telek
Rational Automata Networks: A Non-Markovian Modeling Approach. INFORMS J. Comput. 25 (1) (2013)
Peter Buchholz, Miklós Telek
On minimal representations of Rational Arrival Processes. Ann. Oper. Res. 202 (1) (2013)
Peter Buchholz, Iryna Felko, Jan Kriege
Transformation of Acyclic Phase Type Distributions for Correlation Fitting. ASMTA (2013)
Peter Buchholz, Jan Kriege
Aggregation of Markovian Models - An Alternating Least Squares Approach. QEST (2012)
Michael D. Ford, Peter Buchholz, William H. Sanders
State-Based Analysis in ADVISE. QEST (2012)
Peter Buchholz, Miklós Telek
Rational Processes Related to Communicating Markov Processes. J. Appl. Probab. 49 (1) (2012)
Peter Buchholz
Finite horizon analysis of infinite CTMDPs. DSN (2012)
Jan Kriege, Peter Buchholz
Traffic modeling with a combination of phase-type distributions and ARMA processes. WSC (2012)
Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
Model Checking Algorithms for CTMDPs. CAV (2011)
Peter Buchholz
Bounding reward measures of Markov models using the Markov decision processes. Numer. Linear Algebra Appl. 18 (6) (2011)
Peter Buchholz, Miklós Telek
Composition and Equivalence of Markovian and Non-Markovian Models. QEST (2011)
Peter Buchholz, Ingo Schulz
Numerical analysis of continuous time Markov decision processes over finite horizons. Comput. Oper. Res. 38 (3) (2011)
Jan Kriege, Peter Buchholz
Simulating stochastic processes with OMNeT++. SimuTools (2011)
Jan Kriege, Peter Buchholz
Correlated phase-type distributed random numbers as input models for simulations. Perform. Evaluation 68 (11) (2011)
Markus Arns, Peter Buchholz, Andriy Panchenko
On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains. INFORMS J. Comput. 22 (3) (2010)
Falko Bause, Peter Buchholz, Jan Kriege
ProFiDo - The Processes Fitting Toolkit Dortmund. QEST (2010)
Peter Buchholz, Peter Kemper
Model Checking for a Class of Weighted Automata. Discret. Event Dyn. Syst. 20 (1) (2010)
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
A Simulation Environment for Hierarchical Process Chains Based on OMNeT++. Simul. 86 (5-6) (2010)
Levente Bodrog, Peter Buchholz, Jan Kriege, Miklós Telek
Canonical Form Based MAP(2) Fitting. QEST (2010)
Jan Kriege, Peter Buchholz
An Empirical Comparison of MAP Fitting Algorithms. MMB/DFT (2010)
Peter Buchholz
Product form approximations for communicating Markov processes. Perform. Evaluation 67 (9) (2010)
Peter Buchholz, Peter Kemper, Jan Kriege
Multi-class Markovian arrival processes and their parameter fitting. Perform. Evaluation 67 (11) (2010)
Peter Buchholz, Miklós Telek
Stochastic Petri nets with matrix exponentially distributed firing times. Perform. Evaluation 67 (12) (2010)
Peter Buchholz
Optimization of Stochastic Discrete Event Simulation Models. Models and Algorithms for Optimization in Logistics (2009)
Markus Arns, Peter Buchholz, Dennis Müller
OPEDo: a tool for the optimization of performance and dependability models. SIGMETRICS Perform. Evaluation Rev. 36 (4) (2009)
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. WSC (2009)
Peter Buchholz, Jan Kriege
A Heuristic Approach for Fitting MAPs to Moments and Joint Moments. QEST (2009)
Peter Buchholz, Dennis Müller
Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study. WSC (2009)
Falko Bause, Peter Buchholz, Jan Kriege
A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. WSC (2009)
Peter Buchholz
Product Form Approximations for Communicating Markov Processes. QEST (2008)
Peter Buchholz
Bisimulation relations for weighted automata. Theor. Comput. Sci. 393 (1-3) (2008)
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
A Framework for Simulation Models of Service-Oriented Architectures. SIPEW (2008)
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
Simulating process chain models with OMNeT++. SimuTools (2008)
Peter Buchholz, Tugrul Dayar
On the Convergence of a Class of Multilevel Methods for Large Sparse Markov Chains. SIAM J. Matrix Anal. Appl. 29 (3) (2007)
Peter Buchholz
Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains. Web Information Retrieval and Linear Algebra Algorithms (2007)
Peter Buchholz, Andriy Panchenko
A queueing-network approach for modeling control nets in building automation. MMB (2006)
Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef
Guest editors' introduction: quantitative analysis of real-time embedded systems. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
David Daly, Peter Buchholz, William H. Sanders
Bound-Preserving Composition for Markov Reward Models. QEST (2006)
Peter Buchholz, Peter Kemper, Dennis Müller, Mathias Stöber, Axel Thümmler
OPEDo: A tool for optimization and performance evaluation of stochastic models. MMB (2006)
Axel Thümmler, Peter Buchholz, Miklós Telek
A Novel Approach for Phase-Type Fitting with the EM Algorithm. IEEE Trans. Dependable Secur. Comput. 3 (3) (2006)
Peter Buchholz
Bounding stationary results of Tandem networks with MAP input and PH service time distributions. SIGMETRICS/Performance (2006)
Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler
OPEDo: a tool framework for modeling and optimization of stochastic models. VALUETOOLS (2006)
Vinh Vi Lam, William H. Sanders, Peter Buchholz
A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs. DSN (2006)
Peter Buchholz, Peter Kemper
Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. QEST (2006)
Joern Ploennigs, Peter Buchholz, Mario Neugebauer, Klaus Kabitzsch
Automated modeling and analysis of CSMA-type access schemes for building automation networks. IEEE Trans. Ind. Informatics 2 (2) (2006)
Gábor Horváth, Miklós Telek, Peter Buchholz
A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation. QEST (2005)
Vinh Vi Lam, Peter Buchholz, William H. Sanders
A component-level path-based simulation approach for efficient analysis of large Markov models. WSC (2005)
Peter Buchholz, Axel Thümmler
Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization. WSC (2005)
Peter Buchholz
An improved method for bounding stationary measures of finite Markov processes. Perform. Evaluation 62 (1-4) (2005)
Axel Thümmler, Peter Buchholz, Miklós Telek
A Novel Approach for Fitting Probability Distributions to Real Trace Data with the EM Algorithm. DSN (2005)
Árpád Tari, Miklós Telek, Peter Buchholz
A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support. EPEW/WS-FM (2005)

Peter Buchholz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Buchholz