2009 |
77 | EE | Daniel 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) |
2008 |
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 |
75 | EE | Daniel Lorenz,
Peter Buchholz,
Christian Uebing,
Wolfgang Walkowiak,
Roland Wismüller:
RMOST: A Shared Memory Model for Online Steering.
ICCS (3) 2008: 223-232 |
74 | EE | Daniel Lorenz,
Peter Buchholz,
Christian Uebing,
Wolfgang Walkowiak,
Roland Wismüller:
Secure Communication for Computational Steering of Grid Jobs.
PDP 2008: 209-217 |
73 | EE | Peter Buchholz:
Product Form Approximations for Communicating Markov Processes.
QEST 2008: 135-144 |
72 | EE | Falko Bause,
Peter Buchholz,
Jan Kriege,
Sebastian Vastag:
A Framework for Simulation Models of Service-Oriented Architectures.
SIPEW 2008: 208-227 |
71 | EE | Falko Bause,
Peter Buchholz,
Jan Kriege,
Sebastian Vastag:
Simulating process chain models with OMNeT++.
SimuTools 2008: 19 |
70 | EE | Peter Buchholz:
Bisimulation relations for weighted automata.
Theor. Comput. Sci. 393(1-3): 109-123 (2008) |
2007 |
69 | EE | Peter Buchholz:
Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains.
Web Information Retrieval and Linear Algebra Algorithms 2007 |
2006 |
68 | EE | Vinh 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 |
65 | EE | Peter Buchholz,
Peter Kemper:
Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques.
QEST 2006: 233-242 |
64 | EE | David Daly,
Peter Buchholz,
William H. Sanders:
Bound-Preserving Composition for Markov Reward Models.
QEST 2006: 243-252 |
63 | EE | Peter Buchholz:
Bounding stationary results of Tandem networks with MAP input and PH service time distributions.
SIGMETRICS/Performance 2006: 191-202 |
62 | EE | Peter Buchholz,
Dennis Müller,
Peter Kemper,
Axel Thümmler:
OPEDo: a tool framework for modeling and optimization of stochastic models.
VALUETOOLS 2006: 61 |
61 | EE | Axel 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) |
60 | EE | Joern 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) |
59 | EE | Peter Buchholz,
Joost-Pieter Katoen,
Marcel Verhoef:
Guest editors' introduction: quantitative analysis of real-time embedded systems.
STTT 8(6): 605-606 (2006) |
2005 |
58 | EE | Axel 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 |
57 | EE | Á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 |
56 | EE | 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.
QEST 2005: 124-133 |
55 | EE | Vinh 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 |
54 | EE | Peter Buchholz,
Axel Thümmler:
Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization.
Winter Simulation Conference 2005: 842-852 |
53 | EE | Peter Buchholz:
An improved method for bounding stationary measures of finite Markov processes.
Perform. Eval. 62(1-4): 349-365 (2005) |
2004 |
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 |
51 | EE | Peter 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 |
49 | EE | Peter Buchholz,
Carsten Tepper:
Functional Analysis of Process-Oriented Systems.
OR 2004: 127-135 |
48 | EE | Falko Bause,
Peter Buchholz,
Markus Fischer,
Peter Kemper:
Hybrid Performability Analysis of Logistic Networks.
PADS 2004: 131-138 |
47 | EE | Peter Buchholz,
Andriy Panchenko:
An EM Algorithm for Fitting of Real Traffic Traces to PH-Distribution.
PARELEC 2004: 283-288 |
46 | EE | Peter Buchholz,
William H. Sanders:
Approximate Computation of Transient Results for Large Markov Chains.
QEST 2004: 126-135 |
45 | EE | Vinh Vi Lam,
Peter Buchholz,
William H. Sanders:
A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs.
QEST 2004: 136-145 |
44 | EE | Peter Buchholz,
Peter Kemper:
Kronecker Based Matrix Representations for Large Markov Models.
Validation of Stochastic Systems 2004: 256-295 |
43 | EE | Peter Buchholz,
Tugrul Dayar:
Comparison of Multilevel Methods for Kronecker-based Markovian Representations.
Computing 73(4): 349-371 (2004) |
42 | EE | Peter Buchholz:
Adaptive decomposition and approximation for the analysis of stochastic Petri nets.
Perform. Eval. 56(1-4): 23-52 (2004) |
2003 |
41 | EE | Peter Buchholz:
An EM-Algorithm for MAP Fitting from Real Traffic Data.
Computer Performance Evaluation / TOOLS 2003: 218-236 |
40 | EE | Peter Buchholz,
Peter Kemper:
Model Checking for a Class of Weighted Automata
CoRR cs.LO/0304021: (2003) |
39 | EE | Peter 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) |
2002 |
37 | EE | Peter 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 |
35 | EE | Peter 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) |
2001 |
32 | | Peter Buchholz,
Sabine Kühn,
Frank Breiter:
A Numerical Analysis of a Communication System with Advanced Reservations.
MMB 2001: 119-134 |
31 | EE | Peter 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) |
2000 |
29 | EE | Peter 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) |
1999 |
27 | EE | Peter Buchholz,
Peter Kemper:
A Toolbox for the Analysis of Discrete Event Dynamic Systems.
CAV 1999: 483-486 |
26 | EE | Peter Buchholz,
Peter Kemper:
Modular State Level Analysis of Distributed Systems Techniques and Tool Support.
TACAS 1999: 420-434 |
25 | EE | Peter Buchholz:
Hierarchical Structuring of Superposed GSPNs.
IEEE Trans. Software Eng. 25(2): 166-181 (1999) |
24 | EE | Peter Buchholz:
Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata.
Theor. Comput. Sci. 215(1-2): 263-287 (1999) |
1998 |
23 | EE | Falko Bause,
Peter Buchholz,
Peter Kemper:
A Toolbox for Functional and Quantitative Analysis of DEDS.
Computer Performance Evaluation (Tools) 1998: 356-359 |
22 | EE | Peter Buchholz:
Iterative Decomposition and Aggregation of Labeled GSPNs.
ICATPN 1998: 226-245 |
21 | EE | Peter 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) |
19 | EE | Peter Buchholz,
Peter Kemper:
On generating a hierarchy for GSPN analysis.
SIGMETRICS Performance Evaluation Review 26(2): 5-14 (1998) |
1997 |
18 | EE | Peter 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 |
15 | EE | Peter Buchholz:
A Distributed Numerical/Simulative Algorithm for the Analysis of Large Continuous Time Markov Chains.
Workshop on Parallel and Distributed Simulation 1997: 4-11 |
1995 |
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) |
1994 |
10 | | Peter Buchholz:
Hierarchical High Level Petri Nets for Complex System Analysis.
Application and Theory of Petri Nets 1994: 119-138 |
9 | EE | Peter Buchholz:
A class of hierarchical queueing networks and their analysis.
Queueing Syst. 15(1-4): 59-80 (1994) |
1993 |
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 |
1992 |
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) |
1991 |
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 |
1990 |
2 | | Falko Bause,
Peter Buchholz:
Protocol Analysis Using a Timed Version of SDL.
FORTE 1990: 239-254 |
1987 |
1 | | Heinz Beilner,
Peter Buchholz,
Bruno Müller-Clostermann:
Experimente mit Ersatzdarstellungen unter Berücksichtigung der Verweilzeitverteilung.
MMB 1987: 343-359 |