P. Buchholz

发表

An Introduction to SLA Calculus for the Analytical Validation of SLAs

P. Buchholz, Sebastian Vastag, 2016 .

Weak Bisimulation for (max/+) Automata and Related Models

Peter Buchholz, Peter Kemper, P. Buchholz, 2003, J. Autom. Lang. Comb..

Model Checking Algorithms for CTMDPs

Lijun Zhang, Peter Buchholz, Holger Hermanns, 2011, CAV.

Complexity of Kronecker Operations on Sparse Matrices with Applications to the Solution of Markov Models

P. Buchholz, G. Ciardo, A. Kemper, 1997 .

Exact and ordinary lumpability in finite Markov chains

P. Buchholz, 1994, Journal of Applied Probability.

Job monitoring and steering in D-Grid's High Energy Physics Community Grid

Roland Wismüller, Branislav Borovac, Ralph Müller-Pfefferkorn, 2009, Future Gener. Comput. Syst..

A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation

Peter Buchholz, Gábor Horváth, Miklós Telek, 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

Anno di discussione 2017 Algorithms for stationary analysis of stochastic Petri nets

P. Buchholz, A. Marin, Ivan Stojic, 2016 .

Equivalence Relations for Stochastic Automata Networks

P. Buchholz, 1995 .

Net and algebraic approaches to probabilistic modeling

P. Buchholz, 2001 .

A distributed numerical/simulative algorithm for the analysis of large continuous time Markov chains

P. Buchholz, 1997, Proceedings 11th Workshop on Parallel and Distributed Simulation.

Rational Processes Related to Communicating Markov Processes

Peter Buchholz, Miklós Telek, P. Buchholz, 2012, Journal of Applied Probability.

RATIONAL PROCESSES RELATED TO COMMUNICATING

Peter Buchholz, Tu Dortmund, P. Buchholz, 2011 .

Stochastic Petri nets with Low variation matrix exponentially distributed firing time

Peter Buchholz, Miklós Telek, András Horváth, 2011 .

Phase-Type Distributions

Peter Buchholz, Jan Kriege, Iryna Felko, 2014 .

Dortmund Equivalence Transformations for Acyclic Phase Type Distributions

Informatik, P. Buchholz, J. Kriege, 2009 .

A moment-based estimation method for extreme probabilities

P. Buchholz, M. Telek, Árpád Tari, 2005 .

A SIMPLIFIED MOMENT-BASED ESTIMATION METHOD FOR EXTREME PROBABILITIES , INFINITE AND POSITIVE CASES A SIMPLIFIED MOMENT-BASED ESTIMATION METHOD FOR EXTREME PROBABILITIES , INFINITE AND POSITIVE CASES ∗

P. Buchholz, M. Telek, Árpád Tari, 2005 .

A Toolbox for the Analysis of Discrete Event Dynamic Systems

Peter Buchholz, Peter Kemper, P. Buchholz, 1999, CAV.

Hierarchical Structuring of Superposed GSPNs

Peter Buchholz, P. Buchholz, 1999, IEEE Trans. Software Eng..

Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis

Peter Buchholz, Tugrul Dayar, M. Can Orhan, 2016, QEST.

Apnned -a Net Editor and Debugger within the Apnn Toolbox

Peter Buchholz, Peter Kemper, Dimitri Knjazew, 1998 .

Universitt at Dortmund on a Markovian Process Algebra on a Markovian Process Algebra

P. Buchholz, 2007 .

LUMPABILITY AND AGGREGATION OF MARKOVIAN SUBMODELS

P. Buchholz, 1992 .

Structured Analysis Approaches for Large Markov ChainsA Tutorial

P. Buchholz, 1996 .

P o S ( A C A T ) 0 2 5 Overview over the High Energy Physics Community Grid in Germany ’ s D-Grid Initiative

P. Buchholz, J. Elmsheuser, T. Harenberg, 2007 .

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools

Mark S. Squillante, Vittorio Cortellessa, Peter Buchholz, 2013 .

Parameter Fitting of MAPs

P. Buchholz, J. Kriege, Iryna Felko, 2014 .

Approximate computation of transient results for large Markov chains

P. Buchholz, W. Sanders, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

A Structured path-based approach for computing transient rewards of large CTMCs

V. Lam, P. Buchholz, W. Sanders, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

Computation of weighted sums of rewards for concurrent MDPs

P. Buchholz, Dimitri Scheftelowitsch, 2018, Mathematical Methods of Operations Research.

Optimal decisions in stochastic graphs with uncorrelated and correlated edge weights

