Peter Buchholz

发表

Proceeding of the Twelfth GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB) and the Third Polish-German Teletraffic Symposium (PGTS)

Peter Buchholz, Ralf Lehnert, Michal Pioro, 2004 .

Real-Time Simulation of Robot Swarms with Restricted Communication Skills

Peter Buchholz, Alexander Puzicha, P. Buchholz, 2020, 2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT).

Equivalence and Lumpability of FSPNs

Peter Buchholz, Falko Bause, Miklós Telek, 2017, ASMTA.

Composition and Equivalence of Markovian and Non-Markovian Models

Peter Buchholz, Miklós Telek, P. Buchholz, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization

Peter Buchholz, Axel Thümmler, 2005, Proceedings of the Winter Simulation Conference, 2005..

A Heuristic Approach for the Aggregation of Markovian Submodels

Peter Buchholz, 1993, MMB.

Quantifying the Dynamic Behavior of Process Algebras

Peter Buchholz, Peter Kemper, P. Buchholz, 2001, PAPM-PROBMIV.

Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets

Peter Buchholz, Susanna Donatelli, Elvio Gilberto Amparore, 2019, QEST.

Markov Modeling of Availability and Unavailability Data

Peter Buchholz, Jan Kriege, P. Buchholz, 2014, 2014 Tenth European Dependable Computing Conference.

Parallelization of EM-Algorithms for Markovian Arrival Processes

Peter Buchholz, Jan Kriege, Andreas Blume, 2020, MMB.

Approximate computation of transient results for large Markov chains

William H. Sanders, Peter Buchholz, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

Compact representations of probability distributions in the analysis of Superposed GSPNs

Peter Buchholz, Peter Kemper, P. Buchholz, 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models

Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, 2000, INFORMS J. Comput..

A Novel Approach for Phase-Type Fitting with the EM Algorithm

Peter Buchholz, Miklós Telek, Axel Thümmler, 2006, IEEE Transactions on Dependable and Secure Computing.

Hierarchical Reachability Graph Generation for Petri Nets

Peter Buchholz, Peter Kemper, P. Buchholz, 2002, Formal Methods Syst. Des..

On compact solution vectors in Kronecker-based Markovian analysis

Peter Buchholz, Tugrul Dayar, M. Can Orhan, 2017, Perform. Evaluation.

Bounded Aggregation for Continuous Time Markov Decision Processes

Peter Buchholz, Dimitri Scheftelowitsch, Iryna Dohndorf, 2017, EPEW.

Time-Based Maintenance Models Under Uncertainty

Peter Buchholz, Dimitri Scheftelowitsch, Iryna Dohndorf, 2018, MMB.

Scheduling Algorithms for a Hybrid Flow Shop under Uncertainty

Peter Buchholz, Christin Schumacher, P. Buchholz, 2020, Algorithms.

A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support

Peter Buchholz, Miklós Telek, Árpád Tari, 2005, EPEW/WS-FM.

A Numerical Analysis of a Communication System with Advanced Reservations

Peter Buchholz, Sabine Kühn, Frank Breiter, 2001, MMB.

Analysis of Markov Decision Processes Under Parameter Uncertainty

Peter Buchholz, Dimitri Scheftelowitsch, Iryna Dohndorf, 2017, EPEW.

On the Convergence of a Class of Multilevel Methods for Large Sparse Markov Chains

Peter Buchholz, Tugrul Dayar, P. Buchholz, 2007, SIAM J. Matrix Anal. Appl..

NORTON'S THEOREM FOR BATCH ROUTING QUEUEING NETWORKS

Peter Buchholz, Falko Bause, Richard J. Boucherie, 2001 .

Hybrid analysis of SGSPNs with time-dependent transition rates

Peter Buchholz, 2001, Perform. Evaluation.

Qualitative und Quantitative Analysis of Timed SDL Specifications

Peter Buchholz, Falko Bause, P. Buchholz, 1993, Kommunikation in Verteilten Systemen.

Equivalence and Minimization for Model Checking Labeled Markov Chains

Peter Buchholz, Dimitri Scheftelowitsch, Jan Kriege, 2016, EAI Endorsed Trans. Scalable Inf. Syst..

A Notion of Equivalence for Stochastic Petri Nets

Peter Buchholz, 1995, Application and Theory of Petri Nets.

