DoCS PhD and Licentiate theses

All PhD theses and most licentiate theses can be ordered from the Department of Computer Systems, Box 325, SE-751 05 Uppsala, Sweden. Some theses can be fetched directly by following the hyperlinks below.

02/119

Thiemo Voigt.
Architectures for Service Differentiation in Overloaded Internet Servers.
PhD thesis, Department of Computer Systems, Uppsala University, May 2002.
Available as report DoCS 02/119.

01/118

Björn Knutsson.
Architectures for Application Transparent Proxies: A Study of Network Enhancing Software.
PhD thesis, Department of Computer Systems, Uppsala University, May 2001.
Available as report DoCS 01/118.

00/117

Mikael Sjödin.
http://www.docs.uu.se/~mic/thesis.html">Predictable High-Speed Communications for Distributed Real-Time Systems.
PhD thesis, Department of Computer Systems, Uppsala University, May 2000.
Available as report DoCS 00/117.

00/116

Jakob Carlström.
Reinforcement Learning for Admission Control and Routing.
PhD thesis, Department of Computer Systems, Uppsala University, May 2000.
Available as report DoCS 00/116.

00/115

Jan Gustafsson.
Analyzing Execution-Time of Object-Oriented Programs Using Abstract Interpretation.
PhD thesis, Department of Computer Systems, Uppsala University, May 2000.
Available as report DoCS 00/115.

00/114

Kristina Lundqvist.
Distributed Computing and Safety Critical Systems in Ada.
PhD thesis, Department of Computer Systems, Uppsala University, April 2000.
Available as report DoCS 00/114.

113

Thiemo Voigt.
Providing Quality of Service Guarantees to Networked Applications Using the Nemesis Operating System.
Licentiate thesis, Department of Computer Systems, Uppsala University, November 1999.
Available as report DoCS 113.

112

Daniel Häggander.
Software Design when Migrating to Multiprocessors.
Licentiate thesis, Department of Computer Systems, Uppsala University, November 1999.
Available as report DoCS 112.

99/110

Mats Kindahl.
Verification of Infinite State Systems: Decision Problems and Efficient Algorithms.
PhD thesis, Department of Computer Systems, Uppsala University, June 1999.
Available as report DoCS 99/110.

104

Björn Knutsson.
http://www.docs.uu.se/~bjorn/lic.html">Improving Computer Communication and Operating System Performance by Utilizing Domain Specific Knowledge.
Licentiate thesis, Department of Computer Systems, Uppsala University, January 1999.
Available as report DoCS 104.

99/101

Paul Pettersson.
http://www.docs.uu.se/~paupet/thesis.shtml">Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice.
PhD thesis, Department of Computer Systems, Uppsala University, February 1999.
Available as report DoCS 99/101.

98/100

Ernst Nordström.
Markov Decision Problems in ATM Traffic Control.
PhD thesis, Department of Computer Systems, Uppsala University, December 1998.
Available as report DoCS 98/100.

98/98

Björn Victor.
http://www.docs.uu.se/~victor/thesis.shtml">The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes.
PhD thesis, Department of Computer Systems, Uppsala University, June 1998.
Available as report DoCS 98/98.

97/92

Mikael Sjödin.
Response-Time Analysis for ATM Networks.
Licentiate thesis, Department of Computer Systems, Uppsala University, May 1997.
Available as report DoCS 97/92.

97/91

Mats Kindahl.
Results on the Decidability of Simulation and Bisimulation for Lossy Channel Systems.
Licentiate thesis, Department of Computer Systems, Uppsala University, May 1997.
Available as report DoCS 97/91.

97/90

Jakob Carlström.
Reinforcement Learning and Neural Networks for ATM Connection Admission Control.
Licentiate thesis, Department of Computer Systems, Uppsala University, May 1997.
Available as report DoCS 97/90.

97/84

Kristina Lundqvist.
Distribution of Ada by Means of Software and Hardware.
Licentiate thesis, Department of Computer Systems, Uppsala University, 1997.
Available as report DoCS 97/84.

97/83

