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 | EE | 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 | EE | 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 | EE | Ulrich Herzog:
Process algebras are getting mature for performance evaluation?!
SIGMETRICS Performance Evaluation Review 27(3): 15-18 (1999) |
1998 |
22 | EE | Ulrich Herzog:
Stochastic Process Algebras Benefits for Performance Evaluation and Challenges (Extended Abstract).
CONCUR 1998: 366-372 |
21 | EE | 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 | EE | 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 | EE | 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) |