Lokaverkefni í MSc-námi



Graduation Title Student Supervisor Form

January 2016


Enabling Space Elasticity in Storage Systems


Pétur Orri Ragnarsson


Ýmir Vigfússon


January 2016

Design and Implementation of a Collectable Trading Card Board Game and Game AI



Kristján Tryggvason

Yngvi Björnsson


January 2016

Introducing Heuristic Function Evaluation Framework



Nera Nešić


Stephan Schiffel

January 2016  

Using Map Decomposition to Improve Pathfinding


Kári Halldórsson

 Yngvi Björnsson  Thesis
June 2015 Implementation of End-to-End Incident Management Processes in a Unified IMS Ásgeir Jónasson  Hannes Högni Vilhjálmsson  Project
June 2015 Social Navigation in Unity 3D Karl Valdimar Kristinsson  Hannes Högni Vilhjálmsson  Project
January 2015 Eca Based Control System for Home Automation Claudio Tesei Leonardo Mostarda , Supervisor, University of Camerino. Marta Larusdottir , Reykjavik University Project
January 2015 Kaalisy domotics: Implementation of a user friendly interface complying with a new business model Davide Angelici Leonardo Mostarda , Supervisor, University of Camerino. Marta Larusdottir , Reykjavik University   Project
January 2015 Analyzing Different Scheduling Policies in Natjam using Timed Rebeca Helgi Leifsson Marjan Sirjani   Project
January 2015 Simulation and Visualization of a 3D Biological Environment. DNA and Restriction Enzyme Case Study Mirco Pazzaglia Anna Ingólfsdóttir  Project
January 2015 Isomorphisms between consecutive pattern classes Sigríður Lína Viðarsdóttir Henning Arnór Úlfarsson  Thesis
January 2015 Model-based testing of flexible systems Vignir Örn Guðmundsson Luca Aceto  Thesis
June 2014 Exploring the Potential Macroeconomic Impacts of Branch Banking Practices Davíð Steinar Guðjónsson Jacky Mallett  Thesis
June 2014 Summarization of Icelandic Texts Karin Christiansen Hrafn Loftsson  Project
June 2014 Performance Profiling of Cache Systems at Scale Trausti Sæmundsson Ýmir Vigfússon  Thesis
June 2014 Developing a next-generation Mobile Security solution for Android Paolo Rovelli  Ýmir Vigfússon  Thesis
June 2014 The Software Adoption Process seen through System Logs Áslaug Eiríksdóttir Yngvi Björnsson  Project
June 2014 Reykjavik University Data Warehouse  Sæmundur Melstað Björn Þór Jónsson  Project
January 2014 Specification and Prototype Implementation of an Open Source Interactive Ambient Application Fabrizio Fornari Kristinn R. Thorisson , Luca Tesei  Project
January 2014 Towards model checking BSV in Uppaal Hörður Hauksson Anna Ingólfsdóttir  Thesis
January 2014 Insights into Waste in Agile Software Development  Michael Simader Marta K. Lárusdóttir Project
January 2014 Towards a Framework for Modeling Fisheries Systems for Increased Analyzability  Ástvaldur Sigurðsson  Marjan Sirjani Thesis
June 2013 Sorting Operators and Their Preimages Hjalti Magnússon Henning Arnór Úlfarsson Thesis
June 2013 Experimental analysis of throughput maximization for combinatorial spectrum auctions.  Hörður Ingi Björnsson Magnús Már Halldórsson Project
June 2013 On the Formal Semantics of Bluespec System Verilog Oddur Óskar Kjartansson Anna Ingólfsdóttir   Thesis
January 2013 Event-based analysis of Real-time Actor Models Haukur Kristinsson Marjan Sirjani Thesis
June 2012 Simulation-based analysis of time Rebeca using Teprop and SQL Brynjar Magnússon Marjan Sirjani Thesis
June 2012  From axiomatic systems to replicode, to non-axiomatic systems Ólafur Hlynsson Marjan Sirjani Thesis
June 2012  Integrating Semantic Networks and object-oriented model to represent and manage context David Sorrentino Hannes Högni Vilhjálmsson Project
June 2012 Observation of multiple features for recognition of daily activities Francesco Lilli Hannes Högni Vilhjálmsson Project 
June 2012 An early warning system for ambient assisted living Andrea Monacchi Hannes Högni Vilhjálmsson Project
January 2012 Representing uncertainty in RTS games Björn Jónsson Yngvi Björnsson  Project 
January 2012 Accelerating Constraint Automata Composition with GPGPU Parallelization Gunnar Kristinn Vilbergsson Marjan Sirjani  Project 
January 2012 A face recognition plug-in for the Photocube browser Kristján Rúnarsson Björn Þór Jónsson  Project 
January 2012 Automated Culture Training System Lorenzo Scagnatti Hannes Högni Vilhjálmsson Project 
June 2011 Social path following Carmine Oliva Hannes Högni Vilhjálmsson
with Emanuela Merelli
June 2011 Automatic Planning in Wind-Energy production using ensemble forecasts Þór Sigurðsson Ari Kristinn Jónsson Project
June 2011 Timed Rebeca: Refinement and simulation Árni Hermann Reynisson Marjan Sirjani Thesis
June 2011 Dynamic Planning for agents in games using social norms and emotions Páll R. Þráinsson Hannes Högni Vilhjálmsson Thesis
June 2011 Guided search for deadlocks in actor-based models Steinar Hugi Sigurðarson Marjan Sirjani,
Yngvi Björnsson co-supervisor
June 2011 Towards automatic generation of realistic web query sequences Valdís Sigurþórsdóttir Björn Þór Jónsson Thesis
June 2011 Photocube: A Multi-Dimensional Image Browser  Hlynur Sigurþórsson Björn Þór Jónsson  Thesis 
June 2011 Objectcube - A Generic Multi-Dimensional Model for Media Browsing Grímur Tómas Tómasson  Björn Þór Jónsson Thesis
January 2011 Using Range Information to Reduce Local Descriptor Computations Stefán Freyr Stefánsson Björn Þór Jónsson Thesis
January 2011 Developing an Icelandic to English Shallow Transfer Machine Translation System Martha Dís Brandt Hrafn Loftsson Thesis
January 2011 Large-Scale Music Classification using an Approximate k-NN Classifier Haukur Pálmason Björn Þór Jónsson Thesis
June 2010

