dblp.uni-trier.dewww.uni-trier.de

Falko Bause

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

2008
24 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
23EEFalko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: A Framework for Simulation Models of Service-Oriented Architectures. SIPEW 2008: 208-227
22EEFalko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: Simulating process chain models with OMNeT++. SimuTools 2008: 19
2007
21EEFalko Bause, Jan Kriege: Detecting non-ergodic simulation models of logistics networks. VALUETOOLS 2007: 64
2004
20 Peter Buchholz, Falko Bause, Carsten Tepper: The ProC/B-Approach from informal descriptions to formal models. ISoLA (Preliminary proceedings) 2004: 328-334
19EEFalko Bause, Peter Buchholz, Markus Fischer, Peter Kemper: Hybrid Performability Analysis of Logistic Networks. PADS 2004: 131-138
2003
18EEFalko Bause, Mirko Eickhoff: Simulation output analysis: truncation point estimation using multiple replications in parallel. Winter Simulation Conference 2003: 414-421
2002
17EEFalko 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
16 Falko Bause, Michael Kaczmarek: Modellierung und Analyse von Supply Chains. Wirtschaftsinformatik 43(6): 569-578 (2001)
1998
15EEFalko Bause, Peter Buchholz, Peter Kemper: A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) 1998: 356-359
14 Falko Bause, Peter Buchholz: Queueing Petri Nets with Product Form Solution. Perform. Eval. 32(4): 265-299 (1998)
13EEFalko Bause, Pieter S. Kritzinger: Stochastic Perti Nets: An Introduction to the Theory. SIGMETRICS Performance Evaluation Review 26(2): 2-3 (1998)
1997
12 Falko Bause: Analysis of Petri Nets with a Dynamic Priority Method. ICATPN 1997: 215-234
11 Falko Bause, Peter Buchholz, Peter Kemper: Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB 1997: 87-101
10 Falko Bause, Peter Buchholz, Peter Kemper: HiQPN-Tool. MMB (Kurzbeiträge) 1997: 111-117
1996
9 Falko Bause: On the Analysis of Petri Nets with Static Priorities. Acta Inf. 33(7): 669-685 (1996)
1995
8 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
7 Falko Bause, Peter Buchholz, Peter Kemper: QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB 1995: 224-238
6 Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger: SDL and Petri net performance analysis of communicating systems. PSTV 1995: 269-282
1994
5 Falko Bause, Peter Kemper: QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. Computer Performance Evaluation 1994: 321-334
1993
4 Falko Bause, Peter Buchholz: Qualitative und Quantitative Analysis of Timed SDL Specifications. Kommunikation in Verteilten Systemen 1993: 486-500
1992
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

1Heinz Beilner [1] [8] [17]
2Peter Buchholz [2] [4] [7] [10] [11] [14] [15] [19] [20] [22] [23] [24]
3Mirko Eickhoff [18]
4Markus Fischer [17] [19]
5Heinz Kabutz [6]
6Michael Kaczmarek [16]
7Peter Kemper [3] [5] [6] [7] [10] [11] [15] [17] [19]
8Jan Kriege [21] [22] [23]
9Pieter S. Kritzinger [6] [13]
10Carsten Tepper [20]
11Sebastian Vastag [22] [23]
12Markus Völker [17]

Colors in the list of coauthors

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