Announcements-l.sht

Ph D seminars:

Coming:

 


Passed

(38 doctoral dissertations since the start 2002)

Stefan Bygde, Mälardalen University

Date: June 4th, 2013
Title: Parametric WCET Analysis
Main supervisor: Professor Björn Lisper
Opponent: Prof. Raimund Kirner, University of Hertfordshire
Abstract

John Wilander, SaS, PELAB, Linköping University

Date: April 22nd, 2013
Title: Contributions to Specification, Implementation, and Execution of Secure Software
Main supervisor: Professor Mariam Kamkar
Opponent: Professor Benjamin Livshits, Microsoft Research & University of Washington, USA
Thesis

 

Tommy Färnqvist, SaS, TCSLAB, Linköping University

Date: February 8th, 2013
Title: Exploiting Structure in CSP-related Problems
Main supervisor: Professor Peter Jonsson
Opponent: Dr. Miki Hermann, École Polytechnique, Palaiseau, Frankrike
Thesis

 

Carl Christian Rolf, Lund University

Date: October 3rd, 2011
Title: Parallelism in Constraint Programming
Main supervisor: Professor Krzysztof Kuchcinski
Opponent: Docent Christian Schulte, KTH
Thesis

 

Soheil Samii, Linköping University

Date: September 23rd, 2011
Title: Quality-Driven Synthesis and Optimization of Embedded Control Systems
Main supervisor: Professor Petru Eles
Opponent: Professor Samarjit Chakraborty, Technische Universität München, Germany
Abstract

 

Mattias Eriksson, Linköping University

Date: June 7th, 2011
Title: Integrated Code Generation
Main supervisor: Professor Christoph Kessler
Opponent: Professor Andreas Krall, Technische Universität Wien, Austria
Abstract

Alexander Karlsson, Skövde University

Date: October 22nd, 2010
Time: 13.15
Title: Evaluating Credal Set Theory as a Belief Framework in High-Level Information Fusion for Automated Decision-Making
Location: Högskolan Skövde, G110, G-huset
Main advisor: Professor Sten F. Andler
Opponent: Adjunct Professor Galina Rogova, State University of New York at Buffalo, USA
Abstract

Kevin LeBlanc, Örebro University

Date: November 8th, 2010
Time: 13.15
Title: Cooperative Anchoring: Sharing Information about Objects in Multi-Robot Systems
Location: Hörsal T, Örebro University
Main advisor: Professor Alessandro Safiotti
Opponent: Professor Daniele Nardi, University of Rome "La Sapienza", Italy
Abstract

Gunnar Mathiason, Skövde University

Date; December 18th, 2009
Title: Virtual Full Replication for Scalable Distributed Real-Time Databases
Main advisor: Professor Sten F. Andler
Opponent: Professor Alejandro Buchmann, Technische Universität Darmstadt, Germany
Abstract

Fredrik Kuivinen, Linkoping University

Date; December 11th, 2009
Title: Algorithms and Hardness Results for Some Valued CSPs
Main advisor: Professor Peter Jonsson
Opponent: Professor Peter Jeavons, University of Oxford, England
Abstract

Viacheslav Izosimov, Linkoping University

Date; December 16th, 2009
Title: Scheduling and Optimization of Fault-Tolerant Distributed Embedded Systems
Main advisor: Professor Zebo Peng
Opponent: Professor Krishnendu Chakrabarty, Duke University, USA
Abstract

AnnMarie Ericsson, Skövde University

Date; June 16th, 2009
Title: Enabling Tool Support for Formal Analysis of ECA Rules
Main advisor: Professor Sten F. Andler
Opponent: Associate Professor José Júlio Alferes, Universidade Nova de Lisboa, Portugal
Abstract

Mats Petter Wallander, Lund University

Date; June 12th, 2009
Title: Constraint Programming Methods for Optimization of Single Shortest Path Routing
Main advisor: Professor Krzysztof Kuchcinski
Opponent: Professor Nicolas Beldiceanu, Ècole des Mines de Nantes, France
Abstract

Robert Lundh, Örebro University