SLA Tool

Peter Buchholz, Falko Bause, Falko Bause, 2018, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen.

An Empirical Comparison of MAP Fitting Algorithms

Peter Buchholz, Jan Kriege, P. Buchholz, 2010, MMB/DFT.

A new approach combining simulation and randomization for the analysis of large continuous time Markov chains

Peter Buchholz, 1998, TOMC.

Aggregation of Markovian Models -- An Alternating Least Squares Approach

Peter Buchholz, Jan Kriege, P. Buchholz, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.

Efficient analysis techniques for symmetric multiprocessor architectures

Peter Buchholz, 1997, Proceedings Fifth International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.

Stochastic Petri nets with matrix exponentially distributed firing times

Peter Buchholz, Miklós Telek, P. Buchholz, 2010, Perform. Evaluation.

OPEDo: a tool framework for modeling and optimization of stochastic models

Peter Buchholz, Peter Kemper, Axel Thümmler, 2006, valuetools '06.

Concurrent MDPs with Finite Markovian Policies

Peter Buchholz, Dimitri Scheftelowitsch, P. Buchholz, 2020, MMB.

A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis

Peter Buchholz, P. Buchholz, 1992, J. Parallel Distributed Comput..

An iterative bounding method for stochastic automata networks

Peter Buchholz, 2002, Perform. Evaluation.

QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets

Peter Buchholz, Falko Bause, Peter Kemper, 1995, MMB.

Statistical analysis and comparison of simulation models of highly dependable systems — An experimental study

Peter Buchholz, Dennis Müller, 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

An Approach for Bounding Reward Measures in Markov Models Using Aggregation

William H. Sanders, Peter Buchholz, David M. Daly, 2004 .

Hierarchical High Level Petri Nets for Complex System Analysis

Peter Buchholz, P. Buchholz, 1994, Application and Theory of Petri Nets.

Automated modeling and analysis of CSMA-type access schemes for building automation networks

Peter Buchholz, Klaus Kabitzsch, Mario Neugebauer, 2006, IEEE Transactions on Industrial Informatics.

Simulation based validation of quantitative requirements in Service Oriented Architectures

Peter Buchholz, Falko Bause, Jan Kriege, 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

A Framework for Simulation Models of Service-Oriented Architectures

Peter Buchholz, Falko Bause, Jan Kriege, 2008, SIPEW.

A distributed numerical/simulative algorithm for the analysis of large continuous time Markov chains

Peter Buchholz, 1997, Workshop on Parallel and Distributed Simulation.

Numerical Analysis and Optimisation of Class Based Queueing

Peter Buchholz, Andriy Panchenko, P. Buchholz, 2002, European Simulation Multiconference.

Peter Buchholz, Jan Kriege, P. Buchholz, 2011, Perform. Evaluation.

Optimization of Process Chain Models with Response Surface Methodology and the ProC/B Toolset

Peter Buchholz, Axel Thümmler, Dennis Müller, 2005 .

Toward an analytical method for SLA validation

Peter Buchholz, Sebastian Vastag, P. Buchholz, 2018, Software & Systems Modeling.

Numerical analysis of continuous time Markov decision processes over finite horizons

Peter Buchholz, Ingo Schulz, P. Buchholz, 2011, Comput. Oper. Res..

Model Checking Algorithms for CTMDPs

Lijun Zhang, Peter Buchholz, Holger Hermanns, 2011, CAV.

Aggregation and disaggregation in product form queueing Petri Nets

Peter Buchholz, Falko Bause, 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

Traffic Modeling with Phase-Type Distributions and VARMA Processes

Peter Buchholz, Jan Kriege, 2016, QEST.

A Simulation Environment for Hierarchical Process Chains Based on OMNeT++

Peter Buchholz, Falko Bause, Jan Kriege, 2010, Simul..

On minimal representations of Rational Arrival Processes

Peter Buchholz, Miklós Telek, P. Buchholz, 2013, Ann. Oper. Res..

A Two-Step EM Algorithm for MAP Fitting

Peter Buchholz, Andriy Panchenko, P. Buchholz, 2004, ISCIS.

Weak Bisimulation for (max/+) Automata and Related Models

Peter Buchholz, Peter Kemper, P. Buchholz, 2003, J. Autom. Lang. Comb..

