Ulrich Herzog

32 papers B 1C 1Misc 1Journal 15Unranked 12
YearRankTypeTitle / Venue / Authors
2002 J jnl
Process algebra for performance evaluation.
Theor. Comput. Sci.
Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen
2002 J jnl
Unified specification and performance evaluation using stochastic process algebras.
Perform. Evaluation
Roberto Gorrieri, Ulrich Herzog, Jane Hillston
2001 J jnl
Performance validation tools for software/hardware systems.
Perform. Evaluation
Ulrich Herzog, Jerome A. Rolia
2000 J jnl
Compositional performance modelling with the TIPPtool.
Perform. Evaluation
Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
2000 — conf
Formal Methods for Performance Evaluation.
European Educational Forum: School on Formal Methods and Performance Analysis
Ulrich Herzog
1999 J jnl
Process algebras are getting mature for performance evaluation?!
SIGMETRICS Perform. Evaluation Rev.
Ulrich Herzog
1998 — conf
Compositional Performance Modelling with TIPPtool.
Computer Performance Evaluation (Tools)
Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
1998 — conf
Kompositioneller Entwurf mit Stochastischen Prozeßalgebren.
FBT
Ulrich Herzog
1998 J jnl
Modeling Buffer Utilization in Cell-Based Networks.
Perform. Evaluation
Roya Ulrich, Ulrich Herzog, Pieter S. Kritzinger
1998 J jnl
Stochastic Process Algebras - Between LOTOS and Markov Chains.
Comput. Networks
Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis
1998 B conf
Stochastic Process Algebras Benefits for Performance Evaluation and Challenges (Extended Abstract).
CONCUR
Ulrich Herzog
1997 — conf
Exploiting stochastic process algebra achievements for generalized stochastic Petri nets.
PNPM
Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach
1995 — conf
The Mothod of Moments for Higher Moments and the Usefulness of Formula Manipulation Systems.
MMB
Martin Paterok, Peter Dauphin, Ulrich Herzog
1994 C conf
Stochastic process algebras: integrating qualitative and quantitative modelling.
FORTE
Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach
1993 — conf
Constructive modelling and design basic research within the European QMIPS-project.
PNPM
Ulrich Herzog
1993 — conf
Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras.
Performance/SIGMETRICS Tutorials
Norbert Götz, Ulrich Herzog, Michael Rettelbach
1992 — conf
TIPP - Introduction and Application to Protocol Performance Analysis.
FBT
Norbert Götz, Ulrich Herzog, Michael Rettelbach
1990 — conf
Formal Description, Time and Performance Analysis. A Framework.
Entwurf und Betrieb verteilter Systeme
Ulrich Herzog
1989 J jnl
Leistungsbewertung und Modellbildung für Parallelrechner.
it Inf. Technol.
Ulrich Herzog
1988 J jnl
Performance evaluation principles for vector- and multiprocessor systems.
Parallel Comput.
Ulrich Herzog
1987 — conf
Der Einfluß des Wiederholrufeffekts auf die Leistungsgrößen von Verlustsystemen.
MMB
Ulrich Herzog, Martin Paterok, C. Vogel
1987 — ed.
Messung, Modellierung und Bewertung von Rechensystemen, 4. GI/ITG-Fachtagung, Erlangen, 29. September - 1. Oktober 1987, Proceedings
MMB
Ulrich Herzog, Martin Paterok
1983 J jnl
Experiences with Performance Measurement and Modeling of a Processor Array.
IEEE Trans. Computers
Hansjörg Fromm, Uwe Hercksen, Ulrich Herzog, Karl-Heinz John, Rainer Klar, Wolfgang Kleinöder
1979 Misc conf
Synchronization Problems in Hierarchically Organized Multiprocessor Computer Systems.
Performance
Ulrich Herzog, Werner Hoffmann
1977 — conf
Approximation von verteilungsfunktionen, ein wichtiger Schritt bei der Modellbildung für Rechensysteme.
Modelle für Rechensysteme
Werner Bux, Ulrich Herzog
1975 J jnl
Approximate Analysis of General Queuing Networks.
IBM J. Res. Dev.
K. Mani Chandy, Ulrich Herzog, Lin S. Woo
1975 J jnl
Optimal Scheduling Strategies for Real-Time Computers.
IBM J. Res. Dev.
Ulrich Herzog
1975 J jnl
Parametric Analysis of Queuing Networks.
IBM J. Res. Dev.
K. Mani Chandy, Ulrich Herzog, Lin S. Woo
1975 J jnl
Solution of Queuing Problems by a Recursive Technique.
IBM J. Res. Dev.
Ulrich Herzog, Lin S. Woo, K. Mani Chandy
1974 — conf
Analyse von Betriebssystem- Modellen für Rechnersysteme mit Multiprogramming and Paging.
ARCS
Ulrich Herzog, W. Krämer, Paul J. Kühn, M. Wizgall
1974 J jnl
Message-switching networks with alternate routing.
Elektron. Rechenanlagen
Ulrich Herzog
1973 — —
Verkehrsfluss in Datennetzen: Traffic flow in data networks.
Ulrich Herzog