Publications

Past Publications

2022[ to top ]

Commonsense Knowledge for Human-Robot Collaboration in Hybrid Search and Rescue Teams. Geihs, Kurt; Jakob, Stefan; Opfer, Stephan; Alhamwy, Yasin. In 2nd International Workshop on Human-Robot Interaction: New Trends in Service and Industry (HRI-SI2022). Naples/Italy, 2022.
- [ BibTeX ]
@inproceedings{Geihs2022, address = {Naples/Italy}, author = {Geihs, Kurt and Jakob, Stefan and Opfer, Stephan and Alhamwy, Yasin}, booktitle = {2nd International Workshop on Human-Robot Interaction: New Trends in Service and Industry (HRI-SI2022)}, keywords = {itegpub}, title = {Commonsense Knowledge for Human-Robot Collaboration in Hybrid Search and Rescue Teams}, year = 2022 }

2021[ to top ]

Technical & Data Protection Aspects of a Smart Digital Control Center for Smart Cities. Stroscher, Jan-Philipp; Schnaubelt, Marius; Sanchez Guinea, Alejandro; Fabian, Stefan; von Willich, Julius; Alhamwy, Yasin; Bauer, Maximilian; von Stryk, Oskar; Mühlhäuser, Max; Geihs, Kurt; Klingauf, Uwe; Hornung, Gerrit. In INFORMATIK 2021, G. für Informatik e.V. (GI) (Hrsg.), S. 1047–1058. Gesellschaft für Informatik, Bonn, 2021.
- [ BibTeX ]
@inproceedings{mci/Stroscher2021, author = {Stroscher, Jan-Philipp and Schnaubelt, Marius and Sanchez Guinea, Alejandro and Fabian, Stefan and von Willich, Julius and Alhamwy, Yasin and Bauer, Maximilian and von Stryk, Oskar and Mühlhäuser, Max and Geihs, Kurt and Klingauf, Uwe and Hornung, Gerrit}, booktitle = {INFORMATIK 2021}, editor = {für Informatik e.V. (GI), Gesellschaft}, keywords = {itegpub}, pages = {1047-1058}, publisher = {Gesellschaft für Informatik, Bonn}, title = {Technical & Data Protection Aspects of a Smart Digital Control Center for Smart Cities}, year = 2021 }
Performance Analysis of Mobile Computing in Edge/Cloud Configurations with Feedback. Geihs, Kurt. In IEEE GLOBECOM 2021 Workshop on Communication and Networking for Cloud-integrated Edge Computing. IEEE, Madrid/Spain, 2021.
- [ BibTeX ]
@conference{geihs2021performance, address = {Madrid/Spain}, author = {Geihs, Kurt}, booktitle = {IEEE GLOBECOM 2021 Workshop on Communication and Networking for Cloud-integrated Edge Computing}, keywords = {vs}, month = 12, publisher = {IEEE}, title = {Performance Analysis of Mobile Computing in Edge/Cloud Configurations with Feedback}, year = 2021 }
Adaptive Semantic Routing in Dynamic Environments. Jakob, Stefan; Baraki, Harun; Jahl, Alexander; Chiadjeu, Eric Douglas Nyakam; Alhamwy, Yasin; Geihs, Kurt. In Proceedings of the 13th International Conference on Agents and Artificial Intelligence. SciTePress, 2021.
- [ BibTeX ]
@inproceedings{jakob2021adaptive, author = {Jakob, Stefan and Baraki, Harun and Jahl, Alexander and Chiadjeu, Eric Douglas Nyakam and Alhamwy, Yasin and Geihs, Kurt}, booktitle = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence}, keywords = {itegpub}, organization = {INSTICC}, publisher = {SciTePress}, title = {Adaptive Semantic Routing in Dynamic Environments}, year = 2021 }
A Feasibility Analysis of Tether Localisation for Mobile Robots. Alhamwy, Yasin; Watson, Simon; Carrasco, Joaquin; Cooper, Glen; Geihs, Kurt. Zenodo, Bremerhaven, Germany, 2021.
- [ BibTeX ]
- [ URL ]
@proceedings{yasin_alhamwy_2021_5603331, address = {Bremerhaven, Germany}, author = {Alhamwy, Yasin and Watson, Simon and Carrasco, Joaquin and Cooper, Glen and Geihs, Kurt}, keywords = {vs}, month = 10, publisher = {Zenodo}, title = {A Feasibility Analysis of Tether Localisation for Mobile Robots}, year = 2021 }
Generating Commonsense Ontologies with Answer Set Programming. Jakob, Stefan; Jahl, Alexander; Baraki, Harun; Geihs, Kurt. In Proceedings of the 13th International Conference on Agents and Artificial Intelligence. SciTePress, 2021.
- [ BibTeX ]
@inproceedings{jakob2021, author = {Jakob, Stefan and Jahl, Alexander and Baraki, Harun and Geihs, Kurt}, booktitle = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence}, keywords = {itegpub}, organization = {INSTICC}, publisher = {SciTePress}, title = {Generating Commonsense Ontologies with Answer Set Programming}, year = 2021 }
Blockchain-based Task-centric Team Building. Jahl, Alexander; Jakob, Stefan; Baraki, Harun; Alhamwy, Yasin; Geihs, Kurt. In Proceedings of the 13th International Conference on Agents and Artificial Intelligence. SciTePress, 2021.
- [ BibTeX ]
@inproceedings{jahl2021, author = {Jahl, Alexander and Jakob, Stefan and Baraki, Harun and Alhamwy, Yasin and Geihs, Kurt}, booktitle = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence}, keywords = {itegpub}, organization = {INSTICC}, publisher = {SciTePress}, title = {Blockchain-based Task-centric Team Building}, year = 2021 }
Information Management for Multi-Agent Systems. Alhamwy, Yasin. In Electronic Communications of the EASST, 80. 2021.
- [ BibTeX ]
@article{alhamwy2021information, author = {Alhamwy, Yasin}, journal = {Electronic Communications of the EASST}, keywords = {itegpub}, title = {Information Management for Multi-Agent Systems}, volume = 80, year = 2021 }

2020[ to top ]

A Self-Organizing Multi-Agent Knowledge Base. Jakob, Stefan; Jahl, Alexander; Baraki, Harun; Geihs, Kurt. In The IEEE 2020 International Conference on Web Services (ICWS 2020). IEEE, 2020.
- [ BibTeX ]
@inproceedings{jakob2020, author = {Jakob, Stefan and Jahl, Alexander and Baraki, Harun and Geihs, Kurt}, booktitle = {The IEEE 2020 International Conference on Web Services (ICWS 2020)}, keywords = {itegpub}, organization = {IEEE}, publisher = {IEEE}, title = {A Self-Organizing Multi-Agent Knowledge Base}, year = 2020 }
Engineering Challenges Ahead for Robot Teamwork in Dynamic Environments. Geihs, Kurt. In Applied Sciences, 10(4), S. 1368. Multidisciplinary Digital Publishing Institute, 2020.
- [ BibTeX ]
@article{geihs2020engineering, author = {Geihs, Kurt}, journal = {Applied Sciences}, keywords = {itegpub}, number = 4, pages = 1368, publisher = {Multidisciplinary Digital Publishing Institute}, title = {Engineering Challenges Ahead for Robot Teamwork in Dynamic Environments}, volume = 10, year = 2020 }
Performance analysis of edge-fog-cloud architectures in the Internet of Things. Geihs, Kurt; Baraki, Harun; de la Oliva, Antonio. In Proceedings of the 13th IEEE/ACM International Conference on Utility and Cloud Computing Companion. IEEE/ACM, 2020.
- [ Abstract ]
- [ BibTeX ]
We present a general performance model for communication architectures in Internet of Things scenarios. The architecture involves three processing layers, i.e., edge, fog, and cloud computing. According to the objectives of edge and fog computing, we assume that a certain percentage of the data is finally processed at the edge and fog layer. The rest is forwarded to the next higher layer for further processing. Data processing is modeled as a sequence of queueing stations. This allows us to compute performance parameters such as throughput and response times at all layers. The main contribution of this paper is an easy to use method for IoT application designers that provides a very fast and very flexible parametric support for evaluating design trade-offs in edge-fog-cloud configurations.
@conference{geihs2020performance, abstract = {We present a general performance model for communication architectures in Internet of Things scenarios. The architecture involves three processing layers, i.e., edge, fog, and cloud computing. According to the objectives of edge and fog computing, we assume that a certain percentage of the data is finally processed at the edge and fog layer. The rest is forwarded to the next higher layer for further processing. Data processing is modeled as a sequence of queueing stations. This allows us to compute performance parameters such as throughput and response times at all layers. The main contribution of this paper is an easy to use method for IoT application designers that provides a very fast and very flexible parametric support for evaluating design trade-offs in edge-fog-cloud configurations.}, author = {Geihs, Kurt and Baraki, Harun and de la Oliva, Antonio}, booktitle = {Proceedings of the 13th IEEE/ACM International Conference on Utility and Cloud Computing Companion}, keywords = {itegpub}, month = 12, publisher = {IEEE/ACM}, title = {Performance analysis of edge-fog-cloud architectures in the Internet of Things}, year = 2020 }

2019[ to top ]

