Peter Buchholz

Peter Buchholz, Miklós Telek: On minimal representations of Rational Arrival Processes. Annals OR 202(1): 35-58 (2013)

Peter Buchholz, Miklós Telek: Rational Automata Networks: A Non-Markovian Modeling Approach. INFORMS Journal on Computing 25(1): 87-101 (2013)

Peter Buchholz: Finite horizon analysis of infinite CTMDPs. DSN 2012: 1-12

Peter Buchholz, Jan Kriege: Aggregation of Markovian Models - An Alternating Least Squares Approach. QEST 2012: 43-52

Michael D. Ford, Peter Buchholz, William H. Sanders: State-Based Analysis in ADVISE. QEST 2012: 148-157

Jan Kriege, Peter Buchholz: Traffic modeling with a combination of phase-type distributions and ARMA processes. Winter Simulation Conference 2012: 424

Peter Buchholz, Ingo Schulz: Numerical analysis of continuous time Markov decision processes over finite horizons. Computers & OR 38(3): 651-659 (2011)

Jan Kriege, Peter Buchholz: Correlated phase-type distributed random numbers as input models for simulations. Perform. Eval. 68(11): 1247-1260 (2011)

Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang: Model Checking Algorithms for CTMDPs. CAV 2011: 225-242

Peter Buchholz, Miklós Telek: Composition and Equivalence of Markovian and Non-Markovian Models. QEST 2011: 213-222

Jan Kriege, Peter Buchholz: Simulating stochastic processes with OMNeT++. SimuTools 2011: 367-374

Peter Buchholz, Peter Kemper: Model Checking for a Class of Weighted Automata. Discrete Event Dynamic Systems 20(1): 103-137 (2010)

Daniel Lorenz, Peter Buchholz, Christian Uebing, Wolfgang Walkowiak, Roland Wismüller: Steering of sequential jobs with a distributed shared memory based model for online steering. Future Generation Comp. Syst. 26(1): 155-161 (2010)

Markus Arns, Peter Buchholz, Andriy Panchenko: On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains. INFORMS Journal on Computing 22(3): 416-432 (2010)

Peter Buchholz: Product form approximations for communicating Markov processes. Perform. Eval. 67(9): 797-815 (2010)

Peter Buchholz, Peter Kemper, Jan Kriege: Multi-class Markovian arrival processes and their parameter fitting. Perform. Eval. 67(11): 1092-1106 (2010)

Peter Buchholz, Miklós Telek: Stochastic Petri nets with matrix exponentially distributed firing times. Perform. Eval. 67(12): 1373-1385 (2010)

Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: A Simulation Environment for Hierarchical Process Chains Based on OMNeT++. Simulation 86(5-6): 291-309 (2010)

Jan Kriege, Peter Buchholz: An Empirical Comparison of MAP Fitting Algorithms. MMB/DFT 2010: 259-273

Falko Bause, Peter Buchholz, Jan Kriege: ProFiDo - The Processes Fitting Toolkit Dortmund. QEST 2010: 87-96

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

Daniel Lorenz, Branislav Borovac, Peter Buchholz, Henrik Eichenhardt, T. Harenberg, P. Mättig, M. Mechtel, Ralph Müller-Pfefferkorn, Reinhard Neumann, K. Reeves, Christian Uebing, Wolfgang Walkowiak, Thomas William, Roland Wismüller: Job monitoring and steering in D-Grid's High Energy Physics Community Grid. Future Generation Comp. Syst. 25(3): 308-314 (2009)

Markus Arns, Peter Buchholz, Dennis Müller: OPEDo: a tool for the optimization of performance and dependability models. SIGMETRICS Performance Evaluation Review 36(4): 22-27 (2009)

Peter Buchholz, Jan Kriege: A Heuristic Approach for Fitting MAPs to Moments and Joint Moments. QEST 2009: 53-62

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

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

Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. Winter Simulation Conference 2009: 1015-1026

Peter Buchholz: Bisimulation relations for weighted automata. Theor. Comput. Sci. 393(1-3): 109-123 (2008)

Daniel Lorenz, Peter Buchholz, Christian Uebing, Wolfgang Walkowiak, Roland Wismüller: RMOST: A Shared Memory Model for Online Steering. ICCS (3) 2008: 223-232

Daniel Lorenz, Peter Buchholz, Christian Uebing, Wolfgang Walkowiak, Roland Wismüller: Secure Communication for Computational Steering of Grid Jobs. PDP 2008: 209-217

