Den 5/1-2026 kommer GUPEA att vara otillgängligt för alla under hela dagen.
Browsing Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik by Title
Now showing items 7-26 of 37
-
Effective SAT solving
(2008-10-02)A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several ... -
Efficiency and Automation in Threat Analysis of Software Systems
(2020-12-04)Context: Security is a growing concern in many organizations. Industries developing software systems plan for security early-on to minimize expensive code refactorings after deployment. In the design phase, teams of experts ... -
Empowering Empirical Research in Software Design: Construction and Studies on a Large-Scale Corpus of UML Models
(2019-09-18)Context: In modern software development, software modeling is considered to be an essential part of the software architecture and design activities. The Unified Modeling Language (UML) has become the de facto standard for ... -
Evolution of Textual Domain-Specific Languages in the Context of Model-Driven Engineering
(2025-09-23)Domain-specific languages (DSLs) have become essential tools in model-driven engineering, enabling domain experts to express solutions in familiar terminology while maintaining formal precision. As software systems evolve, ... -
Facilitating Feature-Oriented Quality Assurance in Low-Maturity Variant-rich Systems
(2022-09-08)Context: Many software systems exist in several variants customized for specific stakeholder requirements, such as different market segments or hardware constraints. This customization introduces a high level of complexity ... -
Formal Methods for Testing Grammars
(2019-02-15)Grammar engineering has a lot in common with software engineering. Analogous to a program specification, we use descriptive grammar books; in place of unit tests, we have gold standard corpora and test cases for manual ... -
Formalizing Refinements and Constructive Algebra in Type Theory
(2014-11-21)The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally ... -
Frontiers of Multilingual Grammar Development
(2013-09-30)The thesis explores a number of ways for developing multilingual grammars written in GF (Grammatical Framework). The goal is to enhance both the coverage of the grammars, in terms of content and number of languages, and ... -
Generative comics - A computational approach to creating comics material
(2021-09-24)Digital storytelling can be employed as a tool that incorporates human creativity with technology. It synthesizes multimedia based elements to create engaging stories and compelling narratives. To this end, this research ... -
Groupoid-Valued Presheaf Models of Univalent Type Theory
(2022-11-03)One main goal of this thesis is to study constructive models of type theory with one univalent universe that interpret types by “presheaves” of groupoids. A starting point is the fact that the groupoid model can be ... -
Improving software traceability tools and processes
(2020-08-17)Context: Development of large and complex software leads to a large number of interconnected artifacts such as requirements, design models, code and implementation. Traceability enables understanding and managing these ... -
Improving the Performance of Machine Learning-based Methods for Continuous Integration by Handling Noise
(2023-08-22)Background: Modern software development companies are increasingly implementing continuous integration (CI) practices to meet market demands for delivering high-quality features. The availability of data from CI systems ... -
Learning Language (with) Grammars: From Teaching Latin to Learning Domain-Specific Grammars
(2020-08-25)This thesis describes work in three areas: grammar engineering, computer-assisted language learning and grammar learning. These three parts are connected by the concept of a grammar-based language learning application. Two ... -
Measuring the Evolution of Meta-models, Models and Design Requirements to Facilitate Architectural Updates in Large Software Systems
(2017-10-24)Background: In order to reduce complexity of the system and its development cost, the architecture of large software systems is often developed following the MDE (Model-Driven Engineering) approach. Developing architectures ... -
Methods and Tools for Automating Language Engineering
(2016-05-12)Language-processing software is becoming increasingly present in our society. Making such tools available to the greater number is not just a question of access to technology but also a question of language as they need ... -
Multilingual Abstractions: Abstract Syntax Trees and Universal Dependencies
(2019-05-24)This thesis studies the connections between parsing friendly representations and interlingua grammars developed for multilingual language generation. Parsing friendly representations refer to dependency tree representations ... -
Non-Functional Requirements for Machine Learning Systems
(2025-08-23)Background: Machine learning (ML) systems are increasingly being deployed in complex and safety-critical domains such as autonomous driving, healthcare, and finance. ML systems learn using big data and solve a wide range ... -
Pedestrian Behavior Prediction Using Machine Learning Methods
(2024-11-14)Background: Accurate pedestrian behavior prediction is essential for reducing fatalities from pedestrian-vehicle collisions. Machine learning can support automated vehicles to better understand pedestrian behavior in complex ... -
Practical, Flexible programming with Information Flow Control
(2011-08-15)Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities today do not arise from deficiencies in network security or encryption mechanisms, but from software that fails to provide ... -
Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security
(2022-05-25)Ensuring the security of a cloud application is exceptionally challenging. Not only is cloud infrastructure inherently complex, but also a precise definition of what is secure is hard to give. Business context, regulatory ...