Licentiate seminars:




(37 licentiate thesis' since the start 2002)

Vladislavs Jahundovics, Linköping University

Date and time: December 11th, 2015
Title: Automatic Verification of Parameterized Systems by Over-Approximation
Supervisor: Professor Ulf Nilsson
Opponent: Associate Professor Cristina Seceleanu, Mälardalen University

Mikael Nilsson, Linköping University

Date: September 10th, 2015
Title: Efficient Temporal Reasoning with Uncertainty
Supervisor: Professor Patrick Doherty
Opponent: Dr. Félix Ingrand, LAAS/CNRS, France

Mahder Gebremedhin, Linköping University

Date: June 8th, 2015
Supervisor: Professor Peter Fritzson
Opponent: Assistant Professor Francesco Casella, Politecnico di Milano, Italy

Nicolas Melot

Date: April 23rd, 2015
Supervisor: Professor Christoph Kessler
Opponent: Professor Krzysztof, Kuchcinski, Lund University

Zlatan Dragisic

Date: December 1st, 2014
Supervisor: Professor Patrick Lambrix
Opponent: Professor Guilin Qi, Southeast University, Nanjing, China

Valentina Ivanova, Linköpings universitet

Date: March 7th, 2014
Title: Integration of Ontology Alignment and Ontology Debugging for Taxonomy Networks
Supervisor: Professor Patrick Lambrixi, Linköpings universitet
Opponent: Professor Eero Hyvönen, Aalto University, Finland

Maria Vasilevskaya, Linköpings universitet

Date: November 27th, 2013
Title: Designing Security-enhanced Embedded Systems: Bridging Two Islands of Expertise
Supervisor: Professor Simin Nadjm-Tehrani, Linköpings universitet
Opponent: Professor Ivica Crnkovic, Mälardalens högskola

Ekhiotz Vergara, Linköpings universitet

Date: December 3rd, 2013
Title: Exploiting Energy Awareness in Mobile Communication
Supervisor: Professor Simin Nadjm-Tehrani, Linköpings universitet
Opponent: PhD Daniele Puccinelli, SUPSI, Schweiz

Martin Sjölund, Linköpings universitet

Date: May 27th, 2013
Title: Tools for Understanding, Debugging, and Simulation Performance Improvement of Equation-Based Models
Supervisor: Professor Peter Fritzson, Linköpings universitet
Opponent: Dr. Dirk Zimmer, German Aerospace Center, Oberpfaffenhofen-Wessling, Germany

Massimiliano Raciti, Linköpings universitet

Date: April 9th, 2013
Title: Anomaly Detection and its Adaptation. Studies on Cyber-Physical Systems
Supervisor: Professor Simin Nadjm-Tehrani, Linköpings universitet
Opponent: Dr. Magnus Almgren, Chalmers


Kristian Stavåker, Linköpings universitet

Date: December 16th, 2011
Title: Contributions to Parallel Simulation of Equation-Based Models on Graphics Processing Units
Supervisor: Professor Peter Fritzson, Linköpings universitet
Opponent: Professor Erwin Laure, KTH

Jakob Rosén, Linköpings universitet

Date: September 30th, 2011
Title: Predictable Real-Time Applications on Multiprocessor Systems-on-Chip
Supervisor: Professor Zebo Peng, LiU
Opponent: Docent Thomas Nolte, Mälardalens högskola
Abstract - soon visible

Per-Magnus Olsson, Linköpings universitet

Date: April 20th, 2011
Title: Positioning Algorithms for Surveillance Using Unmanned Aerial Vehicles
Supervisor: Professor Patrick Doherty, LiU
Opponent: Docent Lars Karlsson, Örebro universitet

Qiang Liu, Linköpings universitet

Date: March 17th, 2011
Title: Dealing with Missing Mappings and Structure in a Network of Ontologies
Supervisor: Professor Patrick Lambrix, LiU
Opponent: Prof. Dr. Heiner Stuckenschmidt, Universität Mannheim, Germany


Stefan Bygde, Mälardalens högskola

Date: March 16th, 2010
Title: Static WCET Analysis based on Abstract Interpretation and Counting of Elements
Supervisor: Prof. Björn Lisper, Docent Andreas Ermedahl, Docent Jan Gustafsson
Opponent: Docent Kostis Sagonas, Uppsala University

Tommy Ellqvist, Linköpings universitet

Date: January 15th, 2010
Title: Supporting Scientific Collaboration through Workflows and Provenance
Supervisor: professor Nahid Shahmehri
Opponent: Dr Paolo Missier,  The University of Manchester, UK

Annika Öhgren, Linköpings universitet

Date: May 5th, 2009
Title: Towards an Ontology Development Methodology for small and Medium-sized Enterprises
Supervisor: professor Kurt Sandkuhl
Opponent: Dr.-Ing (TD) Bernhard Holtkamp, Fraunhofer Institut ISST, Dortmund

Mattias Eriksson, Linköpings universitet
Date: February 16th, 2009
Title: Integrated Software Pipelining
Supervisor: professor Christoph Kessler
Opponent: dr Sid Touati, INRIA-Saclay, Cedex, France

Per Nyblom, Linköpings universitet
Date: May 15th, 2008
Title: Dynamic Abstraction for Interleaved Task Planning and Execution
Supervisor: professor Patrick Doherty
Opponent: docent Lars Karlsson, Örebro universitet
Shanai Ardi, Linköpings universitet
Date: March 18th, 2008
Title: A Model and Implementation of a Security Plug-in for the Software Life Cycle
Supervisor: Professor Nahid Shahmehri
Opponent: Dr. Nathalie Weiler, Credit Suisse, Schweiz
Mikhail Chalabine, Linköpings universitet
Date: December 17th, 2007
Title: Invasive Interactive Parallelization
Supervisor: Professor Christoph Kessler, LiU
Opponent: Professor Welf Löwe, Växjö universitet

David Broman, Linköpings universitet
Date: December 7th, 2007
Title: Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments
Supervisor: Professor  Peter Fritzson
Opponent: Dr. Henrik Nilsson, School of Computer Science and IT, University of Nottingham, UK
Björn Hägglund, Linköpings universitet
Date: March 9th, 2007
Title: A Framework for Designing Constraint Stores
Supervisor: Anders Haraldsson
Opponent: Christian Schulte, KTH/ICT/ECS, Kista
Robert Kaminski, Linköpings universitet
Date: February 12th, 2007
Title: Towards and XML Document Restructuring Framework
Supervisor: Professor Uwe Assman, Technische Universität Dresden, Germany
Opponent: Dr. Andreas Ludwig, Harman/Becker Automotive Systems GmbH, Germany
Viacheslav Izosimov, ESLAB, IDA, LiU
Date: November 15th, 2006
Title:  Scheduling and Optimization of Fault-Tolerant Embedded Systems
Supervisor: Professor Zebo Peng, LiU
Opponent: Dr. Anton Cervin, Lund university
Robert Lundh, Örebro universitet
Date: September 25th, 2006
Title: Plan-Based Configuration of a Group of Robots
Supervisor: Lars Karlsson och Alessandro Saffiotti, Örebro university
Opponent: Prof. Rachid Alami, Robotics and Artificial Intelligence Group, France
Jonas Neander, Ide, Mälardalens Högskola
Date: June 20th, 2006
Title: Using existing infrastructure as support for wireless sensor networks
Supervisor: Mats Björkman
Opponent: Dr. Björn Knutsson, KTH, Sweden
Karolina Eliasson, AIICS, Linköpings universitet
Date: June 12th, 2006
Title: The Use of Case-Based Reasoning in a Human-Robot Dialog System
Supervisor: Erik Sandewall
Opponent: Dr. Jan Alexandersson, DFKI, Germany
Niklas Pettersson, Växjö universitet
Date: May 11th, 2006
Title: Towards Pattern Detection in Software
Supervisor: Professor Welf Löwe, Växjö universitet
Opponent: Docent Christoph Kessler, Linköpings universitet
He Tan, IISLAB, Linköpings universitet
Date: January 23rd, 2006
Title: Aligning and Merging Biomedical Ontologies
Supervisor: Patrick Lambrix
Opponent: Bo Servenius, AstraZeneca R&D, Lund
Artur Wilk, TCSLAB, Linköpings universitet
Date: January 27th, 2006
Title: Descriptive Types for XML Query Language Xcerpt
Supervisor: Jan Maluszynski
Opponent: Jørgen Fischer Nilsson, Technical University of Denmark (DTU)

John Wilander, PELAB, Linköpings universitet
Date: November 18th, 2005
Title: Policy and Implementation Assurance for Software Security
Supervisor: Prof Mariam Kamkar
Opponent: Dr Andrei Sabelfeld, Chalmers
Adrian Pop, PELAB, Linköpings universitet
Date: June 3rd, 2005
Title: Contributions to Meta-Modeling Tools and Methods
Supervisor: Peter Fritzson, LiU
Opponent:   Pär Emanuelsson (Ericsson)
Adam Dunkels, Mälardalens högskola, Västerås
Date: March 22nd, 2005
Title: Towards TCP/IP for Wireless Sensor Networks
Advisors: Mats Björkman, MdH, Thiemo Voigt, SICS
Opponent: Prof. Holger Karl, Uni Paderborn, Germany
Vaida Jakoniene, IISLAB, Linköpings universitet
Date: March 17th, 2005
Title: A Study in Integrating Multiple Biological Data Sources
Supervisors: Assoc. Prof. Patrick Lambrix (main), Prof. Nahid Shahmehri
Opponent: Assoc. Prof. Graham Kemp, CTH

Morgan Eriksson, Växjö University
Date: January 14th, 2005
Title: Towards an Optimizing Architecture for Scientific Computations using Parallel Components.
Supervisor: Professor Dr. Welf Löwe (VXU)
Opponent: Professor Dr. Tore Risch (UU)


Thomas Gustafsson, RTSLAB, Linköpings universitet
Date: December 14th, 2004
Title: Maintaining Data Consistency in Embedded Databases for Vehicular Systems
Supervisor: Jörgen Hansson, Linköpings universitet
Opponent: Mikael Nolin, Mälardalens högskola



Travel reports

Licentiate seminars


Courses Spring 2016


Last modified on January 2016 by Anne Moe