The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pieter S. Kritzinger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Pieter S. Kritzinger, Graham Wheeler
    A Protocol Engineering Workstation. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:53-59 [Conf]
  5. 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]
  6. Heinz Beilner, Pieter S. Kritzinger
    Systematic Installation Management (An IMMT Report). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1976, pp:412-426 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. Pieter S. Kritzinger
    Analyzing the Time Efficiency of a Communication Protocol. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:527-539 [Conf]
  11. Pieter S. Kritzinger
    Protocol Performance Using Image Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:321-335 [Conf]
  12. Pieter S. Kritzinger, Graham Wheeler
    Semi-Markovian Analysis of Protocol Performance. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:159-172 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]

  23. A hardware test bed for measuring IEEE 802.11g distribution coordination function performance. [Citation Graph (, )][DBLP]


  24. Comparing the results from various performance models of IEEE 802.11g DCF. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002