| 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 |
