Pieter S. Kritzinger

According to our database1, Pieter S. Kritzinger authored at least 31 papers between 1974 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2011
Traffic-Centric Modeling paradigm for complex wireless systems.
Proceedings of the IFIP Wireless Days Conference 2011, 2011

Traffic-Centric Modelling by IEEE 802.11 DCF Example.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2011

2010
Comparing the results from various performance models of IEEE 802.11g DCF.
Computer Networks, 2010

2009
A hardware test bed for measuring IEEE 802.11g distribution coordination function performance.
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.
South African Computer Journal, 2005

Delay analysis of downlink IP traffic on UMTS mobile networks.
Perform. Eval., 2005

Using UML models for the performance analysis of network systems.
Computer Networks, 2005

2002
Symbolic Methods for the State Space Exploration of GSPN Models.
Proceedings of the Computer Performance Evaluation, 2002

Stochastic Petri nets - an introduction to the theory (2. ed.).
Vieweg, ISBN: 978-3-528-15535-3, 2002

2000
A probabilistic dynamic technique for the distributed generation of very large state spaces.
Perform. Eval., 2000

1998
Stochastic Perti Nets: An Introduction to the Theory.
SIGMETRICS Performance Evaluation Review, 1998

Modeling Buffer Utilization in Cell-Based Networks.
Perform. Eval., 1998

A graphical representation and prototype editor for the Formal Description Technique Estelle.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

Probability, Parallelism and the State Space Exploration Problem.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

1996
Performance Modelling with the Formal Specification Language SDL.
Proceedings of the Formal Description Techniques IX: Theory, 1996

Stochastic Petri nets - an introduction to the theory.
Advanced studies of computer science, Vieweg, ISBN: 978-3-528-05535-6, 1996

1995
SDL and Petri net performance analysis of communicating systems.
Proceedings of the Protocol Specification, 1995

1993
Semi-Markovian Analysis of Protocol Performance.
Proceedings of the Protocol Specification, 1993

1990
A Generalised Analysis of ARQ Protocol Performance in a Multiprocess Environment.
Perform. Eval., 1990

1989
A Protocol Engineering Workstation.
Proceedings of the Formal Description Techniques, 1989

1987
Protocol Performance Using Image Protocols.
Proceedings of the Protocol Specification, 1987

1986
A Performance Model of the OSI Communication Architecture.
IEEE Trans. Communications, 1986

1985
Predicting protocol performance from a meta-implementation.
Proceedings of the Protocol Specification, 1985

1984
SNAPL/1: A language to describe and evaluate queuing network models.
Perform. Eval., 1984

Analyzing the Time Efficiency of a Communication Protocol.
Proceedings of the Protocol Specification, 1984

1982
A generalisation of Norton's theorem for multiclass queueing networks.
Perform. Eval., 1982

1980
Incorporating System Overhead in Queuing Network Models.
IEEE Trans. Software Eng., 1980

A Queuing Model of a Time-Sliced Priority-Driven Task Dispatching Algorithm.
IEEE Trans. Software Eng., 1980

1979
A Queueing Model of a Timesliced Priority Driven Task Dispatching Algorithm.
Proceedings of the Performance of Computer Systems, 1979

1976
Systematic Installation Management (An IMMT Report).
Proceedings of the GI - 6. Jahrestagung, Stuttgart, 29. September, 1976

1974
A Theorem in the Theory of Compromise Merge Methods.
J. ACM, 1974


  Loading...