Ulrich Herzog

Publication Activity (10 Years)

Years Active: 1974-2002
Publications (10 Years): 0

University of Stuttgart, Germany (PHD)

Education History

University of Stuttgart, Germany

PHD

Publications

Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen
Process algebra for performance evaluation. Theor. Comput. Sci. 274 (1-2) (2002)
Roberto Gorrieri, Ulrich Herzog, Jane Hillston
Unified specification and performance evaluation using stochastic process algebras. Perform. Evaluation 50 (2/3) (2002)
Ulrich Herzog, Jerome A. Rolia
Performance validation tools for software/hardware systems. Perform. Evaluation 45 (2-3) (2001)
Ulrich Herzog
Formal Methods for Performance Evaluation. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
Compositional performance modelling with the TIPPtool. Perform. Evaluation 39 (1-4) (2000)
Ulrich Herzog
Process algebras are getting mature for performance evaluation?! SIGMETRICS Perform. Evaluation Rev. 27 (3) (1999)
Roya Ulrich, Ulrich Herzog, Pieter S. Kritzinger
Modeling Buffer Utilization in Cell-Based Networks. Perform. Evaluation 31 (3-4) (1998)
Ulrich Herzog
Kompositioneller Entwurf mit Stochastischen Prozeßalgebren. FBT (1998)
Ulrich Herzog
Stochastic Process Algebras Benefits for Performance Evaluation and Challenges (Extended Abstract). CONCUR (1998)
Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
Compositional Performance Modelling with TIPPtool. Computer Performance Evaluation (Tools) (1998)
Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis
Stochastic Process Algebras - Between LOTOS and Markov Chains. Comput. Networks 30 (9-10) (1998)
Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach
Exploiting stochastic process algebra achievements for generalized stochastic Petri nets. PNPM (1997)
Martin Paterok, Peter Dauphin, Ulrich Herzog
The Mothod of Moments for Higher Moments and the Usefulness of Formula Manipulation Systems. MMB (1995)
Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach
Stochastic process algebras: integrating qualitative and quantitative modelling. FORTE (1994)
Ulrich Herzog
Constructive modelling and design basic research within the European QMIPS-project. PNPM (1993)
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)
Norbert Götz, Ulrich Herzog, Michael Rettelbach
TIPP - Introduction and Application to Protocol Performance Analysis. FBT (1992)
Ulrich Herzog
Formal Description, Time and Performance Analysis. A Framework. Entwurf und Betrieb verteilter Systeme (1990)
Ulrich Herzog
Leistungsbewertung und Modellbildung für Parallelrechner. it Inf. Technol. 31 (1) (1989)
Ulrich Herzog
Performance evaluation principles for vector- and multiprocessor systems. Parallel Comput. 7 (3) (1988)
Ulrich Herzog, Martin Paterok, C. Vogel
Der Einfluß des Wiederholrufeffekts auf die Leistungsgrößen von Verlustsystemen. MMB (1987)
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) (1983)
Ulrich Herzog, W. Hoffmann
Synchronization Problems in Hierarchically Organized Multiprocessor Computer Systems. Performance (1979)
Werner Bux, Ulrich Herzog
Approximation von verteilungsfunktionen, ein wichtiger Schritt bei der Modellbildung für Rechensysteme. Modelle für Rechensysteme (1977)
Ulrich Herzog
Optimal Scheduling Strategies for Real-Time Computers. IBM J. Res. Dev. 19 (5) (1975)
Ulrich Herzog, Lin S. Woo, K. Mani Chandy
Solution of Queuing Problems by a Recursive Technique. IBM J. Res. Dev. 19 (3) (1975)
K. Mani Chandy, Ulrich Herzog, Lin S. Woo
Parametric Analysis of Queuing Networks. IBM J. Res. Dev. 19 (1) (1975)
K. Mani Chandy, Ulrich Herzog, Lin S. Woo
Approximate Analysis of General Queuing Networks. IBM J. Res. Dev. 19 (1) (1975)
Ulrich Herzog
Message-switching networks with alternate routing. Elektron. Rechenanlagen 16 (5) (1974)
Ulrich Herzog, W. Krämer, Paul J. Kühn, M. Wizgall
Analyse von Betriebssystem- Modellen für Rechnersysteme mit Multiprogramming and Paging. ARCS (1974)

Ulrich Herzog.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Ulrich Herzog