Peter Buchholz

168 papers A* 2A 8B 6C 2Misc 8Journal 64Unranked 74

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Dimensioning leaky buckets in stochastic environments. Perform. Evaluation Peter Buchholz, András Mészáros, Miklós Telek
2025	B	`conf`	Queuing Analysis of a Traffic Shaping Scheme. MASCOTS Peter Buchholz
2024	—	`conf`	Adaption of Stochastic Models (ASMo) - A Tool for Input Modeling -. QEST+FORMATS Falko Bause, Andreas Blume, Peter Buchholz, Alexander Puzicha, Alina Timmermann
2024	—	`conf`	An Algebraic Proof of the Relation of Markov Fluid Queues and QBD Processes. ASMTA Peter Buchholz, András Mészáros, Miklós Telek
2024	J	`jnl`	Live fitting of process data within digital twins of manufacturing to use simulation and optimisation. J. Simulation Christin Schumacher, Jonas Stilling, Jan Kriege, Peter Buchholz
2023	—	`conf`	Analysis of a Two-State Markov Fluid Model with 2 Buffers. EPEW Peter Buchholz, András Mészáros, Miklós Telek
2023	J	`jnl`	Optimal decisions in stochastic graphs with uncorrelated and correlated edge weights. Comput. Oper. Res. Peter Buchholz, Iryna Dohndorf
2022	B	`conf`	Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis -. SRDS Peter Buchholz, Andreas Blume
2022	—	`conf`	Dynamic Mission Control for Decentralized Mobile Robot Swarms. SSRR Alexander Puzicha, Peter Buchholz
2022	J	`jnl`	On the Representation of Correlated Exponential Distributions by Phase Type Distributions. SIGMETRICS Perform. Evaluation Rev. Peter Buchholz
2022	B	`conf`	Surrogate Models for Markov Reward Models with Uncertain Parameters. MASCOTS Peter Buchholz
2021	J	`jnl`	A multi-objective approach for PH-graphs with applications to stochastic shortest paths. Math. Methods Oper. Res. Peter Buchholz, Iryna Dohndorf
2021	J	`jnl`	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. Florian Bock, Sebastian Siegl, Peter Bazan, Peter Buchholz, Reinhard German
2021	J	`jnl`	On the Representation of Correlated Exponential Distributions by Phase Type Distributions. CoRR Peter Buchholz
2020	—	`conf`	A Simulation Environment for Autonomous Robot Swarms with Limited Communication Skills. SimuTools (2) Alexander Puzicha, Peter Buchholz
2020	—	`conf`	Concurrent MDPs with Finite Markovian Policies. MMB Peter Buchholz, Dimitri Scheftelowitsch
2020	Misc	`conf`	Local Search and Tabu Search Algorithms for Machine Scheduling of a Hybrid Flow Shop Under Uncertainty. WSC Christin Schumacher, Peter Buchholz, Kevin Fiedler, Nico Gorecki
2020	—	`conf`	Markovian Arrival Processes in Multi-dimensions. QEST Andreas Blume, Peter Buchholz, Clara Scherbaum
2020	—	`conf`	Parallelization of EM-Algorithms for Markovian Arrival Processes. MMB Andreas Blume, Peter Buchholz, Jan Kriege
2020	C	`conf`	Real-Time Simulation of Robot Swarms with Restricted Communication Skills. DS-RT Alexander Puzicha, Peter Buchholz
2020	J	`jnl`	Scheduling Algorithms for a Hybrid Flow Shop under Uncertainty. Algorithms Christin Schumacher, Peter Buchholz
2019	A	`conf`	An Online Approach to Estimate Parameters of Phase-Type Distributions. DSN Peter Buchholz, Iryna Dohndorf, Jan Kriege
2019	J	`jnl`	Computation of weighted sums of rewards for concurrent MDPs. Math. Methods Oper. Res. Peter Buchholz, Dimitri Scheftelowitsch
2019	J	`jnl`	Light robustness in the optimization of Markov decision processes with uncertain parameters. Comput. Oper. Res. Peter Buchholz, Dimitri Scheftelowitsch
2018	A	`conf`	Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets. DSN Peter Buchholz, Tugrul Dayar
2018	J	`jnl`	Reliability and test effort analysis of multi-sensor driver assistance systems. J. Syst. Archit. Florian Bock, Sebastian Siegl, Peter Bazan, Peter Buchholz, Reinhard German
2018	—	`conf`	SLA Tool. MMB Falko Bause, Peter Buchholz
2018	—	`conf`	Time-Based Maintenance Models Under Uncertainty. MMB Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch
2018	J	`jnl`	Toward an analytical method for SLA validation. Softw. Syst. Model. Peter Buchholz, Sebastian Vastag
2017	B	`conf`	A Tool Supporting the Analytical Evaluation of Service Level Agreements. ICPE Falko Bause, Peter Buchholz, Johannes May
2017	—	`conf`	Analysis of Markov Decision Processes Under Parameter Uncertainty. EPEW Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch
2017	J	`jnl`	Behavioural equivalences for fluid stochastic Petri nets. CoRR Igor V. Tarasyuk, Peter Buchholz
2017	—	`conf`	Bounded Aggregation for Continuous Time Markov Decision Processes. EPEW Peter Buchholz, Iryna Dohndorf, Alexander Frank, Dimitri Scheftelowitsch
2017	—	`conf`	Equivalence and Lumpability of FSPNs. ASMTA Falko Bause, Peter Buchholz, Igor V. Tarasyuk, Miklós Telek
2017	J	`jnl`	Fitting correlated arrival and service times and related queueing performance. Queueing Syst. Theory Appl. Peter Buchholz, Jan Kriege
2017	—	`conf`	Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
2017	J	`jnl`	Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. CoRR Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
2017	J	`jnl`	On compact solution vectors in Kronecker-based Markovian analysis. Perform. Evaluation Peter Buchholz, Tugrul Dayar, Jan Kriege, M. Can Orhan
2017	J	`jnl`	Optimal decisions for continuous time Markov decision processes over finite planning horizons. Comput. Oper. Res. Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch
2016	—	`conf`	Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis. QEST Peter Buchholz, Tugrul Dayar, Jan Kriege, M. Can Orhan
2016	J	`jnl`	Equivalence and Minimization for Model Checking Labeled Markov Chains. EAI Endorsed Trans. Scalable Inf. Syst. Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch
2016	—	`conf`	Modeling Human Decisions in Performance and Dependability Models. EPEW Peter Buchholz, Iryna Felko, Jan Kriege, Gerhard Rinkenauer
2016	—	`conf`	Traffic Modeling with Phase-Type Distributions and VARMA Processes. QEST Jan Kriege, Peter Buchholz
2015	—	`conf`	Equivalence and Minimization for Model Checking Labeled Markov Chains. VALUETOOLS Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch
2015	—	`conf`	Markov Decision Petri Nets with Uncertainty. EPEW Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis
2015	J	`jnl`	PH-graphs for analyzing shortest path problems with correlated traveling times. Comput. Oper. Res. Peter Buchholz, Iryna Felko
2014	—	`conf`	A Structured Solution Approach for Markov Regenerative Processes. QEST Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli
2014	J	`jnl`	Approximate aggregation of Markovian models using alternating least squares. Perform. Evaluation Peter Buchholz, Jan Kriege
2014	J	`jnl`	Editorial. Perform. Evaluation Peter Buchholz, Benny Van Houdt
2014	Misc	`conf`	Markov Modeling of Availability and Unavailability Data. EDCC Peter Buchholz, Jan Kriege
2014	A	`conf`	Model Checking Stochastic Automata for Dependability and Performance Measures. DSN Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch
2014	—	`conf`	PH and MAP Fitting with Aggregated Traffic Traces. MMB/DFT Jan Kriege, Peter Buchholz
2013	—	`ed.`	7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013 VALUETOOLS András Horváth, Peter Buchholz, Vittorio Cortellessa, Luca Muscariello, Mark S. Squillante
2013	J	`jnl`	Numerical analysis of rational processes beyond Markov chains. Perform. Evaluation Peter Buchholz
2013	J	`jnl`	On minimal representations of Rational Arrival Processes. Ann. Oper. Res. Peter Buchholz, Miklós Telek
2013	J	`jnl`	Rational Automata Networks: A Non-Markovian Modeling Approach. INFORMS J. Comput. Peter Buchholz, Miklós Telek
2013	—	`conf`	Transformation of Acyclic Phase Type Distributions for Correlation Fitting. ASMTA Peter Buchholz, Iryna Felko, Jan Kriege
2012	—	`conf`	Aggregation of Markovian Models - An Alternating Least Squares Approach. QEST Peter Buchholz, Jan Kriege
2012	A	`conf`	Finite horizon analysis of infinite CTMDPs. DSN Peter Buchholz
2012	J	`jnl`	Rational Processes Related to Communicating Markov Processes. J. Appl. Probab. Peter Buchholz, Miklós Telek
2012	—	`conf`	State-Based Analysis in ADVISE. QEST Michael D. Ford, Peter Buchholz, William H. Sanders
2012	Misc	`conf`	Traffic modeling with a combination of phase-type distributions and ARMA processes. WSC Jan Kriege, Peter Buchholz
2011	J	`jnl`	Bounding reward measures of Markov models using the Markov decision processes. Numer. Linear Algebra Appl. Peter Buchholz
2011	—	`conf`	Composition and Equivalence of Markovian and Non-Markovian Models. QEST Peter Buchholz, Miklós Telek
2011	J	`jnl`	Correlated phase-type distributed random numbers as input models for simulations. Perform. Evaluation Jan Kriege, Peter Buchholz
2011	A*	`conf`	Model Checking Algorithms for CTMDPs. CAV Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
2011	J	`jnl`	Numerical analysis of continuous time Markov decision processes over finite horizons. Comput. Oper. Res. Peter Buchholz, Ingo Schulz
2011	—	`conf`	Simulating stochastic processes with OMNeT++. SimuTools Jan Kriege, Peter Buchholz
2010	J	`jnl`	A Simulation Environment for Hierarchical Process Chains Based on OMNeT++. Simul. Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
2010	—	`conf`	An Empirical Comparison of MAP Fitting Algorithms. MMB/DFT Jan Kriege, Peter Buchholz
2010	—	`conf`	Canonical Form Based MAP(2) Fitting. QEST Levente Bodrog, Peter Buchholz, Jan Kriege, Miklós Telek
2010	J	`jnl`	Model Checking for a Class of Weighted Automata. Discret. Event Dyn. Syst. Peter Buchholz, Peter Kemper
2010	J	`jnl`	Multi-class Markovian arrival processes and their parameter fitting. Perform. Evaluation Peter Buchholz, Peter Kemper, Jan Kriege
2010	J	`jnl`	On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains. INFORMS J. Comput. Markus Arns, Peter Buchholz, Andriy Panchenko
2010	—	`conf`	ProFiDo - The Processes Fitting Toolkit Dortmund. QEST Falko Bause, Peter Buchholz, Jan Kriege
2010	J	`jnl`	Product form approximations for communicating Markov processes. Perform. Evaluation Peter Buchholz
2010	J	`jnl`	Stochastic Petri nets with matrix exponentially distributed firing times. Perform. Evaluation Peter Buchholz, Miklós Telek
2009	Misc	`conf`	A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. WSC Falko Bause, Peter Buchholz, Jan Kriege
2009	—	`conf`	A Heuristic Approach for Fitting MAPs to Moments and Joint Moments. QEST Peter Buchholz, Jan Kriege
2009	J	`jnl`	OPEDo: a tool for the optimization of performance and dependability models. SIGMETRICS Perform. Evaluation Rev. Markus Arns, Peter Buchholz, Dennis Müller
2009	—	`conf`	Optimization of Stochastic Discrete Event Simulation Models. Models and Algorithms for Optimization in Logistics Peter Buchholz
2009	Misc	`conf`	Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. WSC Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
2009	Misc	`conf`	Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study. WSC Peter Buchholz, Dennis Müller
2008	—	`conf`	A Framework for Simulation Models of Service-Oriented Architectures. SIPEW Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
2008	J	`jnl`	Bisimulation relations for weighted automata. Theor. Comput. Sci. Peter Buchholz
2008	—	`ed.`	Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31 - April 2, 2008, Dortmund, Germany MMB Falko Bause, Peter Buchholz
2008	—	`conf`	Product Form Approximations for Communicating Markov Processes. QEST Peter Buchholz
2008	—	`conf`	Simulating process chain models with OMNeT++. SimuTools Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
2007	—	`conf`	Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains. Web Information Retrieval and Linear Algebra Algorithms Peter Buchholz
2007	J	`jnl`	On the Convergence of a Class of Multilevel Methods for Large Sparse Markov Chains. SIAM J. Matrix Anal. Appl. Peter Buchholz, Tugrul Dayar
2006	A	`conf`	A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs. DSN Vinh Vi Lam, William H. Sanders, Peter Buchholz
2006	J	`jnl`	A Novel Approach for Phase-Type Fitting with the EM Algorithm. IEEE Trans. Dependable Secur. Comput. Axel Thümmler, Peter Buchholz, Miklós Telek
2006	—	`conf`	A queueing-network approach for modeling control nets in building automation. MMB Peter Buchholz, Andriy Panchenko
2006	J	`jnl`	Automated modeling and analysis of CSMA-type access schemes for building automation networks. IEEE Trans. Ind. Informatics Joern Ploennigs, Peter Buchholz, Mario Neugebauer, Klaus Kabitzsch
2006	—	`conf`	Bound-Preserving Composition for Markov Reward Models. QEST David Daly, Peter Buchholz, William H. Sanders
2006	—	`conf`	Bounding stationary results of Tandem networks with MAP input and PH service time distributions. SIGMETRICS/Performance Peter Buchholz
2006	J	`jnl`	Guest editors' introduction: quantitative analysis of real-time embedded systems. Int. J. Softw. Tools Technol. Transf. Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef
2006	—	`conf`	OPEDo: A tool for optimization and performance evaluation of stochastic models. MMB Peter Buchholz, Peter Kemper, Dennis Müller, Mathias Stöber, Axel Thümmler
2006	—	`conf`	OPEDo: a tool framework for modeling and optimization of stochastic models. VALUETOOLS Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler
2006	—	`conf`	Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. QEST Peter Buchholz, Peter Kemper
2005	—	`conf`	A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation. QEST Gábor Horváth, Miklós Telek, Peter Buchholz
2005	A	`conf`	A Novel Approach for Fitting Probability Distributions to Real Trace Data with the EM Algorithm. DSN Axel Thümmler, Peter Buchholz, Miklós Telek
2005	—	`conf`	A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support. EPEW/WS-FM Árpád Tari, Miklós Telek, Peter Buchholz
2005	Misc	`conf`	A component-level path-based simulation approach for efficient analysis of large Markov models. WSC Vinh Vi Lam, Peter Buchholz, William H. Sanders
2005	J	`jnl`	An improved method for bounding stationary measures of finite Markov processes. Perform. Evaluation Peter Buchholz
2005	J	`jnl`	Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations. SIAM J. Sci. Comput. Peter Buchholz, Tugrul Dayar
2005	Misc	`conf`	Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization. WSC Peter Buchholz, Axel Thümmler
2004	—	`conf`	A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. QEST Vinh Vi Lam, Peter Buchholz, William H. Sanders
2004	—	`conf`	A Two-Step EM Algorithm for MAP Fitting. ISCIS Peter Buchholz, Andriy Panchenko
2004	J	`jnl`	Adaptive decomposition and approximation for the analysis of stochastic Petri nets. Perform. Evaluation Peter Buchholz
2004	—	`conf`	An EM Algorithm for Fitting of Real Traffic Traces to PH-Distribution. PARELEC Peter Buchholz, Andriy Panchenko
2004	—	`conf`	Approximate Computation of Transient Results for Large Markov Chains. QEST Peter Buchholz, William H. Sanders
2004	J	`jnl`	Comparison of Multilevel Methods for Kronecker-based Markovian Representations. Computing Peter Buchholz, Tugrul Dayar
2004	—	`conf`	Functional Analysis of Process-Oriented Systems. OR Peter Buchholz, Carsten Tepper
2004	B	`conf`	Hybrid Performability Analysis of Logistic Networks. PADS Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper
2004	—	`conf`	Kronecker Based Matrix Representations for Large Markov Models. Validation of Stochastic Systems Peter Buchholz, Peter Kemper
2004	—	`ed.`	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 MMB Peter Buchholz, Ralf Lehnert, Michal Pióro
2004	—	`conf`	The ProC/B-Approach from informal descriptions to formal models. ISoLA (Preliminary proceedings) Peter Buchholz, Falko Bause, Carsten Tepper
2003	—	`conf`	An EM-Algorithm for MAP Fitting from Real Traffic Data. Computer Performance Evaluation / TOOLS Peter Buchholz
2003	J	`jnl`	Model Checking for a Class of Weighted Automata CoRR Peter Buchholz, Peter Kemper
2003	J	`jnl`	Model-checking large structured Markov chains. J. Log. Algebraic Methods Program. Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper
2003	J	`jnl`	Weak Bisimulation for (max/+) Automata and Related Models. J. Autom. Lang. Comb. Peter Buchholz, Peter Kemper
2002	A	`conf`	An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets. DSN Peter Buchholz
2002	J	`jnl`	An adaptive importance sampling approach for the transient analysis of markovian queueing networks. Eur. Trans. Telecommun. Peter Buchholz
2002	J	`jnl`	An iterative bounding method for stochastic automata networks. Perform. Evaluation Peter Buchholz
2002	J	`jnl`	Efficient Computation and Representation of Large Reachability Sets for Composed Automata. Discret. Event Dyn. Syst. Peter Buchholz, Peter Kemper
2002	J	`jnl`	Hierarchical Reachability Graph Generation for Petri Nets. Formal Methods Syst. Des. Peter Buchholz, Peter Kemper
2002	—	`conf`	Numerical Analysis and Optimisation of Class Based Queueing. ESM Andriy Panchenko, Peter Buchholz
2001	—	`conf`	A Numerical Analysis of a Communication System with Advanced Reservations. MMB Peter Buchholz, Sabine Kühn, Frank Breiter
2001	—	`conf`	Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs. PNPM Peter Buchholz, Peter Kemper
2001	—	`conf`	Equivalence and Aggregation of GSPNs with Labeled Transitions. PNPM Peter Buchholz
2001	J	`jnl`	Hybrid analysis of SGSPNs with time-dependent transition rates. Perform. Evaluation Peter Buchholz
2001	—	`conf`	Quantifying the Dynamic Behavior of Process Algebras. PAPM-PROBMIV Peter Buchholz, Peter Kemper
2000	J	`jnl`	A hybrid analysis approach for finite-capacity queues with general inputs and phase type service. Queueing Syst. Theory Appl. Peter Buchholz
2000	J	`jnl`	Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS J. Comput. Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper
2000	J	`jnl`	Multilevel Solutions for Structured Markov Chains. SIAM J. Matrix Anal. Appl. Peter Buchholz
1999	A*	`conf`	A Toolbox for the Analysis of Discrete Event Dynamic Systems. CAV Peter Buchholz, Peter Kemper
1999	J	`jnl`	An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models. Eur. J. Oper. Res. Peter Buchholz
1999	J	`jnl`	Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata. Theor. Comput. Sci. Peter Buchholz
1999	J	`jnl`	Hierarchical Structuring of Superposed GSPNs. IEEE Trans. Software Eng. Peter Buchholz
1999	A	`conf`	Modular State Level Analysis of Distributed Systems Techniques and Tool Support. TACAS Peter Buchholz, Peter Kemper
1998	J	`jnl`	A New Approach Combining Simulation and Randomization for the Analysis of Large Continuous Time Markov Chains. ACM Trans. Model. Comput. Simul. Peter Buchholz
1998	—	`conf`	A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) Falko Bause, Peter Buchholz, Peter Kemper
1998	—	`conf`	Iterative Decomposition and Aggregation of Labeled GSPNs. ICATPN Peter Buchholz
1998	J	`jnl`	On generating a hierarchy for GSPN analysis. SIGMETRICS Perform. Evaluation Rev. Peter Buchholz, Peter Kemper
1998	J	`jnl`	Queueing Petri Nets with Product Form Solution. Perform. Evaluation Falko Bause, Peter Buchholz
1997	—	`conf`	A Distributed Numerical/Simulative Algorithm for the Analysis of Large Continuous Time Markov Chains. Workshop on Parallel and Distributed Simulation Peter Buchholz
1997	—	`conf`	Aggregation and disaggregation in product form queueing Petri Nets. PNPM Falko Bause, Peter Buchholz
1997	B	`conf`	Efficient Analysis Techniques for Symmetric Multiprocessor Architecture. MASCOTS Peter Buchholz
1997	—	`conf`	HiQPN-Tool. MMB (Kurzbeiträge) Falko Bause, Peter Buchholz, Peter Kemper
1997	—	`conf`	Hierarchical structuring of superposed GSPNs. PNPM Peter Buchholz
1997	—	`conf`	Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB Falko Bause, Peter Buchholz, Peter Kemper
1995	—	`conf`	A Notion of Equivalence for Stochastic Petri Nets. Application and Theory of Petri Nets Peter Buchholz
1995	J	`jnl`	Hierarchical Markovian Models: Symmetries and Reduction. Perform. Evaluation Peter Buchholz
1995	—	`conf`	Numerical analysis of stochastic marked graph nets. PNPM Peter Buchholz, Peter Kemper
1995	—	`conf`	On the Exact and Approximate Analysis of Hierarchical Discrete Time Queueing Networks. MMB Peter Buchholz
1995	—	`conf`	QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB Falko Bause, Peter Buchholz, Peter Kemper
1994	J	`jnl`	A class of hierarchical queueing networks and their analysis. Queueing Syst. Theory Appl. Peter Buchholz
1994	—	`conf`	Hierarchical High Level Petri Nets for Complex System Analysis. Application and Theory of Petri Nets Peter Buchholz
1993	—	`conf`	A Heuristic Approach for the Aggregation of Markovian Submodels. MMB Peter Buchholz
1993	—	`conf`	Aggregation and reduction techniques for hierarchical GCSPNs. PNPM Peter Buchholz
1993	—	`conf`	Hierarchies in Colored GSPNs. Application and Theory of Petri Nets Peter Buchholz
1993	—	`conf`	Qualitative und Quantitative Analysis of Timed SDL Specifications. Kommunikation in Verteilten Systemen Falko Bause, Peter Buchholz
1992	J	`jnl`	A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis. J. Parallel Distributed Comput. Peter Buchholz
1991	—	`book`	Die strukturierte Analyse Markovscher Modelle Peter Buchholz
1991	—	`conf`	The Numerical Analysis of Hierarchical Queueing Network Models. MMB Peter Buchholz
1990	C	`conf`	Protocol Analysis Using a Timed Version of SDL. FORTE Falko Bause, Peter Buchholz
1987	—	`conf`	Experimente mit Ersatzdarstellungen unter Berücksichtigung der Verweilzeitverteilung. MMB Heinz Beilner, Peter Buchholz, Bruno Müller-Clostermann