Hide menu

Licentiate seminars

(41 licentiate thesis' since the start 2002)

Klervie Toczé

Date and time: March 24th, 2020
Title: Latency-aware Resource Management at the Edge
Supervisor: Simin Nadjm-Tehrani
Opponent: Professor Johan Eker, Lund University

Daniel de Leng

Date and time: October 5th, 2017
Title: Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation
Supervisor: Fredrik Heintz
Opponent: Assistant Professor Emanuele Della Valle, Politecnico di Milano, Italy

Olov Andersson

Date and time: September 15th, 2017
Title: Methods for Scalable and Safe Robot Learning
Supervisor: Professor Patrick Doherty
Opponent: Docent Petter Ögren, KTH

Vengatanathan Krishnamoorthi

Date and time: November 4th, 2016
Title: Efficient and Adaptive Content Delivery of Linear and Interactive Branched Videos
Supervisor: Professor Niklas Carlsson
Opponent: Professor Maria Kihl, Lund University

Vladislavs Jahundovics

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

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

Mahder Gebremedhin

Date: June 8th, 2015
Title: Automatic and Explicit Parallelization Approaches for Mathematical Simulation Models
Supervisor: Professor Peter Fritzson
Opponent: Assistant Professor Francesco Casella, Politecnico di Milano, Italy

Nicolas Melot

Date: April 23rd, 2015
Title: Energy-Efficient Computing over Streams with Massively Parallel Architectures
Supervisor: Professor Christoph Kessler
Opponent: Professor Krzysztof, Kuchcinski, Lund University

Zlatan Dragisic

Date: December 1st, 2014
Title: Completing the Is-a Structure in Description Logics Ontologies
Supervisor: Professor Patrick Lambrix
Opponent: Professor Guilin Qi, Southeast University, Nanjing, China

Valentina Ivanova

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 Vasilevskayat

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

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

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

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

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

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

Per-Magnus Olsson

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

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 , 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
Abstract

Tommy Ellqvist

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
Abstrac

Annika Öhgrent

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
Abstract

Mattias Erikssont
Date: February 16th, 2009
Title: Integrated Software Pipelining
Supervisor: professor Christoph Kessler
Opponent: dr Sid Touati, INRIA-Saclay, Cedex, France
abstract

Per Nyblom
Date: May 15th, 2008
Title: Dynamic Abstraction for Interleaved Task Planning and Execution
Supervisor: professor Patrick Doherty
Opponent: docent Lars Karlsson, Örebro universitet
abstract
Shanai Ardi
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
abstract
Mikhail Chalabine
Date: December 17th, 2007
Title: Invasive Interactive Parallelization
Supervisor: Professor Christoph Kessler, LiU
Opponent: Professor Welf Löwe, Växjö universitet
abstract

David Broman
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
abstract
Björn Hägglund
Date: March 9th, 2007
Title: A Framework for Designing Constraint Stores
Supervisor: Anders Haraldsson
Opponent: Christian Schulte, KTH/ICT/ECS, Kista
abstract
Robert Kaminski
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
abstract
Viacheslav IzosimovU
Date: November 15th, 2006
Title:  Scheduling and Optimization of Fault-Tolerant Embedded Systems
Supervisor: Professor Zebo Peng, LiU
Opponent: Dr. Anton Cervin, Lund university
abstract
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
abstract
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
abstract
Karolina Eliasson
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
abstract
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
abstract
He Tan
Date: January 23rd, 2006
Title: Aligning and Merging Biomedical Ontologies
Supervisor: Patrick Lambrix
Opponent: Bo Servenius, AstraZeneca R&D, Lund
abstract
Artur Wilk
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)
abstract

John Wilander
Date: November 18th, 2005
Title: Policy and Implementation Assurance for Software Security
Supervisor: Prof Mariam Kamkar
Opponent: Dr Andrei Sabelfeld, Chalmers
abstract
Adrian Pop
Date: June 3rd, 2005
Title: Contributions to Meta-Modeling Tools and Methods
Supervisor: Peter Fritzson, LiU
Opponent:   Pär Emanuelsson (Ericsson)
abstract
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
abstract
Vaida Jakoniene
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
abstract

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)

abstract

Thomas Gustafsson
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