MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Falko Bause" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

ATOM

No Way Out - The Timeless Trap
by Falko Bause — 1990
…No Way Out 1 The Timeless Trap Falko Bause Informatik IV, Universitat Dortmund 44221 Dortmund e…
Add To MetaCart

Queueing Petri Nets - A Formalism for the Combined Qualitative and Quantitative Analysis of Systems
by Falko Bause — 1993 — In Proceedings of the 5th International Workshop on Petri nets and Performance Models. IEEE
… Falko Bause Informatik IV, Universitat Dortmund, 44221 Dortmund, Germany Abstract System analysis…
Cited by 22 (8 self) – Add To MetaCart

"QN + PN = QPN" - Combining Queueing Networks and Petri Nets
by Falko Bause — 1993
…"QN + PN = QPN " Combining Queueing Networks and Petri Nets Falko Bause Informatik IV, Universitat…
Cited by 2 (0 self) – Add To MetaCart

An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets
by Peter Kemper, Falko Bause — 1992 — Application and Theory of Petri Nets 1992, LNCS 616
… Kemper and Falko Bause Informatik IV Universitat Dortmund Postfach 500 500 4600 Dortmund 50 Germany…
Cited by 13 (8 self) – Add To MetaCart

Protocol Analysis using a timed version of SDL
by Falko Bause, Peter Buchholz — 1990 — In Proceedings of the 3rd Int. Conf. on Formal Description Techniques (FORTE '90
…Protocol Analysis using a timed version of SDL Falko Bause, Peter Buchholz Informatik IV, Universt…
Cited by 18 (3 self) – Add To MetaCart

Qualitative and Quantitative Analysis of Timed SDL Specifications
by Falko Bause, Peter Buchholz — 1993 — In Proc. KiVS'93, Informatik aktuell
…Qualitative and Quantitative Analysis of Timed SDL Specifications Falko Bause, Peter Buchholz…
Cited by 9 (0 self) – Add To MetaCart

Analysis of Petri Nets with a Dynamic Priority Method
by Falko Bause, Informatik Iv — 1997 — Eds.), Proceedings of PN '97, Toulouse. LNCS 1248, Springer-Verlag
…Analysis of Petri Nets with a Dynamic Priority Method Falko Bause Informatik IV Universitat…
Cited by 1 (0 self) – Add To MetaCart

Analysis of a Combined Queueing-Petri-Network World
by Falko Bause, Heinz Beilner — 1991
…Analysis of a Combined Queueing-Petri-Network World Falko Bause, Heinz Beilner Informatik IV…
Cited by 1 (1 self) – Add To MetaCart

Integrating Software and Hardware Performance Models Using Hierarchical Queueing Petri Nets
by Falko Bause, Peter Buchholz, Peter Kemper — 1997 — In Proc. of the 9. ITG / GI - Fachtagung Messung, Modellierung und Bewertung von Rechenund Kommunikationssystemen, (MMB’97
…Integrating Software and Hardware Performance Models Using Hierarchical Queueing Petri Nets Falko…
Cited by 3 (0 self) – Add To MetaCart

QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets
by Falko Bause, Peter Buchholz, Peter Kemper — 1995 — Bause (Eds.) Quantitative Evaluation of Computing and Communication Systems, Lecture Notes in Computer Science
…QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets Falko…
Cited by 17 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB