Home - 02913


02913 Advanced Analysis Techniques

The course is also offered to MSc students with good prerequisites.

Danish title:

Avancerede Analyse Teknikker


Point( ECTS )


Course type:





Campus Lyngby

Scope and form:

Lectures by the teachers or visitors - typically supplemented with project work or presentations from the participants.

Duration of Course:

3 weeks

Type of assessment:



Qualified Prerequisites:

General course objectives:

The students will learn one or more advanced techniques for modeling, program analysis and model checking - thereby complementing their previous knowledge of modeling and analysis techniques and giving them the background needed for judging which approach is adequate in a given setting.

Learning objectives:

A student who has met the objectives of the course will be able to:
  • explain the basic concepts;
  • find small examples upon which to determine the precise workings of the methods covered;
  • make minor adaptions to selected parts of the methods covered;
  • discuss the methods covered and clearly indicate similarities and dissimilarities;
  • relate the method covered including to evaluate their strengths and weaknesses;
  • evaluate a scientific paper as submitted to a conference;
  • communicate his/her results in a clear and precise manner, using a standard format for technical reports;
  • plan and perform a public presentation addressing a given target audience and to provide any missing background or adapt the presentation to scenarios previously considered.


The course gives an overview of central background techniques or newer research results within modeling and advanced analysis techniques for IT systems.

The course demands active participation that depending on the form of the course may be the writing of a research related project report or independent presentation of research literature.

Variations of this plan are possible if better suited to the choice of topics.


The concrete choice of topics differ from year to year and will be announced on the supplementary home page.


The concrete choice of topics are decided before running the course and will be announced on the supplementary webpage.


Hanne Riis Nielson , Lyngby Campus, Building 324, Ph. (+45) 4525 3736 , hrni@dtu.dk
Flemming Nielson , Building 324, Ph. (+45) 4525 3735 , fnie@dtu.dk
Alberto Lluch Lafuente


01 Department of Applied Mathematics and Computer Science

Home page:


Registration Sign up:

At CampusNet
Last updated: 30. april, 2014