P. Buchholz, Iryna Dohndorf, 2022, Comput. Oper. Res..

On minimal representations of Rational Arrival Processes

P. Buchholz, M. Telek, 2011, Annals of Operations Research.

Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis -

P. Buchholz, A. Blume, 2022, 2022 41st International Symposium on Reliable Distributed Systems (SRDS).

Computation of weighted sums of rewards for concurrent MDPs

Peter Buchholz, Dimitri Scheftelowitsch, P. Buchholz, 2018, Math. Methods Oper. Res..

Light robustness in the optimization of Markov decision processes with uncertain parameters

Peter Buchholz, Dimitri Scheftelowitsch, P. Buchholz, 2019, Comput. Oper. Res..

Time-Based Maintenance Models Under Uncertainty

Peter Buchholz, Dimitri Scheftelowitsch, Iryna Dohndorf, 2018, MMB.

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters

Peter Buchholz, Holger Hermanns, Dimitri Scheftelowitsch, 2017, VALUETOOLS.

Bounded Aggregation for Continuous Time Markov Decision Processes

Peter Buchholz, Dimitri Scheftelowitsch, Iryna Dohndorf, 2017, EPEW.

Analysis of Markov Decision Processes Under Parameter Uncertainty

Peter Buchholz, Dimitri Scheftelowitsch, Iryna Dohndorf, 2017, EPEW.

Bounding reward measures of Markov models using the Markov decision processes

Peter Buchholz, P. Buchholz, 2011, Numer. Linear Algebra Appl..

Behavioural equivalences for fluid stochastic Petri nets pdf

Peter Buchholz, Igor V. Tarasyuk, I. V. Tarasyuk, 2017, ArXiv.

Equivalence and Minimization for Model Checking Labeled Markov Chains

Peter Buchholz, Dimitri Scheftelowitsch, Jan Kriege, 2016, EAI Endorsed Trans. Scalable Inf. Syst..

Model Checking for a Class of Weighted Automata

Peter Buchholz, Peter Kemper, P. Buchholz, 2003, Discret. Event Dyn. Syst..

Bisimulation relations for weighted automata

Peter Buchholz, P. Buchholz, 2008, Theor. Comput. Sci..

Quantifying the Dynamic Behavior of Process Algebras

Peter Buchholz, Peter Kemper, P. Buchholz, 2001, PAPM-PROBMIV.

Equivalence and aggregation of GSPNs with labeled transitions

Peter Buchholz, P. Buchholz, 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

P. Buchholz, M. Telek, Á. Tari, 2005 .

Block SOR for Kronecker structured representations

Peter Buchholz, Tuǧrul Dayar, P. Buchholz, 2004 .

Bounding stationary results of Tandem networks with MAP input and PH service time distributions

Peter Buchholz, P. Buchholz, 2006, SIGMETRICS '06/Performance '06.

An improved method for bounding stationary measures of finite Markov processes

Peter Buchholz, P. Buchholz, 2005, Perform. Evaluation.

Approximate aggregation of Markovian models using alternating least squares

Peter Buchholz, Jan Kriege, P. Buchholz, 2014, Perform. Evaluation.

Aggregation of Markovian Models -- An Alternating Least Squares Approach

Peter Buchholz, Jan Kriege, P. Buchholz, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.

Simulating stochastic processes with OMNeT++

Peter Buchholz, Jan Kriege, P. Buchholz, 2011, SimuTools.

Modelling support for design, commissioning, test and diagnosis of networking buildings

Peter Buchholz, P. Buchholz, 2005 .

A multi-objective approach for PH-graphs with applications to stochastic shortest paths

Iryna Dohndorf, Peter Buchholz, P. Buchholz, 2020, Math. Methods Oper. Res..

Multi-Criteria Approaches to Markov Decision Processes with Uncertain Transition Parameters

Dimitri Scheftelowitsch, P. Buchholz, Tu Dortmund, 2015 .

Efficient Computation and Representation of Large Reachability Sets for Composed Automata

Peter Buchholz, Peter Kemper, P. Buchholz, 2002, Discret. Event Dyn. Syst..

Hierarchically combined queueing Petri nets

Peter Buchholz, Falko Bause, Peter Kemper, 1994 .

QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets

Peter Buchholz, Falko Bause, Peter Kemper, 1995, MMB.

Hierarchical Markovian Models: Symmetries and Reduction

Peter Buchholz, P. Buchholz, 1995, Perform. Evaluation.

A class of hierarchical queueing networks and their analysis

Peter Buchholz, P. Buchholz, 1994, Queueing Syst. Theory Appl..

Hierarchies in Colored GSPNs