An EM Algorithm for Fitting of Real Traffic Traces to PH-Distribution

Peter Buchholz, Andriy Panchenko, P. Buchholz, 2004, Parallel Computing in Electrical Engineering, 2004. International Conference on.

An improved method for bounding stationary measures of finite Markov processes

Peter Buchholz, P. Buchholz, 2005, Perform. Evaluation.

On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains

Peter Buchholz, Andriy Panchenko, Markus Arns, 2010, INFORMS J. Comput..

Efficient Computation and Representation of Large Reachability Sets for Composed Automata

Peter Buchholz, Peter Kemper, P. Buchholz, 2002, Discret. Event Dyn. Syst..

Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31 - April 2, 2008, Dortmund, Germany

Peter Buchholz, Falko Bause, P. Buchholz, 2008, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen.

A novel approach for fitting probability distributions to real trace data with the EM algorithm

Peter Buchholz, Miklós Telek, Axel Thümmler, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

Session details: Special issue on the 32nd international symposium on computer performance, modeling, measurement, and evaluation (IFIP WG 7.3 performance 2014) - Regular papers

Peter Buchholz, Benny Van Houdt, 2014, PERV.

Iterative Decomposition and Aggregation of Labeled GSPNs

Peter Buchholz, 1998, ICATPN.

A class of hierarchical queueing networks and their analysis

Peter Buchholz, P. Buchholz, 1994, Queueing Syst. Theory Appl..

Multi-class Markovian arrival processes and their parameter fitting

Peter Buchholz, Peter Kemper, Jan Kriege, 2010, Perform. Evaluation.

A hybrid analysis approach for finite-capacity queues with general inputs and phase type service

Peter Buchholz, P. Buchholz, 2000, Queueing Syst. Theory Appl..

Kronecker Based Matrix Representations for Large Markov Models

Peter Buchholz, Peter Kemper, P. Buchholz, 2004, Validation of Stochastic Systems.

Markovian Arrival Processes in Multi-dimensions

Peter Buchholz, Andreas Blume, Clara Scherbaum, 2020, QEST.

Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata

Peter Buchholz, 1999, Theor. Comput. Sci..

Guest editors’ introduction: quantitative analysis of real-time embedded systems

Joost-Pieter Katoen, Peter Buchholz, Marcel Verhoef, 2006, International Journal on Software Tools for Technology Transfer.

Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets

Peter Buchholz, Falko Bause, Peter Kemper, 1997, MMB.

An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models

Peter Buchholz, P. Buchholz, 1999, Eur. J. Oper. Res..

Comparison of Multilevel Methods for Kronecker-based Markovian Representations

Peter Buchholz, Tugrul Dayar, P. Buchholz, 2004, Computing.

Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets

Peter Buchholz, Tugrul Dayar, 2018, 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

The ProC/B-Approach from informal descriptions to formal models

Peter Buchholz, Falko Bause, Carsten Tepper, 2004, ISoLA.

The Numerical Analysis of Hierarchical Queueing Network Models

Peter Buchholz, 1991, MMB.

Finite horizon analysis of infinite CTMDPs

Peter Buchholz, 2012, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012).

Simulating process chain models with OMNeT++

Peter Buchholz, Falko Bause, Jan Kriege, 2008, SimuTools.

Model Checking for a Class of Weighted Automata

Peter Buchholz, Peter Kemper, P. Buchholz, 2003, Discret. Event Dyn. Syst..

Hierarchical Markovian Models: Symmetries and Reduction

Peter Buchholz, P. Buchholz, 1995, Perform. Evaluation.

An EM-Algorithm for MAP Fitting from Real Traffic Data

Peter Buchholz, P. Buchholz, 2003, Computer Performance Evaluation / TOOLS.

Queueing Petri Nets with Product Form Solution

Peter Buchholz, Falko Bause, P. Buchholz, 1998, Perform. Evaluation.

Peter Buchholz, Jan Kriege, 2017, Queueing Syst. Theory Appl..

Reliability and test effort analysis of multi-sensor driver assistance systems

Peter Buchholz, Peter Bazan, Reinhard German, 2018, J. Syst. Archit..

A Toolbox for Functional and Quantitative Analysis of DEDS

Peter Buchholz, Falko Bause, Peter Kemper, 1998, Computer Performance Evaluation.

