Peter Buchholz

	2011
101		Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang: Model Checking Algorithms for CTMDPs. CAV 2011: 225-242
100		Peter Buchholz, Miklós Telek: Composition and Equivalence of Markovian and Non-Markovian Models. QEST 2011: 213-222
99		Jan Kriege, Peter Buchholz: Simulating stochastic processes with OMNeT++. SimuTools 2011: 367-374
98		Peter Buchholz, Ingo Schulz: Numerical analysis of continuous time Markov decision processes over finite horizons. Computers & OR 38(3): 651-659 (2011)
97		Jan Kriege, Peter Buchholz: Correlated phase-type distributed random numbers as input models for simulations. Perform. Eval. 68(11): 1247-1260 (2011)
	2010
96		Jan Kriege, Peter Buchholz: An Empirical Comparison of MAP Fitting Algorithms. MMB/DFT 2010: 259-273
95		Levente Bodrog, Peter Buchholz, Jan Kriege, Miklós Telek: Canonical Form Based MAP(2) Fitting. QEST 2010: 107-116
94		Falko Bause, Peter Buchholz, Jan Kriege: ProFiDo - The Processes Fitting Toolkit Dortmund. QEST 2010: 87-96
93		Peter Buchholz, Peter Kemper: Model Checking for a Class of Weighted Automata. Discrete Event Dynamic Systems 20(1): 103-137 (2010)
92		Daniel Lorenz, Peter Buchholz, Christian Uebing, Wolfgang Walkowiak, Roland Wismüller: Steering of sequential jobs with a distributed shared memory based model for online steering. Future Generation Comp. Syst. 26(1): 155-161 (2010)
91		Markus Arns, Peter Buchholz, Andriy Panchenko: On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains. INFORMS Journal on Computing 22(3): 416-432 (2010)
90		Peter Buchholz, Peter Kemper, Jan Kriege: Multi-class Markovian arrival processes and their parameter fitting. Perform. Eval. 67(11): 1092-1106 (2010)
89		Peter Buchholz, Miklós Telek: Stochastic Petri nets with matrix exponentially distributed firing times. Perform. Eval. 67(12): 1373-1385 (2010)
88		Peter Buchholz: Product form approximations for communicating Markov processes. Perform. Eval. 67(9): 797-815 (2010)
87		Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: A Simulation Environment for Hierarchical Process Chains Based on OMNeT++. Simulation 86(5-6): 291-309 (2010)
	2009
86		Peter Buchholz, Jan Kriege: A Heuristic Approach for Fitting MAPs to Moments and Joint Moments. QEST 2009: 53-62
85		Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. Winter Simulation Conference 2009: 1015-1026
84		Peter Buchholz, Dennis Müller: Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study. Winter Simulation Conference 2009: 516-527
83		Falko Bause, Peter Buchholz, Jan Kriege: A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. Winter Simulation Conference 2009: 634-645
82		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)
81		Markus Arns, Peter Buchholz, Dennis Müller: OPEDo: a tool for the optimization of performance and dependability models. SIGMETRICS Performance Evaluation Review 36(4): 22-27 (2009)
	2008
80		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
79		Daniel Lorenz, Peter Buchholz, Christian Uebing, Wolfgang Walkowiak, Roland Wismüller: RMOST: A Shared Memory Model for Online Steering. ICCS (3) 2008: 223-232
78		Daniel Lorenz, Peter Buchholz, Christian Uebing, Wolfgang Walkowiak, Roland Wismüller: Secure Communication for Computational Steering of Grid Jobs. PDP 2008: 209-217
77		Peter Buchholz: Product Form Approximations for Communicating Markov Processes. QEST 2008: 135-144
76		Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: A Framework for Simulation Models of Service-Oriented Architectures. SIPEW 2008: 208-227
75		Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: Simulating process chain models with OMNeT++. SimuTools 2008: 19
74		Peter Buchholz: Bisimulation relations for weighted automata. Theor. Comput. Sci. 393(1-3): 109-123 (2008)
	2007
73		Peter Buchholz: Iteration at Different Levels: Multi-Level Methods fro Structured Markov Chains. Web Information Retrieval and Linear Algebra Algorithms 2007
72		Peter Buchholz, Tugrul Dayar: On the Convergence of a Class of Multilevel Methods for Large Sparse Markov Chains. SIAM J. Matrix Analysis Applications 29(3): 1025-1049 (2007)
	2006
