| 2025 | MASCOTS | Queuing Analysis of a Traffic Shaping Scheme. | Peter Buchholz |
| 2022 | MASCOTS | Surrogate Models for Markov Reward Models with Uncertain Parameters. | Peter Buchholz |
| 2022 | SRDS | Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis -. | Peter Buchholz, Andreas Blume |
| 2020 | WSC | Local Search and Tabu Search Algorithms for Machine Scheduling of a Hybrid Flow Shop Under Uncertainty. | Christin Schumacher, Peter Buchholz, Kevin Fiedler, Nico Gorecki |
| 2019 | DSN | An Online Approach to Estimate Parameters of Phase-Type Distributions. | Peter Buchholz, Iryna Dohndorf, Jan Kriege |
| 2018 | DSN | Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets. | Peter Buchholz, Tugrul Dayar |
| 2014 | DSN | Model Checking Stochastic Automata for Dependability and Performance Measures. | Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch |
| 2014 | EDCC | Markov Modeling of Availability and Unavailability Data. | Peter Buchholz, Jan Kriege |
| 2012 | DSN | Finite horizon analysis of infinite CTMDPs. | Peter Buchholz |
| 2012 | WSC | Traffic modeling with a combination of phase-type distributions and ARMA processes. | Jan Kriege, Peter Buchholz |
| 2011 | CAV | Model Checking Algorithms for CTMDPs. | Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
| 2009 | WSC | A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. | Falko Bause, Peter Buchholz, Jan Kriege |
| 2009 | WSC | Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. | Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag |
| 2009 | WSC | Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study. | Peter Buchholz, Dennis Mller |
| 2008 | ICCS | RMOST: A Shared Memory Model for Online Steering. | Daniel Lorenz, Peter Buchholz, Christian Uebing, Wolfgang Walkowiak, Roland Wismller |
| 2008 | PDP | Secure Communication for Computational Steering of Grid Jobs. | Daniel Lorenz, Peter Buchholz, Christian Uebing, Wolfgang Walkowiak, Roland Wismller |
| 2006 | DSN | A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs. | Vinh Vi Lam, William H. Sanders, Peter Buchholz |
| 2006 | SIGMETRICS | Bounding stationary results of Tandem networks with MAP input and PH service time distributions. | Peter Buchholz |
| 2005 | DSN | A Novel Approach for Fitting Probability Distributions to Real Trace Data with the EM Algorithm. | Axel Thmmler, Peter Buchholz, Mikls Telek |
| 2005 | WSC | Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization. | Peter Buchholz, Axel Thmmler |
| 2005 | WSC | A component-level path-based simulation approach for efficient analysis of large Markov models. | Vinh Vi Lam, Peter Buchholz, William H. Sanders |
| 2004 | ISoLA | The ProC/B-Approach from informal descriptions to formal models. | Peter Buchholz, Falko Bause, Carsten Tepper |
| 2004 | PADS | Hybrid Performability Analysis of Logistic Networks. | Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper |
| 2002 | DSN | An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets. | Peter Buchholz |
| 1999 | CAV | A Toolbox for the Analysis of Discrete Event Dynamic Systems. | Peter Buchholz, Peter Kemper |
| 1999 | TACAS | Modular State Level Analysis of Distributed Systems Techniques and Tool Support. | Peter Buchholz, Peter Kemper |
| 1997 | MASCOTS | Efficient Analysis Techniques for Symmetric Multiprocessor Architecture. | Peter Buchholz |
| 1997 | PADS | A Distributed Numerical/Simulative Algorithm for the Analysis of Large Continuous Time Markov Chains. | Peter Buchholz |
| 1990 | FORTE | Protocol Analysis Using a Timed Version of SDL. | Falko Bause, Peter Buchholz |