Falko Bause

According to our database1, Falko Bause
  • authored at least 38 papers between 1989 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A Tool Supporting the Analytical Evaluation of Service Level Agreements.
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Equivalence and Lumpability of FSPNs.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2017

2010
A Simulation Environment for Hierarchical Process Chains Based on OMNeT++.
Simulation, 2010

Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes.
Proceedings of the QEST 2010, 2010

ProFiDo - The Processes Fitting Toolkit Dortmund.
Proceedings of the QEST 2010, 2010

ProFiDo - A Toolkit for Fitting Input Models.
Proceedings of the Measurement, 2010

2009
Simulation based Validation of Quantitative Requirements in Service Oriented Architectures.
Proceedings of the 2009 Winter Simulation Conference, 2009

A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes.
Proceedings of the 2009 Winter Simulation Conference, 2009

2008
A Framework for Simulation Models of Service-Oriented Architectures.
Proceedings of the Performance Evaluation: Metrics, 2008

Simulating process chain models with OMNeT++.
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008

2007
Detecting non-ergodic simulation models of logistics networks.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

2004
Hybrid Performability Analysis of Logistic Networks.
Proceedings of the 18th Workshop on Parallel and Distributed Simulation, 2004

The ProC/B-Approach from informal descriptions to formal models.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003
Simulation output analysis: truncation point estimation using multiple replications in parallel.
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

On non-ergodic infinite-state stochastic Petri nets.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

2002
The ProC/B Toolset for the Modelling and Analysis of Process Chains.
Proceedings of the Computer Performance Evaluation, 2002

Stochastic Petri nets - an introduction to the theory (2. ed.).
Vieweg, ISBN: 978-3-528-15535-3, 2002

2001
Modellierung und Analyse von Supply Chains.
Wirtschaftsinformatik, 2001

1998
Stochastic Perti Nets: An Introduction to the Theory.
SIGMETRICS Performance Evaluation Review, 1998

Queueing Petri Nets with Product Form Solution.
Perform. Eval., 1998

A Toolbox for Functional and Quantitative Analysis of DEDS.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

1997
Aggregation and disaggregation in product form queueing Petri Nets.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

HiQPN-Tool.
Proceedings of the MMB '97, 1997

Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets.
Proceedings of the MMB '97, 1997

Analysis of Petri Nets with a Dynamic Priority Method.
Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996
On the Analysis of Petri Nets with Static Priorities.
Acta Inf., 1996

Stochastic Petri nets - an introduction to the theory.
Advanced studies of computer science, Vieweg, ISBN: 978-3-528-05535-6, 1996

1995
Design von Modellierungstools zur Leistungsbewertung: HIT, MACOM, QPN-Tool.
it+ti - Informationstechnik und Technische Informatik, 1995

SDL and Petri net performance analysis of communicating systems.
Proceedings of the Protocol Specification, 1995

QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets.
Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995

1994
QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets.
Proceedings of the Computer Performance Evaluation, 1994

1993
Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

Qualitative und Quantitative Analysis of Timed SDL Specifications.
Proceedings of the Kommunikation in Verteilten Systemen, 1993

Programmieren mit C++ Version 3 - eine Anleitung für Studium und Praxis.
Vieweg, ISBN: 978-3-528-05324-6, 1993

1992
An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets.
Proceedings of the Application and Theory of Petri Nets 1992, 1992

Funktionale Analyse zeitbehafteter Petri-Netze.
Deutscher Universitätsverlag, ISBN: 978-3-8244-2025-4, 1992

1990
Protocol Analysis Using a Timed Version of SDL.
Proceedings of the Formal Description Techniques, 1990

1989
Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen.
Proceedings of the Messung, 1989


  Loading...