SC Harvester Papers Database Interface

Software Architectures—Views and Documentation

M. Staron. In: Automotive Software Architectures. 2020

Evaluation of Automotive Software Architectures

M. Staron. In: Automotive Software Architectures. 2020

Functional Safety of Automotive Software

M. Staron, P. Johannessen. In: Automotive Software Architectures. 2020

Automotive Software Development

M. Staron. In: Automotive Software Architectures. 2020

Quality attributes in edge computing for the Internet of Things: A systematic mapping study

M. Ashouri, P. Davidsson, Romina Spalazzese. In: Internet Things. 2020

Abstract: Abstract Many Internet of Things (IoT) systems generate a massive amount of data needing to be processed and stored efficiently. Cloud computing solutions are often used to handle these tasks. However, the increasing availability of computational resources close to the edge has prompted the idea of using these for distributed computing and storage. Edge computing may help to improve IoT systems re...

SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning

Fabian Ritz, Thomy Phan, Robert Müller, Thomas Gabor, Andreas Sedlmeier et al. In: . 2020

Abstract: A characteristic of reinforcement learning is the ability to develop unforeseen strategies when solving problems. While such strategies sometimes yield superior performance, they may also result in undesired or even dangerous behavior. In industrial scenarios, a system's behavior also needs to be predictable and lie within defined ranges. To enable the agents to learn (how) to align with a given s...

SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning

Fabian Ritz, Thomy Phan, Robert Müller, Thomas Gabor, Andreas Sedlmeier et al. In: . 2020

Abstract: A characteristic of reinforcement learning is the ability to develop unforeseen strategies when solving problems. While such strategies sometimes yield superior performance, they may also result in undesired or even dangerous behavior. In industrial scenarios, a system's behavior also needs to be predictable and lie within defined ranges. To enable the agents to learn (how) to align with a given s...

Don’t blame yourself: Conscious source monitoring modulates feedback control during speech production

Matthias K. Franken, R. Hartsuiker, Petter Johansson, Lars Hall, A. Lind. In: Quarterly Journal of Experimental Psychology. 2020

Abstract: Sensory feedback plays an important role in speech motor control. One of the main sources of evidence for this is studies in which online auditory feedback is perturbed during ongoing speech. In motor control, it is therefore crucial to distinguish between sensory feedback and externally generated sensory events. This is called source monitoring. Previous altered feedback studies have taken non-co...

Constructive Master's Thesis Work in Industry: Guidelines for Applying Design Science Research

E. Knauss. In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET). 2020

Abstract: [Context:] Software engineering researchers and practitioners rely on empirical evidence from the field. Thus, education of software engineers must include strong and applied education in empirical research methods. For most students, the master's thesis is the last, but also most applied form of this education in their studies. [Problem:] Especially thesis work in collaboration with industry requ...

Specification and Verification of Timing Properties in Interoperable Medical Systems

Mahsa Zarneshan, F. Ghassemi, Ehsan Khamespanah, M. Sirjani, J. Hatcliff. In: Log. Methods Comput. Sci.. 2020

Abstract: To support the dynamic composition of various devices/apps into a medical system at point-of-care, a set of communication patterns to describe the communication needs of devices has been proposed. To address timing requirements, each pattern breaks common timing properties into finer ones that can be enforced locally by the components. Common timing requirements for the underlying communication su...

Specification and Verification of Timing Properties in Interoperable Medical Systems

Mahsa Zarneshan, F. Ghassemi, Ehsan Khamespanah, M. Sirjani, J. Hatcliff. In: Log. Methods Comput. Sci.. 2020

Abstract: To support the dynamic composition of various devices/apps into a medical system at point-of-care, a set of communication patterns to describe the communication needs of devices has been proposed. To address timing requirements, each pattern breaks common timing properties into finer ones that can be enforced locally by the components. Common timing requirements for the underlying communication su...

Cybersecurity Analysis for a Remote Drug Dosing and Adherence Monitoring System

Dino Mustefa, S. Punnekkat. In: . 2020

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems

Maryam Bagheri, Edward A. Lee, Eunsuk Kang, M. Sirjani, Ehsan et al. In: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). 2020

Abstract: In this paper, we propose a robust solution for the path planning and scheduling of the moving objects in a Track-based Traffic Control System (TTCS). The moving objects in a TTCS pass over pre-specified sub-tracks. Each sub-track accommodates at most one moving object in-transit. Due to the uncertainties in the context of a TTCS, we assign an arrival time window to each moving object for each sub...

AI Deployment Architecture: Multi-Case Study for Key Factor Identification

Meenu Mary John, H. Olsson, J. Bosch. In: 2020 27th Asia-Pacific Software Engineering Conference (APSEC). 2020

Abstract: Machine learning and deep learning techniques are becoming increasingly popular and critical for companies as part of their systems. However, although the development and prototyping of ML/DL systems are common across companies, the transition from prototype to production-quality deployment models are challenging. One of the key challenges is how to determine the selection of an optimal architectu...

ESE audit on management of Adult Growth Hormone Deficiency in clinical practice.

L. Martel-Duguech, J. Jørgensen, M. Korbonits, G. Johannsson, S. Webb et al. In: European journal of endocrinology. 2020

Abstract: Guidelines recommend adults with pituitary disease in whom GH therapy is contemplated, to be tested for GH deficiency (AGHD); however, clinical practice is not uniform. AIMS 1) To record current practice of AGHD management throughout Europe and benchmark it against guidelines; 2) To evaluate educational status of healthcare professionals about AGHD. DESIGN On-line survey in endocrine centres t...