Pieter S. Kritzinger

33 papers B 1C 3Misc 1Journal 16Unranked 10
YearRankTypeTitle / Venue / Authors
2013 J jnl
Demonstrating the Synergy between CAC and Scheduling in Wireless Networks.
Int. J. Model. Simul. Sci. Comput.
Paolo Pileggi, Giuseppe Iazeolla, Pieter S. Kritzinger
2011 — conf
Traffic-Centric Modeling paradigm for complex wireless systems.
Wireless Days
Paolo Pileggi, Pieter S. Kritzinger
2011 — conf
Traffic-Centric Modelling by IEEE 802.11 DCF Example.
ASMTA
Paolo Pileggi, Pieter S. Kritzinger
2010 J jnl
Comparing the results from various performance models of IEEE 802.11g DCF.
Comput. Networks
Pieter S. Kritzinger, Henry Msiska, Tino Mundangepfupfu, Paolo Pileggi, Andrew Symington
2009 B conf
A hardware test bed for measuring IEEE 802.11g distribution coordination function performance.
MASCOTS
Andrew Symington, Pieter S. Kritzinger
2005 J jnl
Analysis of structured use case models through model checking.
South Afr. Comput. J.
Ksenia Ryndina, Pieter S. Kritzinger
2005 J jnl
Delay analysis of downlink IP traffic on UMTS mobile networks.
Perform. Evaluation
Jesse Landman, Pieter S. Kritzinger
2005 J jnl
Using UML models for the performance analysis of network systems.
Comput. Networks
Nico de Wet, Pieter S. Kritzinger
2002 — book
Stochastic Petri nets - an introduction to the theory (2. ed.).
Falko Bause, Pieter S. Kritzinger
2002 — conf
Symbolic Methods for the State Space Exploration of GSPN Models.
Computer Performance Evaluation / TOOLS
Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger
2001 J jnl
Enabling Communication in Developing Regions.
Electron. J. Inf. Syst. Dev. Ctries.
Yakomba Yavwa, Pieter S. Kritzinger
2000 J jnl
A probabilistic dynamic technique for the distributed generation of very large state spaces.
Perform. Evaluation
William J. Knottenbelt, Peter G. Harrison, Mark Mestern, Pieter S. Kritzinger
2000 J jnl
Cellular networks: past, present and future.
XRDS
Lourens O. Walters, Pieter S. Kritzinger
1998 C conf
A graphical representation and prototype editor for the Formal Description Technique Estelle.
FORTE
Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski
1998 J jnl
Modeling Buffer Utilization in Cell-Based Networks.
Perform. Evaluation
Roya Ulrich, Ulrich Herzog, Pieter S. Kritzinger
1998 — conf
Probability, Parallelism and the State Space Exploration Problem.
Computer Performance Evaluation (Tools)
William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter S. Kritzinger
1998 J jnl
Stochastic Perti Nets: An Introduction to the Theory.
SIGMETRICS Perform. Evaluation Rev.
Falko Bause, Pieter S. Kritzinger
1996 C conf
Performance Modelling with the Formal Specification Language SDL.
FORTE
M. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger
1996 — book
Stochastic Petri nets - an introduction to the theory.
Falko Bause, Pieter S. Kritzinger
1995 — conf
SDL and Petri net performance analysis of communicating systems.
PSTV
Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger
1993 — conf
Semi-Markovian Analysis of Protocol Performance.
PSTV
Pieter S. Kritzinger, Graham Wheeler
1990 J jnl
A Generalised Analysis of ARQ Protocol Performance in a Multiprocess Environment.
Perform. Evaluation
Pieter S. Kritzinger
1989 C conf
A Protocol Engineering Workstation.
FORTE
Pieter S. Kritzinger, Graham Wheeler
1987 — conf
Protocol Performance Using Image Protocols.
PSTV
Pieter S. Kritzinger
1985 — conf
Predicting protocol performance from a meta-implementation.
PSTV
Jan R. Engelbrecht, Pieter S. Kritzinger, Harry Rudin
1984 — conf
Analyzing the Time Efficiency of a Communication Protocol.
PSTV
Pieter S. Kritzinger
1984 J jnl
SNAPL/1: A language to describe and evaluate queuing network models.
Perform. Evaluation
M. Booyens, Pieter S. Kritzinger
1982 J jnl
A generalisation of Norton's theorem for multiclass queueing networks.
Perform. Evaluation
Pieter S. Kritzinger, S. van Wyk, Anthony E. Krzesinski
1980 J jnl
A Queuing Model of a Time-Sliced Priority-Driven Task Dispatching Algorithm.
IEEE Trans. Software Eng.
Pieter S. Kritzinger, Anthony E. Krzesinski, Peter Teunissen
1980 J jnl
Incorporating System Overhead in Queuing Network Models.
IEEE Trans. Software Eng.
Pieter S. Kritzinger, Anthony E. Krzesinski, Peter Teunissen
1979 Misc conf
A Queueing Model of a Timesliced Priority Driven Task Dispatching Algorithm.
Performance
Pieter S. Kritzinger, Anthony E. Krzesinski, Peter Teunissen
1976 — conf
Systematic Installation Management (An IMMT Report).
GI Jahrestagung
Heinz Beilner, Pieter S. Kritzinger
1974 J jnl
A Theorem in the Theory of Compromise Merge Methods.
J. ACM
Pieter S. Kritzinger, J. W. Graham