MSc Thesis and Reports at the School of Computer Science

Graduation Title Student Supervisor Form
January 2018 Using Autocorrelations to Detect Potential Side-Channels      
June 2017 Formalizing the translation method in Agda Bjarki Ágúst Guðmundsson Henning Arnór Úlfarsson and Anders Claesson  Thesis
June 2017 Comparison of Errorless Learning and Response Cost to simple Trial and Error learning in an automated learning environment Brynjar Ólafsson Hannes Högni Vilhjálmsson Thesis
June 2017 Teaching Practical Software Maintenance: Students' Impression of Learning in a Software Development Course Daníel Brandur Sigurgeirsson Björn Þór Jónsson and Marta Kristín Lárusdóttir Thesis
June 2017 Improving Monitoring of IT Systems using Machine Learning Guðlaugur Garðar Eyþórsson Gylfi Þór Guðmundsson Project 
June 2017 Work on new event sources for detectEr Guðmundur Stefánsson Luca Aceto and Anna Ingólfsdóttir Project
June 2017 A data driven analysis of slusters using UPPAAL Jón Friðrik Jónatansson Anna Ingólfsdóttir and Luca Aceto Thesis
June 2017 Level of Detail Event Generation Luis Francisco Flores Vazquez David Thue Thesis
June 2017 A Model of Inter-musician Communication for Artificial Musical Intelligence Oscar Alfonso Puerto Melendez David Thue Thesis
June 2017 Smart Space Engine : A Prototype Flexible and Reconfigurable Fuzzy Logic Control Software Karl Andrés Gíslason Luca Aceto Thesis
June 2017 General Game Playing with Incomplete Information using Zero-Suppressed Decision Diagrams Steven Joseph Losh Stephan Schiffel Thesis
January 2017 “SmartHub: an agent-based simulation framework for validatingsmart mobility solutions” Carlo Castagnari Andrea Polini, Francesco De Angelis and Marjan Sirjani Project

January 2017

“SmartHub: an agent-based simulation framework for validatingsmart mobility solutions”
Giorgio Forcina Andrea Polini, Francesco De Angelis and Marjan Sirjani
January 2017 “SmartHub: an agent-based simulation framework for validatingsmart mobility solutions”
Jacopo de Berardinis Andrea Polini, Francesco De Angelis and Marjan Sirjani
January 2017 Flexible authoring using GOLOG planning in interactive storytelling Tryggvi Þór Guðmundsson David Thue and Stephan Schiffel Project 
June 2016 FraMoTEC: A Framework for Modular Task-Environment Construction for Evaluating Adaptive Control Systems Þröstur Thorarensen Kristinn Rúnar Þórisson Thesis
June 2016 Equivalence classes of mesh patterns with a dominating pattern Murray Tannock Henning Arnór Úlfarsson Thesis
January 2016 Introducing Heuristic Function Evaluation Framework Nera Nesic Stephan Schiffel Thesis
January 2016 Enabling Space Elasticity in Storage Systems Pétur Orri Ragnarsson Ýmir Vigfússon Thesis
January 2016 Design and Implementation of a Collectable Trading Card Board Game and Game AI Kristján Tryggvason

Yngvi Björnsson

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

June 2015 Social Navigation in Unity 3D Karl Valdimar Kristinsson

Hannes Högni Vilhjálmsson

January 2015 ECA Based Control System for Home Automation  Claudio Tesei Leonardo Mostarda and Marta K. Lárusdóttir Project
January 2015 Kaalisy domotics: implementation of a user friendlyinterface complying with a new business model  Davide Angelici Leonardo Mostarda and Marta K. Lárusdóttir Project
January 2015 Developing Correct Distributed Systems: Real World Case Studies Helgi Leifsson Marjan Sirjani Project
January 2015 Simulation and Visualization of a 3D BiologicalEnvironment. DNA and Restriction Enzyme Case Study Mirco Pazzaglia Anna Ingólfsdóttir and Luca Tesei 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 Jacqueline Clare 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 The Software Adoption Process seen through System Logs Áslaug Eiríksdóttir Yngvi Björnsson  Project
June 2014 Developing a next-generation Mobile Security solution for Android Paolo Rovelli Ýmir Vigfússon Thesis
June 2014 Reykjavik University Data Warehouse  Sæmundur Melsteð Björn Þór Jónsson  Project
January 2014 Specification and Prototype Implementation of an OpenSource Interactive Ambient Application  Fabrizio Fornari Kristinn R. Þórisson 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

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


Was the content helpful? Yes No