The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Kemper: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Kemper
    Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:319-338 [Conf]
  2. Peter Kemper
    Reachability Analysis Based on Structured Representations. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:269-288 [Conf]
  3. Peter Kemper, Falko Bause
    An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:263-278 [Conf]
  4. Peter Buchholz, Peter Kemper
    A Toolbox for the Analysis of Discrete Event Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:483-486 [Conf]
  5. Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker
    The ProC/B Toolset for the Modelling and Analysis of Process Chains. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2002, pp:51-70 [Conf]
  6. Falko Bause, Peter Buchholz, Peter Kemper
    A Toolbox for Functional and Quantitative Analysis of DEDS. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation (Tools), 1998, pp:356-359 [Conf]
  7. Falko Bause, Peter Kemper
    QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation, 1994, pp:321-334 [Conf]
  8. Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
    The Möbius State-Level Abstract Functional Interface. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2002, pp:31-50 [Conf]
  9. Susanna Donatelli, Peter Kemper
    Integrating Synchronization with Priority into a Kronecker Representation. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2000, pp:203-215 [Conf]
  10. Salem Derisavi, Peter Kemper, William H. Sanders
    Lumping Matrix Diagram Representations of Markov Models. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:742-751 [Conf]
  11. Peter Kemper
    Parallel Randomization for Large Structured Markov Chains. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:657-668 [Conf]
  12. Peter Kemper, Dennis Müller, Axel Thümmler
    Combining Response Surface Methodology with Numerical Models for Optimization of Class-Based Queueing Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:550-559 [Conf]
  13. Falko Bause, Peter Buchholz, Peter Kemper
    QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. [Citation Graph (0, 0)][DBLP]
    MMB, 1995, pp:224-238 [Conf]
  14. Falko Bause, Peter Buchholz, Peter Kemper
    Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. [Citation Graph (0, 0)][DBLP]
    MMB, 1997, pp:87-101 [Conf]
  15. Falko Bause, Peter Buchholz, Peter Kemper
    HiQPN-Tool. [Citation Graph (0, 0)][DBLP]
    MMB (Kurzbeiträge), 1997, pp:111-117 [Conf]
  16. Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper
    Hybrid Performability Analysis of Logistic Networks. [Citation Graph (0, 0)][DBLP]
    PADS, 2004, pp:131-138 [Conf]
  17. Peter Buchholz, Peter Kemper
    Quantifying the Dynamic Behavior of Process Algebras. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:184-199 [Conf]
  18. Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger
    SDL and Petri net performance analysis of communicating systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:269-282 [Conf]
  19. Markus Fischer, Peter Kemper
    Distributed Numerical Markov Chain Analysis. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2001, pp:272-279 [Conf]
  20. Peter Buchholz, Peter Kemper
    Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:233-242 [Conf]
  21. Peter Kemper, Carsten Tepper
    Traviando - Debugging Simulation Traces with Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:135-136 [Conf]
  22. Peter Kemper, Carsten Tepper
    Visualizing the Dynamic Behavior of ProC/B Models. [Citation Graph (0, 0)][DBLP]
    SimVis, 2005, pp:63-74 [Conf]
  23. Peter Buchholz, Peter Kemper
    Modular State Level Analysis of Distributed Systems Techniques and Tool Support. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:420-434 [Conf]
  24. Peter Buchholz, Peter Kemper
    Kronecker Based Matrix Representations for Large Markov Models. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:256-295 [Conf]
  25. Peter Kemper, Carsten Tepper
    Trace based analysis of process interaction models. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2005, pp:427-436 [Conf]
  26. Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler
    OPEDo: a tool framework for modeling and optimization of stochastic models. [Citation Graph (0, 0)][DBLP]
    VALUETOOLS, 2006, pp:61- [Conf]
  27. Peter Buchholz, Peter Kemper
    Model Checking for a Class of Weighted Automata [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  28. Peter Buchholz, Peter Kemper
    Hierarchical Reachability Graph Generation for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:3, pp:281-315 [Journal]
  29. Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper
    Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. [Citation Graph (0, 0)][DBLP]
    INFORMS Journal on Computing, 2000, v:12, n:3, pp:203-222 [Journal]
  30. Peter Buchholz, Peter Kemper
    Weak Bisimulation for (max/+) Automata and Related Models. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 2003, v:8, n:2, pp:187-218 [Journal]
  31. Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper
    Model-checking large structured Markov chains. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:69-97 [Journal]
  32. Susanna Donatelli, Peter Kemper
    Integrating synchronization with priority into a Kronecker representation. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2001, v:44, n:1-4, pp:73-96 [Journal]
  33. Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
    The Möbius state-level abstract functional interface. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2003, v:54, n:2, pp:105-128 [Journal]
  34. Peter Kemper, William H. Sanders
    Modelling techniques and tools for computer performance evaluation. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2006, v:63, n:6, pp:521-523 [Journal]
  35. Peter Buchholz, Peter Kemper
    On generating a hierarchy for GSPN analysis. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 1998, v:26, n:2, pp:5-14 [Journal]
  36. Peter Kemper, Dennis Müller, Axel Thümmler
    Combining Response Surface Methodology with Numerical Methods for Optimization of Markovian Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2006, v:3, n:3, pp:259-269 [Journal]
  37. Peter Kemper
    Numerical Analysis of Superposed GSPNs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:9, pp:615-628 [Journal]
  38. Peter Kemper
    Transient Analysis of Superposed GSPNs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:2, pp:182-193 [Journal]

  39. Reflection symmetry detection to reduce the state space of Markovian models. [Citation Graph (, )][DBLP]


  40. 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. [Citation Graph (, )][DBLP]


  41. A Petri Net Approach to Verify and Debug Simulation Models. [Citation Graph (, )][DBLP]


  42. Report generation for simulation traces with Traviando. [Citation Graph (, )][DBLP]


  43. OPEDo: A tool for optimization and performance evaluation of stochastic models. [Citation Graph (, )][DBLP]


  44. Markov Chain Models of Coupled Intracellular Calcium Channels: Kronecker Structured Representations and Benchmark Stationary Distribution Calculations. [Citation Graph (, )][DBLP]


  45. Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. [Citation Graph (, )][DBLP]


  46. Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. [Citation Graph (, )][DBLP]


  47. Möbius Trace Analysis with Traviando. [Citation Graph (, )][DBLP]


  48. On the Detection of Symmetries in Compositional Markov Models. [Citation Graph (, )][DBLP]


  49. Recent Extensions to Traviando. [Citation Graph (, )][DBLP]


  50. A trace-based visual inspection technique to detect errors in simulation models. [Citation Graph (, )][DBLP]


  51. Phrase based browsing for simulation traces of network protocols. [Citation Graph (, )][DBLP]


  52. Recovering Model Invariants from Simulation Traces with Petri Net Analysis Techniques. [Citation Graph (, )][DBLP]


Search in 0.033secs, Finished in 0.035secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002