Theses at ASTEC

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.