To content
Department of Computer Science

Prof. Dr. Peter Buchholz

Address
Prof. Dr. Peter Buchholz
Computer Science IV
TU Dortmund University
D-44221 Dortmund

Phone and E-Mail
Tel.: +49 (0)231 755 4746
Fax: +49 (0)231 755 4730
E-Mail: peter.buchholz (at) cs.tu-dortmund.de

Office
Room 216, 2. Floor
Otto-Hahn-Str. 16
D-44227 Dortmund

Office hours
Thursdays from 10:00 to 11:30.
Registration by email.
Contacting by email is possible at any time.

Portrait Peter Buchholz © LS4​/​TU Dortmund

Lehrstuhl Informatik 4
TU Dortmund
Otto-Hahn-Straße 16
44227 Dortmund
Deutschland

  • 1961
    born in Duisburg
  • 1980
    High School Diploma in Duisburg
  • 1981 - 1987
    Studied computer science at the University of Dortmund, graduated with a degree in computer science
  • 1987 - 1991
    Research Assistant at the Department of Computer Science at the University of Dortmund, Computer Science IV (Head: Prof. Dr.-Ing. H. Beilner)
  • 1991
    Doctorate (Dr. rer. nat.) with a dissertation on the "Structured Analysis of Markov Chains".
  • 1991 - 1993
    Assistant Professor at the Department of Computer Science at the University of Dortmund
  • 1993 - March 1999
    Senior Engineer at the Department of Computer Science, University of Dortmund
  • 1996
    Habilitation in computer science with the habilitation thesis "A framework for the hierarchical analysis of discrete event dynamic systems"
  • 1999- October 2003
    Professor for Modeling and Simulation at the TU Dresden
  • since October 2003
    Professor for Modeling and Simulation at the TU Dortmund
  • Numerical techniques for the analysis of Markov chains
  • Stochastic models under uncertainty
  • Stochastic dynamic programming
  • Software tools for modeling and analysis
  • Analysis of logistics systems
  • Analysis of communication networks and protocols

Publications

  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).

  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.

  1. P. Buchholz, I. Dohndorf.
    A Multi-Objective Approach for PH-Graphs with Applications to Stochastic Shortest Paths
    April 2021.
  1. P. Buchholz, I. Dohndorf.
    A Multi-Objective Approach for PH-Graphs with Applications to Stochastic Shortest Paths
    Accepted for Computers & Operations Research.
     
  2. Peter Buchholz.
    On the Representation of Correlated Exponential Distributions by Phase Type Distributions.
    SIGMETRICS Perform. Evaluation Rev. 49(3): 73-78 (2022).
  3. Alexander Puzicha, Peter Buchholz.
    Mission-based autonomy core for decentralized mobile UGV swarms.
    ISR Europe 2022; 54th International Symposium on Robotics. VDE, 2022.

  4. Peter Buchholz, Andreas Blume.
    Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis.
    41st International Symposium on Reliable Distributed Systems (SRDS 2022).

  5. Peter Buchholz.
    Surrogate Models for Markov Reward Models with Uncertain Parameters.
    30th International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2022).

  6. Alexander Puzicha, Peter Buchholz.
    Dynamic Mission Control for Decentralized Mobile Robot Swarms.
    IEEE International Symposium on Safety, Security and Rescue Robotics (SSRR 2022).

  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)

 

  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).
  10. 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.
  11. J. Kriege, P. Buchholz
    Traffic Modeling with Phase-Type Distributions and VARMA Processes
    In Proc. QEST 2016, Springer LNCS 9826, 2016, 295-310.
  12. 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.
  13. P. Buchholz, I. Felko
    PH-Graphs for Analyzing Shortest Path Problems with Correlated Traveling Times.
    Computers & Operations Research  59, 2015, 51-65.
  14. 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.
  15. 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.
  16. I. V. Tarasyuk, P. Buchholz
    Bisimulation for fluid stochastic Petri nets
    Bull. of the Novosibirsk Computing Center 38, 2015, 121-149.
  17. P. Buchholz, J. Kriege.
    PH and MAP Fitting with Aggregated Traffic Traces
    MMB/DFT 2014, Springer LNCS 8376, 1-15.
  18. 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)))
  19. P. Buchholz, J. Kriege.
    Markov Modeling of Availaibility and Unavailability Data.
    Proc. EDCC 2014, IEEE Press 2014, 94-105.
  20. P. Buchholz, J. Kriege, D. Scheftelowitsch.
    Model Checking Stochastic Automata for Dependability and Performance Measures.
    accepted for DSN'14 (Online companion)
  21. E. Ampore, P. Buchholz, S. Donatelli.
    A Structured Solution Approach for Markov Regenerative Processes
    Quantitative Evaluation of System, Springer LNCS 8657, 2014, 9-24.
  22. 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.
  23. P. Buchholz
    Numerical Analysis of Rational Processes - Beyond Markov Chains -
    Performance Evaluation 70 (9) , 2013, 646-662.
  24. P. Buchholz, M. Telek.
    On Minimal Representations of Rational Arrival Processes.
    Annals of Operations Research 202 (1), 2013, 35-58 .
  25. P. Buchholz, M. Telek.
    Rational Automata Networks - A Non-Markovian Modeling Approach -
    INFORMS Journal on Computing 25 (1), 2013, 87-101.
  26. P. Buchholz, J. Kriege
    Traffic Modeling with a Combination of Phase-Type Distributions and ARMA Processes
     WSC 2012

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

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

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

  30. 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.

  31. 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)

  32. 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.

  33. 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).

  34. 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.

  35. 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.

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

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

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

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

  40. 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).

  41. 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..

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

  43. 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.

  44. 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.

  45. 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)).

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

  47. 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.

  48. 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.

  49. 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.

  50. 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.

  51. 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.

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

  53. 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.

  54. 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.

  55. 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.

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

  57. 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).

  58. 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).

  59. 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.

  60. 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.

  61. 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

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

  63. 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.

  64. 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..

  65. 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.

  66. 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.

  67. 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.

  68. 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.

  69. 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).

  70. 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.

  71. 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.

  72. 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.

  73. 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.

  74. 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.

  75. 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.

  76. 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.

  77. 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

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

  79. 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.

  80. 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.

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

  82. 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.

  83. 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.

  84. 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.

  85. 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).

  86. 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.

  87. 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.

  88. 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.

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

  90. 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.

  91. 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.

  92. 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.

  93. 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).

  94. 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).

  95. 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.

  96. 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.

  97. 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.

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

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

  100. 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.

  101. 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.

  102. 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.

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

  104. 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.

  105. 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) .

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

  107. 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.

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

  109. 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.

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

  111. 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).

  112. 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).

  113. 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.

  114. 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.

  115. 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.

  116. 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.

  117. 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.

  118. 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.

  119. 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).

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

  121. 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.

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

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

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

  125. 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.

  126. 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.

  127. 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).

  128. 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.

  129. 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.

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

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

  132. 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

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

  134. 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)).

  135. 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).

  136. 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.

  137. 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.

  138. 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.

  139. 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).

  140. 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.

  141. 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.

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

  143. 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.

  144. 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.

  145. 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.

  146. 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.

  147. 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).

  148. 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.

  149. 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.

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

  151. 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.

  152. 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.

  153. 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.

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

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

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

  157. 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.

  158. 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.

  159. 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.

  160. 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.

  161. 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.

  162. 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.

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

  164. 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.

  165. 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.

  166. 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.

