


Остановите войну!
for scientists:


default search action
Peter Buchholz 0001
Person information

- affiliation: Technical University of Dortmund, Germany
- affiliation (former): Dresden University of Technology, Germany
- affiliation (PhD 1991): University of Dortmund, Germany
- not to be confused with: Peter Buchholz 0002
Other persons with the same name
- Peter Buchholz 0002 — University of Siegen, Experimental Particle Physics, Germany (and 1 more)
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j58]Peter Buchholz, Iryna Dohndorf:
Optimal decisions in stochastic graphs with uncorrelated and correlated edge weights. Comput. Oper. Res. 150: 106085 (2023) - 2022
- [j57]Peter Buchholz:
On the Representation of Correlated Exponential Distributions by Phase Type Distributions. SIGMETRICS Perform. Evaluation Rev. 49(3): 73-78 (2022) - [c93]Peter Buchholz, Andreas Blume:
Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis -. SRDS 2022: 201-212 - 2021
- [j56]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: 102117 (2021) - [j55]Peter Buchholz
, Iryna Dohndorf:
A multi-objective approach for PH-graphs with applications to stochastic shortest paths. Math. Methods Oper. Res. 93(1): 153-178 (2021) - [i6]Peter Buchholz:
On the Representation of Correlated Exponential Distributions by Phase Type Distributions. CoRR abs/2108.12223 (2021) - 2020
- [j54]Christin Schumacher
, Peter Buchholz
:
Scheduling Algorithms for a Hybrid Flow Shop under Uncertainty. Algorithms 13(11): 277 (2020) - [c92]Alexander Puzicha
, Peter Buchholz:
Real-Time Simulation of Robot Swarms with Restricted Communication Skills. DS-RT 2020: 1-8 - [c91]Peter Buchholz, Dimitri Scheftelowitsch:
Concurrent MDPs with Finite Markovian Policies. MMB 2020: 37-53 - [c90]Andreas Blume, Peter Buchholz, Jan Kriege:
Parallelization of EM-Algorithms for Markovian Arrival Processes. MMB 2020: 173-189 - [c89]Andreas Blume, Peter Buchholz, Clara Scherbaum:
Markovian Arrival Processes in Multi-dimensions. QEST 2020: 175-192 - [c88]Alexander Puzicha
, Peter Buchholz
:
A Simulation Environment for Autonomous Robot Swarms with Limited Communication Skills. SimuTools (2) 2020: 206-226 - [c87]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: 1456-1467
2010 – 2019
- 2019
- [j53]Peter Buchholz
, Dimitri Scheftelowitsch:
Light robustness in the optimization of Markov decision processes with uncertain parameters. Comput. Oper. Res. 108: 69-81 (2019) - [j52]Peter Buchholz
, Dimitri Scheftelowitsch:
Computation of weighted sums of rewards for concurrent MDPs. Math. Methods Oper. Res. 89(1): 1-42 (2019) - [c86]Peter Buchholz, Iryna Dohndorf, Jan Kriege:
An Online Approach to Estimate Parameters of Phase-Type Distributions. DSN 2019: 100-111 - [c85]Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli:
Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. QEST 2019: 355-360 - 2018
- [j51]Florian Bock, Sebastian Siegl, Peter Bazan, Peter Buchholz, Reinhard German:
Reliability and test effort analysis of multi-sensor driver assistance systems. J. Syst. Archit. 85-86: 1-13 (2018) - [j50]Peter Buchholz, Sebastian Vastag:
Toward an analytical method for SLA validation. Softw. Syst. Model. 17(2): 527-545 (2018) - [c84]Peter Buchholz, Tugrul Dayar
:
Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets. DSN 2018: 291-302 - [c83]Peter Buchholz, Iryna Dohndorf
, Dimitri Scheftelowitsch:
Time-Based Maintenance Models Under Uncertainty. MMB 2018: 3-18 - [c82]Falko Bause, Peter Buchholz:
SLA Tool. MMB 2018: 302-306 - 2017
- [j49]Peter Buchholz
, Iryna Dohndorf
, Dimitri Scheftelowitsch:
Optimal decisions for continuous time Markov decision processes over finite planning horizons. Comput. Oper. Res. 77: 267-278 (2017) - [j48]Peter Buchholz, Tugrul Dayar
, Jan Kriege, M. Can Orhan:
On compact solution vectors in Kronecker-based Markovian analysis. Perform. Evaluation 115: 132-149 (2017) - [j47]Peter Buchholz
, Jan Kriege:
Fitting correlated arrival and service times and related queueing performance. Queueing Syst. Theory Appl. 85(3-4): 337-359 (2017) - [c81]Falko Bause, Peter Buchholz
, Igor V. Tarasyuk
, Miklós Telek:
Equivalence and Lumpability of FSPNs. ASMTA 2017: 16-31 - [c80]Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch:
Analysis of Markov Decision Processes Under Parameter Uncertainty. EPEW 2017: 3-18 - [c79]Peter Buchholz, Iryna Dohndorf
, Alexander Frank, Dimitri Scheftelowitsch:
Bounded Aggregation for Continuous Time Markov Decision Processes. EPEW 2017: 19-32 - [c78]Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS 2017: 44-51 - [c77]Falko Bause, Peter Buchholz
, Johannes May:
A Tool Supporting the Analytical Evaluation of Service Level Agreements. ICPE 2017: 233-244 - [i5]Igor V. Tarasyuk, Peter Buchholz:
Behavioural equivalences for fluid stochastic Petri nets. CoRR abs/1706.02641 (2017) - [i4]Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi
, Holger Hermanns:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. CoRR abs/1710.08986 (2017) - 2016
- [j46]Peter Buchholz
, Jan Kriege, Dimitri Scheftelowitsch:
Equivalence and Minimization for Model Checking Labeled Markov Chains. EAI Endorsed Trans. Scalable Inf. Syst. 3(11): e2 (2016) - [c76]Peter Buchholz
, Iryna Felko
, Jan Kriege, Gerhard Rinkenauer:
Modeling Human Decisions in Performance and Dependability Models. EPEW 2016: 159-173 - [c75]Peter Buchholz
, Tugrul Dayar
, Jan Kriege, M. Can Orhan:
Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis. QEST 2016: 260-276 - [c74]Jan Kriege, Peter Buchholz
:
Traffic Modeling with Phase-Type Distributions and VARMA Processes. QEST 2016: 295-310 - 2015
- [j45]Peter Buchholz
, Iryna Felko
:
PH-graphs for analyzing shortest path problems with correlated traveling times. Comput. Oper. Res. 59: 51-65 (2015) - [c73]Marco Beccuti
, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz
, Giuliana Franceschinis:
Markov Decision Petri Nets with Uncertainty. EPEW 2015: 177-192 - [c72]Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch:
Equivalence and Minimization for Model Checking Labeled Markov Chains. VALUETOOLS 2015: 119-126 - 2014
- [j44]Peter Buchholz
, Jan Kriege:
Approximate aggregation of Markovian models using alternating least squares. Perform. Evaluation 73: 73-90 (2014) - [j43]Peter Buchholz
, Benny Van Houdt:
Editorial. Perform. Evaluation 79: 1 (2014) - [c71]Peter Buchholz
, Jan Kriege, Dimitri Scheftelowitsch:
Model Checking Stochastic Automata for Dependability and Performance Measures. DSN 2014: 503-514 - [c70]Peter Buchholz
, Jan Kriege:
Markov Modeling of Availability and Unavailability Data. EDCC 2014: 94-105 - [c69]Jan Kriege, Peter Buchholz
:
PH and MAP Fitting with Aggregated Traffic Traces. MMB/DFT 2014: 1-15 - [c68]Elvio Gilberto Amparore, Peter Buchholz
, Susanna Donatelli:
A Structured Solution Approach for Markov Regenerative Processes. QEST 2014: 9-24 - 2013
- [j42]Peter Buchholz
, Miklós Telek:
On minimal representations of Rational Arrival Processes. Ann. Oper. Res. 202(1): 35-58 (2013) - [j41]Peter Buchholz
, Miklós Telek:
Rational Automata Networks: A Non-Markovian Modeling Approach. INFORMS J. Comput. 25(1): 87-101 (2013) - [j40]Peter Buchholz
:
Numerical analysis of rational processes beyond Markov chains. Perform. Evaluation 70(9): 646-662 (2013) - [c67]Peter Buchholz, Iryna Felko
, Jan Kriege:
Transformation of Acyclic Phase Type Distributions for Correlation Fitting. ASMTA 2013: 96-111 - [e3]András Horváth, Peter Buchholz, Vittorio Cortellessa, Luca Muscariello, Mark S. Squillante:
7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013. ICST/ACM 2013, ISBN 978-1-936968-48-0 [contents] - 2012
- [j39]Peter Buchholz, Miklós Telek:
Rational Processes Related to Communicating Markov Processes. J. Appl. Probab. 49(1): 40-59 (2012) - [c66]Peter Buchholz
:
Finite horizon analysis of infinite CTMDPs. DSN 2012: 1-12 - [c65]Peter Buchholz
, Jan Kriege:
Aggregation of Markovian Models - An Alternating Least Squares Approach. QEST 2012: 43-52 - [c64]Michael D. Ford, Peter Buchholz
, William H. Sanders:
State-Based Analysis in ADVISE. QEST 2012: 148-157 - [c63]Jan Kriege, Peter Buchholz
:
Traffic modeling with a combination of phase-type distributions and ARMA processes. WSC 2012: 424:1-424:12 - 2011
- [j38]Peter Buchholz
, Ingo Schulz:
Numerical analysis of continuous time Markov decision processes over finite horizons. Comput. Oper. Res. 38(3): 651-659 (2011) - [j37]Peter Buchholz
:
Bounding reward measures of Markov models using the Markov decision processes. Numer. Linear Algebra Appl. 18(6): 919-930 (2011) - [j36]Jan Kriege, Peter Buchholz:
Correlated phase-type distributed random numbers as input models for simulations. Perform. Evaluation 68(11): 1247-1260 (2011) - [c62]Peter Buchholz
, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang:
Model Checking Algorithms for CTMDPs. CAV 2011: 225-242 - [c61]Peter Buchholz
, Miklós Telek:
Composition and Equivalence of Markovian and Non-Markovian Models. QEST 2011: 213-222 - [c60]Jan Kriege, Peter Buchholz:
Simulating stochastic processes with OMNeT++. SimuTools 2011: 367-374 - 2010
- [j35]Peter Buchholz
, Peter Kemper:
Model Checking for a Class of Weighted Automata. Discret. Event Dyn. Syst. 20(1): 103-137 (2010) - [j34]Markus Arns, Peter Buchholz
, Andriy Panchenko:
On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains. INFORMS J. Comput. 22(3): 416-432 (2010) - [j33]Peter Buchholz
:
Product form approximations for communicating Markov processes. Perform. Evaluation 67(9): 797-815 (2010) - [j32]Peter Buchholz
, Peter Kemper, Jan Kriege:
Multi-class Markovian arrival processes and their parameter fitting. Perform. Evaluation 67(11): 1092-1106 (2010) - [j31]Peter Buchholz
, Miklós Telek:
Stochastic Petri nets with matrix exponentially distributed firing times. Perform. Evaluation 67(12): 1373-1385 (2010) - [j30]Falko Bause, Peter Buchholz
, Jan Kriege, Sebastian Vastag:
A Simulation Environment for Hierarchical Process Chains Based on OMNeT++. Simul. 86(5-6): 291-309 (2010) - [c59]Jan Kriege, Peter Buchholz
:
An Empirical Comparison of MAP Fitting Algorithms. MMB/DFT 2010: 259-273 - [c58]Falko Bause, Peter Buchholz
, Jan Kriege:
ProFiDo - The Processes Fitting Toolkit Dortmund. QEST 2010: 87-96 - [c57]Levente Bodrog, Peter Buchholz
, Jan Kriege, Miklós Telek:
Canonical Form Based MAP(2) Fitting. QEST 2010: 107-116
2000 – 2009
- 2009
- [j29]Markus Arns, Peter Buchholz
, Dennis Müller:
OPEDo: a tool for the optimization of performance and dependability models. SIGMETRICS Perform. Evaluation Rev. 36(4): 22-27 (2009) - [c56]Peter Buchholz
, Jan Kriege:
A Heuristic Approach for Fitting MAPs to Moments and Joint Moments. QEST 2009: 53-62 - [c55]Peter Buchholz
, Dennis Müller:
Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study. WSC 2009: 516-527 - [c54]Falko Bause, Peter Buchholz
, Jan Kriege:
A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. WSC 2009: 634-645 - [c53]Falko Bause, Peter Buchholz
, Jan Kriege, Sebastian Vastag:
Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. WSC 2009: 1015-1026 - [i3]Peter Buchholz:
Optimization of Stochastic Discrete Event Simulation Models. Models and Algorithms for Optimization in Logistics 2009 - 2008
- [j28]Peter Buchholz
:
Bisimulation relations for weighted automata. Theor. Comput. Sci. 393(1-3): 109-123 (2008) - [c52]Peter Buchholz
:
Product Form Approximations for Communicating Markov Processes. QEST 2008: 135-144 - [c51]Falko Bause, Peter Buchholz
, Jan Kriege, Sebastian Vastag:
Simulating process chain models with OMNeT++. SimuTools 2008: 19 - [c50]Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag:
A Framework for Simulation Models of Service-Oriented Architectures. SIPEW 2008: 208-227 - [e2]Falko Bause, Peter Buchholz:
Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31 - April 2, 2008, Dortmund, Germany. VDE Verlag 2008, ISBN 978-3-8007-3090-2 [contents] - 2007
- [j27]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): 1025-1049 (2007) - [i2]Peter Buchholz:
Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains. Web Information Retrieval and Linear Algebra Algorithms 2007 - 2006
- [j26]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): 605-606 (2006) - [j25]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): 245-258 (2006) - [j24]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): 103-111 (2006) - [c49]Vinh Vi Lam, William H. Sanders, Peter Buchholz
:
A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs. DSN 2006: 485-494 - [c48]Peter Buchholz, Andriy Panchenko:
A queueing-network approach for modeling control nets in building automation. MMB 2006: 317-334 - [c47]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: 457-460 - [c46]Peter Buchholz
, Peter Kemper:
Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. QEST 2006: 233-242 - [c45]David Daly, Peter Buchholz
, William H. Sanders:
Bound-Preserving Composition for Markov Reward Models. QEST 2006: 243-252 - [c44]Peter Buchholz:
Bounding stationary results of Tandem networks with MAP input and PH service time distributions. SIGMETRICS/Performance 2006: 191-202 - [c43]Peter Buchholz
, Dennis Müller, Peter Kemper, Axel Thümmler:
OPEDo: a tool framework for modeling and optimization of stochastic models. VALUETOOLS 2006: 61 - 2005
- [j23]Peter Buchholz
:
An improved method for bounding stationary measures of finite Markov processes. Perform. Evaluation 62(1-4): 349-365 (2005) - [j22]Peter Buchholz
, Tugrul Dayar
:
Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations. SIAM J. Sci. Comput. 26(4): 1289-1313 (2005) - [c42]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: 712-721 - [c41]Árpád Tari, Miklós Telek, Peter Buchholz
:
A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support. EPEW/WS-FM 2005: 79-93 - [c40]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: 124-133 - [c39]Vinh Vi Lam, Peter Buchholz
, William H. Sanders:
A component-level path-based simulation approach for efficient analysis of large Markov models. WSC 2005: 584-590 - [c38]Peter Buchholz
, Axel Thümmler:
Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization. WSC 2005: 842-852 - 2004
- [j21]Peter Buchholz
, Tugrul Dayar
:
Comparison of Multilevel Methods for Kronecker-based Markovian Representations. Computing 73(4): 349-371 (2004) - [j20]Peter Buchholz
:
Adaptive decomposition and approximation for the analysis of stochastic Petri nets. Perform. Evaluation 56(1-4): 23-52 (2004) - [c37]Peter Buchholz, Andriy Panchenko:
A Two-Step EM Algorithm for MAP Fitting. ISCIS 2004: 217-227 - [c36]Peter Buchholz, Falko Bause, Carsten Tepper:
The ProC/B-Approach from informal descriptions to formal models. ISoLA (Preliminary proceedings) 2004: 328-334 - [c35]Peter Buchholz
, Carsten Tepper:
Functional Analysis of Process-Oriented Systems. OR 2004: 127-135 - [c34]Falko Bause, Peter Buchholz
, Markus Fischer, Peter Kemper:
Hybrid Performability Analysis of Logistic Networks. PADS 2004: 131-138 - [c33]Peter Buchholz, Andriy Panchenko:
An EM Algorithm for Fitting of Real Traffic Traces to PH-Distribution. PARELEC 2004: 283-288 - [c32]Peter Buchholz
, William H. Sanders:
Approximate Computation of Transient Results for Large Markov Chains. QEST 2004: 126-135 - [c31]Vinh Vi Lam, Peter Buchholz
, William H. Sanders:
A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. QEST 2004: 136-145 - [c30]Peter Buchholz
, Peter Kemper:
Kronecker Based Matrix Representations for Large Markov Models. Validation of Stochastic Systems 2004: 256-295 - [e1]Peter Buchholz, Ralf Lehnert, Michal Pióro:
MMB & PGTS 2004, 12th GI/ITG Conference on Measuring and Evaluation of Computer and Communication Systems (MMB) together with 3rd Polish-German Teletraffic Symposium (PGTS), September 12-15, 2004, Dresden, Germany. VDE Verlag 2004, ISBN 3-8007-2851-6 [contents] - 2003
- [j19]Peter Buchholz, Peter Kemper:
Weak Bisimulation for (max/+) Automata and Related Models. J. Autom. Lang. Comb. 8(2): 187-218 (2003) - [j18]Peter Buchholz
, Joost-Pieter Katoen
, Peter Kemper, Carsten Tepper:
Model-checking large structured Markov chains. J. Log. Algebraic Methods Program. 56(1-2): 69-97 (2003) - [c29]Peter Buchholz
:
An EM-Algorithm for MAP Fitting from Real Traffic Data. Computer Performance Evaluation / TOOLS 2003: 218-236 - [i1]Peter Buchholz, Peter Kemper:
Model Checking for a Class of Weighted Automata. CoRR cs.LO/0304021 (2003) - 2002
- [j17]Peter Buchholz
, Peter Kemper:
Efficient Computation and Representation of Large Reachability Sets for Composed Automata. Discret. Event Dyn. Syst. 12(3): 265-286 (2002) - [j16]Peter Buchholz:
An adaptive importance sampling approach for the transient analysis of markovian queueing networks. Eur. Trans. Telecommun. 13(4): 317-329 (2002) - [j15]Peter Buchholz
, Peter Kemper:
Hierarchical Reachability Graph Generation for Petri Nets.