 | 2008 |
|---|
| 24 |       | 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 |
| 23 |  | Falko Bause,
Peter Buchholz,
Jan Kriege,
Sebastian Vastag:
A Framework for Simulation Models of Service-Oriented Architectures.
SIPEW 2008: 208-227 |
| 22 | | Falko Bause,
Peter Buchholz,
Jan Kriege,
Sebastian Vastag:
Simulating process chain models with OMNeT++.
SimuTools 2008: 19 |
| 2007 |
|---|
| 21 | | Falko Bause,
Jan Kriege:
Detecting non-ergodic simulation models of logistics networks.
VALUETOOLS 2007: 64 |
| 2004 |
|---|
| 20 | | Peter Buchholz,
Falko Bause,
Carsten Tepper:
The ProC/B-Approach from informal descriptions to formal models.
ISoLA (Preliminary proceedings) 2004: 328-334 |
| 19 | | Falko Bause,
Peter Buchholz,
Markus Fischer,
Peter Kemper:
Hybrid Performability Analysis of Logistic Networks.
PADS 2004: 131-138 |
| 2003 |
|---|
| 18 | | Falko Bause,
Mirko Eickhoff:
Simulation output analysis: truncation point estimation using multiple replications in parallel.
Winter Simulation Conference 2003: 414-421 |
| 2002 |
|---|
| 17 | | Falko Bause,
Heinz Beilner,
Markus Fischer,
Peter Kemper,
Markus Völker:
The ProC/B Toolset for the Modelling and Analysis of Process Chains.
Computer Performance Evaluation / TOOLS 2002: 51-70 |
| 2001 |
|---|
| 16 | | Falko Bause,
Michael Kaczmarek:
Modellierung und Analyse von Supply Chains.
Wirtschaftsinformatik 43(6): 569-578 (2001) |
| 1998 |
|---|
| 15 | | Falko Bause,
Peter Buchholz,
Peter Kemper:
A Toolbox for Functional and Quantitative Analysis of DEDS.
Computer Performance Evaluation (Tools) 1998: 356-359 |
| 14 | | Falko Bause,
Peter Buchholz:
Queueing Petri Nets with Product Form Solution.
Perform. Eval. 32(4): 265-299 (1998) |
| 13 | | Falko Bause,
Pieter S. Kritzinger:
Stochastic Perti Nets: An Introduction to the Theory.
SIGMETRICS Performance Evaluation Review 26(2): 2-3 (1998) |
| 1997 |
|---|
| 12 | | Falko Bause:
Analysis of Petri Nets with a Dynamic Priority Method.
ICATPN 1997: 215-234 |
| 11 | | Falko Bause,
Peter Buchholz,
Peter Kemper:
Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets.
MMB 1997: 87-101 |
| 10 | | Falko Bause,
Peter Buchholz,
Peter Kemper:
HiQPN-Tool.
MMB (Kurzbeiträge) 1997: 111-117 |
| 1996 |
|---|
| 9 | | Falko Bause:
On the Analysis of Petri Nets with Static Priorities.
Acta Inf. 33(7): 669-685 (1996) |
| 1995 |
|---|
| 8 | | 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
Springer 1995 |
| 7 | | Falko Bause,
Peter Buchholz,
Peter Kemper:
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets.
MMB 1995: 224-238 |
| 6 | | Falko Bause,
Heinz Kabutz,
Peter Kemper,
Pieter S. Kritzinger:
SDL and Petri net performance analysis of communicating systems.
PSTV 1995: 269-282 |
| 1994 |
|---|
| 5 | | Falko Bause,
Peter Kemper:
QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets.
Computer Performance Evaluation 1994: 321-334 |
| 1993 |
|---|
| 4 | | Falko Bause,
Peter Buchholz:
Qualitative und Quantitative Analysis of Timed SDL Specifications.
Kommunikation in Verteilten Systemen 1993: 486-500 |
| 1992 |
|---|
| 3 | | 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 |
|---|
| 2 | | Falko Bause,
Peter Buchholz:
Protocol Analysis Using a Timed Version of SDL.
FORTE 1990: 239-254 |
| 1989 |
|---|
| 1 | | Falko Bause,
Heinz Beilner:
Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen.
MMB 1989: 190-204 |
