default search action
Falko Bause
Person information
- affiliation: TU Dortmund University, Department of Computer Science, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c31]Falko Bause
, Andreas Blume
Adaption of Stochastic Models (ASMo) - A Tool for Input Modeling -. QEST+FORMATS 2024: 72-89 - 2020
- [c30]Falko Bause
An Efficient Brute Force Approach to Fit Finite Mixture Distributions. MMB 2020: 208-224
2010 – 2019
- 2018
- [c29]Falko Bause
SLA Tool. MMB 2018: 302-306 - 2017
- [c28]Falko Bause
Equivalence and Lumpability of FSPNs. ASMTA 2017: 16-31 - [c27]Falko Bause
A Tool Supporting the Analytical Evaluation of Service Level Agreements. ICPE 2017: 233-244 - 2010
- [j7]Falko Bause
A Simulation Environment for Hierarchical Process Chains Based on OMNeT++. Simul. 86(5-6): 291-309 (2010) - [c26]Falko Bause
ProFiDo - A Toolkit for Fitting Input Models. MMB/DFT 2010: 311-314 - [c25]Falko Bause
ProFiDo - The Processes Fitting Toolkit Dortmund. QEST 2010: 87-96 - [c24]Falko Bause
Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes. QEST 2010: 97-106
2000 – 2009
- 2009
- [j6]Falko Bause
Efficient Validation of Process-based Simulation Models. Simul. Notes Eur. 19(2): 30-38 (2009) - [c23]Falko Bause
A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. WSC 2009: 634-645 - [c22]Falko Bause
Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. WSC 2009: 1015-1026 - 2008
- [c21]Falko Bause
Simulating process chain models with OMNeT++. SimuTools 2008: 19 - [c20]Falko Bause
A Framework for Simulation Models of Service-Oriented Architectures. SIPEW 2008: 208-227 - [e2]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, ISBN 978-3-8007-3090-2 [contents] - 2007
- [c19]Falko Bause
Detecting non-ergodic simulation models of logistics networks. VALUETOOLS 2007: 64 - 2004
- [c18]Peter Buchholz, Falko Bause, Carsten Tepper:
The ProC/B-Approach from informal descriptions to formal models. ISoLA (Preliminary proceedings) 2004: 328-334 - [c17]Falko Bause
Hybrid Performability Analysis of Logistic Networks. PADS 2004: 131-138 - 2003
- [c16]Falko Bause
On non-ergodic infinite-state stochastic Petri nets. PNPM 2003: 84-92 - [c15]Falko Bause
Simulation output analysis: truncation point estimation using multiple replications in parallel. WSC 2003: 414-421 - 2002
- [b4]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 - [c14]Falko Bause
The ProC/B Toolset for the Modelling and Analysis of Process Chains. Computer Performance Evaluation / TOOLS 2002: 51-70 - 2001
- [j5]Falko Bause
Modellierung und Analyse von Supply Chains. Wirtschaftsinf. 43(6): 569-578 (2001)
1990 – 1999
- 1998
- [j4]Falko Bause
Queueing Petri Nets with Product Form Solution. Perform. Evaluation 32(4): 265-299 (1998) - [j3]Falko Bause, Pieter S. Kritzinger:
Stochastic Perti Nets: An Introduction to the Theory. SIGMETRICS Perform. Evaluation Rev. 26(2): 2-3 (1998) - [c13]Falko Bause
A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) 1998: 356-359 - 1997
- [c12]Falko Bause
Analysis of Petri Nets with a Dynamic Priority Method. ICATPN 1997: 215-234 - [c11]Falko Bause, Peter Buchholz, Peter Kemper:
Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB 1997: 87-101 - [c10]Falko Bause, Peter Buchholz, Peter Kemper:
HiQPN-Tool. MMB (Kurzbeiträge) 1997: 111-117 - [c9]Falko Bause
Aggregation and disaggregation in product form queueing Petri Nets. PNPM 1997: 16-25 - 1996
- [b3]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 - [j2]Falko Bause
On the Analysis of Petri Nets with Static Priorities. Acta Informatica 33(7): 669-685 (1996) - 1995
- [j1]Michael Sczittnick, Falko Bause:
Design von Modellierungstools zur Leistungsbewertung: HIT, MACOM, QPN-Tool. Informationstechnik Tech. Inform. 37(3): 34-40 (1995) - [c8]Falko Bause
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB 1995: 224-238 - [c7]Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger:
SDL and Petri net performance analysis of communicating systems. PSTV 1995: 269-282 - [e1]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. Lecture Notes in Computer Science 977, Springer 1995, ISBN 3-540-60300-X [contents] - 1994
- [c6]Falko Bause
QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. Computer Performance Evaluation 1994: 321-334 - 1993
- [b2]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 - [c5]Falko Bause
Qualitative und Quantitative Analysis of Timed SDL Specifications. Kommunikation in Verteilten Systemen 1993: 486-500 - [c4]Falko Bause
Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems. PNPM 1993: 14-23 - 1992
- [b1]Falko Bause:
Funktionale Analyse zeitbehafteter Petri-Netze. Technical University of Dortmund, Germany, Deutscher Universitätsverlag 1992, ISBN 978-3-8244-2025-4, pp. I-VIII, 1-182 - [c3]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
- [c2]Falko Bause, Peter Buchholz:
Protocol Analysis Using a Timed Version of SDL. FORTE 1990: 239-254
1980 – 1989
- 1989
- [c1]Falko Bause
Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen. MMB 1989: 190-204
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: