 | 2002 |
| 28 |  | Roberto Gorrieri,
Ulrich Herzog,
Jane Hillston:
Unified specification and performance evaluation using stochastic process algebras.
Perform. Eval. 50(2/3): 79-82 (2002) |
| 27 |  | Holger Hermanns,
Ulrich Herzog,
Joost-Pieter Katoen:
Process algebra for performance evaluation.
Theor. Comput. Sci. 274(1-2): 43-87 (2002) |
| 2001 |
| 26 |  | Ulrich Herzog,
Jerome A. Rolia:
Performance validation tools for software/hardware systems.
Perform. Eval. 45(2-3): 125-146 (2001) |
| 2000 |
| 25 |  | Ulrich Herzog:
Formal Methods for Performance Evaluation.
European Educational Forum: School on Formal Methods and Performance Analysis 2000: 1-37 |
| 24 |  | Holger Hermanns,
Ulrich Herzog,
Ulrich Klehmet,
Vassilis Mertsiotakis,
Markus Siegle:
Compositional performance modelling with the TIPPtool.
Perform. Eval. 39(1-4): 5-35 (2000) |
| 1999 |
| 23 |  | Ulrich Herzog:
Process algebras are getting mature for performance evaluation?!
SIGMETRICS Performance Evaluation Review 27(3): 15-18 (1999) |
| 1998 |
| 22 |  | Ulrich Herzog:
Stochastic Process Algebras Benefits for Performance Evaluation and Challenges (Extended Abstract).
CONCUR 1998: 366-372 |
| 21 |  | Holger Hermanns,
Ulrich Herzog,
Ulrich Klehmet,
Vassilis Mertsiotakis,
Markus Siegle:
Compositional Performance Modelling with TIPPtool.
Computer Performance Evaluation (Tools) 1998: 51-62 |
| 20 |  | Ulrich Herzog:
Kompositioneller Entwurf mit Stochastischen Prozeßalgebren.
FBT 1998: vii-iv |
| 19 |  | Holger Hermanns,
Ulrich Herzog,
Vassilis Mertsiotakis:
Stochastic Process Algebras - Between LOTOS and Markov Chains.
Computer Networks 30(9-10): 901-924 (1998) |
| 18 |  | Roya Ulrich,
Ulrich Herzog,
Pieter S. Kritzinger:
Modeling Buffer Utilization in Cell-Based Networks.
Perform. Eval. 31(3-4): 183-199 (1998) |
| 1995 |
| 17 |  | Martin Paterok,
Peter Dauphin,
Ulrich Herzog:
The Mothod of Moments for Higher Moments and the Usefulness of Formula Manipulation Systems.
MMB 1995: 56-70 |
| 1994 |
| 16 |  | Jane Hillston,
Holger Hermanns,
Ulrich Herzog,
Vassilis Mertsiotakis,
Michael Rettelbach:
Stochastic process algebras: integrating qualitative and quantitative modelling.
FORTE 1994: 449-451 |
| 1993 |
| 15 |  | Norbert Götz,
Ulrich Herzog,
Michael Rettelbach:
Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras.
Performance/SIGMETRICS Tutorials 1993: 121-146 |
| 1992 |
| 14 |  | Norbert Götz,
Ulrich Herzog,
Michael Rettelbach:
TIPP - Introduction and Application to Protocol Performance Analysis.
FBT 1992: 105-125 |
| 1990 |
| 13 |  | Ulrich Herzog:
Formal Description, Time and Performance Analysis. A Framework.
Entwurf und Betrieb verteilter Systeme 1990: 172-190 |
| 1988 |
| 12 |  | Ulrich Herzog:
Performance evaluation principles for vector- and multiprocessor systems.
Parallel Computing 7(3): 425-438 (1988) |
| 1987 |
| 11 |  | Ulrich Herzog,
Martin Paterok:
Messung, Modellierung und Bewertung von Rechensystemen, 4. GI/ITG-Fachtagung, Erlangen, 29. September - 1. Oktober 1987, Proceedings
Springer 1987 |
| 10 |  | Ulrich Herzog,
Martin Paterok,
C. Vogel:
Der Einfluß des Wiederholrufeffekts auf die Leistungsgrößen von Verlustsystemen.
MMB 1987: 65-78 |
| 1983 |
| 9 |  | Hansjörg Fromm,
Uwe Hercksen,
Ulrich Herzog,
Karl-Heinz John,
Rainer Klar,
Wolfgang Kleinöder:
Experiences with Performance Measurement and Modeling of a Processor Array.
IEEE Trans. Computers 32(1): 15-31 (1983) |
| 1979 |
| 8 |  | Ulrich Herzog,
W. Hoffmann:
Synchronization Problems in Hierarchically Organized Multiprocessor Computer Systems.
Performance 1979: 29-48 |
| 1977 |
| 7 |  | Werner Bux,
Ulrich Herzog:
Approximation von verteilungsfunktionen, ein wichtiger Schritt bei der Modellbildung für Rechensysteme.
Modelle für Rechensysteme 1977: 1-15 |
| 1975 |
| 6 |  | K. Mani Chandy,
Ulrich Herzog,
Lin S. Woo:
Parametric Analysis of Queuing Networks.
IBM Journal of Research and Development 19(1): 36-42 (1975) |
| 5 |  | K. Mani Chandy,
Ulrich Herzog,
Lin S. Woo:
Approximate Analysis of General Queuing Networks.
IBM Journal of Research and Development 19(1): 43-49 (1975) |
| 4 |  | Ulrich Herzog,
Lin S. Woo,
K. Mani Chandy:
Solution of Queuing Problems by a Recursive Technique.
IBM Journal of Research and Development 19(3): 295-300 (1975) |
| 3 |  | Ulrich Herzog:
Optimal Scheduling Strategies for Real-Time Computers.
IBM Journal of Research and Development 19(5): 494-504 (1975) |
| 1974 |
| 2 |  | Ulrich Herzog,
W. Krämer,
Paul J. Kühn,
M. Wizgall:
Analyse von Betriebssystem- Modellen für Rechnersysteme mit Multiprogramming and Paging.
ARCS 1974: 266-288 |
| 1 |  | Ulrich Herzog:
Message-switching networks with alternate routing.
Elektronische Rechenanlagen 16(5): 174-181 (1974) |