Falko Bause

	2010
34		Falko Bause, Philipp Gerloff, Jan Kriege: ProFiDo - A Toolkit for Fitting Input Models. MMB/DFT 2010: 311-314
33		Falko Bause, Peter Buchholz, Jan Kriege: ProFiDo - The Processes Fitting Toolkit Dortmund. QEST 2010: 87-96
32		Falko Bause, Gábor Horváth: Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes. QEST 2010: 97-106
31		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
30		Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. Winter Simulation Conference 2009: 1015-1026
29		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
	2008
28		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
27		Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: A Framework for Simulation Models of Service-Oriented Architectures. SIPEW 2008: 208-227
26		Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: Simulating process chain models with OMNeT++. SimuTools 2008: 19
	2007
25		Falko Bause, Jan Kriege: Detecting non-ergodic simulation models of logistics networks. VALUETOOLS 2007: 64
	2004
24		Peter Buchholz, Falko Bause, Carsten Tepper: The ProC/B-Approach from informal descriptions to formal models. ISoLA (Preliminary proceedings) 2004: 328-334
23		Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper: Hybrid Performability Analysis of Logistic Networks. PADS 2004: 131-138
	2003
22		Falko Bause, Mirko Eickhoff: Simulation output analysis: truncation point estimation using multiple replications in parallel. Winter Simulation Conference 2003: 414-421
	2002
21		Falko Bause, Pieter S. Kritzinger: Stochastic Petri nets - an introduction to the theory (2. ed.). Vieweg 2002: 1-218
20		Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker: The ProC/B Toolset for the Modelling and Analysis of Process Chains. Computer Performance Evaluation / TOOLS 2002: 51-70
	2001
19		Falko Bause, Michael Kaczmarek: Modellierung und Analyse von Supply Chains. Wirtschaftsinformatik 43(6): 569-578 (2001)
	1998
18		Falko Bause, Peter Buchholz, Peter Kemper: A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) 1998: 356-359
17		Falko Bause, Peter Buchholz: Queueing Petri Nets with Product Form Solution. Perform. Eval. 32(4): 265-299 (1998)
16		Falko Bause, Pieter S. Kritzinger: Stochastic Perti Nets: An Introduction to the Theory. SIGMETRICS Performance Evaluation Review 26(2): 2-3 (1998)
	1997
15		Falko Bause: Analysis of Petri Nets with a Dynamic Priority Method. ICATPN 1997: 215-234
14		Falko Bause, Peter Buchholz, Peter Kemper: Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB 1997: 87-101
13		Falko Bause, Peter Buchholz, Peter Kemper: HiQPN-Tool. MMB (Kurzbeiträge) 1997: 111-117
	1996
12		Falko Bause, Pieter S. Kritzinger: Stochastic Petri nets - an introduction to the theory. Vieweg 1996: 1-250
11		Falko Bause: On the Analysis of Petri Nets with Static Priorities. Acta Inf. 33(7): 669-685 (1996)
	1995
10		Heinz Beilner, Falko Bause: Quantitative Evaluation of Computing and Communication Systems, 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modeling and Evaluating Computing and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995, Proceedings Springer 1995
9		Falko Bause, Peter Buchholz, Peter Kemper: QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB 1995: 224-238
8		Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger: SDL and Petri net performance analysis of communicating systems. PSTV 1995: 269-282
	1994
7		Falko Bause, Peter Kemper: QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. Computer Performance Evaluation 1994: 321-334
	1993
6		Falko Bause, Wolfgang Tölle: Programmieren mit C++ Version 3 - eine Anleitung für Studium und Praxis. Vieweg 1993: I-IX, 1-232
5		Falko Bause, Peter Buchholz: Qualitative und Quantitative Analysis of Timed SDL Specifications. Kommunikation in Verteilten Systemen 1993: 486-500
	1992
4		Falko Bause: Funktionale Analyse zeitbehafteter Petri-Netze. Deutscher Universitätsverlag 1992: I-VIII, 1-182
3		Peter Kemper, Falko Bause: An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. Application and Theory of Petri Nets 1992: 263-278
	1990
2		Falko Bause, Peter Buchholz: Protocol Analysis Using a Timed Version of SDL. FORTE 1990: 239-254
	1989
1		Falko Bause, Heinz Beilner: Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen. MMB 1989: 190-204

Coauthor Index

1	Heinz Beilner	[1] [10] [20]
2	Peter Buchholz	[2] [5] [9] [13] [14] [17] [18] [23] [24] [26] [27] [28] [29] [30] [31] [33]
3	Mirko Eickhoff	[22]
4	Markus Fischer	[20] [23]
5	Philipp Gerloff	[34]
6	Gábor Horváth	[32]
7	Heinz Kabutz	[8]
8	Michael Kaczmarek	[19]
9	Peter Kemper	[3] [7] [8] [9] [13] [14] [18] [20] [23]
10	Jan Kriege	[25] [26] [27] [29] [30] [31] [33] [34]
11	Pieter S. Kritzinger	[8] [12] [16] [21]
12	Carsten Tepper	[24]
13	Wolfgang Tölle	[6]
14	Sebastian Vastag	[26] [27] [30] [31]
15	Markus Völker	[20]

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