2005 |
22 | EE | Nico de Wet,
Pieter S. Kritzinger:
Using UML models for the performance analysis of network systems.
Computer Networks 49(5): 627-642 (2005) |
21 | EE | Jesse Landman,
Pieter S. Kritzinger:
Delay analysis of downlink IP traffic on UMTS mobile networks.
Perform. Eval. 62(1-4): 68-82 (2005) |
20 | | Ksenia Ryndina,
Pieter S. Kritzinger:
Analysis of structured use case models through model checking.
South African Computer Journal 35: 84-96 (2005) |
2002 |
19 | EE | Ian Davies,
William J. Knottenbelt,
Pieter S. Kritzinger:
Symbolic Methods for the State Space Exploration of GSPN Models.
Computer Performance Evaluation / TOOLS 2002: 188-199 |
2000 |
18 | | William J. Knottenbelt,
Peter G. Harrison,
Mark Mestern,
Pieter S. Kritzinger:
A probabilistic dynamic technique for the distributed generation of very large state spaces.
Perform. Eval. 39(1-4): 127-148 (2000) |
1998 |
17 | EE | William J. Knottenbelt,
Mark Mestern,
Peter G. Harrison,
Pieter S. Kritzinger:
Probability, Parallelism and the State Space Exploration Problem.
Computer Performance Evaluation (Tools) 1998: 165-179 |
16 | | Justin Templemore-Finlayson,
Pieter S. Kritzinger,
Jean-Luc Raffy,
Stanislaw Budkowski:
A graphical representation and prototype editor for the Formal Description Technique Estelle.
FORTE 1998: 37-55 |
15 | | Roya Ulrich,
Ulrich Herzog,
Pieter S. Kritzinger:
Modeling Buffer Utilization in Cell-Based Networks.
Perform. Eval. 31(3-4): 183-199 (1998) |
14 | EE | Falko Bause,
Pieter S. Kritzinger:
Stochastic Perti Nets: An Introduction to the Theory.
SIGMETRICS Performance Evaluation Review 26(2): 2-3 (1998) |
1996 |
13 | | M. Bütow,
Mark Mestern,
C. Schapiro,
Pieter S. Kritzinger:
Performance Modelling with the Formal Specification Language SDL.
FORTE 1996: 213-228 |
1995 |
12 | | Falko Bause,
Heinz Kabutz,
Peter Kemper,
Pieter S. Kritzinger:
SDL and Petri net performance analysis of communicating systems.
PSTV 1995: 269-282 |
1993 |
11 | | Pieter S. Kritzinger,
Graham Wheeler:
Semi-Markovian Analysis of Protocol Performance.
PSTV 1993: 159-172 |
1990 |
10 | | Pieter S. Kritzinger:
A Generalised Analysis of ARQ Protocol Performance in a Multiprocess Environment.
Perform. Eval. 11(1): 31-44 (1990) |
1989 |
9 | | Pieter S. Kritzinger,
Graham Wheeler:
A Protocol Engineering Workstation.
FORTE 1989: 53-59 |
1987 |
8 | | Pieter S. Kritzinger:
Protocol Performance Using Image Protocols.
PSTV 1987: 321-335 |
1985 |
7 | | Jan R. Engelbrecht,
Pieter S. Kritzinger,
Harry Rudin:
Predicting protocol performance from a meta-implementation.
PSTV 1985: 349-362 |
1984 |
6 | | Pieter S. Kritzinger:
Analyzing the Time Efficiency of a Communication Protocol.
PSTV 1984: 527-539 |
1980 |
5 | | Pieter S. Kritzinger,
Anthony E. Krzesinski,
Peter Teunissen:
A Queuing Model of a Time-Sliced Priority-Driven Task Dispatching Algorithm.
IEEE Trans. Software Eng. 6(2): 219-225 (1980) |
4 | | Pieter S. Kritzinger,
Anthony E. Krzesinski,
Peter Teunissen:
Incorporating System Overhead in Queuing Network Models.
IEEE Trans. Software Eng. 6(4): 381-390 (1980) |
1979 |
3 | | Pieter S. Kritzinger,
Anthony E. Krzesinski,
Peter Teunissen:
A Queueing Model of a Timesliced Priority Driven Task Dispatching Algorithm.
Performance 1979: 473-486 |
1976 |
2 | | Heinz Beilner,
Pieter S. Kritzinger:
Systematic Installation Management (An IMMT Report).
GI Jahrestagung 1976: 412-426 |
1974 |
1 | EE | Pieter S. Kritzinger,
J. W. Graham:
A Theorem in the Theory of Compromise Merge Methods.
J. ACM 21(1): 157-160 (1974) |