Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen. - Falko Bause; Heinz Beilner (MMB, 1989)

Protocol Analysis Using a Timed Version of SDL. - Falko Bause; Peter Buchholz 001 (FORTE, 1990)

Funktionale Analyse zeitbehafteter Petri-Netze. - Falko Bause (Deutscher Universitätsverlag, 1992)

An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. - Peter Kemper; Falko Bause (Application and Theory of Petri Nets, 1992)

Programmieren mit C++ Version 3 - eine Anleitung für Studium und Praxis. - Falko Bause; Wolfgang Tölle (Vieweg, 1993)

Qualitative und Quantitative Analysis of Timed SDL Specifications. - Falko Bause; Peter Buchholz 001 (Kommunikation in Verteilten Systemen, 1993)

Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems. - Falko Bause (PNPM, 1993)

QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. - Falko Bause; Peter Kemper (Computer Performance Evaluation, 1994)

QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. - Falko Bause; Peter Buchholz 001; Peter Kemper (MMB, 1995)

SDL and Petri net performance analysis of communicating systems. - Falko Bause; Heinz Kabutz; Peter Kemper; Pieter S. Kritzinger (PSTV, 1995)

Design von Modellierungstools zur Leistungsbewertung: HIT, MACOM, QPN-Tool. - Michael Sczittnick; Falko Bause (Informationstechnik Tech. Inform., 1995)

Stochastic Petri nets - an introduction to the theory. - Falko Bause; Pieter S. Kritzinger (Vieweg, 1996)

On the Analysis of Petri Nets with Static Priorities. - Falko Bause (Acta Informatica, 1996)

Analysis of Petri Nets with a Dynamic Priority Method. - Falko Bause (ICATPN, 1997)

Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. - Falko Bause; Peter Buchholz 001; Peter Kemper (MMB, 1997)

HiQPN-Tool. - Falko Bause; Peter Buchholz 001; Peter Kemper (MMB (Kurzbeiträge), 1997)

Aggregation and disaggregation in product form queueing Petri Nets. - Falko Bause; Peter Buchholz 001 (PNPM, 1997)

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

Queueing Petri Nets with Product Form Solution. - Falko Bause; Peter Buchholz 001 (Perform. Evaluation, 1998)

Stochastic Perti Nets: An Introduction to the Theory. - Falko Bause; Pieter S. Kritzinger (SIGMETRICS Perform. Evaluation Rev., 1998)

Modellierung und Analyse von Supply Chains. - Falko Bause; Michael Kaczmarek (Wirtschaftsinf., 2001)

Stochastic Petri nets - an introduction to the theory (2. ed.). - Falko Bause; Pieter S. Kritzinger (Vieweg, 2002)

The ProC/B Toolset for the Modelling and Analysis of Process Chains. - Falko Bause; Heinz Beilner; Markus Fischer; Peter Kemper; Markus Völker (Computer Performance Evaluation / TOOLS, 2002)

On non-ergodic infinite-state stochastic Petri nets. - Falko Bause (PNPM, 2003)

Simulation output analysis: truncation point estimation using multiple replications in parallel. - Falko Bause; Mirko Eickhoff (WSC, 2003)

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

Hybrid Performability Analysis of Logistic Networks. - Falko Bause; Peter Buchholz 001; Markus Fischer; Peter Kemper (PADS, 2004)

Detecting non-ergodic simulation models of logistics networks. - Falko Bause; Jan Kriege (VALUETOOLS, 2007)

Simulating process chain models with OMNeT++. - Falko Bause; Peter Buchholz 001; Jan Kriege; Sebastian Vastag (SimuTools, 2008)

A Framework for Simulation Models of Service-Oriented Architectures. - Falko Bause; Peter Buchholz 001; Jan Kriege; Sebastian Vastag (SIPEW, 2008)

A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. - Falko Bause; Peter Buchholz 001; Jan Kriege (WSC, 2009)

Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. - Falko Bause; Peter Buchholz 001; Jan Kriege; Sebastian Vastag (WSC, 2009)

Efficient Validation of Process-based Simulation Models. - Falko Bause; Jan Kriege; Sebastian Vastag (Simul. Notes Eur., 2009)

ProFiDo - A Toolkit for Fitting Input Models. - Falko Bause; Philipp Gerloff; Jan Kriege (MMB/DFT, 2010)

ProFiDo - The Processes Fitting Toolkit Dortmund. - Falko Bause; Peter Buchholz 001; Jan Kriege (QEST, 2010)

Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes. - Falko Bause; Gábor Horváth 002 (QEST, 2010)

A Simulation Environment for Hierarchical Process Chains Based on OMNeT++. - Falko Bause; Peter Buchholz 001; Jan Kriege; Sebastian Vastag (Simul., 2010)

Equivalence and Lumpability of FSPNs. - Falko Bause; Peter Buchholz 001; Igor V. Tarasyuk; Miklós Telek (ASMTA, 2017)

A Tool Supporting the Analytical Evaluation of Service Level Agreements. - Falko Bause; Peter Buchholz 001; Johannes May (ICPE, 2017)

SLA Tool. - Falko Bause; Peter Buchholz 001 (MMB, 2018)

An Efficient Brute Force Approach to Fit Finite Mixture Distributions. - Falko Bause (MMB, 2020)

Adaption of Stochastic Models (ASMo) - A Tool for Input Modeling -. - Falko Bause; Andreas Blume; Peter Buchholz 001; Alexander Puzicha; Alina Timmermann (QEST+FORMATS, 2024)