Falko Bause

Publication Activity (10 Years)

Years Active: 1989-2020
Publications (10 Years): 4

Top Topics

Service Level Agreements

Genetically Optimized

Polynomial Neural Networks

Top Venues

Publications

Falko Bause
An Efficient Brute Force Approach to Fit Finite Mixture Distributions. MMB (2020)
Falko Bause, Peter Buchholz
SLA Tool. MMB (2018)
Falko Bause, Peter Buchholz, Igor V. Tarasyuk, Miklós Telek
Equivalence and Lumpability of FSPNs. ASMTA (2017)
Falko Bause, Peter Buchholz, Johannes May
A Tool Supporting the Analytical Evaluation of Service Level Agreements. ICPE (2017)
Falko Bause, Philipp Gerloff, Jan Kriege
ProFiDo - A Toolkit for Fitting Input Models. MMB/DFT (2010)
Falko Bause, Peter Buchholz, Jan Kriege
ProFiDo - The Processes Fitting Toolkit Dortmund. QEST (2010)
Falko Bause, Gábor Horváth
Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes. QEST (2010)
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
A Simulation Environment for Hierarchical Process Chains Based on OMNeT++. Simul. 86 (5-6) (2010)
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. WSC (2009)
Falko Bause, Peter Buchholz, Jan Kriege
A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. WSC (2009)
Falko Bause, Jan Kriege, Sebastian Vastag
Efficient Validation of Process-based Simulation Models. Simul. Notes Eur. 19 (2) (2009)
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
A Framework for Simulation Models of Service-Oriented Architectures. SIPEW (2008)
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
Simulating process chain models with OMNeT++. SimuTools (2008)
Falko Bause, Jan Kriege
Detecting non-ergodic simulation models of logistics networks. VALUETOOLS (2007)
Peter Buchholz, Falko Bause, Carsten Tepper
The ProC/B-Approach from informal descriptions to formal models. ISoLA (Preliminary proceedings) (2004)
Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper
Hybrid Performability Analysis of Logistic Networks. PADS (2004)
Falko Bause
On non-ergodic infinite-state stochastic Petri nets. PNPM (2003)
Falko Bause, Mirko Eickhoff
Simulation output analysis: truncation point estimation using multiple replications in parallel. WSC (2003)
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)
Falko Bause, Michael Kaczmarek
Modellierung und Analyse von Supply Chains. Wirtschaftsinf. 43 (6) (2001)
Falko Bause, Peter Buchholz, Peter Kemper
A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) (1998)
Falko Bause, Peter Buchholz
Queueing Petri Nets with Product Form Solution. Perform. Evaluation 32 (4) (1998)
Falko Bause, Pieter S. Kritzinger
Stochastic Perti Nets: An Introduction to the Theory. SIGMETRICS Perform. Evaluation Rev. 26 (2) (1998)
Falko Bause
Analysis of Petri Nets with a Dynamic Priority Method. ICATPN (1997)
Falko Bause, Peter Buchholz, Peter Kemper
HiQPN-Tool. MMB (Kurzbeiträge) (1997)
Falko Bause, Peter Buchholz
Aggregation and disaggregation in product form queueing Petri Nets. PNPM (1997)
Falko Bause, Peter Buchholz, Peter Kemper
Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB (1997)
Falko Bause
On the Analysis of Petri Nets with Static Priorities. Acta Informatica 33 (7) (1996)
Falko Bause, Peter Buchholz, Peter Kemper
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB (1995)
Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger
SDL and Petri net performance analysis of communicating systems. PSTV (1995)
Michael Sczittnick, Falko Bause
Design von Modellierungstools zur Leistungsbewertung: HIT, MACOM, QPN-Tool. Informationstechnik Tech. Inform. 37 (3) (1995)
Falko Bause, Peter Kemper
QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. Computer Performance Evaluation (1994)
Falko Bause, Peter Buchholz
Qualitative und Quantitative Analysis of Timed SDL Specifications. Kommunikation in Verteilten Systemen (1993)
Falko Bause
Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems. PNPM (1993)
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)
Falko Bause, Peter Buchholz
Protocol Analysis Using a Timed Version of SDL. FORTE (1990)
Falko Bause, Heinz Beilner
Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen. MMB (1989)