Følg
Oliver Kosak
Oliver Kosak
Assistant Professor at Institute for Software & Systems Engineering, University of Augsburg
Verifisert e-postadresse på isse.de - Startside
Tittel
Sitert av
Sitert av
År
The scalex campaign: Scale-crossing land surface and boundary layer processes in the tereno-prealpine observatory
B Wolf, C Chwala, B Fersch, J Garvelmann, W Junkermann, MJ Zeeman, ...
Bulletin of the American Meteorological Society 98 (6), 1217-1234, 2017
64*2017
Hybrid societies: challenges and perspectives in the design of collective behavior in self-organizing systems
H Hamann, Y Khaluf, J Botev, M Divband Soorati, E Ferrante, O Kosak, ...
Frontiers in Robotics and AI 3, 14, 2016
452016
TEMAS-a trust-enabling multi-agent system for open environments
G Anders, F Siefert, N Msadek, R Kiefhaber, O Kosak, W Reif, T Ungerer
202013
Multipotent systems: Combining planning, self-organization, and reconfiguration in modular robot ensembles
O Kosak, C Wanninger, A Hoffmann, H Ponsar, W Reif
Sensors 19 (1), 17, 2018
152018
Synthesizing capabilities for collective adaptive systems from self-descriptive hardware devices bridging the reality gap
C Wanninger, C Eymüller, A Hoffmann, O Kosak, W Reif
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
152018
Towards self-organizing swarms of reconfigurable self-aware robots
O Kosak, C Wanninger, A Angerer, A Hoffmann, A Schiendorfer, ...
2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016
142016
An approach to robust resource allocation in large-scale systems of systems
O Kosak, G Anders, F Siefert, W Reif
2015 IEEE 9th International Conference on Self-adaptive and Self-organizing …, 2015
142015
Decentralized coordination of heterogeneous ensembles using jadex
O Kosak, C Wanninger, A Angerer, A Hoffmann, A Schierl, H Seebach
2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016
122016
Trustworthy Open Self-Organising Systems
W Reif, G Anders, H Seebach, JP Steghöfer, E André, J Hähner, ...
Birkhäuser, 2016
112016
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 …
T Margaria, B Steffen
Springer, 2018
9*2018
Self-organized resource allocation for reconfigurable robot ensembles
J Hanke, O Kosak, A Schiendorfer, W Reif
2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing …, 2018
92018
Facilitating planning by using self-organization
O Kosak, W Reif
2017 IEEE 2nd International Workshops on Foundations and Applications of …, 2017
92017
Maple-swarm: programming collective behavior for ensembles by extending HTN-planning
O Kosak, L Huhn, F Bohn, C Wanninger, A Hoffmann, W Reif
International Symposium on Leveraging Applications of Formal Methods, 507-524, 2020
72020
A decentralised swarm approach for mobile robot-systems
O Kosak
Organic Computing: Doctoral Dissertation Colloquium 7, 53, 2015
62015
Architecture for emergency control of autonomous UAV ensembles
M Schörner, C Wanninger, A Hoffmann, O Kosak, W Reif
2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering …, 2021
42021
Swarm and collective capabilities for multipotent robot ensembles
O Kosak, F Bohn, L Eing, D Rall, C Wanninger, A Hoffmann, W Reif
International Symposium on Leveraging Applications of Formal Methods, 525-540, 2020
42020
Deadlock avoidance for multiple tasks in a self-organizing production cell
J Hirsch, M Neumayer, H Ponsar, O Kosak, W Reif
2020 IEEE International Conference on Autonomic Computing and Self …, 2020
42020
Ensemble Programming for Multipotent Systems
O Kosak, F Bohn, F Keller, H Ponsar, W Reif
2019 IEEE 4th International Workshops on Foundations and Applications of …, 2019
42019
Multipotent Systems: A New Paradigm for Multi-Robot Applications
O Kosak
Organic Computing: Doctoral Dissertation Colloquium 2018 13, 125, 2019
42019
Specification and design of trust-based open self-organising systems
G Anders, F Siefert, A Schiendorfer, H Seebach, JP Steghöfer, ...
Trustworthy Open Self-Organising Systems, 17-54, 2016
42016
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20