Göran Wall.
Performance Analysis and Communication Models for Ada Programs.
Licentiate thesis, Department of Computer Systems, Uppsala University, 1997.
Available as report DoCS 97/83.

97/80

Bengt Ahlgren.
Improving Computer Communication Performance by Reducing Memory Bandwidth Consumption.
PhD thesis, Department of Computer Systems, Uppsala University, March 1997.
Available as report DoCS 97/80. Also as SICS Dissertation Series 24.

96/70

Lars Björnfot.
Specification and Implementation of Distributed Real-Time Systems for Embedded Applications.
PhD thesis, Department of Computer Systems, Uppsala University, 1996.
Available as report DoCS 96/70.

95/64

Olle Gällmo.
Learning Issues in Artificial Neural Networks for ATM Traffic Control.
Licentiate thesis, Department of Computer Systems, Uppsala University, 1995.
Available as report DoCS 95/64.

94/50

Björn Victor.
http://www.docs.uu.se/~victor/tr/docs-tr-94-50.html">A Verification Tool for the Polyadic -Calculus.
Licentiate thesis, Department of Computer Systems, Uppsala University, 1994.
Available as report DoCS 94/50.

94/49

Lars åke Fredlund.
The Timing and Probability Workbench: A Tool for Analysing Timed Processes.
Licentiate thesis, Department of Computer Systems, Uppsala University, 1994.
Available as report DoCS 94/49.

94/46

Fredrik Orava.
On the Formal Analysis of Telecommunication Protocols.
PhD thesis, Department of Computer Systems, Uppsala University, 1994.
Available as report DoCS 94/46.

93/40

Mats Björkman.
Architectures for high performance communication.
PhD thesis, Department of Computer Systems, Uppsala University, 1993.
Available as report DoCS 93/40.

93/37

Linda Christoff.
Specification and Verification Methods for Probabilistic Processes.
PhD thesis, Department of Computer Systems, Uppsala University, 1993.
Available as report DoCS 93/37.

91/31

Peter Sjödin.
From LOTOS specifications to distributed implementations.
PhD thesis, Department of Computer Systems, Uppsala University, 1991.
Available as report DoCS 91/31.

91/27

Hans A. Hansson.
Time and probability in formal design of distributed systems.
PhD thesis, Department of Computer Systems, Uppsala University, 1991.
Available as report DoCS 91/27.

90/22

Ivan Christoff.
Testing Equivalences for Probabilistic Processes.
PhD thesis, Department of Computer Systems, Uppsala University, 1990.
Available as report DoCS 90/22.

90/21

Parosh A. Abdulla.
Decision problems in systolic circuit verification.
PhD thesis, Department of Computer Systems, Uppsala University, 1990.
Available as report DoCS 90/21.

89/20

Mats Björkman.
Finding and eliminating bottlenecks in protocol implementations.
Licentiate thesis, Department of Computer Systems, Uppsala University, 1989.
Available as report DoCS 89/20.

89/17

Erik Nordmark.
A study of the performance of computer communication protocols.
Licentiate thesis, Department of Computer Systems, Uppsala University, 1989.
Available as report DoCS 89/17.

88/15

Fredrik Orava.
Specification and verification in SDL.
Licentiate thesis, Department of Computer Systems, Uppsala University, 1988.
Available as report DoCS 88/15.

87/09

Bengt Jonsson.
Compositional verification of distributed systems.
PhD thesis, Department of Computer Systems, Uppsala University, 1987.
Available as report DoCS 87/09.

87/08

Ivan Christoff.
Methods for protocol implementation testing.
Licentiate thesis, Department of Computer Systems, Uppsala University, 1987.
Available as report DoCS 87/08.

85/03

Joachim Parrow.
Fairness properties in process algebra with applications in communication protocol verification.
PhD thesis, Department of Computer Systems, Uppsala University, 1985.
Available as report DoCS 85/03.

85/02

Mats Daniels.
Asyl/EFSM a language for specification of protocols and computers.
Licentiate thesis, Department of Computer Systems, Uppsala University, 1985.
Available as report DoCS 85/02.