Peter Buchholz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

77EEDaniel Lorenz, Branislav Borovac, Peter Buchholz, Henrik Eichenhardt, T. Harenberg, P. Mättig, M. Mechtel, Ralph Müller-Pfefferkorn, Reinhard Neumann, K. Reeves, Christian Uebing, Wolfgang Walkowiak, Thomas William, Roland Wismüller: Job monitoring and steering in D-Grid's High Energy Physics Community Grid. Future Generation Comp. Syst. 25(3): 308-314 (2009)
76 Falko Bause, Peter Buchholz: Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31 - April 2, 2008, Dortmund, Germany VDE Verlag 2008
75EEDaniel Lorenz, Peter Buchholz, Christian Uebing, Wolfgang Walkowiak, Roland Wismüller: RMOST: A Shared Memory Model for Online Steering. ICCS (3) 2008: 223-232
74EEDaniel Lorenz, Peter Buchholz, Christian Uebing, Wolfgang Walkowiak, Roland Wismüller: Secure Communication for Computational Steering of Grid Jobs. PDP 2008: 209-217
73EEPeter Buchholz: Product Form Approximations for Communicating Markov Processes. QEST 2008: 135-144
72EEFalko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: A Framework for Simulation Models of Service-Oriented Architectures. SIPEW 2008: 208-227
71EEFalko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: Simulating process chain models with OMNeT++. SimuTools 2008: 19
70EEPeter Buchholz: Bisimulation relations for weighted automata. Theor. Comput. Sci. 393(1-3): 109-123 (2008)
69EEPeter Buchholz: Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains. Web Information Retrieval and Linear Algebra Algorithms 2007
68EEVinh Vi Lam, William H. Sanders, Peter Buchholz: A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs. DSN 2006: 485-494
67 Peter Buchholz, Andriy Panchenko: A queueing-network approach for modeling control nets in building automation. MMB 2006: 317-334
66 Peter Buchholz, Peter Kemper, Dennis Müller, Mathias Stöber, Axel Thümmler: OPEDo: A tool for optimization and performance evaluation of stochastic models. MMB 2006: 457-460
65EEPeter Buchholz, Peter Kemper: Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. QEST 2006: 233-242
64EEDavid Daly, Peter Buchholz, William H. Sanders: Bound-Preserving Composition for Markov Reward Models. QEST 2006: 243-252
63EEPeter Buchholz: Bounding stationary results of Tandem networks with MAP input and PH service time distributions. SIGMETRICS/Performance 2006: 191-202
62EEPeter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler: OPEDo: a tool framework for modeling and optimization of stochastic models. VALUETOOLS 2006: 61
61EEAxel Thümmler, Peter Buchholz, Miklós Telek: A Novel Approach for Phase-Type Fitting with the EM Algorithm. IEEE Trans. Dependable Sec. Comput. 3(3): 245-258 (2006)
60EEJoern Ploennigs, Peter Buchholz, Mario Neugebauer, Klaus Kabitzsch: Automated modeling and analysis of CSMA-type access schemes for building automation networks. IEEE Trans. Industrial Informatics 2(2): 103-111 (2006)
59EEPeter Buchholz, Joost-Pieter Katoen, Marcel Verhoef: Guest editors' introduction: quantitative analysis of real-time embedded systems. STTT 8(6): 605-606 (2006)
58EEAxel Thümmler, Peter Buchholz, Miklós Telek: A Novel Approach for Fitting Probability Distributions to Real Trace Data with the EM Algorithm. DSN 2005: 712-721
57EEÁrpád Tari, Miklós Telek, Peter Buchholz: A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support. EPEW/WS-FM 2005: 79-93
56EEGá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. QEST 2005: 124-133
55EEVinh Vi Lam, Peter Buchholz, William H. Sanders: A component-level path-based simulation approach for efficient analysis of large Markov models. Winter Simulation Conference 2005: 584-590
54EEPeter Buchholz, Axel Thümmler: Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization. Winter Simulation Conference 2005: 842-852
53EEPeter Buchholz: An improved method for bounding stationary measures of finite Markov processes. Perform. Eval. 62(1-4): 349-365 (2005)
52 Peter Buchholz, Ralf Lehnert, Michal Pióro: MMB & PGTS 2004, 12th GI/ITG Conference on Measuring and Evaluation of Computer and Communication Systems (MMB) together with 3rd Polish-German Teletraffic Symposium (PGTS), September 12-15, 2004, Dresden, Germany VDE Verlag 2004
51EEPeter Buchholz, Andriy Panchenko: A Two-Step EM Algorithm for MAP Fitting. ISCIS 2004: 217-227
50 Peter Buchholz, Falko Bause, Carsten Tepper: The ProC/B-Approach from informal descriptions to formal models. ISoLA (Preliminary proceedings) 2004: 328-334
49EEPeter Buchholz, Carsten Tepper: Functional Analysis of Process-Oriented Systems. OR 2004: 127-135
48EEFalko Bause, Peter Buchholz, Markus Fischer, Peter Kemper: Hybrid Performability Analysis of Logistic Networks. PADS 2004: 131-138
47EEPeter Buchholz, Andriy Panchenko: An EM Algorithm for Fitting of Real Traffic Traces to PH-Distribution. PARELEC 2004: 283-288
46EEPeter Buchholz, William H. Sanders: Approximate Computation of Transient Results for Large Markov Chains. QEST 2004: 126-135
45EEVinh Vi Lam, Peter Buchholz, William H. Sanders: A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. QEST 2004: 136-145
44EEPeter Buchholz, Peter Kemper: Kronecker Based Matrix Representations for Large Markov Models. Validation of Stochastic Systems 2004: 256-295
43EEPeter Buchholz, Tugrul Dayar: Comparison of Multilevel Methods for Kronecker-based Markovian Representations. Computing 73(4): 349-371 (2004)
42EEPeter Buchholz: Adaptive decomposition and approximation for the analysis of stochastic Petri nets. Perform. Eval. 56(1-4): 23-52 (2004)
41EEPeter Buchholz: An EM-Algorithm for MAP Fitting from Real Traffic Data. Computer Performance Evaluation / TOOLS 2003: 218-236
40EEPeter Buchholz, Peter Kemper: Model Checking for a Class of Weighted Automata CoRR cs.LO/0304021: (2003)
39EEPeter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper: Model-checking large structured Markov chains. J. Log. Algebr. Program. 56(1-2): 69-97 (2003)
38 Peter Buchholz, Peter Kemper: Weak Bisimulation for (max/+) Automata and Related Models. Journal of Automata, Languages and Combinatorics 8(2): 187-218 (2003)
37EEPeter Buchholz: An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets. DSN 2002: 647-656
36 Andriy Panchenko, Peter Buchholz: Numerical Analysis and Optimisation of Class Based Queueing. ESM 2002: 543-547
35EEPeter Buchholz, Peter Kemper: Efficient Computation and Representation of Large Reachability Sets for Composed Automata. Discrete Event Dynamic Systems 12(3): 265-286 (2002)
34 Peter Buchholz, Peter Kemper: Hierarchical Reachability Graph Generation for Petri Nets. Formal Methods in System Design 21(3): 281-315 (2002)
33 Peter Buchholz: An iterative bounding method for stochastic automata networks. Perform. Eval. 49(1/4): 211-226 (2002)
32 Peter Buchholz, Sabine Kühn, Frank Breiter: A Numerical Analysis of a Communication System with Advanced Reservations. MMB 2001: 119-134
31EEPeter Buchholz, Peter Kemper: Quantifying the Dynamic Behavior of Process Algebras. PAPM-PROBMIV 2001: 184-199
30 Peter Buchholz: Hybrid analysis of SGSPNs with time-dependent transition rates. Perform. Eval. 44(1-4): 187-209 (2001)
29EEPeter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper: Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS Journal on Computing 12(3): 203-222 (2000)
28 Peter Buchholz: A hybrid analysis approach for finite-capacity queues with general inputs and phase type service. Queueing Syst. 35(1-4): 167-183 (2000)
27EEPeter Buchholz, Peter Kemper: A Toolbox for the Analysis of Discrete Event Dynamic Systems. CAV 1999: 483-486
26EEPeter Buchholz, Peter Kemper: Modular State Level Analysis of Distributed Systems Techniques and Tool Support. TACAS 1999: 420-434
25EEPeter Buchholz: Hierarchical Structuring of Superposed GSPNs. IEEE Trans. Software Eng. 25(2): 166-181 (1999)
24EEPeter Buchholz: Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata. Theor. Comput. Sci. 215(1-2): 263-287 (1999)
23EEFalko Bause, Peter Buchholz, Peter Kemper: A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) 1998: 356-359
22EEPeter Buchholz: Iterative Decomposition and Aggregation of Labeled GSPNs. ICATPN 1998: 226-245
21EEPeter Buchholz: A New Approach Combining Simulation and Randomization for the Analysis of Large Continuous Time Markov Chains. ACM Trans. Model. Comput. Simul. 8(2): 194-222 (1998)
20 Falko Bause, Peter Buchholz: Queueing Petri Nets with Product Form Solution. Perform. Eval. 32(4): 265-299 (1998)
19EEPeter Buchholz, Peter Kemper: On generating a hierarchy for GSPN analysis. SIGMETRICS Performance Evaluation Review 26(2): 5-14 (1998)
18EEPeter Buchholz: Efficient Analysis Techniques for Symmetric Multiprocessor Architecture. MASCOTS 1997: 125-130
17 Falko Bause, Peter Buchholz, Peter Kemper: Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB 1997: 87-101
16 Falko Bause, Peter Buchholz, Peter Kemper: HiQPN-Tool. MMB (Kurzbeiträge) 1997: 111-117
15EEPeter Buchholz: A Distributed Numerical/Simulative Algorithm for the Analysis of Large Continuous Time Markov Chains. Workshop on Parallel and Distributed Simulation 1997: 4-11
14 Peter Buchholz: A Notion of Equivalence for Stochastic Petri Nets. Application and Theory of Petri Nets 1995: 161-180
13 Peter Buchholz: On the Exact and Approximate Analysis of Hierarchical Discrete Time Queueing Networks. MMB 1995: 150-164
12 Falko Bause, Peter Buchholz, Peter Kemper: QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB 1995: 224-238
11 Peter Buchholz: Hierarchical Markovian Models: Symmetries and Reduction. Perform. Eval. 22(1): 93-110 (1995)
10 Peter Buchholz: Hierarchical High Level Petri Nets for Complex System Analysis. Application and Theory of Petri Nets 1994: 119-138
9EEPeter Buchholz: A class of hierarchical queueing networks and their analysis. Queueing Syst. 15(1-4): 59-80 (1994)
8 Peter Buchholz: Hierarchies in Colored GSPNs. Application and Theory of Petri Nets 1993: 106-125
7 Falko Bause, Peter Buchholz: Qualitative und Quantitative Analysis of Timed SDL Specifications. Kommunikation in Verteilten Systemen 1993: 486-500
6 Peter Buchholz: A Heuristic Approach for the Aggregation of Markovian Submodels. MMB 1993: 117-129
5 Peter Buchholz: A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis. J. Parallel Distrib. Comput. 15(3): 207-224 (1992)
4 Peter Buchholz: Die strukturierte Analyse Markovscher Modelle Springer 1991
3 Peter Buchholz: The Numerical Analysis of Hierarchical Queueing Network Models. MMB 1991: 30-45
2 Falko Bause, Peter Buchholz: Protocol Analysis Using a Timed Version of SDL. FORTE 1990: 239-254
1 Heinz Beilner, Peter Buchholz, Bruno Müller-Clostermann: Experimente mit Ersatzdarstellungen unter Berücksichtigung der Verweilzeitverteilung. MMB 1987: 343-359

Coauthor Index

1Falko Bause [2] [7] [12] [16] [17] [20] [23] [48] [50] [71] [72] [76]
2Heinz Beilner [1]
3Branislav Borovac [77]
4Frank Breiter [32]
5Gianfranco Ciardo [29]
6David Daly [64]
7Tugrul Dayar [43]
8Susanna Donatelli [29]
9Henrik Eichenhardt [77]
10Markus Fischer [48]
11T. Harenberg [77]
12Gábor Horváth [56]
13Klaus Kabitzsch [60]
14Joost-Pieter Katoen [39] [59]
15Peter Kemper [12] [16] [17] [19] [23] [26] [27] [29] [31] [34] [35] [38] [39] [40] [44] [48] [62] [65] [66]
16Jan Kriege [71] [72]
17Sabine Kühn [32]
18Vinh Vi Lam [45] [55] [68]
19Ralf Lehnert [52]
20Daniel Lorenz [74] [75] [77]
21P. Mättig [77]
22M. Mechtel [77]
23Dennis Müller [62] [66]
24Bruno Müller-Clostermann [1]
25Ralph Müller-Pfefferkorn [77]
26Mario Neugebauer [60]
27Reinhard Neumann [77]
28Andriy Panchenko [36] [47] [51] [67]
29Michal Pióro [52]
30Joern Ploennigs [60]
31K. Reeves [77]
32William H. Sanders [45] [46] [55] [64] [68]
33Mathias Stöber [66]
34Árpád Tari [57]
35Miklós Telek [56] [57] [58] [61]
36Carsten Tepper [39] [49] [50]
37Axel Thümmler [54] [58] [61] [62] [66]
38Christian Uebing [74] [75] [77]
39Sebastian Vastag [71] [72]
40Marcel Verhoef [59]
41Wolfgang Walkowiak [74] [75] [77]
42Thomas William [77]
43Roland Wismüller [74] [75] [77]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)