List of Publications, Peter Kemper

Most Recent Work

• P. Buchholz, P. Kemper. Model Checking for Automata with Transition Costs.
• P. Buchholz, P. Kemper. Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques.
  
• P. Kemper, C. Tepper. Trace Analysis - Gain Insight Through Modelchecking and Cycle Reduction.
  

Books, Book Chapters, and Editorials

1. Buchholz, P.; Kemper, P.
   Kronecker based Representations of Large Markov Chains
   In: B. Haverkort, H. Hermanns, M. Siegle (eds.), Validation of Stochastic Systems, pp 256-295, Springer, LNCS 2925, 2004.
2. Kemper, P.; Sanders, W.H.
   Modelling Techniques and Tools for Computer Performance Evaluation.
   Guest editorial, Performance Evaluation, Volume 63, Issue 6, Pages 521-608 (June 2006)
   Modelling Techniques and Tools for Computer Performance Evaluation, (ScienceDirect).
3. Kemper, P.; Sanders, W.H. (eds.)
   Computer Performance Evaluation, Modelling Techniques and Tools, 13th int. Conference, Proceedings (Tools'03)
   Springer, LNCS 2794, 2003.
4. Kemper, P.
   Superposition of generalized stochastic Petri nets and its impact on performance analysis
   Phd thesis, Universität Dortmund (Germany), 1996, Krehl-Verlag , Münster 1997 (in English). (abstract)

Journals

1. P. Kemper, D. Müller, A. Thümmler.
   Combining Response Surface Methodology with Numerical Models for Optimization of Markovian Models
   accepted for IEEE Transactions on Dependable and Secure Computing. Revised and extended version of a paper in Proc. of the 2005 International Conference on Dependable Systems and Networks, Yokohama, JP, June, 2005, pages 550-559, IEEE CS Press, 2005.
2. Derisavi,S.; Kemper,P.; Sanders,W.H.
   Symbolic state space exploration and numerical analysis of state-sharing composed models
   Linear Algebra and Its Applications, Special Issue on the Conference on the Numerical Solution of Markov Chains 2003 - Edited by W. Grassmann, C. Meyer, B. Stewart and D. Szyld, Vol 386C pp 137-166, 2004.
3. Buchholz,P. and Kemper,P.
   Weak bisimulation for (max/+) automata and related models
   Journal of Automata, Languages and Combinatorics, selected papers of the workshop Weighted Automata: Theory and Applications (Dresden, Germany, March 4-8, 2002), Vol. 8 (2003) Number 2.
4. Derisavi,S.; Kemper,P.; Sanders,W.H. and Courtney,T.
   The Möbius state-level abstract functional interface
   Performance Evaluation,  Vol 54, No 2, 105-128, 2003,  (preprint). 
5. Buchholz,P.; Katoen,J.-P.; Kemper,P. and Tepper,C.
   Model-checking large structured Markov chains
   Journal of Logic and Algebraic Programming, special issue on Probabilistic Techniques for the Design and Analysis of Systems, 56, (1/2), 69-97, 2003, (preprint). 
6. Arns,M.; Fischer,M.; Kemper,P. and Tepper,C.
   Supply Chain Modelling and its Analytical Evaluation
   Journal of the Operational Research Society, 53, pages 885-894, 2002. 
7. Buchholz,P. and Kemper,P.
   Efficient Computation and Representation of Large Reachability Sets for Composed Automata
   Journal on Discrete Event Dynamic Systems: Theory and Applications, 12 (3), pp. 265-286, Kluwer, 2002.  (preprint), (abstract, full text by Kluwer)
8. Buchholz,P. and Kemper,P.
   Hierarchical reachability graph generation for Petri nets
   Formal Methods in Systems Design, 21 (3), pp. 281-315, 2002.  (abstract, full text by Kluwer)
9. Donatelli,S. and Kemper,P.
   Integrating synchronization with priority into a Kronecker representation
   Performance evaluation, 44 (1-4), pp. 73-96, 2001.  (abstract, full text by Elsevier)
10. Buchholz, P.; Ciardo,G.; Donatelli,S. and Kemper,P.
    Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models
    INFORMS J. on Computing 12 (3), 2000. (preprint), (abstract, full text by Informs)
11. Kemper, P.
    Transient analysis of superposed GSPNs
    IEEE Trans. on Software Engineering, 25(2), March/April 1999, pp. 182-193. Revised and extended version of a paper with same title in Proc. 7th Int. Workshop Petri Nets and Performance Models, pages 101-110. IEEE Computer Society Press, 1997. (abstract, full text by IEEE TSE)
12. Buchholz, P.; Kemper, P.
    On generating a hierarchy for GSPN analysis
    ACM Performance Evaluation Review, Vol. 26 (2), 1998, pages 5-14.
13. Kemper, P.
    Numerical analysis of superposed GSPNs
    IEEE Trans. on Software Engineering, 22(9), Sep 1996, pp. 615-628. Revised and extended version of a paper with same title in Proc. 6th Int. Workshop Petri Nets and Performance Models, pages 52-61. IEEE Computer Society Press, 1995. (preprint), (abstract, full text by IEEE TSE)

1. Kemper, P.; Tepper, C.
   Trace Based Analysis of Process Interaction Models. 
   In Proc. of the 2005 Wintersimulation Conference, Orlando, FL, USA, December 4-7, 2005.
2. S. Derisavi, P. Kemper,  W.H. Sanders.
   Lumping Matrix Diagram Representations of Markov Models
   In Proc. of the 2005 International Conference on Dependable Systems and Networks, Yokohama, JP, June, 2005, pages 742-751, IEEE CS Press, 2005.
3. P. Kemper, D. Müller, A. Thümmler.
   Combining Response Surface Methodology with Numerical Models for Optimization of Class Based Queueing Systems.
   In Proc. of the 2005 International Conference on Dependable Systems and Networks, Yokohama, JP, June, 2005, pages 550-559, IEEE CS Press, 2005.
4. Kemper, P.; Tepper, C.
   Visualizing the dynamic behaviour of ProC/B models. 
   In Proc. of the 16th Conference on Simulation and Visualization (SimVis), Magdeburg, March 3-4, 2005, pages 63-74, SCS Publishing, Erlangen, 2005.
5. Bause,F.; Buchholz,P.; Fischer,M.; Kemper,P.
   Hybrid performability analysis of logistic networks
   in Proc. of the 18th Workshop on Parallel and Distributed Simulation, May 16-19, 2004, Kufstein, Austria.
6. Derisavi,S.; Kemper,P.; Sanders,W.H.
   Symbolic state space exploration and numerical analysis of state-sharing composed models
   International Conference on the Numerical Solution of Markov Chains 2003, a revised version is published in LAA, see above
7. Kemper, P.
   Parallel randomization for large structured Markov chains
   In Proc. of the 2002 International Conference on Dependable Systems and Networks (DSN/IPDS), Washington, DC, USA, June 23-26, 2002, pages 657-666, IEEE CS Press, 2002.
8. Bause,F.; Beilner,H.; Fischer,M.; Kemper,P.; Völker,M..
   The Proc/B toolset for the modelling and analysis of process chains
   In T. Field, P. G. Harrison, J. Bradley, U. Harder (eds.), Computer Performance Evaluation Modelling Techniques and Tools (Proc. Performance TOOLS 2002), pages 51-70, LNCS 2324, Springer 2002 (abstract, pdf full text by Springer)
9. Derisavi,S.; Kemper,P.; Sanders,W.H.
   The Möbius state-level abstract functional interface
   In T. Field, P. G. Harrison, J. Bradley, U. Harder (eds.), Computer Performance Evaluation Modelling Techniques and Tools (Proc. Performance TOOLS 2002), pages 31-50, LNCS 2324, Springer 2002 (preprint), (abstract, pdf full text by Springer)
10. Fischer,M.; Kemper,P.
    Distributed numerical Markov chain analysis
    In Y. Cotronis, J. Dongarra (eds.), Proc. 8th Euro PVM/MPI 2001, September, 2001, Santorini (Thera) Island, Greece, Springer, LNCS 2131, pp. 272-279, 2001.  (abstract, pdf full text by Springer)
11. Buchholz,P; Kemper,P.
    Quantifying the Dynamic Behavior of Process Algebras
    In Proc. of the joint PAPM-PROBMIV workshop, September, 2001, Aachen, Germany, Springer, LNCS 2165, pp. 184-199, 2001. (abstract, pdf full text by Springer)
12. Buchholz,P; Kemper,P.
    Compact representations of probability distributions in the analysis of superposed GSPNs
    In Proc. 9th Int. Workshop Petri Nets and Performance Models (PNPM`01), September, 2001, Aachen, Germany, IEEE CS Press, pp. 81-90, 2001.
13. Arns,M.; Fischer,M.; Kemper,P.; Tepper,C.
    Supply Chain Modeling and its analytical evaluation
    In Proc. Business Processes: Concepts, Modelling, and Evaluation (BPCME), in OR43, September, 2001, Bath, UK.
14. Buchholz, P.; Kemper, P.
    Efficient Computation and Representation of Large Reachability Sets for Composed Automata
    In Proc. 5th Workshop on Discrete Event Systems (WODES 2000), 21-23 August, 2000, Ghent, Belgium.
15. Fischer, M.; Kemper,P .
    Modeling and Analysis of a Freight Terminal with Stochastic Petri Nets
    In Proc  9th IFAC Symposium on Control in Transportation Systems 2000, special session on formal methods in transportation, June 13 -15, 2000, Braunschweig, Germany.
16. Donatelli, S.; Kemper, P.
    Integrating Synchronization with Priority into a Kronecker Representation
    In B.R. Haverkort, H.C. Bohnenkamp, C.U. Smith (eds.), Computer Performance Evaluation Modelling Techniques and Tools, pages 203-215, LNCS 1786, Springer 2000. (abstract, pdf full text by Springer)
17. Kemper, P.
    A mapping of autonomous net condition event systems to GSPNs
    In P. Buchholz, M. Silva (eds.), Proc. 8th Int. Workshop Petri Nets and Performance Models (PNPM'99), pages 136-145, IEEE CS Press, 1999. (abstract, full text by IEEE)
18. Buchholz, P.; Fischer, M., Kemper, P.
    Distributed steady state analysis using Kronecker algebra
    In Proc. 3rd International Workshop on the Numerical Solution of Markov Chains (NSMC'99), Zaragoza, Spain, Sept. 1999.
19. Hanisch, H.M.; Kemper, P.; Lüder A.
    A modular and compositional approach to modeling and controller verification of manufacturing systems
    In Proc. 14th IFAC World Congress, Beijing, P.R. China, July 1999.
20. Buchholz, P.; Kemper, P.
    Modular state level analysis of distributed systems - techniques and tool support
    In Proc. 5th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), Amsterdam, Nederlands, March 1999, pages 420-434, LNCS 1579. Springer, 1999. (abstract, pdf full text by Springer)
21. Kemper, P.
    Transient analysis of superposed GSPNs
    In Proc. 7th Int. Workshop Petri Nets and Performance Models, pages 101-110. IEEE Computer Society Press, 1997. (abstract, full text by IEEE)
22. Bause, F.; Buchholz, P.; Kemper, P.
    Integrating software and hardware performance models using hierarchical Queueing Petri nets
    In Proc. 9. ITG/GI-Fachtagung Messung Modellierung und Bewertung von Rechen- und Kommunikationssystemen (MMB'97), pages 87-102. VDE Verlag Berlin und Offenbach, 1997. (abstract)
23. Kemper, P.
    Reachability analysis based on structured representations
    In Proc. 17th International Conference Application and Theory of Petri Nets, Osaka (JP), June 1996, Springer, LNCS 1091, pp. 269 - 288, 1996.
24. Kemper, P.
    Numerical analysis of superposed GSPNs
    In Proc. 6th Int. Workshop Petri Nets and Performance Models, pages 52-61. IEEE Computer Society Press, 1995. (abstract, full text by IEEE)
25. Buchholz, P.; Kemper, P.
    Numerical analysis of stochastic marked graph nets
    In Proc. 6th Int. Workshop Petri Nets and Performance Models, pages 32-41. IEEE Computer Society Press, 1995. (abstract, full text by IEEE)
26. Bause, F.; Kabutz, H.; Kemper, P.; Kritzinger, P.:
    SDL and Petri net performance analysis of Communicating systems
    In P. Dembinski, M. Sredniawa (eds.), Proc. 15th International Symposium Protocol Specification, Testing and Verification, Warsaw (Poland), June 1995, IFIP, Chapman & Hall, 1995. (abstract)
27. Bause, F.; Buchholz, P.; Kemper, P.
    QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets
    In Beilner, H.; Bause, F. (eds.): Quantitative Evaluation of Computing and Communication Systems, Springer, LNCS 977, pp. 224-238, 1995. (abstract)
28. Bause, F.; Kemper, P.
    QPN-Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets
    In G. Haring, G. Kotsis (eds.), Proc. 7th International Conference Modelling Techniques and Tools for Computer Performance Evaluation, Vienna (Austria), May 1994,  Springer, LNCS 794, pp. 321-334, 1994.
29. Bause, F. ; Buchholz, P.; Kemper, P.
    Hierarchically Combined Queueing Petri Nets
    In G. Cohen, J.P. Quadrat (eds.) Proc. 11th International Conference Analysis and Optimization of Systems, Discrete Event Systems, Sophia-Antipolis (France), June 1994, Springer LNCI 199, pp. 176-182, 1994. (abstract)
30. Kemper, P.
    Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net
    In M. Ajmone-Marsan (ed.) Proc. 14th International Conference Application and Theory of Petri Nets, Chicago, June 1993, Springer, LNCS 691, pp. 319 - 338. (abstract)
31. Kemper, P.; Bause, F.
    An Efficient Polynomial-Time Algorithm to decide Liveness and Boundedness of Free-Choice Nets
    In K.Jensen (ed.), Proc. 13th International Conference Application and Theory of Petri Nets, Sheffield (UK), June 1992, Springer, LNCS 616, pp. 263 - 278, 1992. (abstract)

1. Kemper, P.; Tepper, C.
   A Petri net approach to debug simulation models of logistic networks.
   In Proc. of the 5th Mathmod Conference, Vienna, Austria, February 8-10, 2006.
2. Bause, F.; Beilner, H.; Kemper, P.:
   Zur prozessorientierten Modellierung logistischer Netze
   2. Chemnitzer Netztagung "Vernetzt planen und produzieren", 20.+21. September 2001.
3. Bause, F.; Fischer, M.; Kemper, P., Völker, M.:
   Performance and Cost Analysis of Supply Chain Models
   First Seoul International Simulation Conference(SeoulSim 2001), Seoul (Korea), 8.-10. October 2001.
4. Kemper, P. and Tepper, C.:
   APNNed  goes Internet
   In Juhas, Lorenz (eds.), Proc. 8. Workshop Algorithmen und Werkzeuge für Petri Netze,  Technical Report, Katholische Universität Eichstätt, Lehrstuhl Angewandte Informatik,  (Germany), 2001.
5. Bause, F.; Beilner, H.; Kemper, P.:
   Modellierung und Analyse von Logistiknetzwerken mit Prozessketten
   Simulationstechnik, ASIM-Symposium in Hamburg, pp. 63-67, September 2000.
6. Fischer, M.; Kemper,P.; Möller, Ch.
   Logistik kundenorientiert gestalten: Markov-Ketten Analyse des Umschlag-Terminals eines Güterverkehrszentrums mit Petri-Netzen
   Deutsche Fördern und Heben (DFH), Vol. 4, 2000, pages 18-22
7. Arns, M.; Bause,F.; Kemper,P.; Schmitz,M.; Schweier,H.; Stüllenberg,F.; Völker,M.
   Gestaltung von Beschaffungsnetzwerken auf Basis einer prozesskettenorientierten Modellierung
   Industrie Management 3/2000, pages 33-36, Juni 2000.
8. Kemper, P. :
   Logistic Process Models go Petri Nets
   In Philipppi (ed.), Proc. 7. Workshop Algorithmen und Werkzeuge für Petri Netze,  Fachberichte Informatik, 7/2000, Universität Koblenz-Landau, (Germany), 2000.
9. Buchholz, P.; Kemper, P.; and the APNNed group:
   APNNed - a Net Editor and Debugger within the APNN Toolbox
   In Desel, Kindler, Kemper, Oberweis (eds), Proc. 5. Workshop Algorithmen und Werkzeuge für Petri Netze, Forschungsbericht des Fachbereichs Informatik der Universität Dortmund (Germany), 1998. (abstract)
10. Bause, F.; Buchholz, P.; Kemper, P.:
    A toolbox for functional and quantitative analysis of DEDS
    Quantitative Evaluation of Computing and Communication Systems, Lecture Notes in Computer Science, No 1469, Springer-Verlag, 1998, pp. 356-359 (extended abstract), full paper as Forschungsbericht Nr. 680 des Fachbereichs Informatik der Universität Dortmund (Germany), 1998. (abstract)
11. P. Kemper and R. Lübeck
    Model checking based on Kronecker algebra
    Forschungsbericht Nr. 669 des Fachbereichs Informatik der Universität Dortmund (Germany), 1998. (abstract)
12. P. Buchholz and P. Kemper
    Hierarchical reachability graph generation for Petri nets
    Forschungsbericht Nr. 660 des Fachbereichs Informatik der Universität Dortmund (Germany), 1997. (abstract)
13. P. Buchholz, G. Ciardo, S. Donatelli and P. Kemper
    Kronecker operations and sparse matrices with applications to the solution of Markov models
    ICASE Report No. 97-66, Dec. 1997.
14. Bause, F.; Kemper, P.; Kritzinger. P.
    Abstract Petri Net Notation
    Petri Net Newsletters 49, Oct. 1995, pp. 9-27. extended version of Forschungsbericht Nr. 563 des Fachbereichs Informatik der Universität Dortmund (Germany), 1994. (abstract)
15. Bause, F.; Kemper, P.; Kritzinger, P.:
    A model description standard for Petri net performance modelling tools
    In Forschungsbericht Nr. 581 des Fachbereichs Informatik der Universität Dortmund (Germany), 1995.
16. Bause, F.; Buchholz, P.; Kemper, P.:
    QPN-Tool - A Tool for Hierarchical Analysis of Queueing Petri Nets
    In Forschungsbericht Nr. 581 des Fachbereichs Informatik der Universität Dortmund (Germany), 1995.
17. Kemper, P.
    O(|P||T|)-algorithm to compute a cover of S-components in EFC-nets
    Forschungsbericht Nr. 543 des Fachbereichs Informatik der Universität Dortmund (Germany), 1994. (abstract)
18. Bause, F.; Beilner, H.; Kemper, P.
    QPN-Tool Encourages Queueing Petri Nets
    Short Papers and Tool Descriptions of the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Vienna (Austria), May 1994.
19. Kemper, P.
    Closing the gap between classical and tensor based iteration techniques
    In W.J. Stewart, editor, Computations with Markov Chains, Proc. 2nd int. Workshop Numerical Solutions of Markov Chains, pages 582-584, Kluwer Academic Publishers, 1995 (extended abstract), full paper as Forschungsbericht Nr. 558 des Fachbereichs Informatik der Universität Dortmund (Germany), 1994.
20. Bause, F.; Kemper, P.
    Queueing Petri Nets
    3. Fachtagung Entwurf komplexer Automatisierungssysteme - Methoden, Anwendungen und Tools auf Basis von Petri-Netzen, Braunschweig (Germany), Mai 1993 (in German), pp 219-236. (abstract)