line

Theses at ASTEC

in revesed chronological order
Jan Gustafsson, PhD Thesis
Worst Case Execution Time Analysis Using Abstract Interpretation
Mälardalen University and Uppsala University
Dissertation: May 8, 2000
Paul Pettersson , PhD Thesis
Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice
Dissertation: February 19, 1999
Dirk Auchter, Master of Science Thesis
Tool Support for Requirements Engineering: Applying the ARENA Methodology
Dissertation: April 1997,
ASTEC Technical report 97/05, Uppsala University.


Per Larsson, Master of Science Thesis
Ett effektivt bevissystem för S4.
Institutionen för teoretisk filosofi, Stockholms Universitet,
Dissertation: 1996.
Supervisor: G. Stålmarck.
Hans Börjesson, Master of Science Thesis
Incorporating Worst Case Execution Time in a Commercial C-compiler
Dissertation: December 1995,
Department of Computer Systems (DoCS) Technical report 95/69, Uppsala University.

Jakob Engblom, Master of Science Thesis
Worst-Case
Execution Time Analysis for Optimized Code
Dissertation: December 1995,
Department of Computer Systems (DoCS) Technical report 97/94, Uppsala University.
line
Updated 27-Apr-2006 17:09 by Roland Grönroos
e-mail: info -at- astec.uu.se    Location: http://www.astec.uu.se/astec/Reports/thesis.shtml