Hauptinhalt

Books

1. P. Buchholz, J. Kriege, I. Felko
   Input Modeling with Phase-Type Distributions and Markov Models - Theory and Applications
   Springer Briefs in Mathematics 2014.

2. P. Buchholz, U. Clausen (eds.)
   Große Netze der Logistik: Die Ergebnisse des Sonderforschungsbereichs 559.
   Springer 2009.

3. P. Buchholz, A. Kuhn (eds.)
   Optimization of Logistics Systems – Methods and Experiences.
   Verlag Praxiswissen 2008.

4. P. Buchholz, F. Bause (eds.)
   14th GIT/ITG Conference Measurement, Modelling and Evaluation of Computer and Communication Systems.
   Springer 2009.

5. P. Buchholz, R. Lehnert, M. Pioro (eds.)
   MMB & PGTS 2004.
   VDE Verlag 2004.

6. P. Buchholz and M. Silva (eds.)
   Petri Nets and Performance Models (PNPM'99).
   IEEE CS-Press 1999.

7. P. Buchholz.
   A framework for the hierarchical analysis of discrete event dynamic systems.
   February 1996. Habilitations thesis (Postcript file available on request).

8. P. Buchholz, J. Dunkel, B. Müller-Clostermann, M. Sczittnick and S. Zäske.
   Quantitative Systemanalyse mit Markovschen Ketten (in German).
   Teubner Texte zur Informatik Bd. 8, 1994.

9. P. Buchholz.
   Die strukturierte Analyse Markovscher Modelle (in German).
   Springer Informatik Fachberichte 282, 1991 (Dissertation).

Tutorials

1. P. Buchholz.
   Continuous Time Markov Decision Processes - Theory, Applications and Computational Algorithms
   Tutorial at QEST 2011, September 2011, Aachen, Germany. (slides)

2. P. Buchholz.
   Numerical Analysis Approaches for Large Markov Chains -Experiments, Observations, and Some New Results.
   Tutorial at the 2003 Illinois Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems, September 2003.(slides)

3. P. Buchholz.
   Structured Analysis of Markov Models.
   Tutorial at QEST 2004, September 2004, Enschede, Netherlands. (slides)

4. P. Buchholz
   .Numerical Analysis of Markov Models - From Conventional to Structured Models.
   Tutorial at the 2001 Aachen Multiconference on Measurement, Modeling, and Evaluation of Computer-Communication Systems, September 2001.

5. P. Buchholz.
   Analysis of large Markov chains based on Kronecker algebra.
   Tutorial at the IPDS'00, March 2000, Schaumburg, Illinois, USA.

6. P. Buchholz.
   Equivalence and exact aggregation of labelled (G)SPNs
   Tutorial at the PNPM/TOOLS 97, June 1997, Saint-Malo, France.

7. P. Buchholz.
   Structured analysis approaches for large Markov chains - a tutorial.
   Tutorial at the Performance 96, October 1996 Lausanne, Switzerland.

Current Working Papers and Technical Reports

1. P. Buchholz, I. Dohndorf.
   A Multi-Objective Approach for PH-Graphs with Applications to Stochastic Shortest Paths
   April 2021.

Publications 2021

1. Peter Buchholz:
   On the Representation of Correlated Exponential Distributions by Phase Type Distributions.
   arXiv:2108.12223 [cs.PF] short version accepted for IFIP Performance 2021) .
2. 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).
3.  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)

Publications 2020

1. Christin Schumacher, Peter Buchholz:
   Scheduling Algorithms for a Hybrid Flow Shop under Uncertainty.  Algorithms 13(11): 277 (2020).
2. Alexander Puzicha, Peter Buchholz:
   Real-Time Simulation of Robot Swarms with Restricted Communication Skills. DS-RT 2020: 1-8.
3. Peter Buchholz, Dimitri Scheftelowitsch:
   Concurrent MDPs with Finite Markovian Policies. MMB 2020: 37-53.
4. Andreas Blume, Peter Buchholz, Jan Kriege:
   Parallelization of EM-Algorithms for Markovian Arrival Processes. MMB 2020: 173-189.
5. Andreas Blume, Peter Buchholz, Clara Scherbaum:
   Markovian Arrival Processes in Multi-dimensions. QEST 2020: 175-192.
6. Alexander Puzicha, Peter Buchholz:
   A Simulation Environment for Autonomous Robot Swarms with Limited Communication Skills. SimuTools (2) 2020: 206-226.
7. 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.

Publications 2019

1. P. Buchholz, D. Scheftelowitsch.
   Computation of Weighted Sums of Rewards of Concurrnet MDPs.
   Mathematical Methods in Operations Research 89 (1), 1-42 (2019).
2. P. Buchholz, D. Scheftelowitsch.
   Light Robustness in the Optimization of Markov Decision Processes with Uncertain Parameters.
   Computers & Operations Research 108, 69-81 (2019)..
3. P. Buchholz, I. Dohndorf, J. Kriege
   An Online Approach to Estimate Parameters of Phase-Type Distributions.
   DSN 2019, 100-111.
4. E. G. Amparore, P. Buchholz, S. Donatelli:
   Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets.
   QEST 2019: 355-360

Publications 2018

1. F. Bock, S. Siegl, P. Bazan, P.  Buchholz, R. German:
   Reliability and test effort analysis of multi-sensor driver assistance systems.
   Journal of Systems Architecture - Embedded Systems Design 85-86: 1-13 (2018)
2. P. Buchholz, S. Vastag
   Toward an analytical method for SLA validation
   Software and System Modeling 17(2): 527-545 (2018).
3. Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch.
   Time-Based Maintenance Models under Uncertainty.
    MMB 2018: 3-18.
4. Falko Bause, Peter Buchholz.
   SLA Tool
    MMB 2018: 302-306.
5. Tugrul Dayar, Peter Buchholz.
   Efficient transient analysis of a class of compositional Fluid Stochastic Petri Nets.
   DSN 2018: 291-302.

Publications 2017

1. P. Buchholz, I. Felko, D. Scheftelowitsch
   Optimal Decisions for Continuous Time Markov Decision Processes over Finite Planning Horizons.
   Computers & Operations Research 77, 2017, 267-278.
2. P. Buchholz, J. Kriege
   Fitting Correlated Arrival and Service Times and Related Queueing Performance.
   Queueing Systems 85 (3-4), 2017, 337-359.
3. Peter Buchholz, Tugrul Dayar, Jan Kriege, M. Can Orhan:
   On compact solution vectors in Kronecker-based Markovian analysis.
   Perform. Eval. 115, 2017,  132-149.
4. F. Bause, P. Buchholz, J. May.
   A Tool Supporting the Analytical Evaluation of Service Level Agreements.
   In Proc. ICPE 2017, ACM Press, 233-244.
5. F. Bause, P. Buchholz, M. Telek, I. Tarasyuk.
   Equivalence and Lumpability of FSPNs.
   In N. Thomas, M. Forshaw (Eds.) Analytical and Stochastic Modelling Techniques and Applications (ASMTA), Springer LNCS 10378, 2017, 16-31.
