Pieter S. Kritzinger

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)

Coauthor Index

1	Falko Bause	[12] [14]
2	Heinz Beilner	[2]
3	Stanislaw Budkowski	[16]
4	M. Bütow	[13]
5	Ian Davies	[19]
6	Jan R. Engelbrecht	[7]
7	J. W. Graham	[1]
8	Peter G. Harrison	[17] [18]
9	Ulrich Herzog	[15]
10	Heinz Kabutz	[12]
11	Peter Kemper	[12]
12	William J. Knottenbelt	[17] [18] [19]
13	Anthony E. Krzesinski	[3] [4] [5]
14	Jesse Landman	[21]
15	Mark Mestern	[13] [17] [18]
16	Jean-Luc Raffy	[16]
17	Harry Rudin	[7]
18	C. Schapiro	[13]
19	Justin Templemore-Finlayson	[16]
20	Peter Teunissen	[3] [4] [5]
21	Roya Ulrich	[15]
22	Ksenia Wahler (Ksenia Ryndina)	[20]
23	Nico de Wet	[22]
24	Graham Wheeler	[9] [11]

Colors in the list of coauthors