Peter Buchholz

According to our database1, Peter Buchholz
  • authored at least 140 papers between 1987 and 2018.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Time-Based Maintenance Models Under Uncertainty.
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

SLA Tool.
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

2017
Fitting correlated arrival and service times and related queueing performance.
Queueing Syst., 2017

On compact solution vectors in Kronecker-based Markovian analysis.
Perform. Eval., 2017

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters.
CoRR, 2017

Behavioural equivalences for fluid stochastic Petri nets.
CoRR, 2017

Optimal decisions for continuous time Markov decision processes over finite planning horizons.
Computers & OR, 2017

A Tool Supporting the Analytical Evaluation of Service Level Agreements.
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Analysis of Markov Decision Processes Under Parameter Uncertainty.
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

Bounded Aggregation for Continuous Time Markov Decision Processes.
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

Equivalence and Lumpability of FSPNs.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2017

2016
Equivalence and Minimization for Model Checking Labeled Markov Chains.
EAI Endorsed Trans. Scalable Information Systems, 2016

Traffic Modeling with Phase-Type Distributions and VARMA Processes.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Modeling Human Decisions in Performance and Dependability Models.
Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016

2015
PH-graphs for analyzing shortest path problems with correlated traveling times.
Computers & OR, 2015

Markov Decision Petri Nets with Uncertainty.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014
Approximate aggregation of Markovian models using alternating least squares.
Perform. Eval., 2014

Editorial.
Perform. Eval., 2014

A Structured Solution Approach for Markov Regenerative Processes.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

PH and MAP Fitting with Aggregated Traffic Traces.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

Markov Modeling of Availability and Unavailability Data.
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

Model Checking Stochastic Automata for Dependability and Performance Measures.
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013
Numerical analysis of rational processes beyond Markov chains.
Perform. Eval., 2013

Rational Automata Networks: A Non-Markovian Modeling Approach.
INFORMS Journal on Computing, 2013

On minimal representations of Rational Arrival Processes.
Annals OR, 2013

Transformation of Acyclic Phase Type Distributions for Correlation Fitting.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012
Rational Processes Related to Communicating Markov Processes.
J. Applied Probability, 2012

Traffic modeling with a combination of phase-type distributions and ARMA processes.
Proceedings of the Winter Simulation Conference, 2012

State-Based Analysis in ADVISE.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Aggregation of Markovian Models - An Alternating Least Squares Approach.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Finite horizon analysis of infinite CTMDPs.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011
Correlated phase-type distributed random numbers as input models for simulations.
Perform. Eval., 2011

Bounding reward measures of Markov models using the Markov decision processes.
Numerical Lin. Alg. with Applic., 2011

Numerical analysis of continuous time Markov decision processes over finite horizons.
Computers & OR, 2011

Simulating stochastic processes with OMNeT++.
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

Composition and Equivalence of Markovian and Non-Markovian Models.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Model Checking Algorithms for CTMDPs.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
A Simulation Environment for Hierarchical Process Chains Based on OMNeT++.
Simulation, 2010

Stochastic Petri nets with matrix exponentially distributed firing times.
Perform. Eval., 2010

Multi-class Markovian arrival processes and their parameter fitting.
Perform. Eval., 2010

Product form approximations for communicating Markov processes.
Perform. Eval., 2010

On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains.
INFORMS Journal on Computing, 2010

Steering of sequential jobs with a distributed shared memory based model for online steering.
Future Generation Comp. Syst., 2010

Model Checking for a Class of Weighted Automata.
Discrete Event Dynamic Systems, 2010

Canonical Form Based MAP(2) Fitting.
Proceedings of the QEST 2010, 2010

ProFiDo - The Processes Fitting Toolkit Dortmund.
Proceedings of the QEST 2010, 2010

An Empirical Comparison of MAP Fitting Algorithms.
Proceedings of the Measurement, 2010

2009
OPEDo: a tool for the optimization of performance and dependability models.
SIGMETRICS Performance Evaluation Review, 2009

Job monitoring and steering in D-Grid's High Energy Physics Community Grid.
Future Generation Comp. Syst., 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

A Heuristic Approach for Fitting MAPs to Moments and Joint Moments.
Proceedings of the QEST 2009, 2009

Optimization of Stochastic Discrete Event Simulation Models.
Proceedings of the Models and Algorithms for Optimization in Logistics, 21.06., 2009

2008
Bisimulation relations for weighted automata.
Theor. Comput. Sci., 2008

A Framework for Simulation Models of Service-Oriented Architectures.
Proceedings of the Performance Evaluation: Metrics, 2008

Simulating process chain models with OMNeT++.
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008

Product Form Approximations for Communicating Markov Processes.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Secure Communication for Computational Steering of Grid Jobs.
Proceedings of the 16th Euromicro International Conference on Parallel, 2008

RMOST: A Shared Memory Model for Online Steering.
Proceedings of the Computational Science, 2008

