IT Faculty / IT-fakulteten
Underavdelningar
Senast tillagda publikationer
-
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 ... -
EXPERIENCES OF SPEAKING WITH CONVERSATIONAL AI IN LANGUAGE EDUCATION
(2023-08-17)This thesis explores the application of digital tools in Swedish language education, specifically in relation to speaking skills. It focuses on dialogue- based, computer-assisted language learning, which enables students ... -
Organizing government surveillance practices in the age of AI: The complicated interplay between the state and the market
(2023)Justified by the need to increase security in society, law enforcement authorities in European countries have gained extended mandate to introduce new powerful surveillance technologies that always should be balanced with ... -
Games for Efficient Supervisor Synthesis
(2023)In recent years, there has been an increasing interest in the connections between supervisory control theory and reactive synthesis. As the two fields use similar techniques there is great hope that technologies from one ... -
Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
(2023-05-25)The increasing demand for connectivity in safety-critical domains has made security assurance a crucial consideration. In safety-critical industry, software, and connectivity have become integral to meeting market expectations. ... -
The Role of Discretion from the Perspective of Social Work Professionalism and Automated Decision Making
(2022)This article addresses the gap in knowledge about how new digital technology affects decision making and social caseworkers’ professionalism. The aim is to enhance the understanding of how digital discretion—as a result ... -
Frame Shifting and Frame Blending in Digital Transformation
(2023-05-04)As organizations embrace digital technologies in new ways, they experience a process known as digital transformation. This process is not just about technological changes – digital transformation also involves ... -
Designing Human-Centered Hybrid Decision Support Systems
(2023-04-19)Innovative decision support systems (DSSs) are revolutionizing key processes in organizations. These systems are used in managerial decision-making to solve increasingly complicated decision tasks, for example, using ... -
ICT and discretion: An “up-to-date” view of what we want to know and how it can be studied
(Presented at 20th Scandinavian Workshop on E-Government (SWEG): From Government automation to AI, 1-2 February, 2023, Örebro University., 2023)The discretion of street-level bureaucrats is increasingly affected by public sector digitalisation. The aim of this study was to provide a scoping review with “state of the art” of research about information and communication ... -
Platformization: Digital Materiality at the Limits of Discourse
(2023-04-13)The digital platform has served us well as a metaphor for an imaginary ‘something’ made comprehensible through theories such as matchmaking, externalities, and network effects. But as much as metaphors and theories can ... -
A Survey on Satisfiability Checking for the μ -Calculus Through Tree Automata
(2022)Algorithms for model checking and satisfiability of the modal μ -calculus start by converting formulas to alternating parity tree automata. Thus, model checking is reduced to checking acceptance by tree automata and ... -
Plug & Play? Stakeholders’ co-meaningmaking of gamification implementations in workplace learning environments
(2023-01-12)This dissertation discusses the implementation process of gamification in organisations’ workplace learning environments, focusing on four stakeholder groups: Administrators, Leaders, Providers and Users. These stakeholder ... -
Automated replication of tuple spaces via static analysis
(2022)Coordination languages for tuple spaces can offer significant advantages in the specification and implementation of distributed systems, but often do require manual programming effort to ensure consistency. We propose an ... -
Modelling Flocks of Birds from the Bottom Up
(2022)We argue that compositional specification based on formal languages can facilitate the modelling of, and reasoning about, sophisticated collective behaviour in many natural systems. One defines a system in terms of individual ... -
A PO Characterisation of Reconfiguration
(2022)We consider partial order semantics of concurrent systems in which local reconfigurations may have global side effects. That is, local changes happening to an entity may block or unblock events relating to others, namely, ... -
On the Specification and Monitoring of Timed Normative Systems
(2022)In this article we explore different issues and design choices that arise when considering how to fully embrace timed aspects in the formalisation of normative systems, e.g., by using deontic modalities, looking primarily ... -
Runtime Verification of Kotlin Coroutines
(2022)Kotlin was introduced to Android as the recommended language for development. One of the unique functionalities of Kotlin is that of coroutines, which are lightweight tasks that can run concurrently inside threads. Programming ... -
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
(International Conference on Runtime Verification, 2022)Aspect-oriented programming tools aim to provide increased code modularity by enabling programming of cross-cutting concerns separate from the main body of code. Since the inception of runtime verification, aspect-oriented ...
RSS 1.0