Transformation of Acyclic Phase Type Distributions for Correlation Fitting

Peter Buchholz, Jan Kriege, Iryna Felko, 2013, ASMTA.

Light robustness in the optimization of Markov decision processes with uncertain parameters

Peter Buchholz, Dimitri Scheftelowitsch, P. Buchholz, 2019, Comput. Oper. Res..

Numerical analysis of stochastic marked graph nets

Peter Buchholz, Peter Kemper, P. Buchholz, 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

Adaptive decomposition and approximation for the analysis of stochastic Petri nets

Peter Buchholz, 2004, Perform. Evaluation.

Rational Automata Networks: A Non-Markovian Modeling Approach

Peter Buchholz, Miklós Telek, P. Buchholz, 2013, INFORMS J. Comput..

A Toolbox for the Analysis of Discrete Event Dynamic Systems

Peter Buchholz, Peter Kemper, P. Buchholz, 1999, CAV.

A component-level path-based simulation approach for efficient analysis of large Markov models

William H. Sanders, Peter Buchholz, Vinh Vi Lam, 2005, Proceedings of the Winter Simulation Conference, 2005..

Model Checking Stochastic Automata for Dependability and Performance Measures

Peter Buchholz, Dimitri Scheftelowitsch, Jan Kriege, 2014, 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.

Modeling Human Decisions in Performance and Dependability Models

Peter Buchholz, Gerhard Rinkenauer, Jan Kriege, 2016, EPEW.

Markovian process algebra: Composition and equiva-lence

Peter Buchholz, 1994 .

A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs

