Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
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
Books and Theses
- 1991
[b1]Peter Buchholz
:
Die strukturierte Analyse Markovscher Modelle. Technical University of Dortmund, Germany, Informatik-Fachberichte 282, Springer 1991, ISBN 3-540-54540-9, pp. 1-192
Journal Articles
- 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) - 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) - 2020
- [j54]Christin Schumacher, Peter Buchholz:
Scheduling Algorithms for a Hybrid Flow Shop under Uncertainty. Algorithms 13(11): 277 (2020) - 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) - 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) - 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) - 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) - 2015
- [j45]Peter Buchholz, Iryna Felko:
PH-graphs for analyzing shortest path problems with correlated traveling times. Comput. Oper. Res. 59: 51-65 (2015) - 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) - 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) - 2012
- [j39]Peter Buchholz, Miklós Telek:
Rational Processes Related to Communicating Markov Processes. J. Appl. Probab. 49(1): 40-59 (2012) - 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) - 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) - 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) - 2008
- [j28]Peter Buchholz:
Bisimulation relations for weighted automata. Theor. Comput. Sci. 393(1-3): 109-123 (2008) - 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) - 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) - 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) - 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) - 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) - 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) - 2001
- [j13]Peter Buchholz:
Hybrid analysis of SGSPNs with time-dependent transition rates. Perform. Evaluation 44(1-4): 187-209 (2001) - 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) - 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) - 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) - 1995
- [j3]Peter Buchholz:
Hierarchical Markovian Models: Symmetries and Reduction. Perform. Evaluation 22(1): 93-110 (1995) - 1994
- [j2]Peter Buchholz:
A class of hierarchical queueing networks and their analysis. Queueing Syst. Theory Appl. 15(1-4): 59-80 (1994) - 1992
- [j1]Peter Buchholz:
A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis. J. Parallel Distributed Comput. 15(3): 207-224 (1992)
Conference and Workshop Papers
- 2023
- [c96]Peter Buchholz, András Mészáros, Miklós Telek:
Analysis of a Two-State Markov Fluid Model with 2 Buffers. EPEW 2023: 49-64 - 2022
- [c95]Peter Buchholz:
Surrogate Models for Markov Reward Models with Uncertain Parameters. MASCOTS 2022: 129-136 - [c94]Peter Buchholz, Andreas Blume:
Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis -. SRDS 2022: 201-212 - [c93]Alexander Puzicha, Peter Buchholz:
Dynamic Mission Control for Decentralized Mobile Robot Swarms. SSRR 2022: 257-263 - 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 - 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
- [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
- [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 - 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
- [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
- [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
- [c67]Peter Buchholz, Iryna Felko, Jan Kriege:
Transformation of Acyclic Phase Type Distributions for Correlation Fitting. ASMTA 2013: 96-111 - 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
- [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
- [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 - 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 - 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 - 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
- [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
- [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 - 2003
- [c29]Peter Buchholz:
An EM-Algorithm for MAP Fitting from Real Traffic Data. Computer Performance Evaluation / TOOLS 2003: 218-236 - 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
- [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 - 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
- [c20]Peter Buchholz:
Iterative Decomposition and Aggregation of Labeled GSPNs. ICATPN 1998: 226-245 - [c19]Falko Bause, Peter Buchholz, Peter Kemper:
A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) 1998: 356-359 - 1997
- [c18]Peter Buchholz:
Efficient Analysis Techniques for Symmetric Multiprocessor Architecture. MASCOTS 1997: 125-130 - [c17]Falko Bause, Peter Buchholz, Peter Kemper:
Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB 1997: 87-101 - [c16]Falko Bause, Peter Buchholz, Peter Kemper:
HiQPN-Tool. MMB (Kurzbeiträge) 1997: 111-117 - [c15]Peter Buchholz:
A Distributed Numerical/Simulative Algorithm for the Analysis of Large Continuous Time Markov Chains. Workshop on Parallel and Distributed Simulation 1997: 4-11 - [c14]Falko Bause, Peter Buchholz:
Aggregation and disaggregation in product form queueing Petri Nets. PNPM 1997: 16-25 - [c13]Peter Buchholz:
Hierarchical structuring of superposed GSPNs. PNPM 1997: 81-90 - 1995
- [c12]Peter Buchholz:
A Notion of Equivalence for Stochastic Petri Nets. Application and Theory of Petri Nets 1995: 161-180 - [c11]Peter Buchholz:
On the Exact and Approximate Analysis of Hierarchical Discrete Time Queueing Networks. MMB 1995: 150-164 - [c10]Falko Bause, Peter Buchholz, Peter Kemper:
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB 1995: 224-238 - [c9]Peter Buchholz, Peter Kemper:
Numerical analysis of stochastic marked graph nets. PNPM 1995: 32-41 - 1994
- [c8]Peter Buchholz:
Hierarchical High Level Petri Nets for Complex System Analysis. Application and Theory of Petri Nets 1994: 119-138 - 1993
- [c7]Peter Buchholz:
Hierarchies in Colored GSPNs. Application and Theory of Petri Nets 1993: 106-125 - [c6]Falko Bause, Peter Buchholz:
Qualitative und Quantitative Analysis of Timed SDL Specifications. Kommunikation in Verteilten Systemen 1993: 486-500 - [c5]Peter Buchholz:
A Heuristic Approach for the Aggregation of Markovian Submodels. MMB 1993: 117-129 - [c4]Peter Buchholz:
Aggregation and reduction techniques for hierarchical GCSPNs. PNPM 1993: 216-225 - 1991
- [c3]Peter Buchholz:
The Numerical Analysis of Hierarchical Queueing Network Models. MMB 1991: 30-45 - 1990
- [c2]Falko Bause, Peter Buchholz:
Protocol Analysis Using a Timed Version of SDL. FORTE 1990: 239-254 - 1987
- [c1]Heinz Beilner, Peter Buchholz, Bruno Müller-Clostermann:
Experimente mit Ersatzdarstellungen unter Berücksichtigung der Verweilzeitverteilung. MMB 1987: 343-359
Editorship
- 2013
- [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] - 2008
- [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] - 2004
- [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]
Informal and Other Publications
- 2021
- [i6]Peter Buchholz:
On the Representation of Correlated Exponential Distributions by Phase Type Distributions. CoRR abs/2108.12223 (2021) - 2017
- [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) - 2009
- [i3]Peter Buchholz:
Optimization of Stochastic Discrete Event Simulation Models. Models and Algorithms for Optimization in Logistics 2009 - 2007
- [i2]Peter Buchholz:
Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains. Web Information Retrieval and Linear Algebra Algorithms 2007 - 2003
- [i1]Peter Buchholz, Peter Kemper:
Model Checking for a Class of Weighted Automata. CoRR cs.LO/0304021 (2003)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-10-17 01:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
