SC Harvester Papers Database Interface

AUTOSAR (AUTomotive Open System ARchitecture)

M. Staron. In: Automotive Software Architectures. 2020

Detailed Design of Automotive Software

M. Staron. In: Automotive Software Architectures. 2020

Summary

M. Staron. In: Automotive Software Architectures. 2020

Introduction

M. Staron. In: Automotive Software Architectures. 2020

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