Date; May 29th, 2009
Title:Robots that Help Each Other: Self-Configuration of Distributed Robot Systems
Main advisor: Professor Alessandro Saffiotti
Opponent: Professor Lynne Parker, University of Tennessee, USA
Abstract

H. Joe Steinhauer, Dept. of Computer and Information Science, AIICS/CASL, Linköpings universitet
Title: A Representation Scheme for Description and Reconstruction of Object Configurations Based on Qualitative Relations
Date: September 29th, 2008
Main advisor: Professor Erik Sandewall
Opponent: Professor Alexander Klippel, The Pennsylvania State University, USA
abstract
Morgan Ericsson, Växjö universitet
Title: Composition and Optimization
Date: September 11th, 2008
Main advisor: professor Welf Löwe
Opponent: professor Uwe Assman, TU-Dresden, Germany
abstract
Adrian Pop, Dept. of Computer and Information Science, SaS/PELAB, Linkoping University
Title: Integrated Model-Driven Development Environments for Equation-Based Object-Oriented Languages
Date: June 5, 2008
Main advisor: professor Peter Fritzson
Opponent: Professor Hans Vangheluwe, Modeling, Simulation & Design Lab, McGill University, Montréal, Québec, Canada
abstract
Artur Wilk, Linkoping university
Title:  Types for XML with Application to Xcerpt
Date: February 19th, 2008
Main advisor: Wlodek Drabent
Opponent: Professor Francois Bry, Ludwig-Maximilians-Universität, München, Tyskland
abstract

Sanny Syberfeldt, University of Skovde
Title: Optimistic Replication with Forward Conflict Resolution in Distributed Real-Time Databases
Date: December 17th, 2007
Main advisor: Professor Sten F. Andler
Opponent: Professor Alejandro P. Buchmann
abstract

Anders Henrysson, ITN, Linkoping university
Title: Bringing Augmented Reality to Mobile Phones
Date: December 14th, 2007
Main advisor: Professor Anders Ynnerman
Opponent: Dr. Kari Pulli, Nokia, Palo Alto, USA
abstract
Mehdi Amirijoo, Dept. of Computer and Information Science, SaS/RTSLAB, Linköpings universitet
Title: QoS Control of Real-Time Data Services under Uncertain Workload
Date: November 15th, 2007
Main advisor: Jörgen Hansson
Opponent: dr Joseph Hellerstein, Microsoft Corporation, Seattle, WA, USA
abstract
Alexandru Andrei, Dept. of Computer and Information Science, SaS/ESLAB, Linköpings universitet
Title:  Energy Efficient and Predictable Design of Real-Time Embedded Systems
Date: October 16th, 2007
Main advisor: professor Petru Eles
Opponent: professor Lothar Thiele, Swiss Federal Institute of Technology (ETH), Zürich, Switzerland
abstract
Tan He, Dept. of Computer and Information Science, ADIT/IISLAB,
Linköpings universitet
Date: September 3rd, 2007
Title: Aligning Biomedical Ontologies
Main advisor: Patrick Lambrix
Opponent: Assistent Professor York Sure, Universität Karlsruhe, Tyskland
abstract
Thomas Gustafsson, Dept. of Computer and Information Science, SaS/RTSLAB, Linköpings universitet
Date: September 6th, 2007
Title: Management of Real-Time Data Consistency and Workload Overloads in Embedded Systems
Main advisor: Jörgen Hansson
Opponent: Dr. Ming Xiong, Bell Laboratories, Murray Hill,NJ, USA
abstract
Jan Carlson, Mälardalens högskola
Date: June 15th, 2007
Title: Event Pattern Detection for Embedded Systems
Main advisor: Prof. Björn Lisper
Opponent: Prof. Kim Larsen, Aalborg University
abstract
Gustav Nordh, Dept. of Computer and Information Science, SaS/TCSLAB, Linköpings universitet
Date: June 1st, 2007
Title: Complexity Dichotomies for CSP-related Problems
Main advisor: Peter Jonsson
Opponent: Dr. Andrei Krokhin, University of Durham, UK
abstract

