The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Falko Bause: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Falko Bause
    Analysis of Petri Nets with a Dynamic Priority Method. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:215-234 [Conf]
  2. Peter Kemper, Falko Bause
    An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:263-278 [Conf]
  3. Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker
    The ProC/B Toolset for the Modelling and Analysis of Process Chains. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2002, pp:51-70 [Conf]
  4. Falko Bause, Peter Buchholz, Peter Kemper
    A Toolbox for Functional and Quantitative Analysis of DEDS. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation (Tools), 1998, pp:356-359 [Conf]
  5. Falko Bause, Peter Kemper
    QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation, 1994, pp:321-334 [Conf]
  6. Falko Bause, Peter Buchholz
    Protocol Analysis Using a Timed Version of SDL. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:239-254 [Conf]
  7. Falko Bause, Peter Buchholz
    Qualitative und Quantitative Analysis of Timed SDL Specifications. [Citation Graph (0, 0)][DBLP]
    Kommunikation in Verteilten Systemen, 1993, pp:486-500 [Conf]
  8. Falko Bause, Heinz Beilner
    Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen. [Citation Graph (0, 0)][DBLP]
    MMB, 1989, pp:190-204 [Conf]
  9. Falko Bause, Peter Buchholz, Peter Kemper
    QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. [Citation Graph (0, 0)][DBLP]
    MMB, 1995, pp:224-238 [Conf]
  10. Falko Bause, Peter Buchholz, Peter Kemper
    Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. [Citation Graph (0, 0)][DBLP]
    MMB, 1997, pp:87-101 [Conf]
  11. Falko Bause, Peter Buchholz, Peter Kemper
    HiQPN-Tool. [Citation Graph (0, 0)][DBLP]
    MMB (Kurzbeiträge), 1997, pp:111-117 [Conf]
  12. Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper
    Hybrid Performability Analysis of Logistic Networks. [Citation Graph (0, 0)][DBLP]
    PADS, 2004, pp:131-138 [Conf]
  13. Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger
    SDL and Petri net performance analysis of communicating systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:269-282 [Conf]
  14. Falko Bause, Mirko Eickhoff
    Simulation output analysis: truncation point estimation using multiple replications in parallel. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2003, pp:414-421 [Conf]
  15. Falko Bause
    On the Analysis of Petri Nets with Static Priorities. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:7, pp:669-685 [Journal]
  16. Falko Bause, Peter Buchholz
    Queueing Petri Nets with Product Form Solution. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1998, v:32, n:4, pp:265-299 [Journal]
  17. Falko Bause, Pieter S. Kritzinger
    Stochastic Perti Nets: An Introduction to the Theory. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 1998, v:26, n:2, pp:2-3 [Journal]
  18. Falko Bause, Michael Kaczmarek
    Modellierung und Analyse von Supply Chains. [Citation Graph (0, 0)][DBLP]
    Wirtschaftsinformatik, 2001, v:43, n:6, pp:569-578 [Journal]

  19. The ProC/B-Approach from informal descriptions to formal models. [Citation Graph (, )][DBLP]


  20. ProFiDo - A Toolkit for Fitting Input Models. [Citation Graph (, )][DBLP]


  21. Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. [Citation Graph (, )][DBLP]


  22. A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. [Citation Graph (, )][DBLP]


  23. Detecting non-ergodic simulation models of logistics networks. [Citation Graph (, )][DBLP]


  24. A Framework for Simulation Models of Service-Oriented Architectures. [Citation Graph (, )][DBLP]


  25. Simulating process chain models with OMNeT++. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002