Committees

  • Int. Conference on Quantitative Evaluation of Systems (QEST): 2004 Twente (Netherlands), 2005 Torino (Italy), 2006 Riverside (USA), 2007 Edinburgh (UK), 2008 St. Malo (France), 2009  Budapest (Hungary), 2010 Williamsburg (USA)., 2012 London (UK), 2013 Buenos Aires (Argentinia), 2020 Vienna (Austria), 2021 Paris (France)

  • Int. Conf. on Dependable Systems and Networks (DSN): 2005 Yokohama (Japan), PC-chair 2007 Edinburgh (UK), 2008 Anchorage (USA), 2009 Lisbon (Portugal), 2010 Chicago (USA), 2011 Hong Kong (China), 2012 Boston (USA), 2013 Budapest (Hungary), 2014 Atlanta (USA), 2015 Rio de Janeiro (Brazil), 2016 Toulouse (France),  2017 Denver (USA), 2020 Valencia (Spain), 2021 Taipei (Taiwan)

  • ITC 2017, Genevo (Italy)
  • Int. Workshop on Petri Nets and Performance Models (PNPM): 1995 Durham (USA), 1997 San Malo (France), PC-Co-chair 1999 Zaragoza (Spain), 2001 Aachen (Germany), 2003 Urbana-Champaign (USA) .

  • Int'l. Conf. on Techniques and Tools for Computer Performance Evaluation (PerformanceTools): 2000 Chicago (USA), 2002 London (UK), 2003 Urbana-Champaign (USA).

  • Int. Workshop on the Numerical Solution of Markov Chains (NSMC): 1999 Zaragoza (Spain), 2003 Urbana-Champaign (USA), 2010 Williamsburg (USA).

  • Symp. on Modeling, Analysis and Simulation of Comp. and Telecomm Systems (MASCOTS): 1999 Maryland (USA), 2000 San Francisco (USA), 2001 Cincinnati (USA).

  • International Conference on Performance Evaluation Methodologies and Tools (ValueTools), 2013, Torino (Italy (PC Co-Chair), 2015 Berlin (Germany), 2016 Taormina (Italy), 2017 Venice (Italy).

  •  Messung, Modellierung und Bewertung von Rechensystemen und -netzen (MMB), September 2001, Aachen (Germany), September 2004, Dresden (PC-Co-Chair), March 2006, Erlangen (Germany), March 2008, Dortmund (PC-Chair & General Chair), March 2010, Essen (Germany), 2012 Kaiserslautern (Germany), 2014 Bamberg (Germany), 2016 Münster (Germany), 2018 (Erlangen), 2020 (Saarbrücken).

  •  Int. Conf. on Leveranging Applications of Formal Methods (IsoLA): 2004 Paphos (Cyprus).

  •  European Dependable Computing Conference, 2010, Valencia (Spain), 2012 Sibiu (Romania), 2014  Newcastle upon Tyne (UK).

  •  Intern. Conference on Matrix Analytical Methods in Stochastic Models   MAM , 2014, Calicut (India), 2016, Budapest (Hungary), 2019, Hobart (Tasmania)..

  •  MobiHoc, 2010, Chicago (USA).

  • Int. Symp. on Computer and Information Sciences (ISCIS): 2004 Antalya (Turkey).

  •  Int. Workshop on Distributed and Parallel Systems: Environments and Tools, Oct. 1996, Budapest (Hungary).

  • Performance 1996, Lausanne (Switzerland), 2007, Cologne (Germany) Tutorial chair, 2010 Namur  (Belgium), 2011 Amsterdam (Netherlands), 2014 Turin (Italy) PC-cochair, 2015 Sydney (Australia).

  • Sigmetrics/Performance 2006 Saint-Malo (France).

  • European Simulation Multiconference (ESM'99), June 1999, Warschau (Poland).

  • Workshop on System Design Automation (SDA), 2002 Pirna (Germany), 2003 Dresden (Germany)

  • Modellierung 2006 Innsbruck (Austria)

  • ETFA 2011 Industrial Communication Systems Track,  2011 Toulouse (France), 2012 Krakow (Poland).

  •  Workshop on Factory Communication Systems, June 2006, Torino (Italy), May 2008, Dresden (Germany), 2010, Nancy (France), 2012 Lemgo (Germany), 2014 Toulouse (France), 2015  Palma de Mallorca (Spain), 2016 Aveiro (Portugal), 2017 Trondheim (Norway).

  • Workshop on Tools for Structured Markov Chains (SMCTools), PC-Chair 2007, Nantes (France), 2008 Athens (Greece), 2009 Pisa (Italy)   

  • Workshop on Advanced Computing for Critical Systems and Emergency Preparedness and Response (WCEMP) 2008, Sao Paulo (Brazil)

  • International Workshop on Petri Nets Tools and Applications (PNATP); March 2008, Marseille (France)

  • 5th Polish-German Teletraffic Symposium '08, Berlin (Germany).

  • Workshop on Large Scale System and Application Performance, 2009, Munich (Germany), 2011, Chicago (USA).

  • Workshop on Computational Stochastics, 2010, Amsterdam (Netherlands).

  • Workshop on Petri Nets and Software Engineering,  2009, Paris (France).

  • Int. Workshop on Dynamic Aspects in Dependability Models for Fault Tolerant Systems. 2010, Valencia (Spain)

  • GI Sicherheit, 2012, Darmstadt (Germany)

  • ASIM Simulation und Logistik, 2015, Dortmund (Germany)
  • 14th Int. Workshop on Quantitatuive Aspects of Programming Languages (QAPL), April 2-3, 2016, Eindhoven (Netherlands).
  • MATHMOD 2018, 9th Vienna International Conference on Mathematical Modelling, February 21 – 23, 2018, Vienna, Austria.
  •  Int. Conf. on Dependable Systems and Networks 2008-2010

  •  Int. Conf. on Quantitative Evaluation of System, 2004-2005, 2011-2013, since 2020

  • ACM Transactions on Modelling and Computer Simulation
  •     Acta Informatica
  •     Advances/Journal of Applied Probability
  •     Applied Stochastic Models in Business and Industry
  •     Automatica
  •     Communications in Statistics - Stochastic Models
  •     Computers and Indutrial Engineering
  •     Computers and Operations Research
  •     Electronic Notes on Theoretical Computer Sciences
  •     European Journal of Operational Research
  •     European Transactions on Telecommunication
  •     Fundamentae Informaticae
  •     IEEE/ACM Transactions on Networking
  •     IEEE Transactions on Automatic Control
  •     IEEE Transactions on Parallel and Distributed Systems
  •     IEEE Transactions on Dependable and Secure Systems
  •     IEEE Transactions on Industrial Informatics
  •     IEEE Transactions on Network and Service Management
  •     IEEE Transactions on Reliability
  •     IEEE Transactions on Software Engineering
  •     INFORMS Journal on Computing
  •     Journal of the ACM
  •     Journal of Multivariate Analysis
  •     Journal of Parallel and Distributed Computing
  •     Mathematical and Computer Modeling of Dynamical Systems
  •     Performance Evaluation
  •     Performance Evaluation Review
  •     Queueing Systems
  •     RAIRO - Operations Research
  •     SIAM Journal on Matrix  Analysis and Applications
  •     Software and Systems Modeling
  •     The Computer Journal
  •     Theoretical Computer Science
  •     Transactions of the Society for Modelling and Simulation