Peter Buchholz
Orcid: 0000-0002-9966-7686Affiliations:
- Technical University of Dortmund, Germany
- Dresden University of Technology, Germany (former)
- University of Dortmund, Germany (PhD 1991)
According to our database1,
Peter Buchholz
authored at least 157 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2024
2023
Optimal decisions in stochastic graphs with uncorrelated and correlated edge weights.
Comput. Oper. Res., 2023
Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023
2022
On the Representation of Correlated Exponential Distributions by Phase Type Distributions.
SIGMETRICS Perform. Evaluation Rev., 2022
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2022
Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis -.
Proceedings of the 41st International Symposium on Reliable Distributed Systems, 2022
Proceedings of the 30th International Symposium on Modeling, 2022
2021
A multi-objective approach for PH-graphs with applications to stochastic shortest paths.
Math. Methods Oper. Res., 2021
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., 2021
2020
Local Search and Tabu Search Algorithms for Machine Scheduling of a Hybrid Flow Shop Under Uncertainty.
Proceedings of the Winter Simulation Conference, 2020
A Simulation Environment for Autonomous Robot Swarms with Limited Communication Skills.
Proceedings of the Simulation Tools and Techniques - 12th EAI International Conference, 2020
Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020
Proceedings of the 24th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2020
2019
Math. Methods Oper. Res., 2019
Light robustness in the optimization of Markov decision processes with uncertain parameters.
Comput. Oper. Res., 2019
<i>Great-Nsolve</i>: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets.
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019
2018
J. Syst. Archit., 2018
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018
Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018
2017
Queueing Syst. Theory Appl., 2017
Perform. Evaluation, 2017
Optimal decisions for continuous time Markov decision processes over finite planning horizons.
Comput. Oper. Res., 2017
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2017
2016
EAI Endorsed Trans. Scalable Inf. Syst., 2016
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016
2015
Comput. Oper. Res., 2015
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015
2014
Perform. Evaluation, 2014
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014
2013
Perform. Evaluation, 2013
INFORMS J. Comput., 2013
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013
2012
Proceedings of the Winter Simulation Conference, 2012
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012
2011
Perform. Evaluation, 2011
Numer. Linear Algebra Appl., 2011
Numerical analysis of continuous time Markov decision processes over finite horizons.
Comput. Oper. Res., 2011
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Simul., 2010
Perform. Evaluation, 2010
Perform. Evaluation, 2010
Perform. Evaluation, 2010
INFORMS J. Comput., 2010
Proceedings of the Measurement, 2010
2009
SIGMETRICS Perform. Evaluation Rev., 2009
Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study.
Proceedings of the 2009 Winter Simulation Conference, 2009
Simulation based Validation of Quantitative Requirements in Service Oriented Architectures.
Proceedings of the 2009 Winter Simulation Conference, 2009
A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes.
Proceedings of the 2009 Winter Simulation Conference, 2009
Proceedings of the QEST 2009, 2009
Proceedings of the Models and Algorithms for Optimization in Logistics, 21.06., 2009
2008
Proceedings of the Performance Evaluation: Metrics, 2008
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008
2007
SIAM J. Matrix Anal. Appl., 2007
Proceedings of the Web Information Retrieval and Linear Algebra Algorithms, 11.02., 2007
2006
Automated modeling and analysis of CSMA-type access schemes for building automation networks.
IEEE Trans. Ind. Informatics, 2006
IEEE Trans. Dependable Secur. Comput., 2006
Int. J. Softw. Tools Technol. Transf., 2006
Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006
Bounding stationary results of Tandem networks with MAP input and PH service time distributions.
Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems, 2006
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
A queueing-network approach for modeling control nets in building automation.
Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006
OPEDo: A tool for optimization and performance evaluation of stochastic models.
Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006
A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs.
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006
2005
Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations.
SIAM J. Sci. Comput., 2005
Perform. Evaluation, 2005
A component-level path-based simulation approach for efficient analysis of large Markov models.
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005
Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization.
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005
A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005
A Novel Approach for Fitting Probability Distributions to Real Trace Data with the EM Algorithm.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005
2004
Perform. Evaluation, 2004
Computing, 2004
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
Proceedings of the 2004 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), 2004
Proceedings of the 18th Workshop on Parallel and Distributed Simulation, 2004
Proceedings of the Operations Research, 2004
The ProC/B-Approach from informal descriptions to formal models.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
Proceedings of the Computer and Information Sciences, 2004
2003
J. Log. Algebraic Methods Program., 2003
J. Autom. Lang. Comb., 2003
Proceedings of the Computer Performance Evaluations, 2003
2002
An iterative bounding method for stochastic automata networks.
Perform. Evaluation, 2002
Formal Methods Syst. Des., 2002
An adaptive importance sampling approach for the transient analysis of markovian queueing networks.
Eur. Trans. Telecommun., 2002
Efficient Computation and Representation of Large Reachability Sets for Composed Automata.
Discret. Event Dyn. Syst., 2002
Numerical Analysis and Optimisation of Class Based Queueing.
Proceedings of the 16<sup>th</sup> European Simulation Multiconference: Modelling and Simulation 2002, 2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
2001
Perform. Evaluation, 2001
Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
Proceedings of the Process Algebra and Probabilistic Methods, 2001
A Numerical Analysis of a Communication System with Advanced Reservations.
Proceedings of the Proceedings 11th GI/ITG Conference on Measuring, 2001
2000
A hybrid analysis approach for finite-capacity queues with general inputs and phase type service.
Queueing Syst. Theory Appl., 2000
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models.
INFORMS J. Comput., 2000
1999
Theor. Comput. Sci., 1999
Eur. J. Oper. Res., 1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
1998
A New Approach Combining Simulation and Randomization for the Analysis of Large Continuous Time Markov Chains.
ACM Trans. Model. Comput. Simul., 1998
SIGMETRICS Perform. Evaluation Rev., 1998
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998
Proceedings of the Application and Theory of Petri Nets 1998, 1998
1997
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997
A Distributed Numerical/Simulative Algorithm for the Analysis of Large Continuous Time Markov Chains.
Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997
HiQPN-Tool.
Proceedings of the MMB '97, 1997
Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets.
Proceedings of the MMB '97, 1997
Proceedings of the MASCOTS 1997, 1997
1995
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995
On the Exact and Approximate Analysis of Hierarchical Discrete Time Queueing Networks.
Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets.
Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995
Proceedings of the Application and Theory of Petri Nets 1995, 1995
1994
Queueing Syst. Theory Appl., 1994
Proceedings of the Application and Theory of Petri Nets 1994, 1994
1993
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993
Proceedings of the Messung, 1993
Proceedings of the Kommunikation in Verteilten Systemen, 1993
Proceedings of the Application and Theory of Petri Nets 1993, 1993
1992
A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis.
J. Parallel Distributed Comput., 1992
1991
Proceedings of the Messung, 1991
Informatik-Fachberichte 282, Springer, ISBN: 3-540-54540-9, 1991
1990
Protocol Analysis Using a Timed Version of SDL.
Proceedings of the Formal Description Techniques, 1990
1987
Experimente mit Ersatzdarstellungen unter Berücksichtigung der Verweilzeitverteilung.
Proceedings of the Messung, Modellierung und Bewertung von Rechensystemen, 4. GI/ITG-Fachtagung, Erlangen, 29. September, 1987