activity
20142023
most citedTowards the Verification of Safety-critical Autonomous Systems in Dynamic Environments

29 citations · 67 across the 7 of their papers we have counts for

collaborators

7 papers

cs.SE2023★ 1 cited

Emergent Software Service Platform and its Application in a Smart Mobility Setting

Nils Wilken, Christoph Knieke, Eric Nyakam +4

The development dynamics of digital innovations for industry, business, and society are producing complex system conglomerates that can no longer be designed centrally and hierarch…

cs.SE2022

How to Extend the Abstraction Refinement Model for Systems with Emergent Behavior ?

Mohamed Toufik Ailane, Christoph Knieke, Andreas Rausch

The Abstraction Refinement Model has been widely adopted since it was firstly proposed many decades ago. This powerful model of software evolution process brings important properti…

cs.SE2021

Tackling Software Architecture Erosion: Joint Architecture and Implementation Repairing by a Knowledge-based Approach

Christoph Knieke, Andreas Rausch, Mirco Schindler

Architecture erosion is a big challenge in modern architectures leading to a deterioration of the quality properties of these systems. Today, no comprehensive approach for regainin…

cs.RO2020★ 1 cited

Toward Mutual Trust Modeling in Human-Robot Collaboration

Basel Alhaji, Andreas Rausch, Michael Prilla

The recent revolution of intelligent systems made it possible for robots and autonomous systems to work alongside humans, collaborating with them and supporting them in many domain…

cs.SE2016★ 29 cited

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments

Adina Aniculaesei, Daniel Arnsberger, Falk Howar +1

There is an increasing necessity to deploy autonomous systems in highly heterogeneous, dynamic environments, e.g. service robots in hospitals or autonomous cars on highways. Due to…

cs.SE2014★ 10 cited

Modeling Dynamic Component Interfaces

Franz Huber, Andreas Rausch, Bernhard Rumpe

We adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changing set of conne…

cs.SE2014★ 26 cited

Orchestration of Global Software Engineering Projects

Christian Bartelt, Manfred Broy, Christoph Herrmann +5

Global software engineering has become a fact in many companies due to real necessity in practice. In contrast to co-located projects global projects face a number of additional so…