William H. Sanders, Peter Buchholz, Vinh Vi Lam, 2006, International Conference on Dependable Systems and Networks (DSN'06).

A Structured path-based approach for computing transient rewards of large CTMCs

William H. Sanders, Peter Buchholz, Vinh Lam, 2004 .

Canonical Form Based MAP(2) Fitting

Peter Buchholz, Miklós Telek, Jan Kriege, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.

Simulating process chain models with OMNeT

Peter Buchholz, Falko Bause, Jan Kriege, 2008, Simutools 2008.

PH and MAP Fitting with Aggregated Traffic Traces

Peter Buchholz, Jan Kriege, P. Buchholz, 2014, MMB/DFT.

Experimente mit Ersatzdarstellungen unter Berücksichtigung der Verweilzeitverteilung

Peter Buchholz, Bruno Müller-Clostermann, Heinz Beilner, 1987, MMB.

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

Peter Buchholz, Ralf Lehnert, Michal Pioro, 2004, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen.

Modular State Level Analysis of Distributed Systems Techniques and Tool Support

Peter Buchholz, Peter Kemper, P. Buchholz, 1999, TACAS.

Functional Analysis of Process-Oriented Systems

Peter Buchholz, Carsten Tepper, 2004, OR.

A Structured Solution Approach for Markov Regenerative Processes

Peter Buchholz, Susanna Donatelli, Elvio Gilberto Amparore, 2014, QEST.

Hierarchically combined queueing Petri nets

Peter Buchholz, Falko Bause, Peter Kemper, 1994 .

Numerical analysis of rational processes beyond Markov chains

Peter Buchholz, P. Buchholz, 2013, Perform. Evaluation.

Markov Decision Petri Nets with Uncertainty

Peter Buchholz, Marco Beccuti, Giuliana Franceschinis, 2015, EPEW.

Modelling support for design, commissioning, test and diagnosis of networking buildings

Peter Buchholz, P. Buchholz, 2005 .

A Tool Supporting the Analytical Evaluation of Service Level Agreements

Peter Buchholz, Falko Bause, Johannes May, 2017, ICPE.

Optimal decisions for continuous time Markov decision processes over finite planning horizons

Peter Buchholz, Dimitri Scheftelowitsch, Iryna Dohndorf, 2017, Comput. Oper. Res..

OPEDo: a tool for the optimization of performance and dependability models

Peter Buchholz, Dennis Müller, Markus Arns, 2009, PERV.

BISIMULATION FOR FLUID STOCHASTIC PETRI NETS

Peter Buchholz, Igor V. Tarasyuk, 2015 .

ProFiDo - The Processes Fitting Toolkit Dortmund

Peter Buchholz, Falko Bause, Jan Kriege, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.

An adaptive importance sampling approach for the transient analysis of markovian queueing networks

Peter Buchholz, 2002, Eur. Trans. Telecommun..

Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains

Peter Buchholz, 2007, Web Information Retrieval and Linear Algebra Algorithms.

An Aggregation/Disaggregation Algorithm for Stochastic Automata Networks

Peter Buchholz, P. Buchholz, 1997, Probability in the Engineering and Informational Sciences.

Hierarchical Structuring of Superposed GSPNs

Peter Buchholz, P. Buchholz, 1999, IEEE Trans. Software Eng..

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters

Peter Buchholz, Holger Hermanns, Dimitri Scheftelowitsch, 2017, VALUETOOLS.

Product Form Approximations for Communicating Markov Processes

Peter Buchholz, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Equivalence and aggregation of GSPNs with labeled transitions

Peter Buchholz, P. Buchholz, 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

An adaptive decomposition approach for the analysis of stochastic Petri nets

Peter Buchholz, P. Buchholz, 2002, Proceedings International Conference on Dependable Systems and Networks.

Editorial

Peter Buchholz, Benny Van Houdt, P. Buchholz, 2014, Performance evaluation (Print).

A Heuristic Approach for Fitting MAPs to Moments and Joint Moments

Peter Buchholz, Jan Kriege, P. Buchholz, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

Input Modeling with Phase-Type Distributions and Markov Models: Theory and Applications

Peter Buchholz, Jan Kriege, Iryna Felko, 2014 .

Hybrid analysis of non-Markovian stochastic petri nets

Peter Buchholz, P. Buchholz, 2000 .

On generating a hierarchy for GSPN analysis

Peter Buchholz, Peter Kemper, P. Buchholz, 1998, PERV.

Model-checking large structured Markov chains

Joost-Pieter Katoen, Peter Buchholz, Peter Kemper, 2003, J. Log. Algebraic Methods Program..

A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation

Peter Buchholz, Gábor Horváth, Miklós Telek, 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

Simulating stochastic processes with OMNeT++

Peter Buchholz, Jan Kriege, P. Buchholz, 2011, SimuTools.

Behavioural equivalences for fluid stochastic Petri nets pdf

Peter Buchholz, Igor V. Tarasyuk, I. V. Tarasyuk, 2017, ArXiv.

Multilevel Solutions for Structured Markov Chains

Peter Buchholz, P. Buchholz, 2000, SIAM J. Matrix Anal. Appl..

Bounding reward measures of Markov models using the Markov decision processes

Peter Buchholz, P. Buchholz, 2011, Numer. Linear Algebra Appl..

A queueing-network approach for modeling control nets in building automation

Peter Buchholz, Andriy Panchenko, 2006, MMB.

A Structured path-based approach for computing transient rewards of large CTMCs

William H. Sanders, Peter Buchholz, Vinh Vi Lam, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

Die strukturierte Analyse Markovscher Modelle

Peter Buchholz, P. Buchholz, 1991, Informatik-Fachberichte.

Lumpability and nearly-lumpability in hierarchical queueing networks

Peter Buchholz, 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

Bisimulation relations for weighted automata

Peter Buchholz, P. Buchholz, 2008, Theor. Comput. Sci..

OPEDo: A tool for optimization and performance evaluation of stochastic models

Peter Buchholz, Peter Kemper, Axel Thümmler, 2006, MMB.

Protocol Analysis Using a Timed Version of SDL

Peter Buchholz, Falko Bause, 1990, FORTE.

Bounding stationary results of Tandem networks with MAP input and PH service time distributions

Peter Buchholz, P. Buchholz, 2006, SIGMETRICS '06/Performance '06.

Bound-Preserving Composition for Markov Reward Models

William H. Sanders, Peter Buchholz, David Daly, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

Optimization of Stochastic Discrete Event Simulation Models

Peter Buchholz, P. Buchholz, 2009, Models and Algorithms for Optimization in Logistics.

Hybrid performability analysis of logistic networks

Peter Buchholz, Falko Bause, Peter Kemper, 2004, 18th Workshop on Parallel and Distributed Simulation, 2004. PADS 2004..

On the Exact and Approximate Analysis of Hierarchical Discrete Time Queueing Networks

Peter Buchholz, P. Buchholz, 1995, MMB.

Approximate aggregation of Markovian models using alternating least squares

Peter Buchholz, Jan Kriege, P. Buchholz, 2014, Perform. Evaluation.

An Online Approach to Estimate Parameters of Phase-Type Distributions

Peter Buchholz, Jan Kriege, Iryna Dohndorf, 2019, 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques

Peter Buchholz, Peter Kemper, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

PH-graphs for analyzing shortest path problems with correlated traveling times

Peter Buchholz, Iryna Felko, P. Buchholz, 2015, Comput. Oper. Res..

Hierarchies in Colored GSPNs

Peter Buchholz, P. Buchholz, 1993, Application and Theory of Petri Nets.

A distributed numerical/simulative algorithm for the analysis of large continuous time Markov chains

Peter Buchholz, 1997 .

Traffic modeling with a combination of phase-type distributions and ARMA processes

Peter Buchholz, Jan Kriege, P. Buchholz, 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

State-Based Analysis in ADVISE

William H. Sanders, Peter Buchholz, Michael D. Ford, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.

Computation of weighted sums of rewards for concurrent MDPs

Peter Buchholz, Dimitri Scheftelowitsch, P. Buchholz, 2018, Math. Methods Oper. Res..

Structured analysis techniques for large Markov chains

Peter Buchholz, P. Buchholz, 2006, SMCtools '06.

Aggregation and reduction techniques for hierarchical GCSPNs

Peter Buchholz, 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

Product form approximations for communicating Markov processes

Peter Buchholz, 2010, Perform. Evaluation.

Rational Processes Related to Communicating Markov Processes

Peter Buchholz, Miklós Telek, P. Buchholz, 2012, Journal of Applied Probability.

Hierarchical structuring of superposed GSPNs

Peter Buchholz, P. Buchholz, 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

Optimierung ereignis-diskreter Simulationsmodelle im ProC/B-Toolset

Peter Buchholz, Markus Arns, Dennis Müller, 2009 .

A comparison of Markovian Arrival and ARMA/ARTA processes for the modeling of correlated input processes

Peter Buchholz, Falko Bause, Jan Kriege, 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

On the Representation of Correlated Exponential Distributions by Phase Type Distributions pdf

Peter Buchholz, P. Buchholz, 2021, SIGMETRICS Perform. Evaluation Rev..

Corrigendum to "Reliability and Test Effort Analysis of Multi-Sensor Driver Assistance Systems" [Journal of Systems Architecture 85-86 (2018) 1-13]

Peter Buchholz, Peter Bazan, Reinhard German, 2021, Journal of systems architecture.

Decentralized model predictive control for autonomous robot swarms with restricted communication skills in unknown environments

Peter Buchholz, Alexander Puzicha, P. Buchholz, 2021, Procedia Computer Science.

Phase-Type Distributions

Peter Buchholz, Jan Kriege, Iryna Felko, 2014 .

Block SOR for Kronecker structured representations

Peter Buchholz, Tuǧrul Dayar, P. Buchholz, 2004 .

The Nsolve Program

Peter Buchholz, 2010 .

Online Steering of HEP Grid Applications ∗

Peter Buchholz, Roland Wismüller, Daniel Lorenz, 2006 .

Qualitative and Quantitative Analysis of Timed Sdl Speciications

Peter Buchholz, Falko Bause, P. Buchholz, 1993 .

Stochastic Petri nets with Low variation matrix exponentially distributed firing time

Peter Buchholz, Miklós Telek, András Horváth, 2011 .

A preorder relation for Markov reward processes

William H. Sanders, Peter Buchholz, David M. Daly, 2007 .

RATIONAL PROCESSES RELATED TO COMMUNICATING

Peter Buchholz, Tu Dortmund, P. Buchholz, 2011 .

Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis

Peter Buchholz, Tugrul Dayar, M. Can Orhan, 2016, QEST.

Rational Processes Related to Communicating Markov Processes

Peter Buchholz, Miklós Telek, P. Buchholz, 2012, Journal of Applied Probability.

Apnned -a Net Editor and Debugger within the Apnn Toolbox

Peter Buchholz, Peter Kemper, Dimitri Knjazew, 1998 .

Structured analysis approaches for large Markov chains

Peter Buchholz, P. Buchholz, 1999 .