Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models P Buchholz, G Ciardo, S Donatelli, P Kemper INFORMS Journal on Computing 12 (3), 203-222, 2000 | 198 | 2000 |
Numerical analysis of superposed GSPNs P Kemper IEEE Transactions on Software Engineering 22 (9), 615-628, 1996 | 169 | 1996 |
A toolbox for functional and quantitative analysis of DEDS F Bause, P Buchholz, P Kemper Computer Performance Evaluation: Modelling Techniques and Tools 10th …, 1998 | 131 | 1998 |
Supply chain modelling and its analytical evaluation M Arns, M Fischer, P Kemper, C Tepper Journal of the Operational Research Society 53 (8), 885-894, 2002 | 125 | 2002 |
Multi-class Markovian arrival processes and their parameter fitting P Buchholz, P Kemper, J Kriege Performance Evaluation 67 (11), 1092-1106, 2010 | 78 | 2010 |
Kronecker based matrix representations for large Markov models P Buchholz, P Kemper Validation of Stochastic Systems: A Guide to Current Research, 256-295, 2004 | 76 | 2004 |
An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets P Kemper, F Bause International Conference on Application and Theory of Petri Nets, 263-278, 1992 | 76 | 1992 |
Model-checking large structured Markov chains P Buchholz, JP Katoen, P Kemper, C Tepper The Journal of Logic and Algebraic Programming 56 (1-2), 69-97, 2003 | 75 | 2003 |
The ProC/BToolset for the Modelling and Analysis of Process Chains F Bause, H Beilner, M Fischer, P Kemper, M Völker Computer Performance Evaluation: Modelling Techniques and Tools: 12th …, 2002 | 69 | 2002 |
Reachability analysis based on structured representations P Kemper International Conference on Application and Theory of Petri Nets, 269-288, 1996 | 67 | 1996 |
QPN-tool for the specification and analysis of hierarchically combined queueing Petri nets F Bause, P Buchholz, P Kemper Quantitative Evaluation of Computing and Communication Systems: 8th …, 1995 | 67 | 1995 |
Hierarchical reachability graph generation for Petri nets P Buchholz, P Kemper Formal Methods in System Design 21, 281-315, 2002 | 61 | 2002 |
Abstract Petri net notation F Bause, P Kemper, P Kritzinger Dekanat Informatik, Univ., 1994 | 61 | 1994 |
Complexity of Kronecker operations on sparse matrices with applications to the solution of Markov models P Buchholz, G Ciardo, S Donatelli, P Kemper | 56 | 1997 |
Numerical analysis of stochastic marked graph nets P Buchholz, P Kemper Proceedings 6th International Workshop on Petri Nets and Performance Models …, 1995 | 53 | 1995 |
Automated trace analysis of discrete-event system models P Kemper, C Tepper IEEE Transactions on Software Engineering 35 (2), 195-208, 2008 | 52 | 2008 |
Hierarchically combined queueing Petri nets F Bause, P Buchholz, P Kemper 11th International Conference on Analysis and Optimization of Systems …, 1994 | 49 | 1994 |
Quantifying the dynamic behavior of process algebras P Buchholz, P Kemper Joint International Workshop von Process Algebra and Probabilistic Methods …, 2001 | 47 | 2001 |
Symbolic state-space exploration and numerical analysis of state-sharing composed models S Derisavi, P Kemper, WH Sanders Linear Algebra and Its Applications 386, 137-166, 2004 | 46 | 2004 |
Distributed steady state analysis using Kronecker algebra P Buchholz, M Fischer, P Kemper Numerical Solutions of Markov Chains (NSMC’99), 76-95, 1999 | 46 | 1999 |