2007
On the Convergence of a Class of Multilevel Methods for Large Sparse Markov Chains.
SIAM J. Matrix Analysis Applications, 2007

Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains.
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. Industrial Informatics, 2006

A Novel Approach for Phase-Type Fitting with the EM Algorithm.
IEEE Trans. Dependable Sec. Comput., 2006

Guest editors' introduction: quantitative analysis of real-time embedded systems.
STTT, 2006

OPEDo: a tool framework for modeling and optimization of stochastic models.
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

Bound-Preserving Composition for Markov Reward Models.
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. Scientific Computing, 2005

An improved method for bounding stationary measures of finite Markov processes.
Perform. Eval., 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

A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support.
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
Adaptive decomposition and approximation for the analysis of stochastic Petri nets.
Perform. Eval., 2004

Comparison of Multilevel Methods for Kronecker-based Markovian Representations.
Computing, 2004

Kronecker Based Matrix Representations for Large Markov Models.
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Approximate Computation of Transient Results for Large Markov Chains.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

An EM Algorithm for Fitting of Real Traffic Traces to PH-Distribution.
Proceedings of the 2004 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), 2004

Hybrid Performability Analysis of Logistic Networks.
Proceedings of the 18th Workshop on Parallel and Distributed Simulation, 2004

Functional Analysis of Process-Oriented Systems.
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

A Two-Step EM Algorithm for MAP Fitting.
Proceedings of the Computer and Information Sciences, 2004

2003
Model-checking large structured Markov chains.
J. Log. Algebr. Program., 2003

Weak Bisimulation for (max/+) Automata and Related Models.
Journal of Automata, Languages and Combinatorics, 2003

Model Checking for a Class of Weighted Automata
CoRR, 2003

An EM-Algorithm for MAP Fitting from Real Traffic Data.
Proceedings of the Computer Performance Evaluations, 2003

2002
An iterative bounding method for stochastic automata networks.
Perform. Eval., 2002

Hierarchical Reachability Graph Generation for Petri Nets.
Formal Methods in System Design, 2002

An adaptive importance sampling approach for the transient analysis of markovian queueing networks.
European Transactions on Telecommunications, 2002

Efficient Computation and Representation of Large Reachability Sets for Composed Automata.
Discrete Event Dynamic Systems, 2002

Numerical Analysis and Optimisation of Class Based Queueing.
Proceedings of the 16<sup>th</sup> European Simulation Multiconference: Modelling and Simulation 2002, 2002

An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Hybrid analysis of SGSPNs with time-dependent transition rates.
Perform. Eval., 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

Equivalence and Aggregation of GSPNs with Labeled Transitions.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Quantifying the Dynamic Behavior of Process Algebras.
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
Multilevel Solutions for Structured Markov Chains.
SIAM J. Matrix Analysis Applications, 2000

A hybrid analysis approach for finite-capacity queues with general inputs and phase type service.
Queueing Syst., 2000

Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models.
INFORMS Journal on Computing, 2000

1999
Hierarchical Structuring of Superposed GSPNs.
IEEE Trans. Software Eng., 1999

Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata.
Theor. Comput. Sci., 1999

An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models.
European Journal of Operational Research, 1999

Modular State Level Analysis of Distributed Systems Techniques and Tool Support.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

A Toolbox for the Analysis of Discrete Event Dynamic Systems.
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

On generating a hierarchy for GSPN analysis.
SIGMETRICS Performance Evaluation Review, 1998

Queueing Petri Nets with Product Form Solution.
Perform. Eval., 1998

A Toolbox for Functional and Quantitative Analysis of DEDS.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

Iterative Decomposition and Aggregation of Labeled GSPNs.
Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997
Hierarchical structuring of superposed GSPNs.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

Aggregation and disaggregation in product form queueing Petri Nets.
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

Efficient Analysis Techniques for Symmetric Multiprocessor Architecture.
Proceedings of the MASCOTS 1997, 1997

1995
Hierarchical Markovian Models: Symmetries and Reduction.
Perform. Eval., 1995

Numerical analysis of stochastic marked graph nets.
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

A Notion of Equivalence for Stochastic Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994
A class of hierarchical queueing networks and their analysis.
Queueing Syst., 1994

Hierarchical High Level Petri Nets for Complex System Analysis.
Proceedings of the Application and Theory of Petri Nets 1994, 1994

1993
Aggregation and reduction techniques for hierarchical GCSPNs.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

A Heuristic Approach for the Aggregation of Markovian Submodels.
Proceedings of the Messung, 1993

Qualitative und Quantitative Analysis of Timed SDL Specifications.
Proceedings of the Kommunikation in Verteilten Systemen, 1993

Hierarchies in Colored GSPNs.
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 Distrib. Comput., 1992

1991
The Numerical Analysis of Hierarchical Queueing Network Models.
Proceedings of the Messung, 1991

Die strukturierte Analyse Markovscher Modelle
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


  Loading...