71		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
70		Peter Buchholz, Andriy Panchenko: A queueing-network approach for modeling control nets in building automation. MMB 2006: 317-334
69		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
68		Peter Buchholz, Peter Kemper: Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. QEST 2006: 233-242
67		David Daly, Peter Buchholz, William H. Sanders: Bound-Preserving Composition for Markov Reward Models. QEST 2006: 243-252
66		Peter Buchholz: Bounding stationary results of Tandem networks with MAP input and PH service time distributions. SIGMETRICS/Performance 2006: 191-202
65		Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler: OPEDo: a tool framework for modeling and optimization of stochastic models. VALUETOOLS 2006: 61
64		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)
63		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)
62		Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef: Guest editors' introduction: quantitative analysis of real-time embedded systems. STTT 8(6): 605-606 (2006)
	2005
61		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
60		Á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
59		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
58		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
57		Peter Buchholz, Axel Thümmler: Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization. Winter Simulation Conference 2005: 842-852
56		Peter Buchholz: An improved method for bounding stationary measures of finite Markov processes. Perform. Eval. 62(1-4): 349-365 (2005)
55		Peter Buchholz, Tugrul Dayar: Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations. SIAM J. Scientific Computing 26(4): 1289-1313 (2005)
	2004
54		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
53		Peter Buchholz, Andriy Panchenko: A Two-Step EM Algorithm for MAP Fitting. ISCIS 2004: 217-227
52		Peter Buchholz, Falko Bause, Carsten Tepper: The ProC/B-Approach from informal descriptions to formal models. ISoLA (Preliminary proceedings) 2004: 328-334
51		Peter Buchholz, Carsten Tepper: Functional Analysis of Process-Oriented Systems. OR 2004: 127-135
50		Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper: Hybrid Performability Analysis of Logistic Networks. PADS 2004: 131-138
49		Peter Buchholz, Andriy Panchenko: An EM Algorithm for Fitting of Real Traffic Traces to PH-Distribution. PARELEC 2004: 283-288
48		Peter Buchholz, William H. Sanders: Approximate Computation of Transient Results for Large Markov Chains. QEST 2004: 126-135
47		Vinh Vi Lam, Peter Buchholz, William H. Sanders: A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. QEST 2004: 136-145
46		Peter Buchholz, Peter Kemper: Kronecker Based Matrix Representations for Large Markov Models. Validation of Stochastic Systems 2004: 256-295
45		Peter Buchholz, Tugrul Dayar: Comparison of Multilevel Methods for Kronecker-based Markovian Representations. Computing 73(4): 349-371 (2004)
44		Peter Buchholz: Adaptive decomposition and approximation for the analysis of stochastic Petri nets. Perform. Eval. 56(1-4): 23-52 (2004)
	2003
43		Peter Buchholz: An EM-Algorithm for MAP Fitting from Real Traffic Data. Computer Performance Evaluation / TOOLS 2003: 218-236
42		Peter Buchholz, Peter Kemper: Model Checking for a Class of Weighted Automata CoRR cs.LO/0304021: (2003)
41		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)
40		Peter Buchholz, Peter Kemper: Weak Bisimulation for (max/+) Automata and Related Models. Journal of Automata, Languages and Combinatorics 8(2): 187-218 (2003)
	2002
39		Peter Buchholz: An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets. DSN 2002: 647-656
38		Andriy Panchenko, Peter Buchholz: Numerical Analysis and Optimisation of Class Based Queueing. ESM 2002: 543-547
37		Peter Buchholz, Peter Kemper: Efficient Computation and Representation of Large Reachability Sets for Composed Automata. Discrete Event Dynamic Systems 12(3): 265-286 (2002)
36		Peter Buchholz: An adaptive importance sampling approach for the transient analysis of markovian queueing networks. European Transactions on Telecommunications 13(4): 317-329 (2002)
35		Peter Buchholz, Peter Kemper: Hierarchical Reachability Graph Generation for Petri Nets. Formal Methods in System Design 21(3): 281-315 (2002)
34		Peter Buchholz: An iterative bounding method for stochastic automata networks. Perform. Eval. 49(1/4): 211-226 (2002)
	2001