Peter Buchholz: Product Form Approximations for Communicating Markov Processes. QEST 2008: 135-144

Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: Simulating process chain models with OMNeT++. SimuTools 2008: 19

Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: A Framework for Simulation Models of Service-Oriented Architectures. SIPEW 2008: 208-227

Falko Bause, Peter Buchholz (Eds.): 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

Peter Buchholz, Tugrul Dayar: On the Convergence of a Class of Multilevel Methods for Large Sparse Markov Chains. SIAM J. Matrix Analysis Applications 29(3): 1025-1049 (2007)

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

Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef: Guest editors' introduction: quantitative analysis of real-time embedded systems. STTT 8(6): 605-606 (2006)

Axel Thümmler, Peter Buchholz, Miklós Telek: A Novel Approach for Phase-Type Fitting with the EM Algorithm. IEEE Trans. Dependable Sec. Comput. 3(3): 245-258 (2006)

Joern Ploennigs, Peter Buchholz, Mario Neugebauer, Klaus Kabitzsch: Automated modeling and analysis of CSMA-type access schemes for building automation networks. IEEE Trans. Industrial Informatics 2(2): 103-111 (2006)

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

Peter Buchholz, Andriy Panchenko: A queueing-network approach for modeling control nets in building automation. MMB 2006: 317-334

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

Peter Buchholz, Peter Kemper: Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. QEST 2006: 233-242

David Daly, Peter Buchholz, William H. Sanders: Bound-Preserving Composition for Markov Reward Models. QEST 2006: 243-252

Peter Buchholz: Bounding stationary results of Tandem networks with MAP input and PH service time distributions. SIGMETRICS/Performance 2006: 191-202

Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler: OPEDo: a tool framework for modeling and optimization of stochastic models. VALUETOOLS 2006: 61

Peter Buchholz: An improved method for bounding stationary measures of finite Markov processes. Perform. Eval. 62(1-4): 349-365 (2005)

Peter Buchholz, Tugrul Dayar: Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations. SIAM J. Scientific Computing 26(4): 1289-1313 (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: 712-721

Á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

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

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

Peter Buchholz, Axel Thümmler: Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization. Winter Simulation Conference 2005: 842-852

Peter Buchholz, Tugrul Dayar: Comparison of Multilevel Methods for Kronecker-based Markovian Representations. Computing 73(4): 349-371 (2004)

Peter Buchholz: Adaptive decomposition and approximation for the analysis of stochastic Petri nets. Perform. Eval. 56(1-4): 23-52 (2004)

Peter Buchholz, Andriy Panchenko: A Two-Step EM Algorithm for MAP Fitting. ISCIS 2004: 217-227

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

Peter Buchholz, Carsten Tepper: Functional Analysis of Process-Oriented Systems. OR 2004: 127-135

Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper: Hybrid Performability Analysis of Logistic Networks. PADS 2004: 131-138

Peter Buchholz, Andriy Panchenko: An EM Algorithm for Fitting of Real Traffic Traces to PH-Distribution. PARELEC 2004: 283-288

Peter Buchholz, William H. Sanders: Approximate Computation of Transient Results for Large Markov Chains. QEST 2004: 126-135

Vinh Vi Lam, Peter Buchholz, William H. Sanders: A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. QEST 2004: 136-145

Peter Buchholz, Peter Kemper: Kronecker Based Matrix Representations for Large Markov Models. Validation of Stochastic Systems 2004: 256-295

Peter Buchholz, Ralf Lehnert, Michal Pióro (Eds.): 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

Peter Buchholz, Peter Kemper: Weak Bisimulation for (max/+) Automata and Related Models. Journal of Automata, Languages and Combinatorics 8(2): 187-218 (2003)

Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper: Model-checking large structured Markov chains. J. Log. Algebr. Program. 56(1-2): 69-97 (2003)

Peter Buchholz: An EM-Algorithm for MAP Fitting from Real Traffic Data. Computer Performance Evaluation / TOOLS 2003: 218-236

Peter Buchholz, Peter Kemper: Model Checking for a Class of Weighted Automata. CoRR cs.LO/0304021 (2003)

Peter Buchholz, Peter Kemper: Efficient Computation and Representation of Large Reachability Sets for Composed Automata. Discrete Event Dynamic Systems 12(3): 265-286 (2002)

Peter Buchholz: An adaptive importance sampling approach for the transient analysis of markovian queueing networks. European Transactions on Telecommunications 13(4): 317-329 (2002)

Peter Buchholz, Peter Kemper: Hierarchical Reachability Graph Generation for Petri Nets. Formal Methods in System Design 21(3): 281-315 (2002)

Peter Buchholz: An iterative bounding method for stochastic automata networks. Perform. Eval. 49(1/4): 211-226 (2002)

Peter Buchholz: An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets. DSN 2002: 647-656

Andriy Panchenko, Peter Buchholz: Numerical Analysis and Optimisation of Class Based Queueing. ESM 2002: 543-547

Peter Buchholz: Hybrid analysis of SGSPNs with time-dependent transition rates. Perform. Eval. 44(1-4): 187-209 (2001)

Peter Buchholz, Sabine Kühn, Frank Breiter: A Numerical Analysis of a Communication System with Advanced Reservations. MMB 2001: 119-134

Peter Buchholz, Peter Kemper: Quantifying the Dynamic Behavior of Process Algebras. PAPM-PROBMIV 2001: 184-199

Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper: Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS Journal on Computing 12(3): 203-222 (2000)

Peter Buchholz: A hybrid analysis approach for finite-capacity queues with general inputs and phase type service. Queueing Syst. 35(1-4): 167-183 (2000)

Peter Buchholz: An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models. European Journal of Operational Research 116(3): 545-564 (1999)

Peter Buchholz: Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata. Theor. Comput. Sci. 215(1-2): 263-287 (1999)

Peter Buchholz: Hierarchical Structuring of Superposed GSPNs. IEEE Trans. Software Eng. 25(2): 166-181 (1999)

Peter Buchholz, Peter Kemper: A Toolbox for the Analysis of Discrete Event Dynamic Systems. CAV 1999: 483-486

Peter Buchholz, Peter Kemper: Modular State Level Analysis of Distributed Systems Techniques and Tool Support. TACAS 1999: 420-434

Falko Bause, Peter Buchholz: Queueing Petri Nets with Product Form Solution. Perform. Eval. 32(4): 265-299 (1998)

Peter Buchholz, Peter Kemper: On generating a hierarchy for GSPN analysis. SIGMETRICS Performance Evaluation Review 26(2): 5-14 (1998)

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)

