Pieter S. Kritzinger

According to our database, Pieter S. Kritzinger authored at least 34 papers between 1974 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Demonstrating the Synergy between CAC and Scheduling in Wireless Networks.

Paolo Pileggi, Giuseppe Iazeolla, Pieter S. Kritzinger

Int. J. Model. Simul. Sci. Comput., 2013

2011

Traffic-Centric Modeling paradigm for complex wireless systems.

Paolo Pileggi, Pieter S. Kritzinger

Proceedings of the IFIP Wireless Days Conference 2011, 2011

Traffic-Centric Modelling by IEEE 802.11 DCF Example.

Paolo Pileggi, Pieter S. Kritzinger

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2011

2010

Comparing the results from various performance models of IEEE 802.11g DCF.

Pieter S. Kritzinger, Henry Msiska, Tino Mundangepfupfu, Paolo Pileggi, Andrew Symington

Comput. Networks, 2010

2009

A hardware test bed for measuring IEEE 802.11g distribution coordination function performance.

Andrew Symington, Pieter S. Kritzinger

Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

2005

Analysis of structured use case models through model checking.

Ksenia Ryndina, Pieter S. Kritzinger

South Afr. Comput. J., 2005

Delay analysis of downlink IP traffic on UMTS mobile networks.

Jesse Landman, Pieter S. Kritzinger

Perform. Evaluation, 2005

Using UML models for the performance analysis of network systems.

Nico de Wet, Pieter S. Kritzinger

Comput. Networks, 2005

2002

Symbolic Methods for the State Space Exploration of GSPN Models.

Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger

Proceedings of the Computer Performance Evaluation, 2002

Stochastic Petri nets - an introduction to the theory (2. ed.).

Falko Bause, Pieter S. Kritzinger

Vieweg, ISBN: 978-3-528-15535-3, 2002

2001

Enabling Communication in Developing Regions.

Yakomba Yavwa, Pieter S. Kritzinger

Electron. J. Inf. Syst. Dev. Ctries., 2001

2000

A probabilistic dynamic technique for the distributed generation of very large state spaces.

William J. Knottenbelt, Peter G. Harrison, Mark Mestern, Pieter S. Kritzinger

Perform. Evaluation, 2000

Cellular networks: past, present and future.

Lourens O. Walters, Pieter S. Kritzinger

XRDS, 2000

1998

Stochastic Perti Nets: An Introduction to the Theory.

Falko Bause, Pieter S. Kritzinger

SIGMETRICS Perform. Evaluation Rev., 1998

Modeling Buffer Utilization in Cell-Based Networks.

Roya Ulrich, Ulrich Herzog, Pieter S. Kritzinger

Perform. Evaluation, 1998

A graphical representation and prototype editor for the Formal Description Technique Estelle.

Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

Probability, Parallelism and the State Space Exploration Problem.

William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter S. Kritzinger

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

1996

Performance Modelling with the Formal Specification Language SDL.

M. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger

Proceedings of the Formal Description Techniques IX: Theory, 1996

Stochastic Petri nets - an introduction to the theory.

Falko Bause, Pieter S. Kritzinger

Advanced studies of computer science, Vieweg, ISBN: 978-3-528-05535-6, 1996

1995

SDL and Petri net performance analysis of communicating systems.

Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger

Proceedings of the Protocol Specification, 1995

1993

Semi-Markovian Analysis of Protocol Performance.

Pieter S. Kritzinger, Graham Wheeler

Proceedings of the Protocol Specification, 1993

1990

A Generalised Analysis of ARQ Protocol Performance in a Multiprocess Environment.

Pieter S. Kritzinger

Perform. Evaluation, 1990

1989

A Protocol Engineering Workstation.

Pieter S. Kritzinger, Graham Wheeler

Proceedings of the Formal Description Techniques, 1989

1987

Protocol Performance Using Image Protocols.

Pieter S. Kritzinger

Proceedings of the Protocol Specification, 1987

1986

A Performance Model of the OSI Communication Architecture.

Pieter Steijnberg Kritzinger

IEEE Trans. Commun., 1986

1985

Predicting protocol performance from a meta-implementation.

Jan R. Engelbrecht, Pieter S. Kritzinger, Harry Rudin

Proceedings of the Protocol Specification, 1985

1984

SNAPL/1: A language to describe and evaluate queuing network models.

M. Booyens, Pieter S. Kritzinger

Perform. Evaluation, 1984

Analyzing the Time Efficiency of a Communication Protocol.

Pieter S. Kritzinger

Proceedings of the Protocol Specification, 1984

1982

A generalisation of Norton's theorem for multiclass queueing networks.

Pieter S. Kritzinger, S. van Wyk, Anthony E. Krzesinski

Perform. Evaluation, 1982

1980

Incorporating System Overhead in Queuing Network Models.

Pieter S. Kritzinger, Anthony E. Krzesinski, Peter Teunissen

IEEE Trans. Software Eng., 1980

A Queuing Model of a Time-Sliced Priority-Driven Task Dispatching Algorithm.

Pieter S. Kritzinger, Anthony E. Krzesinski, Peter Teunissen

IEEE Trans. Software Eng., 1980

1979

A Queueing Model of a Timesliced Priority Driven Task Dispatching Algorithm.

Pieter S. Kritzinger, Anthony E. Krzesinski, Peter Teunissen

Proceedings of the Performance of Computer Systems, 1979

1976

Systematic Installation Management (An IMMT Report).

Heinz Beilner, Pieter S. Kritzinger

Proceedings of the GI - 6. Jahrestagung, Stuttgart, 29. September, 1976

1974

A Theorem in the Theory of Compromise Merge Methods.

Pieter S. Kritzinger, J. W. Graham

J. ACM, 1974