Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDPeter 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
- 2020
[c89]Alexander Puzicha, Peter Buchholz:
Real-Time Simulation of Robot Swarms with Restricted Communication Skills. DS-RT 2020: 1-8- [c88]Peter Buchholz, Dimitri Scheftelowitsch:
Concurrent MDPs with Finite Markovian Policies. MMB 2020: 37-53 - [c87]Andreas Blume, Peter Buchholz, Jan Kriege:
Parallelization of EM-Algorithms for Markovian Arrival Processes. MMB 2020: 173-189 - [c86]Andreas Blume, Peter Buchholz, Clara Scherbaum:
Markovian Arrival Processes in Multi-dimensions. QEST 2020: 175-192
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) - [c85]Peter Buchholz, Iryna Dohndorf, Jan Kriege:
An Online Approach to Estimate Parameters of Phase-Type Distributions. DSN 2019: 100-111 - [c84]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) - [c83]Peter Buchholz, Tugrul Dayar:
Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets. DSN 2018: 291-302 - [c82]Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch:
Time-Based Maintenance Models Under Uncertainty. MMB 2018: 3-18 - [c81]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) - [c80]Falko Bause, Peter Buchholz, Igor V. Tarasyuk, Miklós Telek:
Equivalence and Lumpability of FSPNs. ASMTA 2017: 16-31 - [c79]Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch:
Analysis of Markov Decision Processes Under Parameter Uncertainty. EPEW 2017: 3-18 - [c78]Peter Buchholz, Iryna Dohndorf, Alexander Frank, Dimitri Scheftelowitsch:
Bounded Aggregation for Continuous Time Markov Decision Processes. EPEW 2017: 19-32 - [c77]Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS 2017: 44-51 - [c76]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) - [c75]Peter Buchholz, Iryna Felko, Jan Kriege, Gerhard Rinkenauer:
Modeling Human Decisions in Performance and Dependability Models. EPEW 2016: 159-173 - [c74]Peter Buchholz, Tugrul Dayar, Jan Kriege, M. Can Orhan:
Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis. QEST 2016: 260-276 - [c73]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) - [c72]Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis:
Markov Decision Petri Nets with Uncertainty. EPEW 2015: 177-192 - 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. Winter Simulation Conference 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. Winter Simulation Conference 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. Winter Simulation Conference 2009: 634-645 - [c53]Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag:
Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. Winter Simulation Conference 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. Winter Simulation Conference 2005: 584-590 - [c38]Peter Buchholz, Axel Thümmler:
Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization. Winter Simulation Conference 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. Formal Methods Syst. Des. 21(3): 281-315 (2002) - [j14]Peter Buchholz:
An iterative bounding method for stochastic automata networks. Perform. Evaluation 49(1/4): 211-226 (2002) - [c28]Peter Buchholz:
An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets. DSN 2002: 647-656 - [c27]Andriy Panchenko, Peter Buchholz:
Numerical Analysis and Optimisation of Class Based Queueing. ESM 2002: 543-547 - 2001
- [j13]Peter Buchholz:
Hybrid analysis of SGSPNs with time-dependent transition rates. Perform. Evaluation 44(1-4): 187-209 (2001) - [c26]Peter Buchholz, Sabine Kühn, Frank Breiter:
A Numerical Analysis of a Communication System with Advanced Reservations. MMB 2001: 119-134 - [c25]Peter Buchholz, Peter Kemper:
Quantifying the Dynamic Behavior of Process Algebras. PAPM-PROBMIV 2001: 184-199 - [c24]Peter Buchholz, Peter Kemper:
Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs. PNPM 2001: 81-90 - [c23]Peter Buchholz:
Equivalence and Aggregation of GSPNs with Labeled Transitions. PNPM 2001: 187-196 - 2000
- [j12]Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper:
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS J. Comput. 12(3): 203-222 (2000) - [j11]Peter Buchholz:
A hybrid analysis approach for finite-capacity queues with general inputs and phase type service. Queueing Syst. Theory Appl. 35(1-4): 167-183 (2000) - [j10]Peter Buchholz:
Multilevel Solutions for Structured Markov Chains. SIAM J. Matrix Anal. Appl. 22(2): 342-357 (2000)
1990 – 1999
- 1999
- [j9]Peter Buchholz:
An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models. Eur. J. Oper. Res. 116(3): 545-564 (1999) - [j8]Peter Buchholz:
Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata. Theor. Comput. Sci. 215(1-2): 263-287 (1999) - [j7]Peter Buchholz:
Hierarchical Structuring of Superposed GSPNs. IEEE Trans. Software Eng. 25(2): 166-181 (1999) - [c22]Peter Buchholz, Peter Kemper:
A Toolbox for the Analysis of Discrete Event Dynamic Systems. CAV 1999: 483-486 - [c21]Peter Buchholz, Peter Kemper:
Modular State Level Analysis of Distributed Systems Techniques and Tool Support. TACAS 1999: 420-434 - 1998
- [j6]Falko Bause, Peter Buchholz:
Queueing Petri Nets with Product Form Solution. Perform. Evaluation 32(4): 265-299 (1998) - [j5]Peter Buchholz, Peter Kemper:
On generating a hierarchy for GSPN analysis. SIGMETRICS Perform. Evaluation Rev. 26(2): 5-14 (1998) - [j4]Peter Buchholz:
A New Approach Combining Simulation and Randomization for the Analysis of Large Continuous Time Markov Chains. ACM Trans. Model. Comput. Simul. 8(2): 194-222 (1998) - [c20]