Projects

This is the projects that I have written -- in collaboration with others -- during my education at Aalborg University. The most recent projects are listed first. Click on a title to download it.

Computer science projects (M.Sc.)

• Modular Execution Time Analysis using Model Checking (METAMOC)
  Info: My master thesis, co-authored with Andreas Engelbredt Dalsgaard and Mads Chr. Olesen. The source code written for the thesis is available at metamoc.martintoft.dk.
  Semester: DAT6 (spring 2009)
  Language: English

• WCET Analysis of ARM Processors using Real-Time Model Checking
  Info: Extended abstract accepted for the SSV 2009 Doctoral Symposium which was held during the Fourth International Workshop on Systems Software Verification (SSV 09), Aachen, Germany, June 22-24, 2009.
  Semester: DAT6 (spring 2009)
  Language: English

• Pipeline Analysis using Model Checking
  Info: Small teaser for our project presentation given at the DaNES Mini Case Event, Mads Clausen Institute, Sønderborg, March 12-13, 2009.
  Semester: DAT6 (spring 2009)
  Language: English

• Worst-Case Execution Time Analysis for Real-Time Systems
  Semester: DAT5 (autumn 2008)
  Language: English

Math projects (my subsidiary)

• Communication through Noisy Channels
  Semester: MAT2 (spring 2008)
  Language: Danish

• Dynamic Systems -- Iteration and Approximation
  Semester: MAT1 (autumn 2007)
  Language: Danish

Computer science projects (B.Sc.)

• Discrete Partial Order Reduction for UPPAAL
  Semester: DAT4 (spring 2006)
  Language: English

• CHROME -- Character Recognition of Mathematical Expressions
  Semester: DAT3 (autumn 2005)
  Language: English

• YAMOS -- Yak Another Mindstorms Operating System
  Semester: DAT2 (spring 2005)
  Language: English

• An Online Sales System
  Semester: DAT1 (autumn 2004)
  Language: English

• Register Allocation in Compilers
  Semester: P2 (spring 2004)
  Language: Danish

• Routing (in Computer Networks)
  Semester: P1 (autumn 2003)
  Language: Danish

• Data Integrity
  Semester: P0 (September 2003)
  Language: Danish