33		Peter Buchholz, Sabine Kühn, Frank Breiter: A Numerical Analysis of a Communication System with Advanced Reservations. MMB 2001: 119-134
32		Peter Buchholz, Peter Kemper: Quantifying the Dynamic Behavior of Process Algebras. PAPM-PROBMIV 2001: 184-199
31		Peter Buchholz: Hybrid analysis of SGSPNs with time-dependent transition rates. Perform. Eval. 44(1-4): 187-209 (2001)
	2000
30		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)
29		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
28		Peter Buchholz, Peter Kemper: A Toolbox for the Analysis of Discrete Event Dynamic Systems. CAV 1999: 483-486
27		Peter Buchholz, Peter Kemper: Modular State Level Analysis of Distributed Systems Techniques and Tool Support. TACAS 1999: 420-434
26		Peter Buchholz: An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models. European Journal of Operational Research 116(3): 545-564 (1999)
25		Peter Buchholz: Hierarchical Structuring of Superposed GSPNs. IEEE Trans. Software Eng. 25(2): 166-181 (1999)
24		Peter Buchholz: Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata. Theor. Comput. Sci. 215(1-2): 263-287 (1999)
	1998
23		Falko Bause, Peter Buchholz, Peter Kemper: A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) 1998: 356-359
22		Peter Buchholz: Iterative Decomposition and Aggregation of Labeled GSPNs. ICATPN 1998: 226-245
21		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		Peter Buchholz, Peter Kemper: On generating a hierarchy for GSPN analysis. SIGMETRICS Performance Evaluation Review 26(2): 5-14 (1998)
	1997
18		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		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		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

Coauthor Index

1	Markus Arns	[81] [91]
2	Falko Bause	[2] [7] [12] [16] [17] [20] [23] [50] [52] [75] [76] [80] [83] [85] [87] [94]
3	Heinz Beilner	[1]
4	Levente Bodrog	[95]
5	Branislav Borovac	[82]
6	Frank Breiter	[33]
7	Gianfranco Ciardo	[30]
8	David Daly	[67]
9	Tugrul Dayar	[45] [55] [72]
10	Susanna Donatelli	[30]
11	Henrik Eichenhardt	[82]
12	Markus Fischer	[50]
13	Ernst Moritz Hahn	[101]
14	T. Harenberg	[82]
15	Holger Hermanns	[101]
16	Gábor Horváth	[59]
17	Klaus Kabitzsch	[63]
18	Joost-Pieter Katoen	[41] [62]
19	Peter Kemper	[12] [16] [17] [19] [23] [27] [28] [30] [32] [35] [37] [40] [41] [42] [46] [50] [65] [68] [69] [90] [93]
20	Jan Kriege	[75] [76] [83] [85] [86] [87] [90] [94] [95] [96] [97] [99]
21	Sabine Kühn	[33]
22	Vinh Vi Lam	[47] [58] [71]
23	Ralf Lehnert	[54]
24	Daniel Lorenz	[78] [79] [82] [92]
25	P. Mättig	[82]
26	M. Mechtel	[82]
27	Dennis Müller	[65] [69] [81] [84]
28	Bruno Müller-Clostermann	[1]
29	Ralph Müller-Pfefferkorn	[82]
30	Mario Neugebauer	[63]
31	Reinhard Neumann	[82]
32	Andriy Panchenko	[38] [49] [53] [70] [91]
33	Michal Pióro	[54]
34	Joern Ploennigs (Jörn Plönnigs)	[63]
35	K. Reeves	[82]
36	William H. Sanders	[47] [48] [58] [67] [71]
37	Ingo Schulz	[98]
38	Mathias Stöber	[69]
39	Árpád Tari	[60]
40	Miklós Telek	[59] [60] [61] [64] [89] [95] [100]
41	Carsten Tepper	[41] [51] [52]
42	Axel Thümmler	[57] [61] [64] [65] [69]
43	Christian Uebing	[78] [79] [82] [92]
44	Sebastian Vastag	[75] [76] [85] [87]
45	Marcel Verhoef	[62]
46	Wolfgang Walkowiak	[78] [79] [82] [92]
47	Thomas William	[82]
48	Roland Wismüller	[78] [79] [82] [92]
49	Lijun Zhang	[101]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page