Search the dblp DataBase
Falko Bause :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Falko Bause Analysis of Petri Nets with a Dynamic Priority Method. [Citation Graph (0, 0)][DBLP ] ICATPN, 1997, pp:215-234 [Conf ] 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 ] 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 ] 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 ] 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 ] Falko Bause , Peter Buchholz Protocol Analysis Using a Timed Version of SDL. [Citation Graph (0, 0)][DBLP ] FORTE, 1990, pp:239-254 [Conf ] 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 ] 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 ] 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 ] 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 ] Falko Bause , Peter Buchholz , Peter Kemper HiQPN-Tool. [Citation Graph (0, 0)][DBLP ] MMB (Kurzbeiträge), 1997, pp:111-117 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] The ProC/B-Approach from informal descriptions to formal models. [Citation Graph (, )][DBLP ] ProFiDo - A Toolkit for Fitting Input Models. [Citation Graph (, )][DBLP ] Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. [Citation Graph (, )][DBLP ] A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. [Citation Graph (, )][DBLP ] Detecting non-ergodic simulation models of logistics networks. [Citation Graph (, )][DBLP ] A Framework for Simulation Models of Service-Oriented Architectures. [Citation Graph (, )][DBLP ] Simulating process chain models with OMNeT++. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs