29 citations · 65 across the 3 of their papers we have counts for
3 papers
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…
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…
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…