| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen |
Process algebra for performance evaluation.  |
Theor. Comput. Sci.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Ulrich Herzog, Jane Hillston |
Unified specification and performance evaluation using stochastic process algebras. |
Perform. Eval. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Herzog, Jerome A. Rolia |
Performance validation tools for software/hardware systems. |
Perform. Eval. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle |
Compositional performance modelling with the TIPPtool. |
Perform. Eval. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Herzog |
Formal Methods for Performance Evaluation. |
European Educational Forum: School on Formal Methods and Performance Analysis |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Herzog |
Process algebras are getting mature for performance evaluation?! |
SIGMETRICS Performance Evaluation Review |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roya Ulrich, Ulrich Herzog, Pieter S. Kritzinger |
Modeling Buffer Utilization in Cell-Based Networks. |
Perform. Eval. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis |
Stochastic Process Algebras - Between LOTOS and Markov Chains. |
Computer Networks |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Herzog |
Stochastic Process Algebras Benefits for Performance Evaluation and Challenges (Extended Abstract). |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle |
Compositional Performance Modelling with TIPPtool. |
Computer Performance Evaluation (Tools) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Herzog |
Kompositioneller Entwurf mit Stochastischen Prozeßalgebren. |
FBT |
1998 |
DBLP BibTeX RDF |
|
| 1 | Martin Paterok, Peter Dauphin, Ulrich Herzog |
The Mothod of Moments for Higher Moments and the Usefulness of Formula Manipulation Systems. |
MMB |
1995 |
DBLP DOI BibTeX RDF |
queueing theory, computer algebra, method of moments |
| 1 | Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach |
Stochastic process algebras: integrating qualitative and quantitative modelling. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Götz, Ulrich Herzog, Michael Rettelbach |
TIPP - Introduction and Application to Protocol Performance Analysis. |
FBT |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Herzog |
Formal Description, Time and Performance Analysis. A Framework. |
Entwurf und Betrieb verteilter Systeme |
1990 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Herzog |
Performance evaluation principles for vector- and multiprocessor systems. |
Parallel Computing |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Herzog, Martin Paterok (eds.) |
Messung, Modellierung und Bewertung von Rechensystemen, 4. GI/ITG-Fachtagung, Erlangen, 29. September - 1. Oktober 1987, Proceedings |
MMB |
1987 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Herzog, Martin Paterok, C. Vogel |
Der Einfluß des Wiederholrufeffekts auf die Leistungsgrößen von Verlustsystemen. |
MMB |
1987 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Herzog, W. Hoffmann |
Synchronization Problems in Hierarchically Organized Multiprocessor Computer Systems. |
Performance |
1979 |
DBLP BibTeX RDF |
|
| 1 | Werner Bux, Ulrich Herzog |
Approximation von verteilungsfunktionen, ein wichtiger Schritt bei der Modellbildung für Rechensysteme. |
Modelle für Rechensysteme |
1977 |
DBLP BibTeX RDF |
|
| 1 | K. Mani Chandy, Ulrich Herzog, Lin S. Woo |
Approximate Analysis of General Queuing Networks. |
IBM Journal of Research and Development |
1975 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Herzog |
Optimal Scheduling Strategies for Real-Time Computers. |
IBM Journal of Research and Development |
1975 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Herzog, Lin S. Woo, K. Mani Chandy |
Solution of Queuing Problems by a Recursive Technique. |
IBM Journal of Research and Development |
1975 |
DBLP BibTeX RDF |
|
| 1 | K. Mani Chandy, Ulrich Herzog, Lin S. Woo |
Parametric Analysis of Queuing Networks. |
IBM Journal of Research and Development |
1975 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Herzog |
Message-switching networks with alternate routing. |
Elektronische Rechenanlagen |
1974 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Herzog, W. Krämer, Paul J. Kühn, M. Wizgall |
Analyse von Betriebssystem- Modellen für Rechnersysteme mit Multiprogramming and Paging. |
ARCS |
1974 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")