Falko Bause

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)

Falko Bause, Philipp Gerloff, Jan Kriege: ProFiDo - A Toolkit for Fitting Input Models. MMB/DFT 2010: 311-314

Falko Bause, Peter Buchholz, Jan Kriege: ProFiDo - The Processes Fitting Toolkit Dortmund. QEST 2010: 87-96

Falko Bause, Gábor Horváth: Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes. QEST 2010: 97-106

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

Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. Winter Simulation Conference 2009: 1015-1026

Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: Simulating process chain models with OMNeT++. SimuTools 2008: 19

Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag: A Framework for Simulation Models of Service-Oriented Architectures. SIPEW 2008: 208-227

Falko Bause, Peter Buchholz (Eds.): 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, isbn 978-3-8007-3090-2

Falko Bause, Jan Kriege: Detecting non-ergodic simulation models of logistics networks. VALUETOOLS 2007: 64

Peter Buchholz, Falko Bause, Carsten Tepper: The ProC/B-Approach from informal descriptions to formal models. ISoLA (Preliminary proceedings) 2004: 328-334

Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper: Hybrid Performability Analysis of Logistic Networks. PADS 2004: 131-138

Falko Bause, Mirko Eickhoff: Simulation output analysis: truncation point estimation using multiple replications in parallel. Winter Simulation Conference 2003: 414-421

Falko Bause, Pieter S. Kritzinger: Stochastic Petri nets - an introduction to the theory (2. ed.). Vieweg 2002, isbn 978-3-528-15535-3, pp. 1-218

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

Falko Bause, Michael Kaczmarek: Modellierung und Analyse von Supply Chains. Wirtschaftsinformatik 43(6): 569-578 (2001)

Falko Bause, Peter Buchholz: Queueing Petri Nets with Product Form Solution. Perform. Eval. 32(4): 265-299 (1998)

Falko Bause, Pieter S. Kritzinger: Stochastic Perti Nets: An Introduction to the Theory. SIGMETRICS Performance Evaluation Review 26(2): 2-3 (1998)

Falko Bause, Peter Buchholz, Peter Kemper: A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) 1998: 356-359

Falko Bause: Analysis of Petri Nets with a Dynamic Priority Method. ICATPN 1997: 215-234

Falko Bause, Peter Buchholz, Peter Kemper: Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB 1997: 87-101

Falko Bause, Peter Buchholz, Peter Kemper: HiQPN-Tool. MMB (Kurzbeiträge) 1997: 111-117

Falko Bause, Pieter S. Kritzinger: Stochastic Petri nets - an introduction to the theory. Advanced studies of computer science, Vieweg 1996, isbn 978-3-528-05535-6, pp. 1-250

Falko Bause: On the Analysis of Petri Nets with Static Priorities. Acta Inf. 33(7): 669-685 (1996)

Falko Bause, Peter Buchholz, Peter Kemper: QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB 1995: 224-238

Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger: SDL and Petri net performance analysis of communicating systems. PSTV 1995: 269-282

Heinz Beilner, Falko Bause (Eds.): 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. Lecture Notes in Computer Science 977, Springer 1995, isbn 3-540-60300-X

Falko Bause, Peter Kemper: QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. Computer Performance Evaluation 1994: 321-334

Falko Bause, Wolfgang Tölle: Programmieren mit C++ Version 3 - eine Anleitung für Studium und Praxis. Vieweg 1993, isbn 978-3-528-05324-6, pp. I-IX, 1-232

Falko Bause, Peter Buchholz: Qualitative und Quantitative Analysis of Timed SDL Specifications. Kommunikation in Verteilten Systemen 1993: 486-500

Falko Bause: Funktionale Analyse zeitbehafteter Petri-Netze. Deutscher Universitätsverlag 1992, isbn 978-3-8244-2025-4, pp. I-VIII, 1-182

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

Falko Bause, Peter Buchholz: Protocol Analysis Using a Timed Version of SDL. FORTE 1990: 239-254

Falko Bause, Heinz Beilner: Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen. MMB 1989: 190-204