Falko Bause - RankMe

44 papers B 2C 1Misc 3Journal 7Unranked 25

Year	Rank	Type	Title / 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