The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Peter Buchholz
    Hierarchies in Colored GSPNs. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:106-125 [Conf]
  2. Peter Buchholz
    Hierarchical High Level Petri Nets for Complex System Analysis. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:119-138 [Conf]
  3. Peter Buchholz
    A Notion of Equivalence for Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:161-180 [Conf]
  4. Peter Buchholz
    Iterative Decomposition and Aggregation of Labeled GSPNs. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:226-245 [Conf]
  5. 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]
  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. Peter Buchholz
    An EM-Algorithm for MAP Fitting from Real Traffic Data. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2003, pp:218-236 [Conf]
  8. Peter Buchholz
    An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:647-656 [Conf]
  9. Vinh Vi Lam, William H. Sanders, Peter Buchholz
    A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:485-494 [Conf]
  10. Axel Thümmler, Peter Buchholz, Miklós Telek
    A Novel Approach for Fitting Probability Distributions to Real Trace Data with the EM Algorithm. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:712-721 [Conf]
  11. Árpád Tari, Miklós Telek, Peter Buchholz
    A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support. [Citation Graph (0, 0)][DBLP]
    EPEW/WS-FM, 2005, pp:79-93 [Conf]
  12. Andriy Panchenko, Peter Buchholz
    Numerical Analysis and Optimisation of Class Based Queueing. [Citation Graph (0, 0)][DBLP]
    ESM, 2002, pp:543-547 [Conf]
  13. Falko Bause, Peter Buchholz
    Protocol Analysis Using a Timed Version of SDL. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:239-254 [Conf]
  14. Peter Buchholz, Andriy Panchenko
    A Two-Step EM Algorithm for MAP Fitting. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2004, pp:217-227 [Conf]
  15. Falko Bause, Peter Buchholz
    Qualitative und Quantitative Analysis of Timed SDL Specifications. [Citation Graph (0, 0)][DBLP]
    Kommunikation in Verteilten Systemen, 1993, pp:486-500 [Conf]
  16. Peter Buchholz
    Efficient Analysis Techniques for Symmetric Multiprocessor Architecture. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1997, pp:125-130 [Conf]
  17. Peter Buchholz
    The Numerical Analysis of Hierarchical Queueing Network Models. [Citation Graph (0, 0)][DBLP]
    MMB, 1991, pp:30-45 [Conf]
  18. 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]
  19. 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]
  20. Falko Bause, Peter Buchholz, Peter Kemper
    HiQPN-Tool. [Citation Graph (0, 0)][DBLP]
    MMB (Kurzbeiträge), 1997, pp:111-117 [Conf]
  21. Heinz Beilner, Peter Buchholz, Bruno Müller-Clostermann
    Experimente mit Ersatzdarstellungen unter Berücksichtigung der Verweilzeitverteilung. [Citation Graph (0, 0)][DBLP]
    MMB, 1987, pp:343-359 [Conf]
  22. Peter Buchholz
    A Heuristic Approach for the Aggregation of Markovian Submodels. [Citation Graph (0, 0)][DBLP]
    MMB, 1993, pp:117-129 [Conf]
  23. Peter Buchholz
    On the Exact and Approximate Analysis of Hierarchical Discrete Time Queueing Networks. [Citation Graph (0, 0)][DBLP]
    MMB, 1995, pp:150-164 [Conf]
  24. Peter Buchholz, Sabine Kühn, Frank Breiter
    A Numerical Analysis of a Communication System with Advanced Reservations. [Citation Graph (0, 0)][DBLP]
    MMB, 2001, pp:119-134 [Conf]
  25. 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]
  26. Peter Buchholz
    A Distributed Numerical/Simulative Algorithm for the Analysis of Large Continuous Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel and Distributed Simulation, 1997, pp:4-11 [Conf]
  27. Peter Buchholz, Peter Kemper
    Quantifying the Dynamic Behavior of Process Algebras. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:184-199 [Conf]
  28. Peter Buchholz, Andriy Panchenko
    An EM Algorithm for Fitting of Real Traffic Traces to PH-Distribution. [Citation Graph (0, 0)][DBLP]
    PARELEC, 2004, pp:283-288 [Conf]
  29. Vinh Vi Lam, Peter Buchholz, William H. Sanders
    A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:136-145 [Conf]
  30. Gábor Horváth, Miklós Telek, Peter Buchholz
    A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:124-133 [Conf]
  31. 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]
  32. Peter Buchholz, William H. Sanders
    Approximate Computation of Transient Results for Large Markov Chains. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:126-135 [Conf]
  33. David Daly, Peter Buchholz, William H. Sanders
    Bound-Preserving Composition for Markov Reward Models. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:243-252 [Conf]
  34. Peter Buchholz
    Bounding stationary results of Tandem networks with MAP input and PH service time distributions. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS/Performance, 2006, pp:191-202 [Conf]
  35. 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]
  36. 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]
  37. Peter Buchholz, Axel Thümmler
    Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2005, pp:842-852 [Conf]
  38. Vinh Vi Lam, Peter Buchholz, William H. Sanders
    A component-level path-based simulation approach for efficient analysis of large Markov models. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2005, pp:584-590 [Conf]
  39. 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]
  40. Peter Buchholz, Tugrul Dayar
    Comparison of Multilevel Methods for Kronecker-based Markovian Representations. [Citation Graph (0, 0)][DBLP]
    Computing, 2004, v:73, n:4, pp:349-371 [Journal]
  41. Peter Buchholz, Peter Kemper
    Model Checking for a Class of Weighted Automata [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. Peter Buchholz
    A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1992, v:15, n:3, pp:207-224 [Journal]
  47. Falko Bause, Peter Buchholz
    Queueing Petri Nets with Product Form Solution. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1998, v:32, n:4, pp:265-299 [Journal]
  48. Peter Buchholz
    Hybrid analysis of SGSPNs with time-dependent transition rates. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2001, v:44, n:1-4, pp:187-209 [Journal]
  49. Peter Buchholz
    An iterative bounding method for stochastic automata networks. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2002, v:49, n:1/4, pp:211-226 [Journal]
  50. Peter Buchholz
    Adaptive decomposition and approximation for the analysis of stochastic Petri nets. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2004, v:56, n:1-4, pp:23-52 [Journal]
  51. Peter Buchholz
    An improved method for bounding stationary measures of finite Markov processes. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2005, v:62, n:1-4, pp:349-365 [Journal]
  52. Peter Buchholz
    Hierarchical Markovian Models: Symmetries and Reduction. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1995, v:22, n:1, pp:93-110 [Journal]
  53. Peter Buchholz
    A hybrid analysis approach for finite-capacity queues with general inputs and phase type service. [Citation Graph (0, 0)][DBLP]
    Queueing Syst., 2000, v:35, n:1-4, pp:167-183 [Journal]
  54. 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]
  55. Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef
    Guest editors' introduction: quantitative analysis of real-time embedded systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:605-606 [Journal]
  56. Peter Buchholz
    Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:215, n:1-2, pp:263-287 [Journal]
  57. Axel Thümmler, Peter Buchholz, Miklós Telek
    A Novel Approach for Phase-Type Fitting with the EM Algorithm. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2006, v:3, n:3, pp:245-258 [Journal]
  58. Peter Buchholz
    A New Approach Combining Simulation and Randomization for the Analysis of Large Continuous Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Model. Comput. Simul., 1998, v:8, n:2, pp:194-222 [Journal]
  59. Peter Buchholz
    Hierarchical Structuring of Superposed GSPNs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:2, pp:166-181 [Journal]
  60. Peter Buchholz
    Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains. [Citation Graph (0, 0)][DBLP]
    Web Information Retrieval and Linear Algebra Algorithms, 2007, pp:- [Conf]

  61. RMOST: A Shared Memory Model for Online Steering. [Citation Graph (, )][DBLP]


  62. The ProC/B-Approach from informal descriptions to formal models. [Citation Graph (, )][DBLP]


  63. A queueing-network approach for modeling control nets in building automation. [Citation Graph (, )][DBLP]


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


  65. An Empirical Comparison of MAP Fitting Algorithms. [Citation Graph (, )][DBLP]


  66. Secure Communication for Computational Steering of Grid Jobs. [Citation Graph (, )][DBLP]


  67. Product Form Approximations for Communicating Markov Processes. [Citation Graph (, )][DBLP]


  68. A Heuristic Approach for Fitting MAPs to Moments and Joint Moments. [Citation Graph (, )][DBLP]


  69. Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. [Citation Graph (, )][DBLP]


  70. A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. [Citation Graph (, )][DBLP]


  71. Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study. [Citation Graph (, )][DBLP]


  72. A Framework for Simulation Models of Service-Oriented Architectures. [Citation Graph (, )][DBLP]


  73. Functional Analysis of Process-Oriented Systems. [Citation Graph (, )][DBLP]


  74. Simulating process chain models with OMNeT++. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.009secs
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