Announcements-lic.shtml

Licentiate seminars:

Coming:

 

Passed

(27 licentiate thesis' since the start 2002)

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
Abstract

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
Abstract

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
Abstract

 

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
Abstract

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
Abstrac

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
Abstract

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
abstract

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
abstract
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
abstract
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
abstract

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
abstract
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
abstract
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
abstract
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
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, 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
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, IISLAB, Linköpings universitet
Date: January 23rd, 2006
Title: Aligning and Merging Biomedical Ontologies
Supervisor: Patrick Lambrix
Opponent: Bo Servenius, AstraZeneca R&D, Lund
abstract
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)
abstract

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
abstract
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)
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, 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
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, 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