Magnus Wahlström, Dept. of Computer and Information Science, SaS/TCSLAB, Linköpings universitet
Date: April 27th, 2007
Title: Algorithms, Measures, and Upper Bounds for Satisfiability and
Related Problems
Main advisor: Peter Jonsson
Opponent: Dr. Oliver Kullman, University of Wales Swansea, UK
abstract
Adam Dunkels, Mälardalens högskola
Date: February 15th, 2007
Title: Programming Memory-Constrained Networked Embedded Systems
Main advisor: Mats Björkman
Opponent: Senior researcher Kay Römer, ETH Zürich
abstract

Vaida Jakoniene, Dept. of Computer and Information Science, ADIT/IISLAB, Linköpings universitet
Date. September 25th, 2006
Title: Integration of Biological Data
Main advisor: Patrix Lambrix
Opponent: Professor Michael Schroeder, Technishe Universität Dresden, Tyskland

abstract

Daniel Karlsson, Dept. of Computer and Information Science, SaS/ESLAB, Linköpings universitet
Date: June 19th, 2006
Title: Verification of Component-based Embedded System Designs
Main advisor: Petru Eles
Opponent: Prof. Bashir Al-Hashimi, School of Electronics and Computer Science, University of Southampton, UK

abstract
Vilhelm Dahllöf, Dept. of Computer and Information Science, SaS/TCSLAB, Linköpings universitet
Date: June 1st, 2006
Title: Exact Algorithms for Exact Satisfiability Problems
Main advisor: professor Peter Jonsson
Opponent: professor Fedor Fomin, Universitetet i Bergen, Norge

complete thesis
abstract
Aleksandra Tesanovic,
Dept. of Computer and Information Science, SaS/RTSLAB, Linköpings universitet
Date: March 23rd, 2006
Title: Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components
Main advisor: Docent Jörgen Hansson
Opponent: Professor Heinz W. Schmidt, Monash univ, Australia

abstract
Patrik Haslum, Dept. of Computer and Information Science, AIICS/KPLAB, Linköpings universitet
Date: March 15th, 2006
Title: Admissible Heuristics for Automated Planning
Main advisor: Professor Patrick Doherty
Opponent: Dr Derek Long, University of Strathclyde, Glasgow

abstract

Calin Curescu, Dept. of Computer and Information Science, RTSLAB, Linköpings universitet
Date: September 16th, 2005
Title: Utility-based Optimisation of Resource Allocation for Wireless Networks
Main advisor: Simin Nadjm-Tehrani, LiU
Opponent: Klara Nahrstedt, University of Illinois, Urbana-Champaign, USA

abstract

Ola Angelsmark, Dept. of Computer and Information Science, TCSLAB, Linköpings universitet
Date: June 3rd, 2005,
Title: Constructing Algorithms for Constraint Satisfaction and Related Problems - Methods and Applications
Main advisor: Prof. Peter Jonsson, LiU
Opponent: Docent Brahim Hnich, University College Cork, Irland

abstract
Per Andersson, Lunds tekniska högskola
Date: June 17th, 2005
Title: Efficient Modelling and Synthesis of Data Intensive Reconfigurable Systems
Location: E:1406, LTH hus E
Main advisor: Krzysztof Kuchcinski
Opponent: Prof. Christophe Wolinski
abstract

Luis Alejandro Cortes, ESLAB, Linköpings universitet
Date: March 2nd, 2005
Title: Verification and Scheduling Techniques for Real-Time Embedded Systems
 Supervisor: Prof. Zebo Peng, Linköpings universitet
Opponent: Prof. Franco Fummi, Univerista' di Verona, Italien.

abstract

Baran Curuklu, Department of Computer Science and Electronics (IDE),  Mälardalen University (MdH)
Date: April 26th, 2005
Title: A Canonical Model of the Primary Visual Cortex
Main advisor: Prof. Björn Lisper, MdH
Assistant advisors:   Prof. Anders Lansner, Royal Institute of Technology
                                 Associate Prof. Peter Funk, MdH

Opponent: Prof. Gaute T. Einevoll, Norwegian University of Life


abstract
short-ann

 

Travel reports

Licentiate seminars

PhD-seminars

Courses Fall 2013

Courses Spring 2014

 







Last modified on June 2013 by Anne Moe