Peter Buchholz: Iterative Decomposition and Aggregation of Labeled GSPNs. ICATPN 1998: 226-245

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

Peter Buchholz: Efficient Analysis Techniques for Symmetric Multiprocessor Architecture. MASCOTS 1997: 125-130

Falko Bause, Peter Buchholz, Peter Kemper: Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB 1997: 87-101

Falko Bause, Peter Buchholz, Peter Kemper: HiQPN-Tool. MMB (Kurzbeiträge) 1997: 111-117

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

Peter Buchholz: Hierarchical Markovian Models: Symmetries and Reduction. Perform. Eval. 22(1): 93-110 (1995)

Peter Buchholz: A Notion of Equivalence for Stochastic Petri Nets. Application and Theory of Petri Nets 1995: 161-180

Peter Buchholz: On the Exact and Approximate Analysis of Hierarchical Discrete Time Queueing Networks. MMB 1995: 150-164

Falko Bause, Peter Buchholz, Peter Kemper: QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB 1995: 224-238

Peter Buchholz: A class of hierarchical queueing networks and their analysis. Queueing Syst. 15(1-4): 59-80 (1994)

Peter Buchholz: Hierarchical High Level Petri Nets for Complex System Analysis. Application and Theory of Petri Nets 1994: 119-138

Peter Buchholz: Hierarchies in Colored GSPNs. Application and Theory of Petri Nets 1993: 106-125

Falko Bause, Peter Buchholz: Qualitative und Quantitative Analysis of Timed SDL Specifications. Kommunikation in Verteilten Systemen 1993: 486-500

Peter Buchholz: A Heuristic Approach for the Aggregation of Markovian Submodels. MMB 1993: 117-129

Peter Buchholz: A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis. J. Parallel Distrib. Comput. 15(3): 207-224 (1992)

Peter Buchholz: Die strukturierte Analyse Markovscher Modelle. Informatik-Fachberichte 282, Springer 1991, isbn 3-540-54540-9

Peter Buchholz: The Numerical Analysis of Hierarchical Queueing Network Models. MMB 1991: 30-45

Falko Bause, Peter Buchholz: Protocol Analysis Using a Timed Version of SDL. FORTE 1990: 239-254

Heinz Beilner, Peter Buchholz, Bruno Müller-Clostermann: Experimente mit Ersatzdarstellungen unter Berücksichtigung der Verweilzeitverteilung. MMB 1987: 343-359