dblp.uni-trier.dewww.uni-trier.de

Pieter S. Kritzinger Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2005
22EENico de Wet, Pieter S. Kritzinger: Using UML models for the performance analysis of network systems. Computer Networks 49(5): 627-642 (2005)
21EEJesse 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
19EEIan 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
17EEWilliam 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)
14EEFalko 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
1EEPieter S. Kritzinger, J. W. Graham: A Theorem in the Theory of Compromise Merge Methods. J. ACM 21(1): 157-160 (1974)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)