Peter Buchholz, P. Buchholz, 1993, Application and Theory of Petri Nets.

Numerical Analysis and Optimisation of Class Based Queueing

Peter Buchholz, Andriy Panchenko, P. Buchholz, 2002, European Simulation Multiconference.

PH-graphs for analyzing shortest path problems with correlated traveling times

Peter Buchholz, Iryna Felko, P. Buchholz, 2015, Comput. Oper. Res..

Dynamic Mission Control for Decentralized Mobile Robot Swarms

P. Buchholz, Alexander Puzicha, 2022, 2022 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR).

A Simulation Environment for Autonomous Robot Swarms with Limited Communication Skills

P. Buchholz, Alexander Puzicha, 2020, SimuTools.

Hierarchical Reachability Graph Generation for Petri Nets

Peter Buchholz, Peter Kemper, P. Buchholz, 2002, Formal Methods Syst. Des..

Compact representations of probability distributions in the analysis of Superposed GSPNs

Peter Buchholz, Peter Kemper, P. Buchholz, 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models

Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, 2000, INFORMS J. Comput..

A Toolbox for Functional and Quantitative Analysis of DEDS

Peter Buchholz, Falko Bause, Peter Kemper, 1998, Computer Performance Evaluation.

Numerical analysis of stochastic marked graph nets

Peter Buchholz, Peter Kemper, P. Buchholz, 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets

Peter Buchholz, Falko Bause, Peter Kemper, 1997, MMB.

A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis

Peter Buchholz, P. Buchholz, 1992, J. Parallel Distributed Comput..

Modeling Human Decisions in Performance and Dependability Models

Peter Buchholz, Gerhard Rinkenauer, Jan Kriege, 2016, EPEW.

On the Representation of Correlated Exponential Distributions by Phase Type Distributions pdf

Peter Buchholz, P. Buchholz, 2021, SIGMETRICS Perform. Evaluation Rev..

An Online Approach to Estimate Parameters of Phase-Type Distributions

Peter Buchholz, Jan Kriege, Iryna Dohndorf, 2019, 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Model Checking Stochastic Automata for Dependability and Performance Measures

Peter Buchholz, Dimitri Scheftelowitsch, Jan Kriege, 2014, 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.

Markov Modeling of Availability and Unavailability Data

Peter Buchholz, Jan Kriege, P. Buchholz, 2014, 2014 Tenth European Dependable Computing Conference.

PH and MAP Fitting with Aggregated Traffic Traces

Peter Buchholz, Jan Kriege, P. Buchholz, 2014, MMB/DFT.

Transformation of Acyclic Phase Type Distributions for Correlation Fitting

Peter Buchholz, Jan Kriege, Iryna Felko, 2013, ASMTA.

Traffic modeling with a combination of phase-type distributions and ARMA processes

Peter Buchholz, Jan Kriege, P. Buchholz, 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

Peter Buchholz, Jan Kriege, P. Buchholz, 2011, Perform. Evaluation.

ProFiDo - The Processes Fitting Toolkit Dortmund

Peter Buchholz, Falko Bause, Jan Kriege, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.

An Empirical Comparison of MAP Fitting Algorithms

Peter Buchholz, Jan Kriege, P. Buchholz, 2010, MMB/DFT.

A Heuristic Approach for Fitting MAPs to Moments and Joint Moments

Peter Buchholz, Jan Kriege, P. Buchholz, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

A hybrid analysis approach for finite-capacity queues with general inputs and phase type service

Peter Buchholz, P. Buchholz, 2000, Queueing Syst. Theory Appl..

Stochastic Models Including PH Distributions and MAPs

Jan Kriege, Peter Buchholz, Iryna Felko, 2014 .

Rational Automata Networks: A Non-Markovian Modeling Approach

Peter Buchholz, Miklós Telek, P. Buchholz, 2013, INFORMS J. Comput..

Kronecker Based Matrix Representations for Large Markov Models

Peter Buchholz, Peter Kemper, P. Buchholz, 2004, Validation of Stochastic Systems.

On the Convergence of a Class of Multilevel Methods for Large Sparse Markov Chains

Peter Buchholz, Tugrul Dayar, P. Buchholz, 2007, SIAM J. Matrix Anal. Appl..

Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations

PETER BUCHHOLZ, TUǦRUL DAYAR, P. Buchholz, 2005, SIAM J. Sci. Comput..

Comparison of Multilevel Methods for Kronecker-based Markovian Representations

Peter Buchholz, Tugrul Dayar, P. Buchholz, 2004, Computing.

Markovian Arrival Processes