6. P. Buchholz, I. Dohndorf, A. Frank, D. Scheftelowitsch.
   Bounded Aggregation For Continuous Time Markov Decision Processes.
   In P. Reinecke, A. Di Marco (Eds.) Computer Performance Engineering - 14th European Workshop (EPEW'17), Springer LNCS 10497, 2017, 3-18.
7. P. Buchholz, I. Dohndorf, D. Scheftelowitsch.
   Analysis of Markov Decision Processes under Parameter Uncertainty.
   In P. Reinecke, A. Di Marco (Eds.) Computer Performance Engineering - 14th European Workshop (EPEW'17), Springer LNCS 10497, 2017, 19-32.

8. I. V. Tarasyuk, P. Buchholz:
   Behavioural equivalences for fluid stochastic Petri nets.
   CoRR abs/1706.02641 (2017)

9. Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns:
   Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters.
   CoRR abs/1710.08986 (2017) (revised version appeared at ValueTools 2017).

Publications 1987-2016

1. P. Buchholz, T. Dayar, J. Kriege, M. C. Orhan
   Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis
   In Proc. QEST 2016, Springer LNCS 9826, 2016, 260-276.
2. J. Kriege, P. Buchholz
   Traffic Modeling with Phase-Type Distributions and VARMA Processes
   In Proc. QEST 2016, Springer LNCS 9826, 2016, 295-310.
3. P. Buchholz, I. Dohndorf, J. Kriege, G. Rinkenauer
   Modeling Human Decisions in Performance and Dependability Models
   In Proc. EPEW 2016, Springer LNCS 9951, 2016, 159-173.
4. P. Buchholz, I. Felko
   PH-Graphs for Analyzing Shortest Path Problems with Correlated Traveling Times.
   Computers & Operations Research  59, 2015, 51-65.
5. M. Beccuti, E. G. Amparore, S. Donatelli, D. Scheftelowitsch, P. Buchholz, G. Fraceschinis
   Decision Petri Nets with Uncertainty
   Proc. 12th European Workshop on Computer Performance Engineering, Springer LNCS 9272, 2015, 177-192.
6. P. Buchholz, J. Kriege, D. Scheftelowitsch
   Equivalence and Minimization for Model Checking Labelled Markov Chains
   Proc. 9th EAI Int. Conf. on Performance Evaluation Methodologies and Tools (VALUETOOLS), 2015.
7. I. V. Tarasyuk, P. Buchholz
   Bisimulation for fluid stochastic Petri nets
   Bull. of the Novosibirsk Computing Center 38, 2015, 121-149.
8. P. Buchholz, J. Kriege.
   PH and MAP Fitting with Aggregated Traffic Traces
   MMB/DFT 2014, Springer LNCS 8376, 1-15.
9. P. Buchholz, J. Kriege.
   Aggregation of Markovian Models - An Alternating Least Squares Approach
   Performance Evaluation 73, 2014, 73-90. (Pre-version Proc. QEST 2012 ( (Online companion)))
10. P. Buchholz, J. Kriege.
    Markov Modeling of Availaibility and Unavailability Data.
    Proc. EDCC 2014, IEEE Press 2014, 94-105.
11. P. Buchholz, J. Kriege, D. Scheftelowitsch.
    Model Checking Stochastic Automata for Dependability and Performance Measures.
    accepted for DSN'14 (Online companion)
12. E. Ampore, P. Buchholz, S. Donatelli.
    A Structured Solution Approach for Markov Regenerative Processes
    Quantitative Evaluation of System, Springer LNCS 8657, 2014, 9-24.
13. P. Buchholz, I. Felko, J. Kriege.
    Transformation of Acyclic Phase Type Distributions for Correlation Fitting.
    20th International Conference on Analytical & Stochastic Modelling Techniques & Applications (AMSTA), Springer LNCS 7984, 2013, 96-111.
14. P. Buchholz
    Numerical Analysis of Rational Processes - Beyond Markov Chains -
    Performance Evaluation 70 (9) , 2013, 646-662.
15. P. Buchholz, M. Telek.
    On Minimal Representations of Rational Arrival Processes.
    Annals of Operations Research 202 (1), 2013, 35-58 .
16. P. Buchholz, M. Telek.
    Rational Automata Networks - A Non-Markovian Modeling Approach -
    INFORMS Journal on Computing 25 (1), 2013, 87-101.

17. P. Buchholz, J. Kriege
    Traffic Modeling with a Combination of Phase-Type Distributions and ARMA Processes
     WSC 2012

18. M. Ford, P. Buchholz, W. H. Sanders.State-Based Analysis in ADVISE
    Proc.  QEST 2012, IEEE Press 2012, pp. 148-157.

19. P. Buchholz.
    Finite Horizon Analysis of Infinite CTMDPs
    Proc. DSN 2012, IEEE Press, (Eds. R. S. Swarz, P.  Koopman and M. Cukier)

20. P. Buchholz, M. Telek.
    Rational Processes Related to Communicating Markov Processes.
    Journal of Applied Probability 49 (1), 2012, pp. 40-59.

21. P. Buchholz, A. Horvath, M. Telek.
    Stochastic Petri Nets with low variation matrix exponentially distributed firing times
    Int. Journal of Performability Engineering 7 (5), 2011, pp. 441-454.

22. J. Kriege, P. Buchholz.
    Correlated Phase-type distributed Random Numbers as Input Models for Simulations
    Performance Evaluation 68 (11), 2011,  1247-1260 (special issue Performance 2011)

23. P. Buchholz, M. Telek
    Composition and Equivalence of Markovian and Non-Markovian Models
    In Proc.  8th Int. Conf. on Quantitative Evaluation of SysTems, (QEST'11), IEEE 2011, 213-222.

24. P. Buchholz.
    Bounding Reward Measures of Markov Models using Markov Decision Processes.
    Numerical Linear Algebra with Applications 18 (6), 2011, 919-930 (Short version in  Proc. NSMC 2010).

25. P. Buchholz, E. M. Hahn, H. Hermanns, L. Zhang.
    Model Checking Algorithms for CTMDPs
    In: Ganesh Gopalakrishnan, Shaz Qadeer (Eds.): Computer Aided Verification (CAV' 2011), Springer LNCS 6806, 2011, pp. 225-242.

26. P. Buchholz, I. Schulz.
    Numerical Analysis of Continuous Time Markov Decision processes over Finite Horizons.
    Computers and Operations Research 38 (3), 2011, pp. 651-659.

27. J. Kriege, P. Buchholz.
    Simulating Stochastic Processes with OMNeT++.
    Proc.  4th Int. OMNeT++-Workshop.

28. P. Buchholz, M. Telek.
    Stochastic Petri Nets with Matrix Exponential Firing Times.
    Performance Evaluation 67 (12), 2010, pp. 1373-1385.

29. F. Bause, P. Buchholz, J. Kriege.
    ProFiDo - The Process Fitting Toolkit Dortmund.
    In Proc. QEST 2010, IEEE Press, 2010, pp. 87-96..

30. L. Bodrog, P. Buchholz, J. Kriege, M. Telek.
    Canonical Form Based MAP(2) Fitting.
    In: Proc. QEST 2010, IEEE Press 2010, pp. 107-116..

31. P. Buchholz, P. Kemper, J. Kriege.
    Multi Class Markovian Arrival Processes and Their Parameter Fitting.
    Performance Evaluation 67 (11), 2010, pp. 1092-1106 (Special issue Performance 2010).

32. M. Arns, P. Buchholz, A. Panchenko.
    On the numerical Analysis of Inhomogeneous Continuous Time Markov Chains.
    INFORMS Journal on Computing 22 (3), 2010, pp. 416-432..

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

34. J. Kriege, P. Buchholz.
    An Empirical Comparison of MAP Fitting Algorithms.
    In: B. Müller-Clostermann, K. Echtle, E. P. Rathgeb (Eds.) Proc. MMB & DFT 2010, Springer LNCS 5987, 2010, pp. 259-273.

35. F. Bause, P. Buchholz, J. Kriege, S. Vastag.
    A Simulation Environment for Hierarchical Process Chains Based on OMNeT++.
    Trans. of the Soc. of Computer Simulation 86 (5/6), 2010, pp. 291-309.

36. P. Buchholz.
    Product Form Approximations for Communicating Markov Processes.
    Performance Evaluation 67 (9), 2010, pp. 135-144.(Pre-version  Proc. 5th  Int. Conf. on the Quantitative Evluation of Systems, IEEE Press 2008, pp. 135-144 (Best paper award)).

37. F. Bause, P. Buchholz, J, Kriege, S. Vastag.
    Simulation Based Validation of Quantitative Requirements in Service Oriented Architectures.
    In: Proc. Winter Simulation Conference 2009.

38. F. Bause, P. Buchholz, J. Kriege.
    A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes.
    In: Proc. Winter Simulation Conference 2009.

39. P. Buchholz, D. Müller.
    Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems – An Experimental Study.
    In Proc. Winter Simulation Conference 2009.

40. P. Buchholz, J. Kriege.
    A Heuristic Approach for Fitting MAPs to Moments and Joint Moments.
    In: Proc. QEST'09, IEEE Press, 2009, pp. 53-64.

41. M. Arns, P. Buchholz, D. Müller.
    OPEDo: A Tool fort the Optimization of Performance and Dependability Models.
    ACM Performance Evaluation Review, Vol. 36, No. 4, 2009, pp. 22-27.

42. M. Arns, P. Buchholz, D. Müller.
    Optimierung ereignisdiskreter Simulationsmodelle im ProC/B-Toolset
    In: P. Buchholz, U. Clausen (eds.). Große Netze der Logistik: Die Ergebnisse des Sonderforschungsbereichs 559, Springer 2009, pp. 185-213.

43. P. Buchholz.
    Optimization of Stochastic Discrete Event Simulation Models.Models and Algorithms for Optimization Logistics. Dagstuhl Seminar Proceedings 09261, 2009

44. P. Buchholz.
    Optimization of Discrete Event Simulation Models in the ProC/B Toolset.
    In: P. Buchholz, A. Kuhn (eds.) Optimization of Logistics Systems – Methods and Experiences.  Verlag Praxiswissen 2008, 99-121.

45. F. Bause, P. Buchholz, J. Kriege, S. Vastag.
    A Framework for Simulation Models of Service-Oriented Architectures.
    In: S. Kounev, I. Gorton, and K. Sachs (Eds.): SIPEW 2008, LNCS 5119, pp. 208–227, 2008.

46. P. Buchholz, A. Panchenko.
    On the Analysis of CSMA-Based Control Networks with Priorities and Multicast.
    IEEE Trans. on Industrial Informatics 4 (1), 2008, 26-36.

47. P. Buchholz.
    Bisimulation  Relations  for Weighted Automata.
    Theoretical Computer Science 393 (1-3), 2008, S. 109-123.

48. F. Bause, P. Buchholz, J. Kriege, S. Vastag.
    Simulating Process Chain Models with OMNeT++.
    Proc. 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools 2008).

49. D. Daly, P. Buchholz, W. H. Sanders.
    A Preorder Relation for Markov Reward Processes.
    Statistics and Probability Letters 77 (11) 2007, S. 1148-1157. (Preversion: IBM Research Report RC 23827, Dec. 2005).

50. P. Buchholz, T. Dayar.
    On the Convergence of a Class of Multilevel Methods for Large, Sparse Markov Chains.
    SIAM Journal on Matrix Analysis and Applications 29 (3) 2007, S. 1025-1049.

51. P. Buchholz, A. Panchenko.
    A Hybrid Algorithm for Parameter Fitting of  Markovian Arrival Processes.
    In: K. Al-Begain, A. Heindl, M. Telek. 14th  Int. Conf. on Analytical and Stochastic Modelling Techniques and Applications. SCS Press 2007, S. 7-12.

52. P. Buchholz.
    Iteration at Different Levels: Multi-Level Methods for Structured Markov Chains.
    Web Information Retrieval and Linear Algebra Algorithms 2007. Dagstuhl Seminar Proceedings 07071

53. F. Bause, P. Buchholz.
    Modellierung von Supply Chains unter Berücksichtigung variierender Organisationsstrukturen.
    In: Simulation in Produktion und Logistik, SCS-Verlag 2006.

54. A. Tari, M. Telek, P. Buchholz.
    A Simiplified Moment-Based Estimation Method for Extreme Probabilities, Infinite and Positive Case.
    Int. Journ. on Simulation, Systems and Technology, Vol. 7 (4), 2006, S. 15-28.

55. P. Buchholz, D. Müller, P. Kemper, A. Thümmler.
    OPEDo: A Tool Framework for Modeling and Optimization of Stochastic Models.
    In: Proc. 1st  Int. Conf. on Performance Evaluation Methodology and Tools, ACM Press, CD Edition, 2006..

56. P. Buchholz.
    Structured Analysis Techniques for Large Markov Chains.
    In: Proc. 1st  Workshop on Tools for solving structured Markov Chains, ACM Press, CD Edition, 2006.

57. P. Buchholz, J. P. Katoen, M. Verhoef.
    Guest editors’ introduction: quantitative analysis of real-time embedded systems.
    Int. J. Softw. Tools Techn. Transfer Vol. 8 (6), 2006, S. 605-606.

58. P. Buchholz, P. Kemper.
    Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques.
    In:  Proc. 3rd   Int. Conf. on Performance Evaluation Methodology and Tools, IEEE CS Press 2006, 233-242.

59. D. Daly, P. Buchholz, W. H. Sanders.
    Bound Preserving Composition of Markov Reward Models. 
    In:  Proc. 3rd   Int. Conf. on Performance Evaluation Methodology and Tools, IEEE CS Press 2006, 243-252.

60. A. Thümmler, P. Buchholz, M. Telek.
    A Novel Approach for fitting Probability Distributions to Trace Data with the EM Algorithm.
    IEEE Trans. on Dependable and Secure Computing Vol. 3, No. 3, July-Sept. 2006, 245-258. (Pre-version in: Proc. of  Int. Conf. on Dependable Systems and Networks 2005, IEEE CS Press 2005, 712-721).

61. V. V. Lam, P. Buchholz, W. H. Sanders.
    A Component-level Path Decomposition  Approach for Efficient Transient Analysis of Large CTMCs.
    n: Proc. of  Int. Conf. on Dependable Systems and Networks 2006, IEEE CS Press 2006, 485-494.

62. P. Buchholz, A Panchenko.
    A Queueing Network Approach for Modelling Control Nets in Building Automation.
    In: R. German, A. Heindl (Hrsg.). Proc. 13th  GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems. VDE Verlag 2006, S. 317-334.

63. P. Buchholz, P. Kemper, D. Müller, M. Stöber, A. Thümmler.
    OPEDo: A Tool for Optimization and Performance Evaluation of Stochastic Models.
    In: R. German, A. Heindl (Hrsg.). Proc. 13th  GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems. VDE Verlag 2006, S. 457-460.

64. P. Buchholz, A. Panchenko.
    The Influence of Priorities on the Performance of CSMA-Based Access Schemes for Control Nets.
    In: Proc. 6th  IEEE Int. Workshop on Factory Communication Systems (WFCS’2006), IEEE Press, CD Edition, 2006.

65. P. Buchholz.
    Bounding Stationary Results of Tandem Networks with MAP Input and PH Service Time Distributions.
    In: Proc. Proc. Sigmetrics/Performance 2006, ACM Press 2006, 191-202.

66. J. Plönnigs, P. Buchholz, M. Neugebauer, K. Kabitzsch.
    Automated Modeling and Analysis of CSMA Type Access Schemes for Building Automation.
    IEEE Trans. on Industrial Informatics, Vol. 2, No. 2, May 2006, 103-111.

67. P. Buchholz, A. Thümmler.
    Enhancing Evolutionary Algorithms with Statistical Selection Procedures for Simulation Optimization.
    Winter Simulation Conference 2005, December 2005, Orlando FL, U.S.A.

68. V. V. Lam, P. Buchholz, W. H. Sanders.
    A Component-level Path-based Approach for Efficient Analysis of Large Markov Models.
    Winter Simulation Conference 2005, December 2005, Orlando FL, U.S.A

69. P. Buchholz.
    An Improved Method for Bounding Stationary Measures of Finite Markov Process.  (extended version, slides)
    Performance Evaluation 62 (1-4), 2005, 349-365 (Special Issue Performance 2005)

70. G. Horvath, P. Buchholz, M. Telek.
    A MAP Fitting Approach with Independent Approximation of  the Inter-Arrival Time Distribution and the Lag-Correlation.
    In: Proc. 2nd  Int. Conference on Quantitative Evaluation of Systems (QEST’2005), IEEE CS Press 2005, 124-133.

71. A. Tari, M. Telek, P. Buchholz.
    A Moment Based Estimation Method for Extreme Probabilities.
    In: N. Thomas (ed.), Proc. 21st  UK Performance Engineering Workshop, Technical Report CS-TR-916, School of Computing Science, University of Newcastle upon Tyne, 2005, 69-81.

72. P. Buchholz, T. Dayar.
    Block SOR preconditioned projection methods for Kronecker structured Markovian representations.
    SIAM Journal on Scientific Computing 26 (4), 2005, 1289-1313.

73. A. Tari, P. Buchholz, M. Telek.
    A unified Approach to the Moments based Distribution Estimation – the unbounded Case.
    In: Proc. 2nd  European Performance Evaluation Workshop, 2005, Spinger LNCS 3670, 79-93.

74. P. Buchholz, D. Müller, A. Thümmler.
    Optimization of Process Chain Models with Response Surface Methodolgy and The ProC/B Toolset.
    n: H. G. Lünther, D. Mattfield, L. Sul (Eds.), Supply Chain Management and Logistik, Physica Verlag 2005, 553-573.

75. P. Buchholz, C. Tepper.
    Functional Analysis of Process Oriented Systems.
    In: H. Fleuren, D. den Hertog, P. Kort (Eds.), Operations Research Proceedings 2004, Springer 2005, 127-135.

76. F. Bause, P. Buchholz, C. Tepper.
    The ProC/B-Approach from Informal Descriptions to Formal Models.
    Proc. 1st  Int. Symposium on Leveraging Applications of Formal Methods (IsoLA’04).

77. P. Buchholz, A. Panchenko.
    A Two-step EM-Algorithm for MAP fitting.
    Proc.19th  Int. Symposium on Computer and Information Sciences (ISCIS’2004), Springer LNCS 3280, 217-227.

78. P. Buchholz, J. Plönnigs.
    Analytical Analysis of Access-Schemes of the CSMA-Type.
    In: T. Sauter and F. Vasques (Eds.) Proc. 5th  IEEE Int. Workshop on Factory Communication Systems (WFCS’2004), IEEE Press 2004, 127-136.

79. M. Neugebauer, J. Plönnigs, K. Kabitzsch, P. Buchholz.
    Automated Modeling of LonWorks Building Automation Networks.
    In: T. Sauter and F. Vasques (Hrsg.) Proc. 5th  IEEE Int. Workshop on Factory Communication Systems (WFCS’2004), IEEE Press 2004, 113-118.

80. P. Buchholz, T. Dayar.
    Comparison of Multilevel Methods for Kronecker Based Markovian Representations.(pdf)
    Computing 73, 2004, 349-371.

81. P. Buchholz, W. J. Sanders.
    Approximate Computation of Transient Results for Large Markov Chains.
    In Proc. 1st  Int. Conference on Quantitative Evaluation of Systems (QEST’2004), IEEE CS Press 2004, 126-135.

82. V. V. Lam, P. Buchholz, W. J. Sanders.
    A Structured  Path-Based Approach for Computing Transient Rewards of Large CTMCs.
    In: Proc.  1st  Int. Conference on Quantitative Evaluation of Systems (QEST’2004), IEEE CS Press 2004, 136-145.

83. P. Buchholz, A. Panchenko.
    An EM Algorithm for Fitting of Real Traffic Traces to PH-Distributions.
    In: Proc. Int. Conference on Parallel Computing in Electrical Engineering (PARELEC’2004), IEEE Press 2004, 283-288.

84. P. Buchholz.
    An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets.
    Performance Evaluation 2004,. 56 (1/4), 23-52. (Pre-version in: Proc. of the Int. Conf. on Dependable Systems and Networks (DSN'02), IEEE CS-Press (2002) 647-656).

85. P. Buchholz, T. Dayar.
    Block SOR for Kronecker  Structured Representations.
    Linear Algebra and Its Applications 386 (2004) 83-109 (Pre-version in: A. N. Langville, W.J. Stewart (eds.), Proc. of the 4th Int. Conf. on the Numerical Solution of Markov Chains (NSMC'03), S. 121-143).

86. F. Bause, P. Buchholz, M. Fischer, P. Kemper.
    Hybrid Performability Analysis of Logistic Networks.
    In: Proc. 18th Workshop on Parallel and Distributed Simulation (PADS’2004), IEEE CS Press, 2004, pp. 131-138.

87. P. Buchholz, P.Kemper.
    Kronecker  Based Matrix Representations for Large Markov Chains.
    In: B. Haverkort, H. Hermanns, M. Siegle (Hrsg.), Validation of Stochastic Systems, Springer LNCS 2925, 2004, pp. 256-295.

88. P. Buchholz, J. P. Katoen, P. Kemper, C. Tepper.
    Model-Checking Large Structured Markov Chains.
    Journal of  Logic and Algebraic Programming (2003) 56 (1/2),  69-97.

89. P. Buchholz, A. Panchenko.
    Markovian Analysis of Frame-Based Scheduling Disciplines. 
    Proc. 5th Workshop on System Design Automation (SDA 2003), 67-74

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

91. P. Buchholz.
    An EM-Algorithm for MAP Fitting from Real Traffic Data.
    In: P. Kemper, W. H. Sanders (eds.), Computer Performance Evaluation Modelling Techniques and Tools, Springer LNCS 2794 (2003), S. 218-236.

92. P. Buchholz, A. Panchenko.
    A Numerical Analysis of   Weighted Round Robin.
    In: D. Kouvatsos (ed.). Proc. of the  1st Int. Conference on  Performance Modeling and Evaluation of Heterogeneous Networks, pp. 27.1-27.10, Networks UK 2003.

93. P. Buchholz, M. Fischer, P. Kemper, C. Tepper.
    Model checking of CTMCs and discrete event simulation integrated in the APNN-Toolbox.
    In: F. Bause (ed.), Tools of the 2003 Illinois Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems. Fachbereich Informatik, Universität Dortmund, Forschungsbericht No. 781 (2003) 30-33.

94. P. Buchholz.
    An Iterative Bounding Method for Stochastic Automata Networks.
    Performance Evaluation (2002) Vol.  49 (1-4), 211-226.

95. P. Buchholz, A. Panchenko.
    Numerical Analysis of Class Based Queueing.
    In: K. Amborski, H. Meuth. Proc. 16th European Simulation Multiconference, SCS Publishing (2002) 543-547.

96. P. Buchholz and P. Kemper.
    Efficient Computation and Representation of Large Reachability Sets for Composed Automata.
    Discrete Event Dynamic Systems - Theory and Applications (2002) 12 (3), 265-286. (Pre-version in: R. Boel and G. Stremersch (eds.), Discrete Event Systems - Analysis and Control, Kluwer Academic Publishers (2000), 49-56) .

97. P. Buchholz, P. Kemper.
    Hierarchical Reachability Graph Generation for Petri Nets.
    Formal Methods in Systems Design (2002) 21 (3), 281-315.

98. P. Buchholz.
    An Adaptive Importance Sampling Approach for the Transient Analysis of Markovian Queueing Networks.
    European Transactions on Telecommunications (2002) Vol. 13 (4), 317-330.

99. P. Buchholz.
    Efficient Estimation of Small Probabilities in Discrete Event Simulation. 
    In: Proc. 4th Workshop on System Design Automation (SDA 2002), 63-72.

100. F. Bause, R. Boucherie and Peter Buchholz.
     Norton's Theorem for Batch Routing Queueing Systems.
     Communications in Statistics- Stochastic Models  (2001) 17(1), 39-60.

101. P. Buchholz, I. V. Tarasyuk.
     Net and Algebraic Approaches to Probabilistic Modeling.
     Joint NCC & IIS Bull. (2001) Vol. 15, 31-64.

102. Peter Buchholz.
     Hybrid Analysis of SGSPNs with Time-Dependent Transition Rates.
     Performance Evaluation (2001) 44(1-4), 166-181. (Pre-version in: Proc. 4th Int. Computer Performance and Dependability Symposium (IPDS'00), IEEE-CS Press (2000) 157-166).

103. P. Buchholz, S. Kühn, F. Breiter.
     A Numerical Analysis of a Communication System with Advance Reservations.
     In: B. R. Haverkort (ed.). Proc. 11th GI/ITG Conf. on Measuring, Modeling and Evaluation of Computer and Communication Systems. VDE Verlag (2001), 119-134 (Pre-version TU Dresden, Fakultät für Informatik, Technischer Bericht TUD-FI00-08 - September 2000).

104. P. Buchholz.
     Equivalence and Aggregation of GSPNs with Labeled Transitions.
     In: R. German, B. R. Haverkort (eds.). Petri Nets and Performance Models 2001. IEEE CS-Press (2001) 187-196.

105. P. Buchholz, P. Kemper.
     Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs.
     Petri Nets and Performance Models 2001. IEEE CS-Press (2001) 81-90.

106. P. Buchholz, P. Kemper.
     Quantifying the Dynamic Behavior of Process Algebras.
     In: L. de Alfaro, S. Gilmore (eds.). Process Algebras and Probabilistic Methods. Springer LNCS 2165 (2001) 184-199.

107. P. Buchholz.
     Compositional Modeling of Workflows using Labeled GSPNs.
     In: H. Vogler et al (eds.). Different Approaches to the Semantics of Workflows. TUD-FI01-04 - Juli 2001.

108. P. Buchholz, I. V. Tarasyuk.
     A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions.
     TU Dresden, Fakultät für Informatik, Technischer Bericht TUD-FI00-12 - November 2000.

109. Peter Buchholz.
     A Hybrid Analysis Approach for Finite-Capacity Queues with General Inputs and Phase Type Service.
     Queueing Systems (2000) 35(1-4), 167-183.

110. P. Buchholz, G. Ciardo, S. Donatelli and P. Kemper.
     Kronecker Operations and Sparse Matrices with Applications to the Solution of Markov Models.
     INFORMS Journal on Computing (2000) 12 (3), 203-222 (Pre-version ICASE Report No. 97-66, Dec. 1997).

111. Peter Buchholz.
     Multi Level Solutions for Structured Markov Chains.
     SIAM Journal on Matrix Analysis and Applications (2000) 22(2), 342-357.

112. Peter Buchholz.
     Hybrid Analysis of Non-Markovian Stochastic Petri Nets.
     In: E. Gelenbe (Eds.) System Performance Evaluation: Methodologies and Applications, CRC Press (2000), 291-300.

113. P. Buchholz.
     Efficient Computation of Equivalent and Reduced Representations for Stochastic Automata.
     Computer Systems Science & Engineering (2000) 15(2), 93-103.

114. Peter Buchholz.
     Structured Analysis Approaches for Large Markov Chains.
     Applied Numerical Mathematics 31(4) 1999, 375-404.

115. P.  Buchholz and P. Kemper.
     Numerical Analysis Techniques in the APNN Toolbox.
     In: Proc. Formal Methods in Performance Evaluation and Application - Tool Descriptions, 1999.

116. Peter Buchholz, M. Fischer and P. Kemper.
     Distributed Steady State Analysis Using Kronecker Algebra.
     In: B. Plateau, W. J. Stewart, M. Silva (eds.), Numerical Solution of Markov Chains (NSMC'99), Prensas Univerversitarias de Zaragoza (1999) S. 76-95.

117. Peter Buchholz.
     Projection Methods for the Analysis of Stochastic Automata Networks.
     In: B. Plateau, W. J. Stewart, M. Silva (Hrsg.), Numerical Solution of Markov Chains (NSMC'99), Prensas Univerversitarias de Zaragoza (1999) S. 149-168.

118. P. Buchholz.
     Hierarchical Structuring of Superposed GSPNs.
     IEEE Transactions on Software Engineering 25 (2) 1999, 166-181. (Pre-version in Proc. of the 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97), IEEE CS-Press 1997, 81-90).

119. Peter Buchholz and P. Kemper.
     A Toolbox for the Analysis of Discrete Event Dynamic Systems.
     In: N. Halbwachs, D. Peled (eds.) Computer Aided Verification (CAV'99), Springer LNCS 1633 (1999) 483-486.

120. Peter Buchholz and P. Kemper.
     Modular State Space Analysis of Distributed Systems - Techniques and Tool Support.
     In: R. Cleaveland (ed.) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), Springer LNCS 1579 (1999) 420-434.

121. P. Buchholz.
     An Adaptive Aggregation/Disaggregation Algorithm for Hierarchical Markovian Models.
     European Journal of Operational Research 116 (3) 1999, 85-104.

122. P. Buchholz.
     Exact Performance Equivalence - an Equivalence Relation for Stochastic Automata.
     Theoretical Computer Science 215 (1/2) 1999, 239-261.

123. P. Buchholz, P. Kemper and APNNedgroup.
     APNNed - a net editor and debugger within the APNN toolbox.
     In: J. Desel, P. Kemper, E. Kindler, A. Oberweis (eds.). 5. Workshop Algorithmen und Werkzeuge für Petri Netze. Universität Dortmund, Fachbereich Informatik, Forschungsbericht Nr.694 (1998) 19-24

124. P. Buchholz and P. Kemper.
     On Generating a Hierarchy for GSPN Analysis.
     ACM Performance Evaluation Review 26 (2) 1998, 5-14.

125. F. Bause and P. Buchholz.
     Queueing Petri nets with Product Form Solution.
     Performance Evaluation 32 (4) 1998, 265-299 (Pre-version Universität Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 529 (1994)).

126. F. Bause, P. Buchholz and P. Kemper.
     A Toolbox for Functional and Quantitative Analysis of DEDS.
     In: R. Pujanger, N. N. Savino and B. Serra (eds.). Quantitative Evaluation of Computing and Communication Systems, Springer LNCS 1469 (1998) 356-359 (Long-version Universität Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 680, 1998).

127. P. Buchholz.
     Iterative Decomposition and Aggregation of Labeled GSPNs. J. Desel, M. Silva (eds.).
     Application and Theory of Petri Nets (ATPN'98), Springer LNCS 1420 (1998) 226-245.

128. P. Buchholz.
     A new Approach Combining Simulation and Randomization for the Analysis of Large Continuous Time Markov Chains.
     ACM Transactions on Modeling and Computer Simulation 8 (2) 1998, 194-222.

129. F. Bause, P. Buchholz and P. Kemper.
     Integrating software and hardware performance models using hierarchical queueing Petri nets.
     In: K. Irmscher, Ch. Mittasch, K. Richter (eds.) Proc. MMB'97, VDE Verlag, Aktuelle Probleme der Informatik: Band 1 (1997) 87-102.

130. F. Bause, P. Buchholz and P. Kemper.
     HiQPN-Tool.
     In: Kurzbeitäge und Tool-Beschreibungen, Reihe ``Informatik in Freiberg'', Band 4, TU Bergakademie Freiberg (1997).

131. P. Buchholz.
     A distributed numerical/simulative algorithm for the analysis of large continuous time Markov chains.
     In: Proc. 11th Workshop on Parallel and Distributed Simulation (PADS'97), IEEE CS-Press (1997) 81-90.

132. F. Bause and P. Buchholz.
     Aggregation and disaggregation in product form queueing Petri nets.
     In: Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97), IEEE CS-Press (1997) 16-25.

133. P. Buchholz.
     An aggregation-disaggregation algorithm for stochastic automata networks.
     Probability in the Engineering and Informational Sciences 11(2) 1997, 229-253.

134. P. Buchholz.
     Efficient analysis techniques for symmetric multiprocessor architectures.
     In: Proc. 5th Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'97), IEEE CS-Press (1997) 125-130.

135. P. Buchholz and P. Kemper.
     Numerical analysis of stochastic marked graph nets.
     In: Proc. 6th Int. Workshop on Petri Nets and Performance Models (PNPM'95), IEEE CS-Press (1995) 32-41.

136. F. Bause, P. Buchholz and P. Kemper.
     QPN tool for the specification and analysis of hierarchically combined queueing Petri nets.
     In: H. Beilner, F. Bause (eds.) Quantitative Evaluation of Computing and Communication Systems, Springer LNCS 977 (1995) 224-238.

137. P. Buchholz.
     On the exact and approximate analysis of hierarchical discrete time queueing networks.
     In: H. Beilner, F. Bause (eds.) Quantitative Evaluation of Computing and Communication Systems, Springer LNCS 977 (1995) 150-164.

138. P. Buchholz.
     Hierarchical Markovian models -symmetries and aggregation-.
     Performance Evaluation 22, 1995, 93-110 (Pre-version in R. Pooley, J. Hillston (eds.). Proc. Sixth International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Edinburgh University Press (1992) 305-319).

139. P. Buchholz.
     A notion of equivalence for stochastic Petri nets.
     In: G. De Michelis, M. Diaz (eds.) Proc. 16th Int. Conf. on Application and Theory of PetriNets (ATPN'95), Springer LNCS 935 (1995) 161-180.

140. P. Buchholz.
     Lumpability and nearly-lumpability in hierarchical queueing networks.
     In: Proc. IEEE Int. Computer Performance and Dependability Symposium (IPDS'95), IEEE CS-Press (1995) 82-91.

141. P. Buchholz.
     Equivalence relations for stochastic automata networks.
     In: W. J. Stewart (ed.) Computation with Markov Chains, Kluwer Int. Publishers (1995) 197-216.

142. P. Buchholz.
     Markovian process algebra: composition and equivalence.
     In: U. Herzog, M. Rettelbach (eds.) Proc. 2nd Workshop on Process Algebras and Performance Modelling, Arbeitsberichte des IMMD, Band 27, Nr. 4 (1994) 11-30.

143. P. Buchholz.
     Hierarchical high level Petri nets for complex system analysis.
     In: R. Vallette (ed.) 15th Int. Conference on Application and Theory of Petri Nets (ATPN'94), Springer LNCS 815 (1994) 119-138.

144. F. Bause, P. Buchholz and P. Kemper.
     Hierarchically combined queueing Petri nets.
     In: G. Cohen, J. P. Quadrat (eds.) 11th Int. Conf. on Analysis and Optimization of Systems, Springer LNCIS 199 (1994) 176-182.

145. P. Buchholz.
     On a Markovian process algebra.
     Universität Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 500 (1994).

146. P. Buchholz.
     A class of hierarchical queueing networks and their analysis.
     Queueing System 15, 1994, 59-80.

147. P. Buchholz.
     Exact and ordinary lumpability in finite Markov chains.
     Journal of Applied Probability 31 (1994) 59-74.

148. P. Buchholz.
     Aggregation and reduction techniques for hierarchical GCSPNs.
     In: Proc. 5th Int. Workshop on Petri Nets and Performance Models (PNPM'93), IEEE CS-Press (1993) 216-225.

149. P. Buchholz.
     A heuristic approach for the aggregation of Markovian submodels.
     In: B. Walke, O. Spaniol (eds.) Proc. MMB'93, Springer Informatik aktuell. (1993) 117-129.

150. P. Buchholz.
     Hierarchies in colored GSPNs.
     In: M. Ajmone Marsan (ed.), 14th Int. Conf. on Application and Theory of Petri Nets (ATPN'93), Springer LNCS 691 (1993) 106-125.

151. F. Bause and P. Buchholz.
     Qualitative and quantitative analysis of timed SDL specifications.
     In: N. Gerner, H.-G. Hegering, J. Swoboda (eds.) Proc. KiVS'93, Springer Informatik aktuell (1993) 486-500.P. Buchholz. A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis. Journal of Parallel and Distributed Computing 15, 1992, 207-224.

152. P. Buchholz.
     Numerical solution methods based on structured descriptions of Markovian models.
     In: G. Balbo, G. Serazzi (eds.) Proc. 5th Int. Conf. on Modelling Techniques and Tools for Comp. Perf. Eval., North Holland (1992), 251-267.

153. P. Buchholz.
     The numerical analysis of hierarchical queueing network models.
     In: A. Lehmann, F. Lehmann (eds.) Proc. MMB'91, Springer IFB 286 (1991) 30-45.

154. P. Buchholz.
     The aggregation of Markovian submodels in isolation.
     Universität Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 369 (1990).

155. F. Bause and P. Buchholz.
     Protocol analysis using a timed version of SDL.
     In: J. Quemada, J. Manas, E. Vazquez (eds.) Proc. FORTE'90, North Holland (1990) 239-254.

156. P. Buchholz and B. Müller-Clostermann.
     Numerical analysis of overflow traffic and a decomposition technique for the performance evaluation of overflow systems.
     In: Proc. 12th ITC 1988, Ses. 5.1B5.

157. H. Beilner, P. Buchholz and B. Müller-Clostermann.
     Experimente mit Ersatzdarstellungen unter Berücksichtigung der Verweilzeitverteilung. (in German)
     In: U. Herzog, M. Paterok (eds.). Proc. MMB'87, Springer IFB 154 (1987) 343-35.