Ulrich Herzog

Joost-Pieter Katoen

Theor. Comput. Sci., 2002

Unified specification and performance evaluation using stochastic process algebras.

[BibT_eX]

[DOI]

Roberto Gorrieri

Jane Hillston

Perform. Evaluation, 2002

2001

Performance validation tools for software/hardware systems.

[BibT_eX]

[DOI]

Jerome A. Rolia

Perform. Evaluation, 2001

2000

Compositional performance modelling with the TIPPtool.

[BibT_eX]

[DOI]

Ulrich Klehmet

Markus Siegle

Perform. Evaluation, 2000

Formal Methods for Performance Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

1999

Process algebras are getting mature for performance evaluation?!

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 1999

1998

Modeling Buffer Utilization in Cell-Based Networks.

[BibT_eX]

[DOI]

Roya Ulrich

Pieter S. Kritzinger

Perform. Evaluation, 1998

Stochastic Process Algebras - Between LOTOS and Markov Chains.

[BibT_eX]

[DOI]

Comput. Networks, 1998

Kompositioneller Entwurf mit Stochastischen Prozeßalgebren.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

Stochastic Process Algebras Benefits for Performance Evaluation and Challenges (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Exploiting stochastic process algebra achievements for generalized stochastic Petri nets.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

1995

The Mothod of Moments for Higher Moments and the Usefulness of Formula Manipulation Systems.

[BibT_eX]

[DOI]

Martin Paterok

Peter Dauphin

Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995

1994

Stochastic process algebras: integrating qualitative and quantitative modelling.

[BibT_eX]

Jane Hillston

Proceedings of the Formal Description Techniques VII, 1994

1993

Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras.

[BibT_eX]

[DOI]

Norbert Götz

Proceedings of the Performance Evaluation of Computer and Communication Systems, 1993

Constructive modelling and design basic research within the European QMIPS-project.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

1992

TIPP - Introduction and Application to Protocol Performance Analysis.

[BibT_eX]

Norbert Götz

Proceedings of the Formale Methoden für verteilte Systeme, 1992

1990

Formal Description, Time and Performance Analysis. A Framework.

[BibT_eX]

[DOI]

Proceedings of the Entwurf und Betrieb verteilter Systeme, 1990

1989

Leistungsbewertung und Modellbildung für Parallelrechner.

[BibT_eX]

[DOI]

it Inf. Technol., 1989

1988

Performance evaluation principles for vector- and multiprocessor systems.

[BibT_eX]

[DOI]

Parallel Comput., 1988

1987

Der Einfluß des Wiederholrufeffekts auf die Leistungsgrößen von Verlustsystemen.

[BibT_eX]

[DOI]

Martin Paterok

C. Vogel

Proceedings of the Messung, Modellierung und Bewertung von Rechensystemen, 4. GI/ITG-Fachtagung, Erlangen, 29. September, 1987

1983

Experiences with Performance Measurement and Modeling of a Processor Array.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1983

1979

Synchronization Problems in Hierarchically Organized Multiprocessor Computer Systems.

[BibT_eX]

Werner Hoffmann

Proceedings of the Performance of Computer Systems, 1979

1977

Approximation von verteilungsfunktionen, ein wichtiger Schritt bei der Modellbildung für Rechensysteme.

[BibT_eX]

[DOI]

Werner Bux

Proceedings of the Modelle für Rechensysteme, Workshop der GI, Bonn, 31.3.-1.4.1977, 1977

1975

Solution of Queuing Problems by a Recursive Technique.

[BibT_eX]

[DOI]

Lin S. Woo

K. Mani Chandy

IBM J. Res. Dev., 1975

Optimal Scheduling Strategies for Real-Time Computers.

[BibT_eX]

[DOI]

IBM J. Res. Dev., 1975

Approximate Analysis of General Queuing Networks.

[BibT_eX]

[DOI]

K. Mani Chandy

Lin S. Woo

IBM J. Res. Dev., 1975

Parametric Analysis of Queuing Networks.

[BibT_eX]

[DOI]

K. Mani Chandy

Lin S. Woo

IBM J. Res. Dev., 1975

1974

Message-switching networks with alternate routing.

[BibT_eX]

[DOI]

Elektron. Rechenanlagen, 1974

Analyse von Betriebssystem- Modellen für Rechnersysteme mit Multiprogramming and Paging.

[BibT_eX]

[DOI]

Proceedings of the Fachtagung Struktur und Betrieb von Rechensystemen, 1974

1973

Verkehrsfluss in Datennetzen: Traffic flow in data networks.

[BibT_eX]

[DOI]