Jan Kriege, Peter Buchholz, Iryna Felko, 2014 .

Numerical analysis of continuous time Markov decision processes over finite horizons

Peter Buchholz, Ingo Schulz, P. Buchholz, 2011, Comput. Oper. Res..

Multi-class Markovian arrival processes and their parameter fitting

Peter Buchholz, Peter Kemper, Jan Kriege, 2010, Perform. Evaluation.

Input Modeling with Phase-Type Distributions and Markov Models: Theory and Applications

Peter Buchholz, Jan Kriege, Iryna Felko, 2014 .

Surrogate Models for Markov Reward Models with Uncertain Parameters

P. Buchholz, 2022, 2022 30th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS).

Optimization of Stochastic Discrete Event Simulation Models

Peter Buchholz, P. Buchholz, 2009, Models and Algorithms for Optimization in Logistics.

Modular State Level Analysis of Distributed Systems Techniques and Tool Support

Peter Buchholz, Peter Kemper, P. Buchholz, 1999, TACAS.

Concurrent MDPs with Finite Markovian Policies

Peter Buchholz, Dimitri Scheftelowitsch, P. Buchholz, 2020, MMB.

Markovian Arrival Processes in Multi-dimensions

Peter Buchholz, Andreas Blume, Clara Scherbaum, 2020, QEST.

State-Based Analysis in ADVISE

William H. Sanders, Peter Buchholz, Michael D. Ford, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.

Numerical analysis of rational processes beyond Markov chains

Peter Buchholz, P. Buchholz, 2013, Perform. Evaluation.

Structured analysis techniques for large Markov chains

Peter Buchholz, P. Buchholz, 2006, SMCtools '06.

An Aggregation/Disaggregation Algorithm for Stochastic Automata Networks

Peter Buchholz, P. Buchholz, 1997, Probability in the Engineering and Informational Sciences.

Scheduling Algorithms for a Hybrid Flow Shop under Uncertainty

Peter Buchholz, Christin Schumacher, P. Buchholz, 2020, Algorithms.

Hierarchical High Level Petri Nets for Complex System Analysis

Peter Buchholz, P. Buchholz, 1994, Application and Theory of Petri Nets.

Toward an analytical method for SLA validation

Peter Buchholz, Sebastian Vastag, P. Buchholz, 2018, Software & Systems Modeling.

A Tool Supporting the Analytical Evaluation of Service Level Agreements

Peter Buchholz, Falko Bause, Johannes May, 2017, ICPE.

Simulation based validation of quantitative requirements in Service Oriented Architectures

Peter Buchholz, Falko Bause, Jan Kriege, 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support

Peter Buchholz, Miklós Telek, Árpád Tari, 2005, EPEW/WS-FM.

An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models

Peter Buchholz, P. Buchholz, 1999, Eur. J. Oper. Res..

Qualitative and Quantitative Analysis of Timed Sdl Speciications

Peter Buchholz, Falko Bause, P. Buchholz, 1993 .

A Novel Approach for Phase-Type Fitting with the EM Algorithm

Peter Buchholz, Miklós Telek, Axel Thümmler, 2006, IEEE Transactions on Dependable and Secure Computing.

A novel approach for fitting probability distributions to real trace data with the EM algorithm

Peter Buchholz, Miklós Telek, Axel Thümmler, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

Canonical Form Based MAP(2) Fitting

Peter Buchholz, Miklós Telek, Jan Kriege, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.

Program packages for computations with PH, ME distributions and MAP, RAP processes

Philipp Reinecke, Armin Heindl, Levente Bodrog, 2014 .

A Two-Step EM Algorithm for MAP Fitting

Peter Buchholz, Andriy Panchenko, P. Buchholz, 2004, ISCIS.

Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31 - April 2, 2008, Dortmund, Germany

Peter Buchholz, Falko Bause, P. Buchholz, 2008, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen.

MMB & PGTS 2004, 12th GI/ITG Conference on Measuring and Evaluation of Computer and Communication Systems (MMB) together with 3rd Polish-German Teletraffic Symposium (PGTS), September 12-15, 2004, Dresden, Germany

Peter Buchholz, Ralf Lehnert, Michal Pioro, 2004, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen.

Hybrid analysis of non-Markovian stochastic petri nets

Peter Buchholz, P. Buchholz, 2000 .

Qualitative und Quantitative Analysis of Timed SDL Specifications

Peter Buchholz, Falko Bause, P. Buchholz, 1993, Kommunikation in Verteilten Systemen.

Proceeding of the Twelfth GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB) and the Third Polish-German Teletraffic Symposium (PGTS)

