Falko Bause

44 papers B 2C 1Misc 3Journal 7Unranked 25
YearRankTypeTitle / Venue / Authors
2024 — conf
Adaption of Stochastic Models (ASMo) - A Tool for Input Modeling -.
QEST+FORMATS
Falko Bause, Andreas Blume, Peter Buchholz, Alexander Puzicha, Alina Timmermann
2020 — conf
An Efficient Brute Force Approach to Fit Finite Mixture Distributions.
MMB
Falko Bause
2018 — conf
SLA Tool.
MMB
Falko Bause, Peter Buchholz
2017 B conf
A Tool Supporting the Analytical Evaluation of Service Level Agreements.
ICPE
Falko Bause, Peter Buchholz, Johannes May
2017 — conf
Equivalence and Lumpability of FSPNs.
ASMTA
Falko Bause, Peter Buchholz, Igor V. Tarasyuk, Miklós Telek
2010 J jnl
A Simulation Environment for Hierarchical Process Chains Based on OMNeT++.
Simul.
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
2010 — conf
Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes.
QEST
Falko Bause, Gábor Horváth
2010 — conf
ProFiDo - A Toolkit for Fitting Input Models.
MMB/DFT
Falko Bause, Philipp Gerloff, Jan Kriege
2010 — conf
ProFiDo - The Processes Fitting Toolkit Dortmund.
QEST
Falko Bause, Peter Buchholz, Jan Kriege
2009 Misc conf
A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes.
WSC
Falko Bause, Peter Buchholz, Jan Kriege
2009 J jnl
Efficient Validation of Process-based Simulation Models.
Simul. Notes Eur.
Falko Bause, Jan Kriege, Sebastian Vastag
2009 Misc conf
Simulation based Validation of Quantitative Requirements in Service Oriented Architectures.
WSC
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
2008 — conf
A Framework for Simulation Models of Service-Oriented Architectures.
SIPEW
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
2008 — ed.
Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31 - April 2, 2008, Dortmund, Germany
MMB
Falko Bause, Peter Buchholz
2008 — conf
Simulating process chain models with OMNeT++.
SimuTools
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
2007 — conf
Detecting non-ergodic simulation models of logistics networks.
VALUETOOLS
Falko Bause, Jan Kriege
2004 B conf
Hybrid Performability Analysis of Logistic Networks.
PADS
Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper
2004 — conf
The ProC/B-Approach from informal descriptions to formal models.
ISoLA (Preliminary proceedings)
Peter Buchholz, Falko Bause, Carsten Tepper
2003 — conf
On non-ergodic infinite-state stochastic Petri nets.
PNPM
Falko Bause
2003 Misc conf
Simulation output analysis: truncation point estimation using multiple replications in parallel.
WSC
Falko Bause, Mirko Eickhoff
2002 — book
Stochastic Petri nets - an introduction to the theory (2. ed.).
Falko Bause, Pieter S. Kritzinger
2002 — conf
The ProC/B Toolset for the Modelling and Analysis of Process Chains.
Computer Performance Evaluation / TOOLS
Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker
2001 J jnl
Modellierung und Analyse von Supply Chains.
Wirtschaftsinf.
Falko Bause, Michael Kaczmarek
1998 — conf
A Toolbox for Functional and Quantitative Analysis of DEDS.
Computer Performance Evaluation (Tools)
Falko Bause, Peter Buchholz, Peter Kemper
1998 J jnl
Queueing Petri Nets with Product Form Solution.
Perform. Evaluation
Falko Bause, Peter Buchholz
1998 J jnl
Stochastic Perti Nets: An Introduction to the Theory.
SIGMETRICS Perform. Evaluation Rev.
Falko Bause, Pieter S. Kritzinger
1997 — conf
Aggregation and disaggregation in product form queueing Petri Nets.
PNPM
Falko Bause, Peter Buchholz
1997 — conf
Analysis of Petri Nets with a Dynamic Priority Method.
ICATPN
Falko Bause
1997 — conf
HiQPN-Tool.
MMB (Kurzbeiträge)
Falko Bause, Peter Buchholz, Peter Kemper
1997 — conf
Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets.
MMB
Falko Bause, Peter Buchholz, Peter Kemper
1996 J jnl
On the Analysis of Petri Nets with Static Priorities.
Acta Informatica
Falko Bause
1996 — book
Stochastic Petri nets - an introduction to the theory.
Falko Bause, Pieter S. Kritzinger
1995 J jnl
Design von Modellierungstools zur Leistungsbewertung: HIT, MACOM, QPN-Tool.
Informationstechnik Tech. Inform.
Michael Sczittnick, Falko Bause
1995 — conf
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets.
MMB
Falko Bause, Peter Buchholz, Peter Kemper
1995 — ed.
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
MMB
Heinz Beilner, Falko Bause
1995 — conf
SDL and Petri net performance analysis of communicating systems.
PSTV
Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger
1994 — conf
QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets.
Computer Performance Evaluation
Falko Bause, Peter Kemper
1993 — book
Programmieren mit C++ Version 3 - eine Anleitung für Studium und Praxis.
Falko Bause, Wolfgang Tölle
1993 — conf
Qualitative und Quantitative Analysis of Timed SDL Specifications.
Kommunikation in Verteilten Systemen
Falko Bause, Peter Buchholz
1993 — conf
Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems.
PNPM
Falko Bause
1992 — conf
An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets.
Application and Theory of Petri Nets
Peter Kemper, Falko Bause
1992 — book
Funktionale Analyse zeitbehafteter Petri-Netze.
Falko Bause
1990 C conf
Protocol Analysis Using a Timed Version of SDL.
FORTE
Falko Bause, Peter Buchholz
1989 — conf
Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen.
MMB
Falko Bause, Heinz Beilner