Research output per year
Research output per year
- 50 - 67 out of 67 results
Search results
-
2003
Model Checking pathCSL
Cloth, L., Haverkort, B., Hermanns, H., Katoen, J.-P., Baier, C., Bobbio, A. (Editor), Deavours, D. (Editor) & Ma, Y. (Editor), 6 Sept 2003, 4 p. Urbana-Champaign : University of Illinois at Urbana-Champaign.Research output: Other contribution
-
2002
A Class-Based Weighted-Fair Queueing Algorithm for WWW Proxy Scheduling
El Abdouni Khayari, R., Sadre, R., Haverkort, B. R. H. M. & Zoschke, N., Aug 2002, 12 p. Int. Soc. for Optial Engineering.Research output: Other contribution
-
Model-checking performability properties
Haverkort, B. R. H. M., Cloth, L., Hermanns, H., Katoen, J. P. & Baier, C., 2002, Washingthon (D.C.), USA : IEEE Computer Press.Research output: Other contribution
62 Citations (Scopus) -
2001
Entwurf, Implementierung und Bewertung eines Kryptographiemoduls fuer Client-Server Handelssysteme
Ehren, S., Ludwig, N., Haverkort, B. R. H. M., El Abdouni Khayari, R., Buhl, H. U. (Editor), Huther, A. (Editor) & Reitweisner, B. (Editor), 2001, 14 p. Heidelberg : Physica-Verlag.Research output: Other contribution
-
Model Checking CSRL-Specified Performability Properties
Haverkort, B. R. H. M., Hermanns, H., Katoen, J.-P., Baier, C., German, R., Lüthi, J. (Editor) & Telek, M. (Editor), 2001, Erlangen : University of Erlangen.Research output: Other contribution
-
2000
On the Logical Characterisation of Performability Properties
Baier, C., Haverkort, B., Hermanns, H., Katoen, J. P., Montanari, U. (Editor), Rolin, J. D. P. (Editor) & Welzl, E. (Editor), Jul 2000, 13 p. Berlin : Springer.Research output: Other contribution
89 Citations (Scopus) -
1995
Approximate Analysis of Networks of PH$....Queues: Theory & Tool Support
Haverkort, B. R. H. M., 13 Feb 1995, 15 p.Research output: Other contribution
-
Efficient Solution of a Class of Infinite Stochastic Petri Nets: Theory and Applications
Haverkort, B. R. H. M., 13 Feb 1995, 10 p. Institute of Electrical and Electronics Engineers ( IEEE ).Research output: Other contribution
-
Performance Evaluation of ATM Switch Architectures using Stochastic Petri Nets
Haverkort, B. R. H. M., Idzenga, H. P. & Kim, B. G., 13 Feb 1995, 20 p.Research output: Other contribution
-
Quality of Service Management in Distributed Systems using Dynamic Routation
Franken, L., Janssen, P., Haverkort, B. R. H. M., van Liempd, G., Raymond, K. (Editor) & Armstrong, L. (Editor), 13 Feb 1995, 12 p. Berlin, Germany : Springer.Research output: Other contribution
-
1993
Performability Modelling Tools and Techniques
Haverkort, B. R. H. M., Trivedi, K. S. & Ramesh, A. V., 25 Mar 1993, Mont Saint-Michel, FranceResearch output: Other contribution
-
Performance Analysis with Matrix Geometric Methods
Haverkort, B. R. H. M., 16 Mar 1993, Melbourne, AustraliaResearch output: Other contribution
-
Some Research Issues in Stochastic Modelling of Computer-Communication Systems
Haverkort, B. R. H. M., 2 Feb 1993, Hahndorf, AustraliaResearch output: Other contribution
-
1992
A method for analyzing the performance aspects of the fault-tolerance mechanisms in FDDI
van Moorsel, A. P. A., Haverkort, B. R. H. M. & Niemegeers, I. G. M. M., 18 May 1992, 10 p. Florence : Institute of Electrical and Electronics Engineers ( IEEE ).Research output: Other contribution
1 Citation (Scopus) -
Sensitivity and Uncertainty Analyses in Performability modelling
Haverkort, B. R. H. M. & Meeuwissen, A. M. H., 17 Oct 1992, 10 p. Houston : Institute of Electrical and Electronics Engineers ( IEEE ).Research output: Other contribution
6 Citations (Scopus) -
1991
A performability modelling tool based on the dynamic queueing network concept
Haverkort, B. R. H. M. & Niemegeers, I. G. M. M., 13 Feb 1991, 15 p. Torino, ItalieResearch output: Other contribution
-
Approximate performability analysis using generalized stochastic petri nets
Haverkort, B. R. H. M., 3 Dec 1991, 10 p. Melbourne, Australie : Institute of Electrical and Electronics Engineers ( IEEE ).Research output: Other contribution
4 Citations (Scopus)