#### Filter Results:

- Full text PDF available (78)

#### Publication Year

1992

2016

- This year (0)
- Last 5 years (4)
- Last 10 years (35)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

#### Organism

Learn More

- Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper
- INFORMS Journal on Computing
- 2000

We present new algorithms for the solution of large structured Markov models whose infinitesimal generator can be expressed as a Kronecker expression of sparse matrices. We then compare them with the shuffle-based method commonly used in this context and show how our new algorithms can be advantageous in dealing with very sparse matrices and in supporting… (More)

- Peter Kemper
- IEEE Trans. Software Eng.
- 1995

The numerical analysis of various modeling formalisms (4, 10, 141 profits from a structured representation for the generator matrix Q of the underlying continuous time Markov chain, where Q is described by a sum of tensor (kronecker) products of much smaller matrices. In this paper we describe such a representation for the class of superposed generalized… (More)

- Peter Buchholz, Peter Kemper
- PNPM
- 1995

The analysis of stochastic marked graphs is considered. The underlying idea is to decompose the marked graph into subnets, to generate state spaces and transition matrices for these isolated parts and then to represent the generator matrix underlying the complete net by means of much smaller subnet matrices combined via tensor operations. Based on this… (More)

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

The paper introduces a new approach to define process algebras with quantified transitions. A mathematical model is introduced which allows the definition of various classes of process algebras including the well known models of untimed, probabilistic and stochastic process algebras. For this general mathematical model a bisimulation equivalence is defined… (More)

- Peter Kemper, Carsten Tepper
- IEEE Transactions on Software Engineering
- 2009

In this paper, we describe a novel technique that helps a modeler gain insight into the dynamic behavior of a complex stochastic discrete event simulation model based on trace analysis. We propose algorithms to distinguish progressive from repetitive behavior in a trace and to extract a minimal progressive fragment of a trace. The implied combinatorial… (More)

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

This paper presents a toolbox for the construction of modular tools for functional and quantitative (performance) analysis of discrete event dynamic systems (DEDS). The intention is to simplify the usage of appropriate analysis algorithms, thus supporting the development of appropriate tools. We describe concepts and contents of the toolbox together with an… (More)

- Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper
- J. Log. Algebr. Program.
- 2003

- Peter Kemper
- Application and Theory of Petri Nets
- 1996

- Peter Buchholz, Peter Kemper, Jan Kriege
- Perform. Eval.
- 2010

Markovian arrival processes are a powerful class of stochastic processes to represent stochastic workloads that include autocorrelation in performance or dependability modeling. However, fitting the parameters of a Markovian arrival process to given measurement data is non-trivial and most known methods focus on a single class case, where all events are of… (More)