Distributed Cluster Pruning in Hadoop  

Andri Mar Björgvinsson Björn Þór Jónsson Project
January 2010 Online t-Interval Scheduling Unnar Þór Bachmann Magnús M. Halldórsson Thesis 
June 2009 Topics in Structural Operational Semantics Arnar Birgisson      Luca Aceto Thesis 
June 2009 GPU-Based Markov Decision Process Solver Ársæll Þór Jóhannsson Yngvi Björnsson Thesis 
June 2009  Improving the tagging accuracy of Icelandic text Ida Kramarczyk Hrafn Loftsson  Thesis 
June 2009 Single-Agent Search for Solving General-Game-Playing Puzzles Gylfi Þór Guðmundsson Yngvi Björnsson Project report 
June 2009 Spontaneous Avatar Behaviour for Social Territoriality Claudio Pedica Hannes H. Vilhjálmsson Thesis 
January 2009 Gradual Focus: A Method for Automated Feature Discovery in Selective Search Pálmi Skowronski Yngvi Björnsson Thesis
January 2009 A Distributed Dialogue Architecture with Learning  Guðný Ragna Jónsdóttir Kristinn R. Þórisson Thesis
June 2009 Dynamic Behavior of Balanced NV-trees Arnar Ólafsson Björn Þór Jónsson Thesis
January 2008 A Gateway for Wireless Dissemination of Delay-tolerant Content Kristján Valur Jónsson Úlfar Erlingsson
with Gunnar Karlsson, KTH, Sweden (co-supervisor)
January 2008 CADIA-Player: A General Game Playing Agent Hilmar Finnsson Yngvi Björnsson Thesis
January 2008 GTQL: A Query Language for Game Trees Jónheiður Ísleifsdóttir Yngvi Björnsson Thesis
June 2007 Rational Dialog in Interactive Games Maria Arinbjarnar Luca Aceto Thesis
June 2007 Models for Solving Minimum Parsimony Haplotyping Steinunn María Stefánsdóttir Bjarni V. Halldórsson Project report
January 2007 Experiments with Automatic Weight Tuning in Heuristic Evaluation Functions Jónas Tryggvi Jóhannsson Yngvi Björnsson Project report
January 2007 Controlling the Effects of Anomalous ARP Behaviour on Ethernet Networks Daði Ármannsson Gísli Hjálmtýsson Thesis
January 2007 A Distributed Architecture for High-Throughput Image Retrieval Friðrik Heiðar Ásmundsson Björn Þór Jónsson
with Laurent Amsaleg, IRISA/CNRS, France (co-supervisor)
June 2006 Practical Performance Considerations for the Prefetching B+-tree Árni Már Jónsson Björn Þór Jónsson Thesis
June 2006 Backtracking and Value Back-Propagation in Real-Time Search Sverrir Sigmundarson Yngvi Björnsson Thesis
June 2006 Median Rank in Face Recognition Hafþór Guðnason Björn Þór Jónsson Project report
June 2005 The PvS-Index: An Indexing Method for Local Image Descriptors Herwig Lejsek Björn Þór Jónsson
with Laurent Amsaleg, IRISA/CNRS, France (co-supervisor)


Var efnið hjálplegt? Nei