Peter Buchholz, Ralf Lehnert, Michal Pioro, 2004 .

Editorial

Peter Buchholz, Benny Van Houdt, P. Buchholz, 2014, Performance evaluation (Print).

Corrigendum to "Reliability and Test Effort Analysis of Multi-Sensor Driver Assistance Systems" [Journal of Systems Architecture 85-86 (2018) 1-13]

Peter Buchholz, Peter Bazan, Reinhard German, 2021, Journal of systems architecture.

Guest editors’ introduction: quantitative analysis of real-time embedded systems

Joost-Pieter Katoen, Peter Buchholz, Marcel Verhoef, 2006, International Journal on Software Tools for Technology Transfer.

Real-Time Simulation of Robot Swarms with Restricted Communication Skills

Peter Buchholz, Alexander Puzicha, P. Buchholz, 2020, 2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT).

Decentralized model predictive control for autonomous robot swarms with restricted communication skills in unknown environments

Peter Buchholz, Alexander Puzicha, P. Buchholz, 2021, Procedia Computer Science.

A Simulation Environment for Hierarchical Process Chains Based on OMNeT++

Peter Buchholz, Falko Bause, Jan Kriege, 2010, Simul..

Simulating process chain models with OMNeT++

Peter Buchholz, Falko Bause, Jan Kriege, 2008, SimuTools.

P. Buchholz, J. Kriege, 2017, Queueing Syst. Theory Appl..

An EM-Algorithm for MAP Fitting from Real Traffic Data

Peter Buchholz, P. Buchholz, 2003, Computer Performance Evaluation / TOOLS.

On minimal representations of Rational Arrival Processes

Peter Buchholz, Miklós Telek, P. Buchholz, 2013, Ann. Oper. Res..

Optimization of Process Chain Models with Response Surface Methodology and the ProC/B Toolset

Peter Buchholz, Axel Thümmler, Dennis Müller, 2005 .

A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions

I. V. Tarasyuk, P. Buchholz, 2012 .

On the Exact and Approximate Analysis of Hierarchical Discrete Time Queueing Networks

Peter Buchholz, P. Buchholz, 1995, MMB.

NORTON'S THEOREM FOR BATCH ROUTING QUEUEING NETWORKS

Peter Buchholz, Falko Bause, Richard J. Boucherie, 2001 .

On generating a hierarchy for GSPN analysis

Peter Buchholz, Peter Kemper, P. Buchholz, 1998, PERV.

Rational Processes Related to Communicating Markov Processes

Peter Buchholz, Miklós Telek, P. Buchholz, 2012, Journal of Applied Probability.

Composition and Equivalence of Markovian and Non-Markovian Models

Peter Buchholz, Miklós Telek, P. Buchholz, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

Hybrid performability analysis of logistic networks

Peter Buchholz, Falko Bause, Peter Kemper, 2004, 18th Workshop on Parallel and Distributed Simulation, 2004. PADS 2004..

An adaptive decomposition approach for the analysis of stochastic Petri nets

Peter Buchholz, P. Buchholz, 2002, Proceedings International Conference on Dependable Systems and Networks.

Multilevel Solutions for Structured Markov Chains

Peter Buchholz, P. Buchholz, 2000, SIAM J. Matrix Anal. Appl..

Structured analysis approaches for large Markov chains

Peter Buchholz, P. Buchholz, 1999 .

Hierarchical structuring of superposed GSPNs

Peter Buchholz, P. Buchholz, 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

Stochastic Petri nets with matrix exponentially distributed firing times

Peter Buchholz, Miklós Telek, P. Buchholz, 2010, Perform. Evaluation.

Reliability and test effort analysis of multi-sensor driver assistance systems

Peter Buchholz, Peter Bazan, Reinhard German, 2018, J. Syst. Archit..

An EM Algorithm for Fitting of Real Traffic Traces to PH-Distribution

Peter Buchholz, Andriy Panchenko, P. Buchholz, 2004, Parallel Computing in Electrical Engineering, 2004. International Conference on.

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters

P. Buchholz, H. Hermanns, V. Hashemi, 2017, VALUETOOLS.

Queueing Petri Nets with Product Form Solution

Peter Buchholz, Falko Bause, P. Buchholz, 1998, Perform. Evaluation.

Model-checking large structured Markov chains

Joost-Pieter Katoen, Peter Buchholz, Peter Kemper, 2003, J. Log. Algebraic Methods Program..

Complexity of Kronecker Operations on Sparse Matrices with Applications to the Solution of Markov Models

P. Buchholz, A. Kemper, Gianfranco Ciardo, 1997 .