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