Teaching Commonsense and Dynamic Knowledge to Service Robots. Opfer, Stephan; Jakob, Stefan; Geihs, Kurt. In 11th Conference on Social Robotics (ICSR2019). 2019.
- [ BibTeX ]
@inproceedings{Opfer2019b, author = {Opfer, Stephan and Jakob, Stefan and Geihs, Kurt}, booktitle = {11th Conference on Social Robotics (ICSR2019)}, keywords = {itegpub}, title = {{Teaching Commonsense and Dynamic Knowledge to Service Robots}}, year = 2019 }
ALICA 2.0 - Domain-Independent Teamwork. Opfer, Stephan; Jakob, Stefan; Jahl, Alexander; Geihs, Kurt. In Proceedings of 42nd German Conference on Artificial Intelligence (KI2019). 2019.
- [ BibTeX ]
@inproceedings{opfer2019ALICA, author = {Opfer, Stephan and Jakob, Stefan and Jahl, Alexander and Geihs, Kurt}, booktitle = {Proceedings of 42nd German Conference on Artificial Intelligence (KI2019)}, keywords = {itegpub}, title = {ALICA 2.0 - Domain-Independent Teamwork}, year = 2019 }
Hierarchical Multi-Agent Deep Reinforcement Learning to Develop Long-Term Coordination. Ossenkopf, Marie; Jorgensen, Mackenzie; Geihs, Kurt. In Proceedings of the 34th Annual ACM Symposium on Applied Computing SAC. 2019.
- [ BibTeX ]
- [ URL ]
@article{ossenkopf2019hierarchical, author = {Ossenkopf, Marie and Jorgensen, Mackenzie and Geihs, Kurt}, journal = {Proceedings of the 34th Annual ACM Symposium on Applied Computing SAC}, keywords = {itegpub}, title = {Hierarchical Multi-Agent Deep Reinforcement Learning to Develop Long-Term Coordination}, year = 2019 }
Positioning of Active Wheels for Optimal Ball Handling. Beuermann, Maximilian; Ossenkopf, Marie; Geihs, Kurt. In Robot World Cup, S. 30–43. Springer, 2019.
- [ BibTeX ]
@inproceedings{beuermann2019positioning, author = {Beuermann, Maximilian and Ossenkopf, Marie and Geihs, Kurt}, booktitle = {Robot World Cup}, keywords = {itegpub}, organization = {Springer}, pages = {30–43}, title = {Positioning of Active Wheels for Optimal Ball Handling}, year = 2019 }
COOP - AutomatiC ValidatiOn of EvOlving Microservice ComPositions. Groh, Olga; Baraki, Harun; Jahl, Alexander; Geihs, Kurt. In Proceedings of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATTOSE 2019). 2019.
- [ BibTeX ]
@inproceedings{Groh2019, author = {Groh, Olga and Baraki, Harun and Jahl, Alexander and Geihs, Kurt}, booktitle = {Proceedings of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATTOSE 2019)}, keywords = {itegpub}, title = {COOP - AutomatiC ValidatiOn of EvOlving Microservice ComPositions}, year = 2019 }
When Does Communication Learning Need Hierarchical Multi-Agent Deep Reinforcement Learning. Ossenkopf, Marie; Jorgensen, Mackenzie; Geihs, Kurt. In Cybernetics and Systems, 50(8), S. 672–692. Taylor & Francis, 2019.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
AbstractMulti-agent systems need to communicate to coordinate a shared task. We show that a recurrent neural network (RNN) can learn a communication protocol for coordination, even if the actions to coordinate are performed steps after the communication phase. We show that a separation of tasks with different temporal scale is necessary for successful learning. We contribute a hierarchical deep reinforcement learning model for multi-agent systems that separates the communication and coordination task from the action picking through a hierarchical policy. We further on show that a separation of concerns in communication is beneficial but not necessary. As a testbed, we propose the Dungeon Lever Game and we extend the Differentiable Inter-Agent Learning (DIAL) framework. We present and compare results from different model variations on the Dungeon Lever Game.
@article{doi:10.1080/01969722.2019.1677335, abstract = {AbstractMulti-agent systems need to communicate to coordinate a shared task. We show that a recurrent neural network (RNN) can learn a communication protocol for coordination, even if the actions to coordinate are performed steps after the communication phase. We show that a separation of tasks with different temporal scale is necessary for successful learning. We contribute a hierarchical deep reinforcement learning model for multi-agent systems that separates the communication and coordination task from the action picking through a hierarchical policy. We further on show that a separation of concerns in communication is beneficial but not necessary. As a testbed, we propose the Dungeon Lever Game and we extend the Differentiable Inter-Agent Learning (DIAL) framework. We present and compare results from different model variations on the Dungeon Lever Game.}, author = {Ossenkopf, Marie and Jorgensen, Mackenzie and Geihs, Kurt}, journal = {Cybernetics and Systems}, keywords = {itegpub}, number = 8, pages = {672-692}, publisher = {Taylor & Francis}, title = {When Does Communication Learning Need Hierarchical Multi-Agent Deep Reinforcement Learning}, volume = 50, year = 2019 }
Long-Horizon Active SLAM system for multi-agent coordinated exploration. Ossenkopf, Marie; Castro, Gastón; Pessacg, Facundo; Geihs, Kurt; De Cristóforis, Pablo. In 2019 European Conference on Mobile Robots (ECMR), S. 1–6. IEEE, 2019.
- [ BibTeX ]
@inproceedings{ossenkopf2019long, author = {Ossenkopf, Marie and Castro, Gast{\'o}n and Pessacg, Facundo and Geihs, Kurt and De Crist{\'o}foris, Pablo}, booktitle = {2019 European Conference on Mobile Robots (ECMR)}, keywords = {itegpub}, organization = {IEEE}, pages = {1–6}, title = {Long-Horizon Active SLAM system for multi-agent coordinated exploration}, year = 2019 }
Optimizing Applications for Mobile Cloud Computing Through MOCCAA. Baraki, Harun; Jahl, Alexander; Jakob, Stefan; Schwarzbach, Corvin; Fax, Malte; Geihs, Kurt. In Journal of Grid Computing, S. 1–26. Springer, 2019.
- [ BibTeX ]
@article{baraki2019optimizing, author = {Baraki, Harun and Jahl, Alexander and Jakob, Stefan and Schwarzbach, Corvin and Fax, Malte and Geihs, Kurt}, journal = {Journal of Grid Computing}, keywords = {itegpub}, pages = {1–26}, publisher = {Springer}, title = {Optimizing Applications for Mobile Cloud Computing Through MOCCAA}, year = 2019 }

2018[ to top ]

Decentralized decision making in adaptive multi-robot teams. Geihs, Kurt; Witsch, Andreas. In it - Information Technology, 60(4), S. 239–248. 2018.
- [ BibTeX ]
@article{geihs2018decentralized, author = {Geihs, Kurt and Witsch, Andreas}, journal = {it - Information Technology}, keywords = {itegpub}, month = {07}, number = 4, pages = {239-248}, title = {Decentralized decision making in adaptive multi-robot teams}, volume = 60, year = 2018 }
DECOM: A framework to support evolution of IoT services. Tran, Tam Huu; Jahl, Alexander; Geihs, Kurt; Kuppili, Ramaprasad; Nguyen, Thang Xuan; Binh Huynh, Thanh Thi. In Proceedings of the Ninth International Symposium on Information and Communication Technology. Danang City, Viet Nam, 2018.
- [ BibTeX ]
- [ URL ]
@inproceedings{tran2018decom, address = {Danang City, Viet Nam}, author = {Tran, Tam Huu and Jahl, Alexander and Geihs, Kurt and Kuppili, Ramaprasad and Nguyen, Thang Xuan and Binh Huynh, Thanh Thi}, booktitle = {Proceedings of the Ninth International Symposium on Information and Communication Technology}, keywords = {itegpub}, month = 12, title = {DECOM: A framework to support evolution of IoT services}, year = 2018 }
MOCCAA: A Delta-synchronized and Adaptable Mobile Cloud Computing Framework. Baraki, Harun; Schwarzbach, Corvin; Fax, Malte; Geihs, Kurt. In Proceedings of the 8th International Conference on Cloud Computing and Services Science 2018, SCITEPRESS (Hrsg.), S. 136–147. 2018.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
Mobile Cloud Computing (MCC) requires an infrastructure that is merging the capabilities of resource-constrained but mobile and context-aware devices with that of immovable but powerful resources in the cloud. Application execution shall be boosted and battery consumption reduced. However, a solution's practicability is only ensured, if the provided tools, environment and framework themselves are performant too and if developers are able to adopt, extend and apply it easily. In this light, we introduce our comprehensive and extendable framework MOCCAA (MObile Cloud Computing AdaptAble) and demonstrate its effectiveness. Its performance gain is mainly achieved through minimized monitoring efforts for resource consumption prediction, scalable and location-aware resource discovery and management, and, in particular, through our graph-based delta synchronization of local and remote object states. This allows us to reduce synchronization costs significantly and improve quality dimensions such as latency and bandwidth consumption.
@article{unknown, abstract = {Mobile Cloud Computing (MCC) requires an infrastructure that is merging the capabilities of resource-constrained but mobile and context-aware devices with that of immovable but powerful resources in the cloud. Application execution shall be boosted and battery consumption reduced. However, a solution's practicability is only ensured, if the provided tools, environment and framework themselves are performant too and if developers are able to adopt, extend and apply it easily. In this light, we introduce our comprehensive and extendable framework MOCCAA (MObile Cloud Computing AdaptAble) and demonstrate its effectiveness. Its performance gain is mainly achieved through minimized monitoring efforts for resource consumption prediction, scalable and location-aware resource discovery and management, and, in particular, through our graph-based delta synchronization of local and remote object states. This allows us to reduce synchronization costs significantly and improve quality dimensions such as latency and bandwidth consumption.}, author = {Baraki, Harun and Schwarzbach, Corvin and Fax, Malte and Geihs, Kurt}, editor = {SCITEPRESS}, journal = {Proceedings of the 8th International Conference on Cloud Computing and Services Science 2018}, keywords = {itegpub}, month = {03}, pages = {136-147}, title = {MOCCAA: A Delta-synchronized and Adaptable Mobile Cloud Computing Framework}, year = 2018 }
Student Competition Teams: Combining Research and Teaching. Opfer, Stephan; Ossenkopf, Marie; Geihs, Kurt. In Proceedings of the 47th Annual Conference of the Southern African Computer Lecturers’ Association, SACLA 2018. Cape Town, South Africa, 2018.
- [ BibTeX ]
- [ URL ]
@inproceedings{opfer2018student, address = {Cape Town, South Africa}, author = {Opfer, Stephan and Ossenkopf, Marie and Geihs, Kurt}, booktitle = {Proceedings of the 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018}, keywords = {itegpub}, title = {Student Competition Teams: Combining Research and Teaching}, year = 2018 }
Formal Verification of ALICA Multi-agent Plans Using Model Checking. Nguyen Van, Thao; Fredivianus, Nugroho; Tran, Tam Huu; Geihs, Kurt; Binh Huynh, Thanh Thi. In Proceedings of the Ninth International Symposium on Information and Communication Technology. Danang City, Viet Nam, 2018.
- [ BibTeX ]
- [ URL ]
@inproceedings{nguyenvan2018formal, address = {Danang City, Viet Nam}, author = {Nguyen Van, Thao and Fredivianus, Nugroho and Tran, Tam Huu and Geihs, Kurt and Binh Huynh, Thanh Thi}, booktitle = {Proceedings of the Ninth International Symposium on Information and Communication Technology}, keywords = {itegpub}, month = 12, title = {Formal Verification of ALICA Multi-agent Plans Using Model Checking}, year = 2018 }
Behavior-based Service Change Detection. Jahl, Alexander; Tran, Tam Huu; Baraki, Harun; Geihs, Kurt. In 4th IEEE International Conference on Smart Computing (SMARTCOMP). IEEE, 2018.
- [ BibTeX ]
@inproceedings{jahl2018behaviorbased, author = {Jahl, Alexander and Tran, Tam Huu and Baraki, Harun and Geihs, Kurt}, booktitle = {4th IEEE International Conference on Smart Computing (SMARTCOMP)}, keywords = {itegpub}, organization = {IEEE}, title = {Behavior-based Service Change Detection}, year = 2018 }
Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property. Opfer, Stephan; Jakob, Stefan; Geihs, Kurt. In Agents and Artificial Intelligence, Bd. 1, S. 22–47. Springer International Publishing, 2018.
- [ BibTeX ]
@inproceedings{opfer2018reasoning, author = {Opfer, Stephan and Jakob, Stefan and Geihs, Kurt}, booktitle = {Agents and Artificial Intelligence}, keywords = {itegpub}, pages = {22–47}, publisher = {Springer International Publishing}, title = {Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property}, volume = 1, year = 2018 }
SAM: A Semantic-aware Middleware for Mobile Cloud Computing. Baraki, Harun; Schwarzbach, Corvin; Jakob, Stefan; Jahl, Alexander; Geihs, Kurt. In 2018 IEEE 11th International Conference on Cloud Computing (CLOUD). IEEE, 2018.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
Mobile Cloud Computing (MCC) requires an infrastructure that is combining the capabilities of resource-constrained but mobile and context-aware devices with that of immovable but powerful resources in the cloud. Application execution shall be boosted and battery consumption reduced. Our goal is to relieve mobile devices by enabling applications to cooperate transparently with components provided by third parties remotely, locally, or both. For this purpose, we developed SAM - the Semantic-aware Middleware - and the SAM Store. The latter resembles a registry. It allows component providers to publish semantically enriched interfaces and to offer corresponding local and remote implementations. SAM makes use of the SAM Store to match local interprocess communication (IPC) messages transparently against local and remote components. This architecture facilitates the integration of powerful, but resource-intensive remote components, which may be prioritized over local ones, and fosters various patterns of cooperation that demonstrate useful solutions in the area of MCC. By means of a realistic scenario, our evaluation proves the efficiency with respect to latency and practicality.
@conference{baraki-etal-cloud2018, abstract = {Mobile Cloud Computing (MCC) requires an infrastructure that is combining the capabilities of resource-constrained but mobile and context-aware devices with that of immovable but powerful resources in the cloud. Application execution shall be boosted and battery consumption reduced. Our goal is to relieve mobile devices by enabling applications to cooperate transparently with components provided by third parties remotely, locally, or both. For this purpose, we developed SAM - the Semantic-aware Middleware - and the SAM Store. The latter resembles a registry. It allows component providers to publish semantically enriched interfaces and to offer corresponding local and remote implementations. SAM makes use of the SAM Store to match local interprocess communication (IPC) messages transparently against local and remote components. This architecture facilitates the integration of powerful, but resource-intensive remote components, which may be prioritized over local ones, and fosters various patterns of cooperation that demonstrate useful solutions in the area of MCC. By means of a realistic scenario, our evaluation proves the efficiency with respect to latency and practicality.}, author = {Baraki, Harun and Schwarzbach, Corvin and Jakob, Stefan and Jahl, Alexander and Geihs, Kurt}, booktitle = {2018 IEEE 11th International Conference on Cloud Computing (CLOUD)}, keywords = {itegpub}, publisher = {IEEE}, title = {SAM: A Semantic-aware Middleware for Mobile Cloud Computing}, year = 2018 }

2017[ to top ]

The Notion of Self-aware Computing. Kounev, Samuel; Lewis, Peter; Bellman, Kirstie L; Bencomo, Nelly; Camara, Javier; Diaconescu, Ada; Esterle, Lukas; Geihs, Kurt; Giese, Holger; Götz, Sebastian; others. In Self-Aware Computing Systems, S. 3–16. Springer, 2017.
- [ BibTeX ]
@incollection{kounev2017notion, author = {Kounev, Samuel and Lewis, Peter and Bellman, Kirstie L and Bencomo, Nelly and Camara, Javier and Diaconescu, Ada and Esterle, Lukas and Geihs, Kurt and Giese, Holger and G{\"o}tz, Sebastian and others}, booktitle = {Self-Aware Computing Systems}, keywords = {itegpub}, pages = {3–16}, publisher = {Springer}, title = {The Notion of Self-aware Computing}, year = 2017 }
MiniWorld: Resource-aware Distributed Network Emulation via Full Virtualization. Schmidt, Nils; Baumgärtner, Lars; Lampe, Patrick; Geihs, Kurt; Freisleben, Bernd. In Proceedings of the 22nd IEEE Symposium on Computers and Communications. Heraklion, Greece, 2017.
- [ BibTeX ]
@inproceedings{schmidt2017miniworld, address = {Heraklion, Greece}, author = {Schmidt, Nils and Baumgärtner, Lars and Lampe, Patrick and Geihs, Kurt and Freisleben, Bernd}, booktitle = {Proceedings of the 22nd IEEE Symposium on Computers and Communications}, keywords = {itegpub}, title = {MiniWorld: Resource-aware Distributed Network Emulation via Full Virtualization}, year = 2017 }
On-the-Fly Transformation Synthesis for Information Sharing in Heterogeneous Multi-Agent Systems. Niemczyk, Stefan; Fredivianus, Nugroho; Geihs, Kurt. In Proceedings of Intelligent Robotics and Multi-Agent Systems (IRMAS ’17). Marakesh, Marocco, 2017.
- [ BibTeX ]
@inproceedings{niemczyk2017onthefly, address = {Marakesh, Marocco}, author = {Niemczyk, Stefan and Fredivianus, Nugroho and Geihs, Kurt}, booktitle = {Proceedings of Intelligent Robotics and Multi-Agent Systems (IRMAS '17)}, keywords = {itegpub}, title = {On-the-Fly Transformation Synthesis for Information Sharing in Heterogeneous Multi-Agent Systems}, year = 2017 }
State of the Art in Architectures for Self-aware Computing Systems. Giese, Holger; Vogel, Thomas; Diaconescu, Ada; Götz, Sebastian; Bencomo, Nelly; Geihs, Kurt; Kounev, Samuel; Bellman, Kirstie L. In Self-Aware Computing Systems, S. 237–275. Springer, 2017.
- [ BibTeX ]
@incollection{giese2017state, author = {Giese, Holger and Vogel, Thomas and Diaconescu, Ada and G{\"o}tz, Sebastian and Bencomo, Nelly and Geihs, Kurt and Kounev, Samuel and Bellman, Kirstie L}, booktitle = {Self-Aware Computing Systems}, keywords = {itegpub}, pages = {237–275}, publisher = {Springer}, title = {State of the Art in Architectures for Self-aware Computing Systems}, year = 2017 }
Lifting Low-Level Changes through User-Defined Graph-Rule-Based Patterns. Jahl, Alexander; Baraki, Harun; Tran, Huu Tam; Kuppili, Ramaprasad; Geihs, Kurt. In Proceedings of the 17th IFIP International Conference on Distributed Applications and Interoperable Systems: DAIS, S. 115–128. Springer, 2017.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
In dynamic service-oriented architectures, services and service compositions underlie constant evolution that may not only affect the own workflow but dependent services too. Subsequently, required adaptations necessitate an effective detection of the changes and their effects. Merely capturing a sequence of low-level changes and analyzing each of them demands much coordination and may lead to an incomplete picture. An abstraction that summarizes a combination of low-level changes will facilitate the detection and reduce the number of changes that shall be considered for adaptation. In this paper, we propose an abstraction that is formulated through graph-based patterns, since service compositions are workflows that can be mapped to directed labeled graphs. The characteristics and granularity of a graph pattern can be adjusted by domain experts to the respective workflow language and application case. In particular, graph-based patterns are crucial when workflows are represented in two different formats. This could be the case if there exists one representation for the execution and one for the verification. We present implementation details and a detailed example that shows the feasibility and simplicity of our solution.
@inproceedings{jahl2017lifting, abstract = {In dynamic service-oriented architectures, services and service compositions underlie constant evolution that may not only affect the own workflow but dependent services too. Subsequently, required adaptations necessitate an effective detection of the changes and their effects. Merely capturing a sequence of low-level changes and analyzing each of them demands much coordination and may lead to an incomplete picture. An abstraction that summarizes a combination of low-level changes will facilitate the detection and reduce the number of changes that shall be considered for adaptation. In this paper, we propose an abstraction that is formulated through graph-based patterns, since service compositions are workflows that can be mapped to directed labeled graphs. The characteristics and granularity of a graph pattern can be adjusted by domain experts to the respective workflow language and application case. In particular, graph-based patterns are crucial when workflows are represented in two different formats. This could be the case if there exists one representation for the execution and one for the verification. We present implementation details and a detailed example that shows the feasibility and simplicity of our solution.}, author = {Jahl, Alexander and Baraki, Harun and Tran, Huu Tam and Kuppili, Ramaprasad and Geihs, Kurt}, booktitle = {Proceedings of the 17th IFIP International Conference on Distributed Applications and Interoperable Systems: DAIS}, keywords = {itegpub}, pages = {115-128}, publisher = {Springer}, title = {Lifting Low-Level Changes through User-Defined Graph-Rule-Based Patterns}, year = 2017 }
Upgrading Wireless Home Routers as Emergency Cloudlet and Secure DTN Communication Bridge. Meurisch, Christian; Nguyen, The An Binh; Gedeon, Julien; Kohnhäuser, Florian; Schmittner, Milan; Niemczyk, Stefan; Wullkotte, Stefan; Mühlhäuser, Max. In International Conference on Computer Communications and Networks (ICCCN’17): Posters. IEEE, 2017.
- [ BibTeX ]
@inproceedings{TUD-CS-2017-0103, author = {Meurisch, Christian and Nguyen, The An Binh and Gedeon, Julien and Kohnh{\"a}user, Florian and Schmittner, Milan and Niemczyk, Stefan and Wullkotte, Stefan and M{\"u}hlh{\"a}user, Max}, booktitle = {International Conference on Computer Communications and Networks (ICCCN'17): Posters}, keywords = {vs}, month = {07}, publisher = {IEEE}, title = {Upgrading Wireless Home Routers as Emergency Cloudlet and Secure DTN Communication Bridge}, year = 2017 }
ICE – Self-Configuration of Information Processing in Heterogeneous Agent Teams. Niemczyk, Stefan; Opfer, Stephan; Fredivianus, Nugroho; Geihs, Kurt. In Proceedings of 12th Dependable, Adaptive, and Trustworthy Distributed Systems (DADS ’17). Marakesh, Marocco, 2017.
- [ BibTeX ]
@inproceedings{niemczyk2017selfconfiguration, address = {Marakesh, Marocco}, author = {Niemczyk, Stefan and Opfer, Stephan and Fredivianus, Nugroho and Geihs, Kurt}, booktitle = {Proceedings of 12th Dependable, Adaptive, and Trustworthy Distributed Systems (DADS '17)}, keywords = {itegpub}, title = {ICE – Self-Configuration of Information Processing in Heterogeneous Agent Teams}, year = 2017 }
Self-aware Computing Systems: Open Challenges and Future Research Directions. Birke, Robert; Cámara, Javier; Chen, Lydia Y; Esterle, Lukas; Geihs, Kurt; Gelenbe, Erol; Giese, Holger; Robertsson, Anders; Zhu, Xiaoyun. In Self-Aware Computing Systems, S. 709–722. Springer, 2017.
- [ BibTeX ]
@incollection{birke2017self, author = {Birke, Robert and C{\'a}mara, Javier and Chen, Lydia Y and Esterle, Lukas and Geihs, Kurt and Gelenbe, Erol and Giese, Holger and Robertsson, Anders and Zhu, Xiaoyun}, booktitle = {Self-Aware Computing Systems}, keywords = {itegpub}, pages = {709–722}, publisher = {Springer}, title = {Self-aware Computing Systems: Open Challenges and Future Research Directions}, year = 2017 }
NICER911: Ad-hoc Communication and Emergency Services Using Networking Smartphones and Wireless Home Routers. Meurisch, Christian; Nguyen, The An Binh; Wulkotte, Stefan; Niemczyk, Stefan; Kohnhäuser, Florian; Mühlhäuser, Max. In Proceedings of the 18th International Symposium on Mobile Ad Hoc Net-working and Computing (MobiHoc 2017). Madras, Chennai, India, 2017.
- [ BibTeX ]
@inproceedings{meurisch2017nicer911, address = {Madras, Chennai, India}, author = {Meurisch, Christian and Nguyen, The An Binh and Wulkotte, Stefan and Niemczyk, Stefan and Kohnhäuser, Florian and Mühlhäuser, Max}, booktitle = {Proceedings of the 18th International Symposium on Mobile Ad Hoc Net-working and Computing (MobiHoc 2017)}, keywords = {itegpub}, title = {NICER911: Ad-hoc Communication and Emergency Services Using Networking Smartphones and Wireless Home Routers}, year = 2017 }
Classifier Systems with Native Fuzzy Logic Control Operation. Fredivianus, Nugroho; Geihs, Kurt. In Proceedings of the Genetic and Evolutionary Computation Conference Companion, von GECCO ’17, S. 1341–1348. ACM, Berlin, Germany, 2017.
- [ BibTeX ]
- [ URL ]
@inproceedings{Fredivianus:2017:CSN:3067695.3082487, address = {New York, NY, USA}, author = {Fredivianus, Nugroho and Geihs, Kurt}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference Companion}, keywords = {classifier_control_fuzzy_logic_systems}, pages = {1341–1348}, publisher = {ACM}, series = {GECCO '17}, title = {Classifier Systems with Native Fuzzy Logic Control Operation}, year = 2017 }
Reinforcement Learning for Manipulators without Direct Obstacle Perception in Physically Constrained Environments. Ossenkopf, Marie; Ennen, Philipp; Vossen, Rene; Jeschke, Sabina. In Procedia Manufacturing, 11, S. 329–337. Elsevier, 2017.
- [ BibTeX ]
@article{ossenkopf2017reinforcement, author = {Ossenkopf, Marie and Ennen, Philipp and Vossen, Rene and Jeschke, Sabina}, journal = {Procedia Manufacturing}, keywords = {vs}, pages = {329–337}, publisher = {Elsevier}, title = {Reinforcement Learning for Manipulators without Direct Obstacle Perception in Physically Constrained Environments}, volume = 11, year = 2017 }
Adaptive Task-Oriented Message Template for In-Network Processing. Nguyen, The An Bingh; Meurisch, Christian; Niemczyk, Stefan; Böhnstedt, Doreen; Geihs, Kurt; Mühlhäuser, Max; Steinmetz, Ralf. In Proceedings of the International GI/ITG Conference on Network Systems (NetSys 2017). Göttingen, Germany, 2017.
- [ BibTeX ]
@inproceedings{geihsadaptive, address = {Göttingen, Germany}, author = {Nguyen, The An Bingh and Meurisch, Christian and Niemczyk, Stefan and Böhnstedt, Doreen and Geihs, Kurt and M{\"u}hlh{\"a}user, Max and Steinmetz, Ralf}, booktitle = {Proceedings of the International GI/ITG Conference on Network Systems (NetSys 2017)}, keywords = {itegpub}, title = {Adaptive Task-Oriented Message Template for In-Network Processing}, year = 2017 }
Optimization of Non-functional Properties in Internet of Things Applications. Nguyen, Xuan Thang; Tran, Huu Tam; Baraki, Harun; Geihs, Kurt. In Journal of Network and Computer Applications. Elsevier, 2017.
- [ BibTeX ]
@article{nguyen2017optimization, author = {Nguyen, Xuan Thang and Tran, Huu Tam and Baraki, Harun and Geihs, Kurt}, journal = {Journal of Network and Computer Applications}, keywords = {itegpub}, publisher = {Elsevier}, title = {Optimization of Non-functional Properties in Internet of Things Applications}, year = 2017 }
Reasoning for Autonomous Agents in Dynamic Domains. Opfer, Stephan; Jakob, Stefan; Geihs, Kurt. In Proceedings of the 9th International Conference on Agents and Artificial Intelligence: ICAART, Bd. Volume 2. Porto, Portugal, 2017.
- [ BibTeX ]
- [ URL ]
@inproceedings{opfer2017reasoning, address = {Porto, Portugal}, author = {Opfer, Stephan and Jakob, Stefan and Geihs, Kurt}, booktitle = {Proceedings of the 9th International Conference on Agents and Artificial Intelligence: ICAART}, keywords = {itegpub}, title = {Reasoning for Autonomous Agents in Dynamic Domains}, volume = {Volume 2}, year = 2017 }

2016[ to top ]

User Intervention in Self-adaptive Context-aware Applications. Geihs, Kurt; Evers, Christoph. In Proceedings of the Australasian Computer Science Week Multiconference, von ACSW ’16, S. 51:1–51:8. ACM, Canberra, Australia, 2016.
- [ BibTeX ]
- [ URL ]
@inproceedings{Geihs:2016:UIS:2843043.2843373, address = {New York, NY, USA}, author = {Geihs, Kurt and Evers, Christoph}, booktitle = {Proceedings of the Australasian Computer Science Week Multiconference}, keywords = {itegpub}, month = {02}, pages = {51:1–51:8}, publisher = {ACM}, series = {ACSW '16}, title = {User Intervention in Self-adaptive Context-aware Applications}, year = 2016 }
From Requirement to Design Patterns for Ubiquitous Computing Applications. Knote, Robin; Baraki, Harun; Söllner, Matthias; Geihs, Kurt; Leimeister, Jan Marco. In Proceedings of the 21st European Conference on Pattern Languages of Programs. Germany, 2016.
- [ BibTeX ]
@inproceedings{knote2016requirement, address = {Germany}, author = {Knote, Robin and Baraki, Harun and Söllner, Matthias and Geihs, Kurt and Leimeister, Jan Marco}, booktitle = {Proceedings of the 21st European Conference on Pattern Languages of Programs}, keywords = {vs}, month = {07}, title = {From Requirement to Design Patterns for Ubiquitous Computing Applications}, year = 2016 }
A multi-tenant hierarchical modeling for cloud computing workload. An, Chunyan; Zhou, Jiantao; Liu, Shuai; Geihs, Kurt. In Intelligent Automation & Soft Computing, S. 1–8. 2016.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
AbstractDiverse realistic workloads are urgently needed by SaaS providers and researchers to study the cloud environment. Workload model is an important way to specify and produce workloads. However, existing workload models are usually simplified. They cannot comprehensively describe the variations of the behaviors in user-level, application-level and service level in real environment. Moreover, existing workload models are aimed to only specific applications. They fail to support multi-users, multi-applications and multi-service-units in one workload model. To solve the problem, a hierarchical workload modeling approach is proposed in this paper. The approach constructs a cloud workload model on three layers: User, application, service-units. At each layer two key time-varying variations are captured; amount and composition. Then the workload model is the superposition of the three layers. The approach provides a unified model for different applications and various user behaviors. The experiments give the hierarchical workload models of three examples, which applications are Bag-of-Tasks, MapReduce and self-contained service-units. The experimental results show the flexibility of the novel workload modeling. Finally, architecture of a workload generator based on the model is given.
@article{an2016multitenant, abstract = {AbstractDiverse realistic workloads are urgently needed by SaaS providers and researchers to study the cloud environment. Workload model is an important way to specify and produce workloads. However, existing workload models are usually simplified. They cannot comprehensively describe the variations of the behaviors in user-level, application-level and service level in real environment. Moreover, existing workload models are aimed to only specific applications. They fail to support multi-users, multi-applications and multi-service-units in one workload model. To solve the problem, a hierarchical workload modeling approach is proposed in this paper. The approach constructs a cloud workload model on three layers: User, application, service-units. At each layer two key time-varying variations are captured; amount and composition. Then the workload model is the superposition of the three layers. The approach provides a unified model for different applications and various user behaviors. The experiments give the hierarchical workload models of three examples, which applications are Bag-of-Tasks, MapReduce and self-contained service-units. The experimental results show the flexibility of the novel workload modeling. Finally, architecture of a workload generator based on the model is given.}, author = {An, Chunyan and Zhou, Jiantao and Liu, Shuai and Geihs, Kurt}, journal = {Intelligent Automation & Soft Computing}, keywords = {vs}, pages = {1-8}, title = {A multi-tenant hierarchical modeling for cloud computing workload}, year = 2016 }
Multi-Agent Plan Verification with Answer Set Programming. Opfer, Stephan; Niemczyk, Stefan; Geihs, Kurt. In Proceedings ot the Third Workshop on Model-Driven Robot Software Engineering (MORSE16). ACM, Leipzig, Germany, 2016.
- [ Abstract ]
- [ BibTeX ]
Reasoning about multi-agent plans allows to detect modelling failures and to improve the efficiency of the modelling process. Therefore, we evaluate the applicability of an answer set programming based reasoning support for the multi-agent modelling language ALICA. For a proper judgement several reasoning tasks of different complexity are investigated. The overall architecture is highlighted and encountered problems are discussed. Finally it is concluded that answer set programming is a promising approach for reasoning about multi-agent plans.
@inproceedings{opfer2016multiagent, abstract = {Reasoning about multi-agent plans allows to detect modelling failures and to improve the efficiency of the modelling process. Therefore, we evaluate the applicability of an answer set programming based reasoning support for the multi-agent modelling language ALICA. For a proper judgement several reasoning tasks of different complexity are investigated. The overall architecture is highlighted and encountered problems are discussed. Finally it is concluded that answer set programming is a promising approach for reasoning about multi-agent plans.}, address = {Leipzig, Germany}, author = {Opfer, Stephan and Niemczyk, Stefan and Geihs, Kurt}, booktitle = {Proceedings ot the Third Workshop on Model-Driven Robot Software Engineering (MORSE16)}, keywords = {itegpub}, month = {07}, publisher = {ACM}, title = {Multi-Agent Plan Verification with Answer Set Programming}, year = 2016 }
A Notification Management Architecture for Service Co-evolution in the Internet of Things. Tran, Huu Tam; Baraki, Harun; Kuppili, Ramaprasad; Taherkordi, Amir; Geihs, Kurt. In 10th Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments. IEEE, 2016.
- [ BibTeX ]
@inproceedings{tran2016notification, author = {Tran, Huu Tam and Baraki, Harun and Kuppili, Ramaprasad and Taherkordi, Amir and Geihs, Kurt}, booktitle = {10th Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments}, keywords = {co-evolution}, month = 10, publisher = {IEEE}, title = {A Notification Management Architecture for Service Co-evolution in the Internet of Things}, year = 2016 }
"Know thyselves" - Computational Self-Reflection in Collective Technical Systems. Haehner, Joerg; von Mammen, Sebastian; Timpf, Sabine; Tomforde, Sven; Sick, Bernhard; Geihs, Kurt; Stumme, Gerd; Hornung, Gerrit; Goeble, Thilo. In Proceedings of the 3rd International Workshop on Self-optimisation in Autonomic and Organic Computing Systems (SAOS), co-located with ARCS’2016. 2016.
- [ BibTeX ]
@inproceedings{haehner2016thyselves, author = {Haehner, Joerg and von Mammen, Sebastian and Timpf, Sabine and Tomforde, Sven and Sick, Bernhard and Geihs, Kurt and Stumme, Gerd and Hornung, Gerrit and Goeble, Thilo}, booktitle = {Proceedings of the 3rd International Workshop on Self-optimisation in Autonomic and Organic Computing Systems (SAOS), co-located with ARCS'2016}, keywords = {vs}, month = {04}, title = {"Know thyselves" - Computational Self-Reflection in Collective Technical Systems}, year = 2016 }

2015[ to top ]

Distributed Service Co-evolution based on Domain Objects. De Sanctis, Martina; Geihs, Kurt; Bucchiarone, Antonio; Valetto, Giuseppe; Marconi, Annapaola; Pistore, Marco. In 11th Int. Workshop on Engineering Service-Oriented Applications (WESOA’15), colocated with ICSOC 2015. Goa, India, 2015.
- [ Abstract ]
- [ BibTeX ]
Service evolution is a critical ingredient of the service life-cycle. The more our society depends on large-scale, complex service environments including cloud and mobile services, the more pressing becomes the question of how to evolve a service on-the-fly at runtime without bringing whole systems to a halt. Service inter–dependencies make it increasingly difficult to manage the service collection as a whole. Thus, there is an urgent need for coordinated service evolution. The main contributions of this paper are a conceptual solution for dynamic on-the-fly co-evolution of services, and a framework that supports the engineering of such co-evolution support. We analyze the types of changes that might happen in a service and their potential impact on dependent clients and servers. We present the design of a co-evolution support infrastructure based on a service computing model and platform. Our solution is built on top of the Domain Object concept, and our application domain is smart urban mobility.
@inproceedings{desanctis2015distributed, abstract = {Service evolution is a critical ingredient of the service life-cycle. The more our society depends on large-scale, complex service environments including cloud and mobile services, the more pressing becomes the question of how to evolve a service on-the-fly at runtime without bringing whole systems to a halt. Service inter–dependencies make it increasingly difficult to manage the service collection as a whole. Thus, there is an urgent need for coordinated service evolution. The main contributions of this paper are a conceptual solution for dynamic on-the-fly co-evolution of services, and a framework that supports the engineering of such co-evolution support. We analyze the types of changes that might happen in a service and their potential impact on dependent clients and servers. We present the design of a co-evolution support infrastructure based on a service computing model and platform. Our solution is built on top of the Domain Object concept, and our application domain is smart urban mobility.}, address = {Goa, India}, author = {De Sanctis, Martina and Geihs, Kurt and Bucchiarone, Antonio and Valetto, Giuseppe and Marconi, Annapaola and Pistore, Marco}, booktitle = {11th Int. Workshop on Engineering Service-Oriented Applications (WESOA'15), colocated with ICSOC 2015}, keywords = {itegpub}, month = 11, title = {Distributed Service Co-evolution based on Domain Objects}, year = 2015 }
An Adaptive Middleware Core for a Multi-Agent Coordination Language. Witsch, Andreas; Geihs, Kurt. In 2015 International Conference and Workshops on Networked Systems (NetSys), S. 1–8. IEEE, 2015.
- [ BibTeX ]
@inproceedings{cacenetsys, author = {Witsch, Andreas and Geihs, Kurt}, booktitle = {2015 International Conference and Workshops on Networked Systems (NetSys)}, keywords = {itegpub}, month = {03}, pages = {1-8}, publisher = {IEEE}, title = {An Adaptive Middleware Core for a Multi-Agent Coordination Language}, year = 2015 }
All Together Now: Collective Intelligence for Computer-Supported Collective Action. Valetto, G.; Bucchiarone, A.; Geihs, K.; Buscher, M.; Petersen, K.; Nowak, A.; Rychwalska, A.; Pitt, J.; Shalhoub, J.; Rossi, F.; Silingardi, P.; Bernardeschi, P. In Third International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems. Cambridge, MA, 2015.
- [ Abstract ]
- [ BibTeX ]
In their contribution, Valetto et al. outline a new methodological paradigm and software platform for designing sustainable computer-supported collective action in smart communities. This enables, for instance, collaborative energy conservation within smart cities. The presented platform is based on the idea of "Collective Intelligence as a Service" and uses insights from dynamic psychological processes and social practices.
@inproceedings{valetto2015together, abstract = {In their contribution, Valetto et al. outline a new methodological paradigm and software platform for designing sustainable computer-supported collective action in smart communities. This enables, for instance, collaborative energy conservation within smart cities. The presented platform is based on the idea of "Collective Intelligence as a Service" and uses insights from dynamic psychological processes and social practices.}, address = {Cambridge, MA}, author = {Valetto, G. and Bucchiarone, A. and Geihs, K. and Buscher, M. and Petersen, K. and Nowak, A. and Rychwalska, A. and Pitt, J. and Shalhoub, J. and Rossi, F. and Silingardi, P. and Bernardeschi, P.}, booktitle = {Third International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems}, keywords = {itegpub}, month = {09}, title = {All Together Now: Collective Intelligence for Computer-Supported Collective Action}, year = 2015 }
Calculation of COBIT Metrics Using a Formal Ontology. Textor, Andreas; Geihs, Kurt. In 10th IFIP/IEEE International Workshop on Business-driven IT Management. Ottawa, Canada, 2015.
- [ BibTeX ]
@inproceedings{textor2015calculation, address = {Ottawa, Canada}, author = {Textor, Andreas and Geihs, Kurt}, booktitle = {10th IFIP/IEEE International Workshop on Business-driven IT Management}, keywords = {vs}, month = {05}, title = {Calculation of COBIT Metrics Using a Formal Ontology}, year = 2015 }
Interdisciplinary Design Patterns for Socially Aware Computing. Baraki, Harun; Geihs, Kurt; Voigtmann, Christian; Hoffmann, Axel; Kniewel, Romy; Macek, Björn-Elmar; Zirfas, Julia. In The 37th International Conference on Software Engineering (ICSE), Software Engineering in Society (SEIS) track. ACM/IEEE, 2015.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
The success of software applications that collect and process personal data does not only depend on technical aspects, but is also linked to social compatibility and user acceptance. It requires experts from different disciplines to ensure legal compliance, to foster the users' trust, to enhance the usability of the application and to finally realize the application. Multidisciplinary requirements have to be formulated, interwoven and implemented. We advocate the use of interdisciplinary design patterns that capture the design know-how of typical, recurring features in socially aware applications with particular concern for socio-technical requirements. The proposed patterns address interdisciplinary concerns in a tightly interwoven manner and are intended to facilitate the development of accepted and acceptable applications that in particular deal with sensitive user context information.
@inproceedings{baraki2015interdisciplinary, abstract = {The success of software applications that collect and process personal data does not only depend on technical aspects, but is also linked to social compatibility and user acceptance. It requires experts from different disciplines to ensure legal compliance, to foster the users' trust, to enhance the usability of the application and to finally realize the application. Multidisciplinary requirements have to be formulated, interwoven and implemented. We advocate the use of interdisciplinary design patterns that capture the design know-how of typical, recurring features in socially aware applications with particular concern for socio-technical requirements. The proposed patterns address interdisciplinary concerns in a tightly interwoven manner and are intended to facilitate the development of accepted and acceptable applications that in particular deal with sensitive user context information.}, author = {Baraki, Harun and Geihs, Kurt and Voigtmann, Christian and Hoffmann, Axel and Kniewel, Romy and Macek, Björn-Elmar and Zirfas, Julia}, booktitle = {The 37th International Conference on Software Engineering (ICSE), Software Engineering in Society (SEIS) track}, keywords = {interdisciplinary}, publisher = {ACM/IEEE}, title = {Interdisciplinary Design Patterns for Socially Aware Computing}, year = 2015 }
Adaptive Run-Time Models for Groups of Autonomous Robots. Niemczyk, Stefan; Geihs, Kurt. In 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), S. 127–133. IEEE, 2015.
- [ BibTeX ]
- [ URL ]
@inproceedings{niemczyk2015adaptive, author = {Niemczyk, Stefan and Geihs, Kurt}, booktitle = {2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)}, crossref = {conf/icse/2015seams}, keywords = {itegpub}, month = {05}, pages = {127-133}, publisher = {IEEE}, title = {Adaptive Run-Time Models for Groups of Autonomous Robots.}, year = 2015 }
Service Co-evolution in the Internet of Things. Tran, Huu Tam; Baraki, Harun; Geihs, Kurt. In EAI Endorsed Transactions on Cloud Systems, 15(1). ICST, 2015.
- [ BibTeX ]
- [ URL ]
@article{tran2015service, author = {Tran, Huu Tam and Baraki, Harun and Geihs, Kurt}, journal = {EAI Endorsed Transactions on Cloud Systems}, keywords = {itegpub}, month = {02}, number = 1, publisher = {ICST}, title = {Service Co-evolution in the Internet of Things}, volume = 15, year = 2015 }
IMPERA: Integrated Mission Planning for Multi-Robot Systems. Saur, Daniel; Geihs, Kurt. In Robotics, 4(4), S. 435. 2015.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
This paper presents the results of the project IMPERA (Integrated Mission Planning for Distributed Robot Systems). The goal of IMPERA was to realize an extraterrestrial exploration scenario using a heterogeneous multi-robot system. The main challenge was the development of a multi-robot planning and plan execution architecture. The robot team consists of three heterogeneous robots, which have to explore an unknown environment and collect lunar drill samples. The team activities are described using the language ALICA (A Language for Interactive Agents). Furthermore, we use the mission planning system pRoPhEt MAS (Reactive Planning Engine for Multi-Agent Systems) to provide an intuitive interface to generate team activities. Therefore, we define the basic skills of our team with ALICA and define the desired goal states by using a logic description. Based on the skills, pRoPhEt MAS creates a valid ALICA plan, which will be executed by the team. The paper describes the basic components for communication, coordinated exploration, perception and object transportation. Finally, we evaluate the planning engine pRoPhEt MAS in the IMPERA scenario. In addition, we present further evaluation of pRoPhEt MAS in more dynamic environments.
@article{saur2015impera, abstract = {This paper presents the results of the project IMPERA (Integrated Mission Planning for Distributed Robot Systems). The goal of IMPERA was to realize an extraterrestrial exploration scenario using a heterogeneous multi-robot system. The main challenge was the development of a multi-robot planning and plan execution architecture. The robot team consists of three heterogeneous robots, which have to explore an unknown environment and collect lunar drill samples. The team activities are described using the language ALICA (A Language for Interactive Agents). Furthermore, we use the mission planning system pRoPhEt MAS (Reactive Planning Engine for Multi-Agent Systems) to provide an intuitive interface to generate team activities. Therefore, we define the basic skills of our team with ALICA and define the desired goal states by using a logic description. Based on the skills, pRoPhEt MAS creates a valid ALICA plan, which will be executed by the team. The paper describes the basic components for communication, coordinated exploration, perception and object transportation. Finally, we evaluate the planning engine pRoPhEt MAS in the IMPERA scenario. In addition, we present further evaluation of pRoPhEt MAS in more dynamic environments.}, author = {Saur, Daniel and Geihs, Kurt}, journal = {Robotics}, keywords = {itegpub}, number = 4, pages = 435, title = {IMPERA: Integrated Mission Planning for Multi-Robot Systems}, volume = 4, year = 2015 }
Ubiquitäre IKT-Systeme und -Anwendungen. Geihs, Kurt. In Innovationsführerschaft - Credo und Praxis, First , A. Schröder, T. Sommerlatte (Hrsg.). Symposion Publishing, Düsseldorf, 2015.
- [ BibTeX ]
@incollection{geihs2015ubiquitre, address = {Düsseldorf}, author = {Geihs, Kurt}, booktitle = {Innovationsführerschaft - Credo und Praxis}, edition = {First}, editor = {Schröder, Axel and Sommerlatte, Tom}, keywords = {itegpub}, publisher = {Symposion Publishing}, title = {Ubiquitäre IKT-Systeme und -Anwendungen}, year = 2015 }
FRASAD: A Framework for Model-driven IoT Application Development. Nguyen, Xuan Thang; Tran, Huu Tam; Baraki, Harun; Geihs, Kurt. In IEEE 2nd World Forum on Internet of Things (WF-IoT). Milan, Italy, 2015.
- [ Abstract ]
- [ BibTeX ]
This paper presents FRASAD, an effective model-driven software development framework to manage the complexity of Internet of Things (IoT) applications. We propose a node-centric software architecture and a rule-based programming model that allow designers to describe their application using only sensor node domain concepts. The final application code is successively generated from the initial models through an automatic model transformation process. The evaluation results show that our framework enables a fast way to develop IoT applications by reducing the cost of dealing with the heterogeneity and complexity exhibited by sensor nodes and their operating systems.
@inproceedings{nguyen2015frasad, abstract = {This paper presents FRASAD, an effective model-driven software development framework to manage the complexity of Internet of Things (IoT) applications. We propose a node-centric software architecture and a rule-based programming model that allow designers to describe their application using only sensor node domain concepts. The final application code is successively generated from the initial models through an automatic model transformation process. The evaluation results show that our framework enables a fast way to develop IoT applications by reducing the cost of dealing with the heterogeneity and complexity exhibited by sensor nodes and their operating systems.}, address = {Milan, Italy}, author = {Nguyen, Xuan Thang and Tran, Huu Tam and Baraki, Harun and Geihs, Kurt}, booktitle = {IEEE 2nd World Forum on Internet of Things (WF-IoT)}, keywords = {itegpub}, month = 12, title = {FRASAD: A Framework for Model-driven IoT Application Development}, year = 2015 }

2014[ to top ]

Die VENUS-Entwicklungsmethode Eine interdisziplinäre Methode für soziotechnische Softwaregestaltung. Atzmüller, Martin; Baraki, Harun; Behrenbruch, Kay; Comes, Diana; Evers, Christoph; Hoffmann, Axel; Hoffmann, Holger; Jandt, Silke; Kibanov, Mark; Kieselmann, Olga; Kniewel, Romy; König, Immanuel; Macek, Björn‐Elmar; Niemczyk, Stefan; Scholz, Christoph; Schuldt, Michaela; Schulz, Thomas; Skistims, Hendrik; Söllner, Matthias; Voigtmann, Christian; Witsch, Andreas; Zirfas, Julia. A. Hoffmann; S. Niemczyk (Hrsg.). Kassel University Press, 2014.
- [ BibTeX ]
- [ URL ]
@techreport{atzmuller2014venusentwicklungsmethode, author = {Atzmüller, Martin and Baraki, Harun and Behrenbruch, Kay and Comes, Diana and Evers, Christoph and Hoffmann, Axel and Hoffmann, Holger and Jandt, Silke and Kibanov, Mark and Kieselmann, Olga and Kniewel, Romy and König, Immanuel and Macek, Björn‐Elmar and Niemczyk, Stefan and Scholz, Christoph and Schuldt, Michaela and Schulz, Thomas and Skistims, Hendrik and Söllner, Matthias and Voigtmann, Christian and Witsch, Andreas and Zirfas, Julia}, editor = {Hoffmann, Axel and Niemczyk, Stefan}, institution = {Zentrum für Informationstechnik‐Gestaltung (ITeG)}, keywords = {vs}, organization = {Kassel University}, publisher = {Kassel University Press}, title = {Die VENUS-Entwicklungsmethode Eine interdisziplinäre Methode für soziotechnische Softwaregestaltung}, year = 2014 }
A resource oriented integration architecture for the internet of things: A business process perspective. Dar, Kashif; Taherkordi, Amir; Baraki, Harun; Eliassen, Frank; Geihs, Kurt. In Pervasive and Mobile Computing. Elsevier, 2014.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
Abstract The vision of the Internet of Things (IoT) foresees a future Internet incorporating smart physical objects that offer hosted functionality as IoT services. These services when integrated with the traditional enterprise level services form the creation of ambient intelligence for a wide range of applications. To facilitate seamless access and service life cycle management of large, distributed and heterogeneous IoT resources, service oriented computing and resource oriented approaches have been widely used as promising technologies. However, a reference architecture integrating IoT services into either of these two technologies is still an open research challenge. In this article, we adopt the resource oriented approach to provide an end-to-end integration architecture of front-end IoT devices with the back-end business process applications. The proposed architecture promises a programmer friendly access to IoT services, an event management mechanism to propagate context information of IoT devices, a service replacement facility upon service failure, and a decentralized execution of the IoT aware business processes
@article{Dar2014, abstract = {Abstract The vision of the Internet of Things (IoT) foresees a future Internet incorporating smart physical objects that offer hosted functionality as IoT services. These services when integrated with the traditional enterprise level services form the creation of ambient intelligence for a wide range of applications. To facilitate seamless access and service life cycle management of large, distributed and heterogeneous IoT resources, service oriented computing and resource oriented approaches have been widely used as promising technologies. However, a reference architecture integrating IoT services into either of these two technologies is still an open research challenge. In this article, we adopt the resource oriented approach to provide an end-to-end integration architecture of front-end IoT devices with the back-end business process applications. The proposed architecture promises a programmer friendly access to IoT services, an event management mechanism to propagate context information of IoT devices, a service replacement facility upon service failure, and a decentralized execution of the IoT aware business processes}, author = {Dar, Kashif and Taherkordi, Amir and Baraki, Harun and Eliassen, Frank and Geihs, Kurt}, journal = {Pervasive and Mobile Computing}, keywords = {VS}, publisher = {Elsevier}, title = {A resource oriented integration architecture for the internet of things: A business process perspective}, year = 2014 }
Qualitative Bayesian Failure Diagnosis for Robot Systems. Kirchner, Dominik; Geihs, Kurt. In International Conference on Intelligent Robots and Systems, AI and Robotics, W. Burgard (Hrsg.), S. 1–6. IEEE, Chicago, 2014.
- [ Abstract ]
- [ BibTeX ]
Reliability is a key challenge for intelligent robot systems. In order to address this challenge, runtime failure detection and diagnosis (FDD) is an essential task to maintain autonomous operation. The complexity of fully fledged robot systems and the included noise in system observations complicate this task. In this paper, we present our Qualitative Bayesian Failure Diagnosis (QBFD) for precise and robust failure estimation. Our approach uses a Dynamic Bayesian Network to model uncertainties of the measurements while considering temporal relations. Instead of detailed a priori knowledge of system dynamics, our approach models cause-effect relations. These relations are, in practice, more intuitive to specify. As a consequence, we reduce the level of needed system knowledge and therefore increase the practical applicability. We evaluate the quality in respect to two reference approaches in extensive simulations. Due to our results, we are confident that our proposed approach provides comparable, if not superior, estimation quality, while simultaneously reducing the level of needed model details. Furthermore, we provide evidence that, given a proper system decomposition, high quality estimates are possible using general observations, like the resource usage.
@inproceedings{Kirchner2014, abstract = {Reliability is a key challenge for intelligent robot systems. In order to address this challenge, runtime failure detection and diagnosis (FDD) is an essential task to maintain autonomous operation. The complexity of fully fledged robot systems and the included noise in system observations complicate this task. In this paper, we present our Qualitative Bayesian Failure Diagnosis (QBFD) for precise and robust failure estimation. Our approach uses a Dynamic Bayesian Network to model uncertainties of the measurements while considering temporal relations. Instead of detailed a priori knowledge of system dynamics, our approach models cause-effect relations. These relations are, in practice, more intuitive to specify. As a consequence, we reduce the level of needed system knowledge and therefore increase the practical applicability. We evaluate the quality in respect to two reference approaches in extensive simulations. Due to our results, we are confident that our proposed approach provides comparable, if not superior, estimation quality, while simultaneously reducing the level of needed model details. Furthermore, we provide evidence that, given a proper system decomposition, high quality estimates are possible using general observations, like the resource usage.}, address = {Chicago}, author = {Kirchner, Dominik and Geihs, Kurt}, booktitle = {International Conference on Intelligent Robots and Systems, AI and Robotics}, editor = {Burgard, Wolfram}, keywords = {VS}, pages = {1 – 6}, publisher = {IEEE}, title = {{Qualitative Bayesian Failure Diagnosis for Robot Systems}}, year = 2014 }
On the socially aware development of self-adaptive ubiquitous computing applications. Geihs, Kurt; Niemczyk, Stefan; Roßnagel, Alexander; Witsch, Andreas. In it-it, 56(1), S. 33–41. 2014.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
Ubiquitous computing applications provide pervasive support to users in a self-adaptive and non-obtrusive way. Applications reason about the user situation and adapt dynamically, often without explicit user interaction. Such applications exploit technical features such as context awareness, context reasoning, adaptation models, dynamic resource discovery/binding, and self-configuration. The engineering of ubiquitous computing applications is a challenge because the user acceptance depends not only on functional features but at least as much on non-functional and user-related features that we address under the term “social awareness”. In this paper we present an interdisciplinary development approach for self-adaptive applications that takes into account social awareness requirements in a systematic and integrated manner. Our focus is on usability, trust, and legality. We present the ingredients of our new methodology and its evaluation based on application prototypes. Our approach is compatible with existing software engineering process models and practices.
@article{kurt2014socially, abstract = {Ubiquitous computing applications provide pervasive support to users in a self-adaptive and non-obtrusive way. Applications reason about the user situation and adapt dynamically, often without explicit user interaction. Such applications exploit technical features such as context awareness, context reasoning, adaptation models, dynamic resource discovery/binding, and self-configuration. The engineering of ubiquitous computing applications is a challenge because the user acceptance depends not only on functional features but at least as much on non-functional and user-related features that we address under the term “social awareness”. In this paper we present an interdisciplinary development approach for self-adaptive applications that takes into account social awareness requirements in a systematic and integrated manner. Our focus is on usability, trust, and legality. We present the ingredients of our new methodology and its evaluation based on application prototypes. Our approach is compatible with existing software engineering process models and practices.}, author = {Geihs, Kurt and Niemczyk, Stefan and Ro{\ss}nagel, Alexander and Witsch, Andreas}, journal = {it-it}, keywords = {vs}, number = 1, pages = {33-41}, title = {On the socially aware development of self-adaptive ubiquitous computing applications}, volume = 56, year = 2014 }
An Approach towards service co-evolution in the Internet of Things. Huu Tam, Tran; Baraki, Harun; Geihs, Kurt. In IoTaaS2014 the International Conference on IoT as a Service. Springer, 2014.
- [ BibTeX ]
@inproceedings{huutam2014approach, author = {Huu Tam, Tran and Baraki, Harun and Geihs, Kurt}, booktitle = {IoTaaS2014 the International Conference on IoT as a Service}, keywords = {co-evolution}, month = 10, publisher = {Springer}, title = {An Approach towards service co-evolution in the Internet of Things}, year = 2014 }
Empirical study of planning and execution for large teams of robots. Saur, Daniel; Haque, Tareq Rezaul; Geihs, Kurt. In First Workshop on Model-Driven Robot Software Engineering at Software Technologies: Applications and Foundations. York, UK, 2014.
- [ Abstract ]
- [ BibTeX ]
Autonomous mobile robots can substantially increase the effectiveness of planning by acting as coordinated team. Our focus is on the planning of the activities of a team of autonomous, mobile robots in such environments. The communication bandwidth of robot systems is constrained. Being able to model complex activities of a team in an intuitive way requires combining modeling and planning techniques. The main contribution of the paper is the optimization of the planning process while using every agent as a planning resource and aiming at low communication needs. A general conclusion is that the planning process for teams of up to 75 agents can be improved compared to state of the art approaches by up to 23%.
@inproceedings{saur2014empirical, abstract = {Autonomous mobile robots can substantially increase the effectiveness of planning by acting as coordinated team. Our focus is on the planning of the activities of a team of autonomous, mobile robots in such environments. The communication bandwidth of robot systems is constrained. Being able to model complex activities of a team in an intuitive way requires combining modeling and planning techniques. The main contribution of the paper is the optimization of the planning process while using every agent as a planning resource and aiming at low communication needs. A general conclusion is that the planning process for teams of up to 75 agents can be improved compared to state of the art approaches by up to 23%.}, address = {York, UK}, author = {Saur, Daniel and Haque, Tareq Rezaul and Geihs, Kurt}, booktitle = {First Workshop on Model-Driven Robot Software Engineering at Software Technologies: Applications and Foundations}, keywords = {VS}, title = {Empirical study of planning and execution for large teams of robots}, year = 2014 }
Towards Interdisciplinary Design Patterns for Ubiquitous Computing Applications. Baraki, Harun; Geihs, Kurt; Hoffmann, Axel; Voigtmann, Christian; Kniewel, Romy; Macek, Björn-Elmar; Zirfas, Julia. Zentrum für Informationstechnik‐Gestaltung (ITeG), 2014.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
To draw on the full potential of Ubiquitous Computing (UC) systems, they have to be designed with awareness for their social embedding in order to increase the user acceptance. To this end, not only the compliance with laws has to be ensured, but also usability-enhancing and trust and confidence-building measures have to be applied. This makes the development of UC applications a challenging task that involves experts from different disciplines. The main contribution of this report is a set of design patterns for UC applications that specifically focus on the interweaving and implementation of multidisciplinary requirements. The patterns capture the design know-how of typical, recurring features in context-aware adaptive UC applications with particular concern for the sociotechnical requirements. First, we present a detailed discussion of the related work on design patterns in the realm of UC. Afterwards, we explain our research methodology and the template structure of our pattern specifications. The core of the report consists of eight interdisciplinary UC design patterns. This initial list of patterns was derived from several application case studies in the interdisciplinary research project LOEWE-VENUS. We view this collection as a starting point for an evolving set of commonly accepted reusable design patterns that facilitate the development of accepted and acceptable UC applications.
@techreport{baraki2014towards, abstract = {To draw on the full potential of Ubiquitous Computing (UC) systems, they have to be designed with awareness for their social embedding in order to increase the user acceptance. To this end, not only the compliance with laws has to be ensured, but also usability-enhancing and trust and confidence-building measures have to be applied. This makes the development of UC applications a challenging task that involves experts from different disciplines. The main contribution of this report is a set of design patterns for UC applications that specifically focus on the interweaving and implementation of multidisciplinary requirements. The patterns capture the design know-how of typical, recurring features in context-aware adaptive UC applications with particular concern for the sociotechnical requirements. First, we present a detailed discussion of the related work on design patterns in the realm of UC. Afterwards, we explain our research methodology and the template structure of our pattern specifications. The core of the report consists of eight interdisciplinary UC design patterns. This initial list of patterns was derived from several application case studies in the interdisciplinary research project LOEWE-VENUS. We view this collection as a starting point for an evolving set of commonly accepted reusable design patterns that facilitate the development of accepted and acceptable UC applications.}, author = {Baraki, Harun and Geihs, Kurt and Hoffmann, Axel and Voigtmann, Christian and Kniewel, Romy and Macek, Björn-Elmar and Zirfas, Julia}, institution = {Zentrum für Informationstechnik‐Gestaltung (ITeG)}, keywords = {itegpub}, month = 12, title = {Towards Interdisciplinary Design Patterns for Ubiquitous Computing Applications}, year = 2014 }
MAGiC : Multi-Agent Planning using Grid Computing concepts. Saur, Daniel; Haque, Tareq Rezaul; Herzog, Ralf; Geihs, Kurt. In 12th International Symposium on Artificial Intelligence, Robotics and Automation in Space. Montreal, 2014.
- [ Abstract ]
- [ BibTeX ]
This paper presents a distributed planning approach which is able to produce a plan with minimum communication among the agents of the team. We developed a fusion planner which considers the limitations of distributed and centralized planning. Principally, a central agent distributes tasks among multiple agents to solve a problem in reduced search space compared to centralized planner. Moreover, the designed planner requires lesser communication than a distributed planner among multiple agents. We perform evaluation on NASA's Mars Rover domain and compare the proposed planner with similar ones. A general conclusion is that the planning process for a team of agents can be improved compared to the state of the art approaches by up to 46.4% faster and 98.2% lesser messages.
@inproceedings{saur2014magic, abstract = {This paper presents a distributed planning approach which is able to produce a plan with minimum communication among the agents of the team. We developed a fusion planner which considers the limitations of distributed and centralized planning. Principally, a central agent distributes tasks among multiple agents to solve a problem in reduced search space compared to centralized planner. Moreover, the designed planner requires lesser communication than a distributed planner among multiple agents. We perform evaluation on NASA's Mars Rover domain and compare the proposed planner with similar ones. A general conclusion is that the planning process for a team of agents can be improved compared to the state of the art approaches by up to 46.4% faster and 98.2% lesser messages.}, address = {Montreal}, author = {Saur, Daniel and Haque, Tareq Rezaul and Herzog, Ralf and Geihs, Kurt}, booktitle = {12th International Symposium on Artificial Intelligence, Robotics and Automation in Space}, keywords = {VS}, title = {MAGiC : Multi-Agent Planning using Grid Computing concepts}, year = 2014 }
Know thyself -- Computational Self-Reflection in Intelligent Technical Systems. Tomforde, Sven; Haehner, Joerg; Mammen, Sebastian von; Gruhl, Christian; Sick, Bernhard; Geihs, Kurt. In Workshop on Self-Improving System Integration (SISSY 2014), co-located with SASO 2014 - Eight IEEE International Conference on Self-Adaptive and Self-Organizing Systems. London, England, 2014.
- [ BibTeX ]
@inproceedings{tomforde2014thyself, address = {London, England}, author = {Tomforde, Sven and Haehner, Joerg and Mammen, Sebastian von and Gruhl, Christian and Sick, Bernhard and Geihs, Kurt}, booktitle = {Workshop on Self-Improving System Integration (SISSY 2014), co-located with SASO 2014 - Eight IEEE International Conference on Self-Adaptive and Self-Organizing Systems}, keywords = {vs}, title = {Know thyself – Computational Self-Reflection in Intelligent Technical Systems}, year = 2014 }
Investigating the Impact of Different Research Designs on Empirical Results. Söllner, Matthias; Voss, Amanda; Niemczyk, Stefan; Geihs, Kurt; Leimeister, Jan Marco. In European Conference on Information Systems 2014, von AIS-Journals Joint Author Workshop. Israel, Tel Aviv, 2014.
- [ BibTeX ]
@inproceedings{sollner2014investigating, address = {Israel, Tel Aviv}, author = {Söllner, Matthias and Voss, Amanda and Niemczyk, Stefan and Geihs, Kurt and Leimeister, Jan Marco}, booktitle = {European Conference on Information Systems 2014}, keywords = {vs}, month = {06}, series = {AIS-Journals Joint Author Workshop}, title = {Investigating the Impact of Different Research Designs on Empirical Results}, year = 2014 }
Socio-technical Design of Ubiquitous Computing Systems. David, K.; Geihs, K.; Leimeister, J. M.; Roßnagel, A.; Schmidt, L.; Stumme, G.; Wacker, A. Springer, Berlin, 2014.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
By using various data inputs, ubiquitous computing systems detect their current usage context, automatically adapt their services to the user’s situational needs and interact with other services or resources in their environment on an ad-hoc basis. Designing such self-adaptive, context-aware knowledge processing systems is, in itself, a formidable challenge. This book presents core findings from the VENUS project at the Interdisciplinary Research Center for Information System Design (ITeG) at Kassel University, where researchers from different fields, such as computer science, information systems, human-computer interaction and law, together seek to find general principles and guidelines for the design of socially aware ubiquitous computing systems. To this end, system usability, user trust in the technology and adherence to privacy laws and regulations were treated as particularly important criteria in the context of socio-technical system design. During the project, a comprehensive blueprint for systematic, interdisciplinary software development was developed, covering the particular functional and non-functional design aspects of ubiquitous computing at the interface between technology and human beings. The organization of the book reflects the structure of the VENUS work program. After an introductory part I, part II provides the groundwork for VENUS by presenting foundational results from all four disciplines involved. Subsequently, part III focuses on methodological research funneling the development activities into a common framework. Part IV then covers the design of the demonstrators that were built in order to develop and evaluate the VENUS method. Finally, part V is dedicated to the evaluation phase to assess the user acceptance of the new approach and applications. The presented findings are especially important for researchers in computer science, information systems, and human-computer interaction, but also for everyone working on the acceptance of new technologies in society in general.
@book{david2014sociotechnical, abstract = {By using various data inputs, ubiquitous computing systems detect their current usage context, automatically adapt their services to the user’s situational needs and interact with other services or resources in their environment on an ad-hoc basis. Designing such self-adaptive, context-aware knowledge processing systems is, in itself, a formidable challenge. This book presents core findings from the VENUS project at the Interdisciplinary Research Center for Information System Design (ITeG) at Kassel University, where researchers from different fields, such as computer science, information systems, human-computer interaction and law, together seek to find general principles and guidelines for the design of socially aware ubiquitous computing systems. To this end, system usability, user trust in the technology and adherence to privacy laws and regulations were treated as particularly important criteria in the context of socio-technical system design. During the project, a comprehensive blueprint for systematic, interdisciplinary software development was developed, covering the particular functional and non-functional design aspects of ubiquitous computing at the interface between technology and human beings. The organization of the book reflects the structure of the VENUS work program. After an introductory part I, part II provides the groundwork for VENUS by presenting foundational results from all four disciplines involved. Subsequently, part III focuses on methodological research funneling the development activities into a common framework. Part IV then covers the design of the demonstrators that were built in order to develop and evaluate the VENUS method. Finally, part V is dedicated to the evaluation phase to assess the user acceptance of the new approach and applications. The presented findings are especially important for researchers in computer science, information systems, and human-computer interaction, but also for everyone working on the acceptance of new technologies in society in general.}, address = {Berlin}, author = {David, K. and Geihs, K. and Leimeister, J. M. and Roßnagel, A. and Schmidt, L. and Stumme, G. and Wacker, A.}, keywords = {vs}, publisher = {Springer}, title = {Socio-technical Design of Ubiquitous Computing Systems}, year = 2014 }
Distributed Sensing in a Robotic Soccer Team. Niemczyk, Stefan; Kirchner, Dominik; Witsch, Andreas; Opfer, Stephan; Geihs, Kurt. In CPSWeek 2014 - International Workshop on Robotic Sensor Networks. Berlin, 2014.
- [ BibTeX ]
@inproceedings{niemczyk2014distributed, address = {Berlin}, author = {Niemczyk, Stefan and Kirchner, Dominik and Witsch, Andreas and Opfer, Stephan and Geihs, Kurt}, booktitle = {CPSWeek 2014 - International Workshop on Robotic Sensor Networks}, keywords = {vs}, title = {Distributed Sensing in a Robotic Soccer Team}, year = 2014 }
Integrating OData Services into the Semantic Web: A SPARQL Interface for OData. Kirchhoff, Marc; Geihs, Kurt. In Proceedings of the 14th International Conference on Knowledge Technologies and Data-driven Business, von i-KNOW ’14, S. 2:1–2:8. ACM, Graz, Austria, 2014.
- [ BibTeX ]
- [ URL ]
@inproceedings{kirchhoff2014integrating, address = {New York, NY, USA}, author = {Kirchhoff, Marc and Geihs, Kurt}, booktitle = {Proceedings of the 14th International Conference on Knowledge Technologies and Data-driven Business}, keywords = {vs}, pages = {2:1–2:8}, publisher = {ACM}, series = {i-KNOW '14}, title = {Integrating OData Services into the Semantic Web: A SPARQL Interface for OData}, year = 2014 }
pRoPhEt MAS: Reactive Planning Engine For Multi-agent systems. Saur, Daniel; Geihs, Kurt. In 13th International Conference on Intelligent Autonomous Systems (IAS). Padova, 2014.
- [ Abstract ]
- [ BibTeX ]
Autonomous mobile robots can substantially increase their effectiveness in dynamic environments by using planning. This paper proposes a design for a soft real time planning system for autonomous robots and offers a generic and modular approach to control a team of robots. Our system pRoPhEt MAS is based on ALICA (A Language for Interactive Cooperative Agents) and offers the coordination of team behaviors at runtime. In the evaluation scenario the system pRoPhEt MAS uses a state of the art planner "Fast Downward Planning System". The evaluation focuses on planning during execution time. The team executes the best solutions found, selected by the heuristic, under certain time constraints. The results show that the execution with soft real time planning is as good as sequential planning and execution. Hence, it offers the ability to react quickly in dynamic domains.
@inproceedings{saur2014prophet, abstract = {Autonomous mobile robots can substantially increase their effectiveness in dynamic environments by using planning. This paper proposes a design for a soft real time planning system for autonomous robots and offers a generic and modular approach to control a team of robots. Our system pRoPhEt MAS is based on ALICA (A Language for Interactive Cooperative Agents) and offers the coordination of team behaviors at runtime. In the evaluation scenario the system pRoPhEt MAS uses a state of the art planner "Fast Downward Planning System". The evaluation focuses on planning during execution time. The team executes the best solutions found, selected by the heuristic, under certain time constraints. The results show that the execution with soft real time planning is as good as sequential planning and execution. Hence, it offers the ability to react quickly in dynamic domains.}, address = {Padova}, author = {Saur, Daniel and Geihs, Kurt}, booktitle = {13th International Conference on Intelligent Autonomous Systems (IAS)}, keywords = {VS}, title = {pRoPhEt MAS: Reactive Planning Engine For Multi-agent systems}, year = 2014 }
VENUS meets SEMAT – How do they compare?. Geihs, Kurt; Evers, Christoph; Niemczyk, Stefan. In ASSE 2014 Argentine Symposium on Software Engineering. Buenos Aires, Argentina, 2014.
- [ Abstract ]
- [ BibTeX ]
SEMAT (Software Engineering Methods And Theory) is an initiative to define a generic foundation for software engineering as a rigorous discipline. The so-called SEMAT kernel provides a thinking framework for software engineers that is not constrained to certain methods and processes but aims to encompass all kinds of proven principles and best practices. Our own interdisciplinary VENUS development method is designed to achieve similar generality and compatibility objectives, although the chosen application domain in VENUS has a much narrower scope. In this paper we compare the VENUS de velopment method with SEMAT. The main contributions are positioning the VENUS development concepts within the SEMAT conceptual framework, and investigating whether SEMAT is an appropriate framework for dealing with inherently interdisciplinary development processes. In the end we present suggestions for the improvement of both approaches.
@inproceedings{geihs2014venus, abstract = {SEMAT (Software Engineering Methods And Theory) is an initiative to define a generic foundation for software engineering as a rigorous discipline. The so-called SEMAT kernel provides a thinking framework for software engineers that is not constrained to certain methods and processes but aims to encompass all kinds of proven principles and best practices. Our own interdisciplinary VENUS development method is designed to achieve similar generality and compatibility objectives, although the chosen application domain in VENUS has a much narrower scope. In this paper we compare the VENUS de velopment method with SEMAT. The main contributions are positioning the VENUS development concepts within the SEMAT conceptual framework, and investigating whether SEMAT is an appropriate framework for dealing with inherently interdisciplinary development processes. In the end we present suggestions for the improvement of both approaches.}, address = {Buenos Aires, Argentina}, author = {Geihs, Kurt and Evers, Christoph and Niemczyk, Stefan}, booktitle = {ASSE 2014 Argentine Symposium on Software Engineering}, keywords = {vs}, month = {09}, title = {VENUS meets SEMAT – How do they compare?}, year = 2014 }
A Formal Multi-Agent Language for Cooperative Autonomous Driving Scenarios. Witsch, Andreas; Opfer, Stephan; Geihs, Kurt. In 2014 International Conference on Connected Vehicles & Expo (ICCVE 2014). Vienna, Austria, 2014.
- [ Abstract ]
- [ BibTeX ]
This paper addresses the problem of coordinating autonomous cars to provide higher safety standards in public road traffic with limited computational resources. We present a modelling language that allows formal program verification to guarantee correctness. We apply the multi-agent coordination language ALICA that has originally been developed for the robotic football domain. To show the practical applicability and efficiency for the autonomous driving domain, we applied ALICA to two autonomous car driving scenarios. Thus, we demonstrate the benefits of using a conceptually sound methodology for the coordination of autonomous cars.
@conference{12, abstract = {This paper addresses the problem of coordinating autonomous cars to provide higher safety standards in public road traffic with limited computational resources. We present a modelling language that allows formal program verification to guarantee correctness. We apply the multi-agent coordination language ALICA that has originally been developed for the robotic football domain. To show the practical applicability and efficiency for the autonomous driving domain, we applied ALICA to two autonomous car driving scenarios. Thus, we demonstrate the benefits of using a conceptually sound methodology for the coordination of autonomous cars.}, address = {Vienna, Austria}, author = {Witsch, Andreas and Opfer, Stephan and Geihs, Kurt}, booktitle = {2014 International Conference on Connected Vehicles & Expo (ICCVE 2014)}, keywords = {VS}, month = {11/2014}, title = {A Formal Multi-Agent Language for Cooperative Autonomous Driving Scenarios}, year = 2014 }
Adaptive Model-based Monitoring for Robots. Kirchner, Dominik; Geihs, Kurt. In 13th International Conference on Intelligent Autonomous Systems (IAS). Padova, Italy, 2014.
- [ Abstract ]
- [ BibTeX ]
Continuous and comprehensive monitoring is a key requirement for reliable failure detection. However, the overhead of the observation process conflicts with the limited resources of a robot platform. Therefore, robot monitoring faces high efficiency requirements. This defines a trade-off between comprehensive observation and monitoring resource overhead. In this paper, we propose an adaptive, model-based monitoring approach that addresses this trade-off. We specify an individual monitoring configuration in an abstract system model to focus the observation on expressive state aspects. Moreover, we introduce adaptivity to further improve the efficiency of the monitoring process. To evaluate this efficiency, we compare our approach with a reference monitoring system. Due to our results, we are confident that the proposed approach significantly reduces the resource overhead.
@inproceedings{kirchner2014adaptive, abstract = {Continuous and comprehensive monitoring is a key requirement for reliable failure detection. However, the overhead of the observation process conflicts with the limited resources of a robot platform. Therefore, robot monitoring faces high efficiency requirements. This defines a trade-off between comprehensive observation and monitoring resource overhead. In this paper, we propose an adaptive, model-based monitoring approach that addresses this trade-off. We specify an individual monitoring configuration in an abstract system model to focus the observation on expressive state aspects. Moreover, we introduce adaptivity to further improve the efficiency of the monitoring process. To evaluate this efficiency, we compare our approach with a reference monitoring system. Due to our results, we are confident that the proposed approach significantly reduces the resource overhead.}, address = {Padova, Italy}, author = {Kirchner, Dominik and Geihs, Kurt}, booktitle = {13th International Conference on Intelligent Autonomous Systems (IAS)}, keywords = {vs}, title = {Adaptive Model-based Monitoring for Robots}, year = 2014 }

2013[ to top ]

RoSHA: A Multi-Robot Self-Healing Architecture. Kirchner, Dominik; Niemczyk, Stefan; Geihs, Kurt. In RoboCup 2013: Robot Soccer World Cup XVII. RoboCup International Symposium (RoboCup-2013), Springer (Hrsg.), S. 1–12. Springer, 2013.
- [ Abstract ]
- [ BibTeX ]
Reliability is one of the key challenges in multi-robot systems to increase practicable applicability and hence the commercial usage. This paper presents RoSHA, a self-healing architecture for multi-robot systems. RoSHA is based on the established robot middleware ROS and provides components for application independent analysis and repair. A plug-in architecture enables the developer to simply add new components for repair and analysis. Bayesian networks are used to diagnose failures and their root causes. ALICA, a domain specific language for multi-robot systems, is applied to coordinate recovery plans in multi-robot systems.
@inproceedings{kirchnerniemczyk2013rosha, abstract = {Reliability is one of the key challenges in multi-robot systems to increase practicable applicability and hence the commercial usage. This paper presents RoSHA, a self-healing architecture for multi-robot systems. RoSHA is based on the established robot middleware ROS and provides components for application independent analysis and repair. A plug-in architecture enables the developer to simply add new components for repair and analysis. Bayesian networks are used to diagnose failures and their root causes. ALICA, a domain specific language for multi-robot systems, is applied to coordinate recovery plans in multi-robot systems.}, author = {Kirchner, Dominik and Niemczyk, Stefan and Geihs, Kurt}, booktitle = {RoboCup 2013: Robot Soccer World Cup XVII. RoboCup International Symposium (RoboCup-2013)}, editor = {Springer}, keywords = {vs}, pages = {1-12}, publisher = {Springer}, title = {RoSHA: A Multi-Robot Self-Healing Architecture}, year = 2013 }
Challenging the Need for Transparency, Controllability, and Consistency in Usable Adaptation Design. Kniewel, Romy; Evers, Christoph; Schmidt, Ludger; Geihs, Kurt. In Proceedings of the Combined workshop on Self-organizing, Adaptive, and ContextSensitive Distributed Systems and Self-organized Communication in Disaster Scenarios (SACS/SoCoDiS 2013), Bd. 56 von Electronic Communications of the EASST, T. Margaria, J. Padberg, G. Taentzer (Hrsg.). 2013.
- [ Abstract ]
- [ BibTeX ]
Adaptive applications constitute the basis for many ubiquitous computing scenarios as they can dynamically adapt to changing contexts. The usability design principles transparency, controllability, and consistency have been recommended for the design of adaptive interfaces. However, designing self-adaptive applications that may act completely autonomous is still a challenging task because there is no set of usability design guidelines. Applying the three principles in the design of the five different adaptations of the mobile adaptive application Meet-U revealed as difficult. Based on an analysis of the design problem space, we elaborate an approach for the design of usable adaptations. Our approach is based on a notification design concept which calculates the attention costs and utility benefits of notified adaptations by varying the design aspects transparency and controllability. We present several designs for the adaptations of Meet‑U. The results of a user study shows that the notification design approach is beneficial for the design of adaptations. Varying transparency and controllability is necessary to adjust an adaptation’s design to the particular context of use. This leads to a partially inconsistent design for adaptations within an application.
@inproceedings{Kniewel.2013, abstract = {Adaptive applications constitute the basis for many ubiquitous computing scenarios as they can dynamically adapt to changing contexts. The usability design principles transparency, controllability, and consistency have been recommended for the design of adaptive interfaces. However, designing self-adaptive applications that may act completely autonomous is still a challenging task because there is no set of usability design guidelines. Applying the three principles in the design of the five different adaptations of the mobile adaptive application Meet-U revealed as difficult. Based on an analysis of the design problem space, we elaborate an approach for the design of usable adaptations. Our approach is based on a notification design concept which calculates the attention costs and utility benefits of notified adaptations by varying the design aspects transparency and controllability. We present several designs for the adaptations of Meet‑U. The results of a user study shows that the notification design approach is beneficial for the design of adaptations. Varying transparency and controllability is necessary to adjust an adaptation’s design to the particular context of use. This leads to a partially inconsistent design for adaptations within an application.}, author = {Kniewel, Romy and Evers, Christoph and Schmidt, Ludger and Geihs, Kurt}, booktitle = {Proceedings of the Combined workshop on Self-organizing, Adaptive, and ContextSensitive Distributed Systems and Self-organized Communication in Disaster Scenarios (SACS/SoCoDiS 2013)}, editor = {Margaria, Tiziana and Padberg, Julia and Taentzer, Gabriele}, keywords = {vs}, series = {Electronic Communications of the EASST}, title = {Challenging the Need for Transparency, Controllability, and Consistency in Usable Adaptation Design}, volume = 56, year = 2013 }
Reliable Robotics – Diagnostics ++. Kirchner, Dominik; Saur, Daniel. Willow Garage, Stuttgart, 2013.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
Let a robot do something is one thing, but let a robot do something reliably quite another. This talk will teach the basics of the diagnostic stack and related tools. Additionally, it will provide some pointers to useful extensions and will highlight the addressed topics in a real world system. After the talk the attendees have a good starting point to set up their own diagnostic system in their robotic projects.
@misc{kirchner2013developer, abstract = {Let a robot do something is one thing, but let a robot do something reliably quite another. This talk will teach the basics of the diagnostic stack and related tools. Additionally, it will provide some pointers to useful extensions and will highlight the addressed topics in a real world system. After the talk the attendees have a good starting point to set up their own diagnostic system in their robotic projects.}, address = {Stuttgart}, author = {Kirchner, Dominik and Saur, Daniel}, booktitle = {ROS Developer Conference}, keywords = {vs}, organization = {Willow Garage}, title = {Reliable Robotics – Diagnostics ++}, year = 2013 }
Team Description: Carpe Noctem 2013. Amma, Till; Beifuß, Jewgeni; Bozic, Zjelko; Bui, Mike; Gawora, Fridolin; Haque, Tareque; Geihs, Kurt; Jakob, Stefan; Kirchner, Dominik; Kubitza, Nils; Liebscher, Kai; Opfer, Stephan; Saur, Daniel; Schaake, Tim; Schlüter, Tim; Triller, Stefan; Witsch, Andreas. 2013.
- [ Abstract ]
- [ BibTeX ]
Carpe Noctem is a Mid-Size League Robocup team at the University of Kassel. It is part of the Distributed Autonomous Systems Laboratory of the Distributed Systems Group which is well known for its research contributions on middleware platforms, distributed system management, and software technologies for distributed systems. Carpe Noctem is a team of researchers and students who collectively aim at competing in the Robocup championships. Several undergraduate students are involved in the research as part of their bachelor or master thesis, and the achieved results are directly integrated into the overall system. Carpe Noctem successfully developed a modular and platform-independent communication middleware for autonomous robots in the past years. The main research focus has now shifted towards representation and robust execution of cooperative strategies in dynamic domains. As such, Robocup is again an ideal domain to evaluate our approach.
@techreport{2013, abstract = {Carpe Noctem is a Mid-Size League Robocup team at the University of Kassel. It is part of the Distributed Autonomous Systems Laboratory of the Distributed Systems Group which is well known for its research contributions on middleware platforms, distributed system management, and software technologies for distributed systems. Carpe Noctem is a team of researchers and students who collectively aim at competing in the Robocup championships. Several undergraduate students are involved in the research as part of their bachelor or master thesis, and the achieved results are directly integrated into the overall system. Carpe Noctem successfully developed a modular and platform-independent communication middleware for autonomous robots in the past years. The main research focus has now shifted towards representation and robust execution of cooperative strategies in dynamic domains. As such, Robocup is again an ideal domain to evaluate our approach.}, author = {Amma, Till and Beifuß, Jewgeni and Bozic, Zjelko and Bui, Mike and Gawora, Fridolin and Haque, Tareque and Geihs, Kurt and Jakob, Stefan and Kirchner, Dominik and Kubitza, Nils and Liebscher, Kai and Opfer, Stephan and Saur, Daniel and Schaake, Tim and Schl{\"u}ter, Tim and Triller, Stefan and Witsch, Andreas}, booktitle = {RoboCup International Symposium (RoboCup-2013)}, keywords = {vs}, series = {RoboCup Federation}, title = {Team Description: Carpe Noctem 2013}, year = 2013 }
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Lemos, Rogério; Giese, Holger; Müller, HausiA.; Shaw, Mary; Andersson, Jesper; Litoiu, Marin; Schmerl, Bradley; Tamura, Gabriel; Villegas, NorhaM.; Vogel, Thomas; Weyns, Danny; Baresi, Luciano; Becker, Basil; Bencomo, Nelly; Brun, Yuriy; Cukic, Bojan; Desmarais, Ron; Dustdar, Schahram; Engels, Gregor; Geihs, Kurt; Göschka, KarlM.; Gorla, Alessandra; Grassi, Vincenzo; Inverardi, Paola; Karsai, Gabor; Kramer, Jeff; Lopes, Antónia; Magee, Jeff; Malek, Sam; Mankovskii, Serge; Mirandola, Raffaela; Mylopoulos, John; Nierstrasz, Oscar; Pezzè, Mauro; Prehofer, Christian; Schäfer, Wilhelm; Schlichting, Rick; Smith, DennisB.; Sousa, JoãoPedro; Tahvildari, Ladan; Wong, Kenny; Wuttke, Jochen. In Software Engineering for Self-Adaptive Systems II, Bd. 7475, R. Lemos, H. Giese, H. Müller, M. Shaw (Hrsg.), S. 1–32. Springer Berlin Heidelberg, 2013.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for self-adaptive solutions, software engineering processes for self-adaptive systems, from centralized to decentralized control, and practical run-time verification & validation for self-adaptive systems. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.
@incollection{lemos2013software, abstract = {The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for self-adaptive solutions, software engineering processes for self-adaptive systems, from centralized to decentralized control, and practical run-time verification & validation for self-adaptive systems. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.}, author = {Lemos, Rogério and Giese, Holger and Müller, HausiA. and Shaw, Mary and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Tamura, Gabriel and Villegas, NorhaM. and Vogel, Thomas and Weyns, Danny and Baresi, Luciano and Becker, Basil and Bencomo, Nelly and Brun, Yuriy and Cukic, Bojan and Desmarais, Ron and Dustdar, Schahram and Engels, Gregor and Geihs, Kurt and Göschka, KarlM. and Gorla, Alessandra and Grassi, Vincenzo and Inverardi, Paola and Karsai, Gabor and Kramer, Jeff and Lopes, Antónia and Magee, Jeff and Malek, Sam and Mankovskii, Serge and Mirandola, Raffaela and Mylopoulos, John and Nierstrasz, Oscar and Pezzè, Mauro and Prehofer, Christian and Schäfer, Wilhelm and Schlichting, Rick and Smith, DennisB. and Sousa, JoãoPedro and Tahvildari, Ladan and Wong, Kenny and Wuttke, Jochen}, booktitle = {Software Engineering for Self-Adaptive Systems II}, editor = {Lemos, Rogério and Giese, Holger and Müller, HausiA. and Shaw, Mary}, keywords = {vs}, pages = {1-32}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {Software Engineering for Self-Adaptive Systems: A Second Research Roadmap}, volume = 7475, year = 2013 }
Giving Robots a Voice: A Kineto-Acoustic Project. Hoyer, Ralf; Bartetzki, Andre; Kirchner, Dominik; Witsch, Andreas. In Third International Conference on Arts and Technology. Milano (Italy), 2013.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
In this paper we present a kineto-acoustic project based on soccer robots. The movements of robots, determined by the needs of a soccer game, are transformed into a piece of music. Therefore, the robots are equipped with microphones, speakers, and custom-designed audio modules. The amplification of microphones and speakers is adjusted to create constantly varying feedback effects. These effects evolve from the relative positions and motions of the robots. Furthermore, data from control computers are utilized for the musical sound modulation. As the sequence of movements is not deterministic the resulting musical structure is unique in each performance.
@inproceedings{2013, abstract = {In this paper we present a kineto-acoustic project based on soccer robots. The movements of robots, determined by the needs of a soccer game, are transformed into a piece of music. Therefore, the robots are equipped with microphones, speakers, and custom-designed audio modules. The amplification of microphones and speakers is adjusted to create constantly varying feedback effects. These effects evolve from the relative positions and motions of the robots. Furthermore, data from control computers are utilized for the musical sound modulation. As the sequence of movements is not deterministic the resulting musical structure is unique in each performance.}, address = {Milano (Italy)}, author = {Hoyer, Ralf and Bartetzki, Andre and Kirchner, Dominik and Witsch, Andreas}, booktitle = {{Third International Conference on Arts and Technology}}, keywords = {vs}, month = {03}, title = {Giving Robots a Voice: A Kineto-Acoustic Project}, year = 2013 }
Grenzen von SROIQ bei der Unterstuetzung der Modellierung von Multi-Agenten-Plaenen. Opfer, Stephan. In Informatik-Spektrum, 36(6), S. 1–4. Springer Berlin Heidelberg, 2013.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
Die Unterstützung durch logisches Schlussfolgern während der Modellierung von Multi-Agenten-Plänen erhöht die Qualität der Ergebnisse und die Effizienz des Modellierungsprozesses. Daher haben wir die Anwendbarkeit eines auf Beschreibungslogik basierenden Verfahrens für die Multi-Agenten-Modellierungssprache ALICA untersucht. Wir wählten SROIQ als eine der ausdrucksstärksten Beschreibungslogiken. Für eine umfassende Beurteilung der Anwendbarkeit wurden Schlussfolgerungsaufgaben verschiedener Komplexität realisiert. Nach einer ausführlichen Diskussion der entdeckten Probleme kommen wir zu dem Schluss, dass nur verbesserte oder alternative Schlussfolgerungstechniken für die Komplexität von Multi-Agenten-Plänen geeignet sind.
@article{opfer2013grenzen, abstract = {Die Unterstützung durch logisches Schlussfolgern während der Modellierung von Multi-Agenten-Plänen erhöht die Qualität der Ergebnisse und die Effizienz des Modellierungsprozesses. Daher haben wir die Anwendbarkeit eines auf Beschreibungslogik basierenden Verfahrens für die Multi-Agenten-Modellierungssprache ALICA untersucht. Wir wählten SROIQ als eine der ausdrucksstärksten Beschreibungslogiken. Für eine umfassende Beurteilung der Anwendbarkeit wurden Schlussfolgerungsaufgaben verschiedener Komplexität realisiert. Nach einer ausführlichen Diskussion der entdeckten Probleme kommen wir zu dem Schluss, dass nur verbesserte oder alternative Schlussfolgerungstechniken für die Komplexität von Multi-Agenten-Plänen geeignet sind.}, author = {Opfer, Stephan}, journal = {Informatik-Spektrum}, keywords = {vs}, month = 12, number = 6, pages = {1-4}, publisher = {Springer Berlin Heidelberg}, title = {Grenzen von SROIQ bei der Unterstuetzung der Modellierung von Multi-Agenten-Plaenen}, volume = 36, year = 2013 }
The user in the loop: Enabling user participation for self-adaptive applications. Evers, Christoph; Kniewel, Romy; Geihs, Kurt; Schmidt, Ludger. In Future Generation Computer Systems. 2013.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
Abstract Future computing systems must adjust to the user’s situations, habits, and intentions. Self-adaptive applications autonomously adapt to changing contexts without asking the user. However, the self-adaptive behaviour lacks of success if it does not correspond to the user’s personal interaction habits and intentions, particularly for complex scenarios with a high degree of user interaction. Concerning the interaction design, such adaptations can be irritating and distracting for the user if they do not match the current situation. In this article we provide a solution how to integrate the user in the self-adaptation feedback loop. The user will be able to influence the adaptation behaviour at run-time and in the long term by setting individual preferences. Consequently, we achieve a harmonization between full application autonomy and user control. We implemented our generic concepts by extending an existing self-adaptation middleware with capabilities to respect the user’s application focus and interaction behaviour. A notification-based solution for user participation has been evaluated in a substantial user study with 62 participants. Although participants perceived much better control with our solution, the study made clear that notification design is specific for each adaptation type.
@article{Evers2013, abstract = {Abstract Future computing systems must adjust to the user’s situations, habits, and intentions. Self-adaptive applications autonomously adapt to changing contexts without asking the user. However, the self-adaptive behaviour lacks of success if it does not correspond to the user’s personal interaction habits and intentions, particularly for complex scenarios with a high degree of user interaction. Concerning the interaction design, such adaptations can be irritating and distracting for the user if they do not match the current situation. In this article we provide a solution how to integrate the user in the self-adaptation feedback loop. The user will be able to influence the adaptation behaviour at run-time and in the long term by setting individual preferences. Consequently, we achieve a harmonization between full application autonomy and user control. We implemented our generic concepts by extending an existing self-adaptation middleware with capabilities to respect the user’s application focus and interaction behaviour. A notification-based solution for user participation has been evaluated in a substantial user study with 62 participants. Although participants perceived much better control with our solution, the study made clear that notification design is specific for each adaptation type.}, author = {Evers, Christoph and Kniewel, Romy and Geihs, Kurt and Schmidt, Ludger}, journal = {Future Generation Computer Systems}, keywords = {vs}, title = {The user in the loop: Enabling user participation for self-adaptive applications}, year = 2013 }
Using Incomplete Satisfiability Modulo Theories to Determine Robotic Tasks. Witsch, Andreas; Skubch, Hendrik; Niemczyk, Stefan; Geihs, Kurt. In IEEE International Workshop on Intelligent Robots and Systems (IROS). 2013.
- [ Abstract ]
- [ BibTeX ]
Many robotic task specifications can be naturally expressed by boolean combinations of arbitrary constraints. This allows a separation of problem description and solution strategy. In this paper, we present a novel approach to solve non-linear constraint systems based on Satisfiability Modulo Theories. While most SMT-based techniques emphasize completeness, we intentionally use an incomplete local search strategy. Despite this incompleteness, the presented solution is able to deal with many real world problems like task allocation or robot positioning. We show that our approach is able to exploit the logical structure to solve highly complex tasks almost in real-time.
@inproceedings{witsch2013using, abstract = {Many robotic task specifications can be naturally expressed by boolean combinations of arbitrary constraints. This allows a separation of problem description and solution strategy. In this paper, we present a novel approach to solve non-linear constraint systems based on Satisfiability Modulo Theories. While most SMT-based techniques emphasize completeness, we intentionally use an incomplete local search strategy. Despite this incompleteness, the presented solution is able to deal with many real world problems like task allocation or robot positioning. We show that our approach is able to exploit the logical structure to solve highly complex tasks almost in real-time.}, author = {Witsch, Andreas and Skubch, Hendrik and Niemczyk, Stefan and Geihs, Kurt}, booktitle = {IEEE International Workshop on Intelligent Robots and Systems (IROS)}, keywords = {vs}, title = {Using Incomplete Satisfiability Modulo Theories to Determine Robotic Tasks}, year = 2013 }
Self-Adaptivity from Different Application Perspectives. Geihs, Kurt. In Software Engineering for Self-Adaptive Systems II, Bd. 7475, R. Lemos, H. Giese, H. Müller, M. Shaw (Hrsg.), S. 376–392. Springer Berlin Heidelberg, 2013.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
Self-adaptivity can be beneficial in many application domains. In recent years we have researched the engineering of self-adaptive software systems in three rather diverse domains: ubiquitous computing applications, teams of autonomous mobile robots, and management of service-oriented software systems. While all of them perform dynamic adaptation at run-time following a specified control loop, they differ fundamentally in their specific objectives, requirements, properties, and constraints. Consequently, their design and realization focus on different domain aspects and require different modeling and engineering techniques. In this paper we elaborate on synergies and discrepancies in developing the three case studies. We evaluate these self-adaptive systems using a recently published framework for evaluating self-adaptive software systems. The main contributions of this paper are a reflection on the design space of self-adaptive systems and a critique of the proposed evaluation framework.
@incollection{geihs2013selfadaptivity, abstract = {Self-adaptivity can be beneficial in many application domains. In recent years we have researched the engineering of self-adaptive software systems in three rather diverse domains: ubiquitous computing applications, teams of autonomous mobile robots, and management of service-oriented software systems. While all of them perform dynamic adaptation at run-time following a specified control loop, they differ fundamentally in their specific objectives, requirements, properties, and constraints. Consequently, their design and realization focus on different domain aspects and require different modeling and engineering techniques. In this paper we elaborate on synergies and discrepancies in developing the three case studies. We evaluate these self-adaptive systems using a recently published framework for evaluating self-adaptive software systems. The main contributions of this paper are a reflection on the design space of self-adaptive systems and a critique of the proposed evaluation framework.}, author = {Geihs, Kurt}, booktitle = {Software Engineering for Self-Adaptive Systems II}, editor = {Lemos, Rogério and Giese, Holger and Müller, HausiA. and Shaw, Mary}, keywords = {vs}, pages = {376-392}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {Self-Adaptivity from Different Application Perspectives}, volume = 7475, year = 2013 }

2012[ to top ]

Team Description: Carpe Noctem 2012. Amma, Till; Beifuß, Jewgeni; Bozic, Zjelko; Bui, Mike; Gawora, Fridolin; Haque, Tareque; Geihs, Kurt; Jakob, Stefan; Kirchner, Dominik; Kubitza, Nils; Liebscher, Kai; Opfer, Stephan; Saur, Daniel; Schaake, Tim; Schlüter, Tim; Triller, Stefan; Witsch, Andreas. 2012.
- [ Abstract ]
- [ BibTeX ]
Carpe Noctem is a Mid-Size League Robocup team at the University of Kassel. It is part of the Distributed Autonomous Systems Laboratory of the Distributed Systems Group which is well known for its research contributions on middleware platforms, distributed system management, and software technologies for distributed systems. Carpe Noctem is a team of researchers and students who collectively aim at competing in the Robocup championships. Several undergraduate students are involved in the research as part of their bachelor or master thesis, and the achieved results are directly integrated into the overall system. Carpe Noctem successfully developed a modular and platform-independent communication middleware for autonomous robots in the past years. The main research focus has now shifted towards representation and robust execution of cooperative strategies in dynamic domains. As such, Robocup is again an ideal domain to evaluate our approach.
@techreport{2012, abstract = {Carpe Noctem is a Mid-Size League Robocup team at the University of Kassel. It is part of the Distributed Autonomous Systems Laboratory of the Distributed Systems Group which is well known for its research contributions on middleware platforms, distributed system management, and software technologies for distributed systems. Carpe Noctem is a team of researchers and students who collectively aim at competing in the Robocup championships. Several undergraduate students are involved in the research as part of their bachelor or master thesis, and the achieved results are directly integrated into the overall system. Carpe Noctem successfully developed a modular and platform-independent communication middleware for autonomous robots in the past years. The main research focus has now shifted towards representation and robust execution of cooperative strategies in dynamic domains. As such, Robocup is again an ideal domain to evaluate our approach.}, author = {Amma, Till and Beifuß, Jewgeni and Bozic, Zjelko and Bui, Mike and Gawora, Fridolin and Haque, Tareque and Geihs, Kurt and Jakob, Stefan and Kirchner, Dominik and Kubitza, Nils and Liebscher, Kai and Opfer, Stephan and Saur, Daniel and Schaake, Tim and Schlüter, Tim and Triller, Stefan and Witsch, Andreas}, keywords = {vs}, series = {RoboCup Federation}, title = {Team Description: Carpe Noctem 2012}, year = 2012 }
BPRules and the BPR-Framework: Comprehensive Support for Managing QoS in Web Service Compositions. Comes, DianaElena; Baraki, Harun; Reichle, Roland; Geihs, Kurt. In Distributed Applications and Interoperable Systems, Bd. 7272, K. Göschka, S. Haridi (Hrsg.), S. 222–235. Springer Berlin Heidelberg, 2012.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
For a successful collaboration between enterprises, Web services and service compositions need to fulfill certain QoS (Quality of Service) requirements so that they can be trusted by their clients. Thus, the best services have to be chosen for the composition, the performance of the composition needs to be monitored and in case of QoS deviations, appropriate management actions are required. We propose the BPRules language and the BPR-framework that offer novel capabilities and improved flexibility for the management of BPEL processes with regard to QoS concerns. The BPRules language allows to specify the QoS monitoring of BPEL processes and offers a variety of management actions for controlling the process and for the improvement of its QoS behavior. Thereby, the BPR-framework provides the necessary components to perform the QoS monitoring and to execute the management actions. For the selection of high quality services, the BPR-framework comes with efficient selection algorithms, like our OPTIM_PRO algorithm. We present the features of BPRules that we consider as indispensable for managing the services’ QoS behavior.
@incollection{comes2012bprules, abstract = {For a successful collaboration between enterprises, Web services and service compositions need to fulfill certain QoS (Quality of Service) requirements so that they can be trusted by their clients. Thus, the best services have to be chosen for the composition, the performance of the composition needs to be monitored and in case of QoS deviations, appropriate management actions are required. We propose the BPRules language and the BPR-framework that offer novel capabilities and improved flexibility for the management of BPEL processes with regard to QoS concerns. The BPRules language allows to specify the QoS monitoring of BPEL processes and offers a variety of management actions for controlling the process and for the improvement of its QoS behavior. Thereby, the BPR-framework provides the necessary components to perform the QoS monitoring and to execute the management actions. For the selection of high quality services, the BPR-framework comes with efficient selection algorithms, like our OPTIM_PRO algorithm. We present the features of BPRules that we consider as indispensable for managing the services’ QoS behavior.}, author = {Comes, DianaElena and Baraki, Harun and Reichle, Roland and Geihs, Kurt}, booktitle = {Distributed Applications and Interoperable Systems}, editor = {Göschka, KarlMichael and Haridi, Seif}, keywords = {vs}, pages = {222-235}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {BPRules and the BPR-Framework: Comprehensive Support for Managing QoS in Web Service Compositions}, volume = 7272, year = 2012 }
Context-Awareness for Self-adaptive Applications in Ubiquitous Computing Environments. Geihs, Kurt; Wagner, Michael. In Context-Aware Systems and Applications, Bd. 109, P. Vinh, N. Hung, N. Tung, J. Suzuki (Hrsg.), S. 108–120. Springer Berlin Heidelberg, 2012.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
Context-awareness is a prerequisite for self-adaptive applications that are able to react and adapt to their runtime context. We have built and evaluated a comprehensive development framework for context-aware, self-adaptive applications in dynamic ubiquitous computing scenarios. The framework consists of a middleware and an associated model-driven development methodology. In this paper we focus on the context-awareness part of the framework. We discuss design objectives, design decisions, and lessons learnt. The main contributions of this paper are generally applicable insights into the design and seamless integration of context-awareness, dynamic service landscapes, and application adaptation management for applications in highly dynamic execution environments. These insights not only relate to the functional requirements and constraints, but also to non-functional aspects that have a strong influence on the user acceptance of such applications.
@incollection{geihs2012contextawareness, abstract = {Context-awareness is a prerequisite for self-adaptive applications that are able to react and adapt to their runtime context. We have built and evaluated a comprehensive development framework for context-aware, self-adaptive applications in dynamic ubiquitous computing scenarios. The framework consists of a middleware and an associated model-driven development methodology. In this paper we focus on the context-awareness part of the framework. We discuss design objectives, design decisions, and lessons learnt. The main contributions of this paper are generally applicable insights into the design and seamless integration of context-awareness, dynamic service landscapes, and application adaptation management for applications in highly dynamic execution environments. These insights not only relate to the functional requirements and constraints, but also to non-functional aspects that have a strong influence on the user acceptance of such applications.}, author = {Geihs, Kurt and Wagner, Michael}, booktitle = {Context-Aware Systems and Applications}, editor = {Vinh, PhanCong and Hung, NguyenManh and Tung, NguyenThanh and Suzuki, Junichi}, keywords = {context-awareness}, pages = {108-120}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, title = {Context-Awareness for Self-adaptive Applications in Ubiquitous Computing Environments}, volume = 109, year = 2012 }
Achieving User Participation for Adaptive Applications. Evers, Christoph; Kniewel, Romy; Geihs, Kurt; Schmidt, Ludger. In Ubiquitous Computing and Ambient Intelligence, Bd. 7656, J. Bravo, D. López-de Ipiña, F. Moya (Hrsg.), S. 200–207. Springer Berlin Heidelberg, 2012.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
Adaptive applications establish the basis for many ubiquitous computing scenarios as they can dynamically adapt to changing contexts. But adaptive applications lack of success when the adaptive behaviour does not correspond to the user’s interaction habits. A user study revealed that such applications are not satisfying for complex scenarios with a high degree of user interaction. We claim that there must be a trade-off between automation and user participation. By extending an existing adaptation middleware with capabilities to respect user preference and interaction behaviour we demonstrate how to integrate the user in the self-adaptation loop. Interdisciplinary results from the fields of usability engineering and interaction design include the need for an adaptation notification concept to avoid mismatching adaptation behaviour.
@incollection{evers2012achieving, abstract = {Adaptive applications establish the basis for many ubiquitous computing scenarios as they can dynamically adapt to changing contexts. But adaptive applications lack of success when the adaptive behaviour does not correspond to the user’s interaction habits. A user study revealed that such applications are not satisfying for complex scenarios with a high degree of user interaction. We claim that there must be a trade-off between automation and user participation. By extending an existing adaptation middleware with capabilities to respect user preference and interaction behaviour we demonstrate how to integrate the user in the self-adaptation loop. Interdisciplinary results from the fields of usability engineering and interaction design include the need for an adaptation notification concept to avoid mismatching adaptation behaviour.}, author = {Evers, Christoph and Kniewel, Romy and Geihs, Kurt and Schmidt, Ludger}, booktitle = {Ubiquitous Computing and Ambient Intelligence}, editor = {Bravo, José and López-de Ipiña, Diego and Moya, Francisco}, keywords = {VS}, pages = {200-207}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {Achieving User Participation for Adaptive Applications}, volume = 7656, year = 2012 }
Designing Socio-technical Applications for Ubiquitous Computing. Comes, DianaElena; Evers, Christoph; Geihs, Kurt; Hoffmann, Axel; Kniewel, Romy; Leimeister, JanMarco; Niemczyk, Stefan; Roßnagel, Alexander; Schmidt, Ludger; Schulz, Thomas; Söllner, Matthias; Witsch, Andreas. In Distributed Applications and Interoperable Systems, Bd. 7272, K. Göschka, S. Haridi (Hrsg.), S. 194–201. Springer Berlin Heidelberg, 2012.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
A major challenge for ubiquitous system design is creating applications that are legal-compatible and accepted by their intended users. Today’s European data protection principles contradict the ideas of ubiquitous computing. Additionally, users have to deal with unconventional interaction concepts leading to a low amount of trust and acceptance in such systems. Current development approaches do not sufficiently cover these concerns, as they do not systematically incorporate expertise from the relevant disciplines. We present a novel development approach for ubiquitous systems that explicitly addresses these concerns. Our primary task was to manage the increased number of stakeholders and dependencies, respectively conflicts between requirements of the particular disciplines. The approach incorporates predefined artifacts and a defined workflow with responsibilities, as well as suggesting how to develop mutual understanding. We apply this multidisciplinary approach to develop the ubiquitous application Meet-U.
@incollection{comes2012designing, abstract = {A major challenge for ubiquitous system design is creating applications that are legal-compatible and accepted by their intended users. Today’s European data protection principles contradict the ideas of ubiquitous computing. Additionally, users have to deal with unconventional interaction concepts leading to a low amount of trust and acceptance in such systems. Current development approaches do not sufficiently cover these concerns, as they do not systematically incorporate expertise from the relevant disciplines. We present a novel development approach for ubiquitous systems that explicitly addresses these concerns. Our primary task was to manage the increased number of stakeholders and dependencies, respectively conflicts between requirements of the particular disciplines. The approach incorporates predefined artifacts and a defined workflow with responsibilities, as well as suggesting how to develop mutual understanding. We apply this multidisciplinary approach to develop the ubiquitous application Meet-U.}, author = {Comes, DianaElena and Evers, Christoph and Geihs, Kurt and Hoffmann, Axel and Kniewel, Romy and Leimeister, JanMarco and Niemczyk, Stefan and Roßnagel, Alexander and Schmidt, Ludger and Schulz, Thomas and Söllner, Matthias and Witsch, Andreas}, booktitle = {Distributed Applications and Interoperable Systems}, editor = {Göschka, KarlMichael and Haridi, Seif}, keywords = {vs}, pages = {194-201}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {Designing Socio-technical Applications for Ubiquitous Computing}, volume = 7272, year = 2012 }
Solving Non-linear Arithmetic Constraints in Soft Realtime Environments. Skubch, Hendrik. In Proceedings of the 27th Annual ACM Symposium on Applied Computing, von SAC ’12, S. 67–73. ACM, Trento, Italy, 2012.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
In many domains, such as in multi-robot scenarios, operational instructions controlling a system are highly complex. In order to facilitate both ease of modeling and intelligent decision making, powerful reasoning techniques become available, which are able to solve complex non-linear formulae within a very small time frame. We argue that the problem class of arbitrary boolean combinations of non-linear constraints is a suitable representation for a wide range of robotic problems and present an evaluation of several state-of-the-art solving techniques, targeting problems that arise in robotic and multi-robotic domains, which need to be solved in near real-time. Additionally, we combine available techniques yielding two highly competitive solvers for non-linear continuous constraint systems. Finally, we present new results on complexity phase transition phenomena of the local searches involved.
@inproceedings{skubch2012solving, abstract = {In many domains, such as in multi-robot scenarios, operational instructions controlling a system are highly complex. In order to facilitate both ease of modeling and intelligent decision making, powerful reasoning techniques become available, which are able to solve complex non-linear formulae within a very small time frame. We argue that the problem class of arbitrary boolean combinations of non-linear constraints is a suitable representation for a wide range of robotic problems and present an evaluation of several state-of-the-art solving techniques, targeting problems that arise in robotic and multi-robotic domains, which need to be solved in near real-time. Additionally, we combine available techniques yielding two highly competitive solvers for non-linear continuous constraint systems. Finally, we present new results on complexity phase transition phenomena of the local searches involved.}, address = {New York, NY, USA}, author = {Skubch, Hendrik}, booktitle = {Proceedings of the 27th Annual ACM Symposium on Applied Computing}, keywords = {vs}, pages = {67–73}, publisher = {ACM}, series = {SAC '12}, title = {Solving Non-linear Arithmetic Constraints in Soft Realtime Environments}, year = 2012 }
Merging Backgrounds – An Interdisciplinary Course Concept for a Robotic Laboratory. Kirchner, Dominik; Geihs, Kurt. In 3rd International Workshop Teaching Robotics, Teaching with Robotics, Springer (Hrsg.), S. 107–116. Riva del Garda (Trento, Italy), 2012.
- [ Abstract ]
- [ BibTeX ]
Interdisciplinary work is seen as an essential part in industrial development and scientific research projects. Modern education should address this skill. But integrating interdisciplinarity in a teaching curriculum is a demanding task. In this paper, we present a design of an introductory robotic laboratory, which is suitable for students in robotic related study programs, such as computer science, electrical engineering, mechatronics, and mechanical engineering. The course concept proposes the application of optional individual tasks to balance the different backgrounds and levels of the participants. Active participation and self-contained learning is identified as a key aspect in the proposed concept and therefore specifically addressed. Criteria for a suitable robot kit were formulated and a corresponding robot kit as an attractive teaching platform is presented. Results of a questionnaire provide an evaluation of the realized course concept.
@inproceedings{kirchner2012merging, abstract = {Interdisciplinary work is seen as an essential part in industrial development and scientific research projects. Modern education should address this skill. But integrating interdisciplinarity in a teaching curriculum is a demanding task. In this paper, we present a design of an introductory robotic laboratory, which is suitable for students in robotic related study programs, such as computer science, electrical engineering, mechatronics, and mechanical engineering. The course concept proposes the application of optional individual tasks to balance the different backgrounds and levels of the participants. Active participation and self-contained learning is identified as a key aspect in the proposed concept and therefore specifically addressed. Criteria for a suitable robot kit were formulated and a corresponding robot kit as an attractive teaching platform is presented. Results of a questionnaire provide an evaluation of the realized course concept.}, address = {Riva del Garda (Trento, Italy)}, author = {Kirchner, Dominik and Geihs, Kurt}, booktitle = {3rd International Workshop Teaching Robotics, Teaching with Robotics}, editor = {Springer}, keywords = {vs}, pages = {107-116}, title = {Merging Backgrounds – An Interdisciplinary Course Concept for a Robotic Laboratory}, year = 2012 }
Querying SAP ERP with SPARQL. Kirchhoff, Marc; Geihs, Kurt. In Proceedings of the 8th International Conference on Semantic Systems, von I-SEMANTICS ’12, S. 173–176. ACM, Graz, Austria, 2012.
- [ Abstract ]
- [ BibTeX ]
- [ URL ]
Most of the mid-size and large companies employ enterprise resource planning (ERP) systems to manage their business data and business processes. Business entities like purchase orders, equipments or customers are represented as business objects in ERP systems. Multiple business objects can span a business object graph by referencing each other. The SAP ERP system provides several interfaces to access business objects. Querying business objects with regard to their positions within a business object graph by using these existing interfaces is not an easy task. In this paper, we propose to use the RDF query language SPARQL to express queries against business object graphs. We argue that SPARQL is well suited to query business objects in ERP systems and introduce an architecture to provide a SPARQL endpoint on top of an SAP ERP system. This novel approach simplifies the retrieval of data from ERP systems and makes it available to the integration with the Semantic Web.
@inproceedings{kirchhoff2012querying, abstract = {Most of the mid-size and large companies employ enterprise resource planning (ERP) systems to manage their business data and business processes. Business entities like purchase orders, equipments or customers are represented as business objects in ERP systems. Multiple business objects can span a business object graph by referencing each other. The SAP ERP system provides several interfaces to access business objects. Querying business objects with regard to their positions within a business object graph by using these existing interfaces is not an easy task. In this paper, we propose to use the RDF query language SPARQL to express queries against business object graphs. We argue that SPARQL is well suited to query business objects in ERP systems and introduce an architecture to provide a SPARQL endpoint on top of an SAP ERP system. This novel approach simplifies the retrieval of data from ERP systems and makes it available to the integration with the Semantic Web.}, address = {New York, NY, USA}, author = {Kirchhoff, Marc and Geihs, Kurt}, booktitle = {Proceedings of the 8th International Conference on Semantic Systems}, keywords = {ontologies}, pages = {173–176}, publisher = {ACM}, series = {I-SEMANTICS '12}, title = {Querying SAP ERP with SPARQL}, year = 2012 }
On Socio-technical Enablers for Ubiquitous Computing Applications. Geihs, K.; Leimeister, J.M.; Rossnagel, A.; Schmidt, L. In Applications and the Internet (SAINT), 2012 IEEE/IPSJ 12th International Symposium on, S. 405–408. 2012.
- [ Abstract ]
- [ BibTeX ]
The focus of this paper is on context-aware, self-adaptive ubiquitous computing applications that involve mobile users. The development of such applications is inherently complex for two main reasons: From a technical perspective, context management and adaptation management add complexity to the application design and implementation. From a socio-technical perspective, concerns and requirements related to the social embedding and user acceptance must be addressed in the application design and lead to additional complexity, particularly because sensitive personal data is collected, processed, stored and communicated by such applications. In this position paper we present an analysis of the problem space and a solution approach. We have developed an interdisciplinary methodology that systematically addresses technical as well as non-technical concerns. Our conclusion is that solving the socio-technical challenges will be a key enabler for ubiquitous computing.
@inproceedings{geihs2012sociotechnical, abstract = {The focus of this paper is on context-aware, self-adaptive ubiquitous computing applications that involve mobile users. The development of such applications is inherently complex for two main reasons: From a technical perspective, context management and adaptation management add complexity to the application design and implementation. From a socio-technical perspective, concerns and requirements related to the social embedding and user acceptance must be addressed in the application design and lead to additional complexity, particularly because sensitive personal data is collected, processed, stored and communicated by such applications. In this position paper we present an analysis of the problem space and a solution approach. We have developed an interdisciplinary methodology that systematically addresses technical as well as non-technical concerns. Our conclusion is that solving the socio-technical challenges will be a key enabler for ubiquitous computing.}, author = {Geihs, K. and Leimeister, J.M. and Rossnagel, A. and Schmidt, L.}, booktitle = {Applications and the Internet (SAINT), 2012 IEEE/IPSJ 12th International Symposium on}, keywords = {vs}, month = {07}, pages = {405-408}, title = {On Socio-technical Enablers for Ubiquitous Computing Applications}, year = 2012 }
Akzeptanz technikferner Nutzergruppen für innovative Smartphone-Apps. Behrenbruch, K.; Kniewel, R.; Niemczyk, S.; Schmidt, L. In Useware 2012: Mensch-Maschine-Interaktion (Kaiserslautern 2012), Bd. 2179 von VDI-Berichte, V.-G. M.-. und Automatisierungstechnik (Hrsg.), S. 65–74. VDI-Verlag, Düsseldorf, 2012.
- [ Abstract ]
- [ BibTeX ]
Zu einer sozialverträglichen Technikgestaltung neuartiger Smartphone-Anwendungen gehört es, die Bedürfnisse unterschiedlicher Nutzergruppen zu berücksichtigen. Dieser Beitrag stellt die Kasseler Entwicklungsmethodik vor, die darauf ausgerichtet ist, softwarebasierte Systeme sozialverträglich zu gestalten und im Rahmen der Zusammenarbeit im Forschungsprojekt VENUS gemeinsam entworfen wird. Die koordinierte Zusammenarbeit von Experten aus den Bereichen Informatik, Rechts- und Wirtschaftswissenschaften sowie Ergonomie im Rahmen der Kasseler Methodik wird im Folgenden am Beispiel der Gestaltung der Smartphone Applikation Meet-U dargestellt. Dabei wird das Entwicklungsergebnis mit Kasseler Methodik (Meet-U-A) im Rahmen einer Evaluation der Nutzerakzeptanz mit einer Version B der Anwendung (Meet-U-B) verglichen, die ohne Kasseler Methodik entwickelt wurde. Die Auswertung der Evaluationen (n=150 bzw. n=153) erfolgte mit dem Ziel, die folgende Hypothese zu prüfen: Die Entwicklung nach Kasseler Methodik führt zu einer höheren Akzeptanz bei einer relativ technikfernen Nutzergruppe. Für die technikfernen Personen konnte tatsächlich eine signifikante Erhöhung der Akzeptanz von etwa 50% (Meet-U-B) auf 70% (Meet-U-A) festgestellt werden. Die Ergebnisse der Evaluationen werden bezogen auf ihre Aussagekraft für die Qualität der Kasseler Methodik diskutiert.
@inproceedings{behrenbruch2012akzeptanz, abstract = {Zu einer sozialverträglichen Technikgestaltung neuartiger Smartphone-Anwendungen gehört es, die Bedürfnisse unterschiedlicher Nutzergruppen zu berücksichtigen. Dieser Beitrag stellt die Kasseler Entwicklungsmethodik vor, die darauf ausgerichtet ist, softwarebasierte Systeme sozialverträglich zu gestalten und im Rahmen der Zusammenarbeit im Forschungsprojekt VENUS gemeinsam entworfen wird. Die koordinierte Zusammenarbeit von Experten aus den Bereichen Informatik, Rechts- und Wirtschaftswissenschaften sowie Ergonomie im Rahmen der Kasseler Methodik wird im Folgenden am Beispiel der Gestaltung der Smartphone Applikation Meet-U dargestellt. Dabei wird das Entwicklungsergebnis mit Kasseler Methodik (Meet-U-A) im Rahmen einer Evaluation der Nutzerakzeptanz mit einer Version B der Anwendung (Meet-U-B) verglichen, die ohne Kasseler Methodik entwickelt wurde. Die Auswertung der Evaluationen (n=150 bzw. n=153) erfolgte mit dem Ziel, die folgende Hypothese zu prüfen: Die Entwicklung nach Kasseler Methodik führt zu einer höheren Akzeptanz bei einer relativ technikfernen Nutzergruppe. Für die technikfernen Personen konnte tatsächlich eine signifikante Erhöhung der Akzeptanz von etwa 50\% (Meet-U-B) auf 70\% (Meet-U-A) festgestellt werden. Die Ergebnisse der Evaluationen werden bezogen auf ihre Aussagekraft für die Qualität der Kasseler Methodik diskutiert.}, address = {Düsseldorf}, author = {Behrenbruch, K. and Kniewel, R. and Niemczyk, S. and Schmidt, L.}, booktitle = {Useware 2012: Mensch-Maschine-Interaktion (Kaiserslautern 2012)}, editor = {{VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik}}, keywords = {vs}, pages = {65–74}, publisher = {VDI-Verlag}, series = {VDI-Berichte}, title = {Akzeptanz technikferner Nutzergruppen für innovative Smartphone-Apps}, volume = 2179, year = 2012 }