---
_id: '250'
abstract:
- lang: eng
text: Before execution, users should formally validate the correctness of software
received from untrusted providers. To accelerate this validation, in the proof
carrying code (PCC) paradigm the provider delivers the software together with
a certificate, a formal proof of the software’s correctness. Thus, the user only
checks if the attached certificate shows correctness of the delivered software.Recently,
we introduced configurable program certification, a generic, PCC based framework
supporting various software analyses and safety properties. Evaluation of our
framework revealed that validation suffers from certificate reading. In this paper,
we present two orthogonal approaches which improve certificate validation, both
reducing the impact of certificate reading. The first approach reduces the certificate
size, storing information only if it cannot easily be recomputed. The second approach
partitions the certificate into independently checkable parts. The trick is to
read parts of the certificate while already checking read parts. Our experiments
show that validation highly benefits from our improvements.
author:
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
citation:
ama: 'Jakobs M-C. Speed Up Configurable Certificate Validation by Certificate Reduction
and Partitioning. In: Proceedings of the 13th International Conference on Software
Engineering and Formal Methods (SEFM). LNCS. ; 2015:159--174. doi:10.1007/978-3-319-22969-0_12'
apa: Jakobs, M.-C. (2015). Speed Up Configurable Certificate Validation by Certificate
Reduction and Partitioning. In Proceedings of the 13th International Conference
on Software Engineering and Formal Methods (SEFM) (pp. 159--174). https://doi.org/10.1007/978-3-319-22969-0_12
bibtex: '@inproceedings{Jakobs_2015, series={LNCS}, title={Speed Up Configurable
Certificate Validation by Certificate Reduction and Partitioning}, DOI={10.1007/978-3-319-22969-0_12},
booktitle={Proceedings of the 13th International Conference on Software Engineering
and Formal Methods (SEFM)}, author={Jakobs, Marie-Christine}, year={2015}, pages={159--174},
collection={LNCS} }'
chicago: Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation
by Certificate Reduction and Partitioning.” In Proceedings of the 13th International
Conference on Software Engineering and Formal Methods (SEFM), 159--174. LNCS,
2015. https://doi.org/10.1007/978-3-319-22969-0_12.
ieee: M.-C. Jakobs, “Speed Up Configurable Certificate Validation by Certificate
Reduction and Partitioning,” in Proceedings of the 13th International Conference
on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
mla: Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate
Reduction and Partitioning.” Proceedings of the 13th International Conference
on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174, doi:10.1007/978-3-319-22969-0_12.
short: 'M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software
Engineering and Formal Methods (SEFM), 2015, pp. 159--174.'
date_created: 2017-10-17T12:41:40Z
date_updated: 2022-01-06T06:56:43Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-22969-0_12
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:45:15Z
date_updated: 2018-03-21T09:45:15Z
file_id: '1489'
file_name: 250-Jakobs2015.pdf
file_size: 724308
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:45:15Z
has_accepted_license: '1'
language:
- iso: eng
page: 159--174
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 13th International Conference on Software Engineering
and Formal Methods (SEFM)
series_title: LNCS
status: public
title: Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
type: conference
user_id: '477'
year: '2015'
...
---
_id: '25073'
abstract:
- lang: eng
text: In this paper, we introduce an approach for combining embedded systems with
Service-oriented Computing techniques based on a concrete application scenario
from the robotics domain. Our proposed Service-oriented Architecture allows for
incorporating computational expensive functionality as services into a distributed
computing environment. Furthermore, our framework facilitates a seamless integration
of embedded systems such as robots as service providers into the computing environment.
The entire communication is based on so-called recipes, which can be interpreted
as autonomous messages that contain all necessary information for executing compositions
of services.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jungmann A, Jatzkowski J, Kleinjohann B. Combining Service-oriented Computing
with Embedded Systems - A Robotics Case Study. In: Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS). Springer-Verlag; 2015.'
apa: Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2015). Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study. Proceedings of the
5th IFIP International Embedded Systems Symposium (IESS).
bibtex: '@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings
of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer-Verlag},
author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015}
}'
chicago: Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Combining
Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” In
Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS).
Springer-Verlag, 2015.
ieee: A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study,” 2015.
mla: Jungmann, Alexander, et al. “Combining Service-Oriented Computing with Embedded
Systems - A Robotics Case Study.” Proceedings of the 5th IFIP International
Embedded Systems Symposium (IESS), Springer-Verlag, 2015.
short: 'A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.'
conference:
end_date: 2015-11-06
start_date: 2015-11-03
date_created: 2021-09-28T11:42:10Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the 5th IFIP International Embedded Systems Symposium
(IESS)
publisher: Springer-Verlag
status: public
title: Combining Service-oriented Computing with Embedded Systems - A Robotics Case
Study
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25074'
author:
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Marcio Eduardo
full_name: Kreutz, Marcio Eduardo
last_name: Kreutz
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Jatzkowski J, Kreutz ME, Rettberg A. Hierarchical Multicore-Scheduling for
Virtualization of Dependent Real-Time Systems. In: Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS). Springer; 2015.'
apa: Jatzkowski, J., Kreutz, M. E., & Rettberg, A. (2015). Hierarchical Multicore-Scheduling
for Virtualization of Dependent Real-Time Systems. Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS).
bibtex: '@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Hierarchical Multicore-Scheduling
for Virtualization of Dependent Real-Time Systems}, booktitle={Proceedings of
the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer},
author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015}
}'
chicago: Jatzkowski, Jan, Marcio Eduardo Kreutz, and Achim Rettberg. “Hierarchical
Multicore-Scheduling for Virtualization of Dependent Real-Time Systems.” In Proceedings
of the 5th IFIP International Embedded Systems Symposium (IESS). Springer,
2015.
ieee: J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Hierarchical Multicore-Scheduling
for Virtualization of Dependent Real-Time Systems,” 2015.
mla: Jatzkowski, Jan, et al. “Hierarchical Multicore-Scheduling for Virtualization
of Dependent Real-Time Systems.” Proceedings of the 5th IFIP International
Embedded Systems Symposium (IESS), Springer, 2015.
short: 'J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS), Springer, 2015.'
conference:
end_date: 2015-11-06
start_date: 2015-11-03
date_created: 2021-09-28T11:45:59Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the 5th IFIP International Embedded Systems Symposium
(IESS)
publisher: Springer
status: public
title: Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time
Systems
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25075'
author:
- first_name: Katharina
full_name: Stahl, Katharina
last_name: Stahl
- first_name: Jörg
full_name: Stöcklein, Jörg
last_name: Stöcklein
- first_name: Silja
full_name: Li, Silja
last_name: Li
citation:
ama: 'Stahl K, Stöcklein J, Li S. Evaluation of Autonomous Approaches using Virtual
Environments. In: Shumaker R, Lackey S, eds. Virtual, Augmented and Mixed Reality
VAMR 2015 Held as Part of HCI International 2015. Vol 9179. LNCS. Springer
International Publishing Switzerland; 2015:499-512.'
apa: Stahl, K., Stöcklein, J., & Li, S. (2015). Evaluation of Autonomous Approaches
using Virtual Environments. In R. Shumaker & S. Lackey (Eds.), Virtual,
Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015
(Vol. 9179, pp. 499–512). Springer International Publishing Switzerland.
bibtex: '@inproceedings{Stahl_Stöcklein_Li_2015, series={LNCS}, title={Evaluation
of Autonomous Approaches using Virtual Environments}, volume={9179}, booktitle={Virtual,
Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015},
publisher={Springer International Publishing Switzerland}, author={Stahl, Katharina
and Stöcklein, Jörg and Li, Silja}, editor={Shumaker, Randall and Lackey, Stephanie},
year={2015}, pages={499–512}, collection={LNCS} }'
chicago: Stahl, Katharina, Jörg Stöcklein, and Silja Li. “Evaluation of Autonomous
Approaches Using Virtual Environments.” In Virtual, Augmented and Mixed Reality
VAMR 2015 Held as Part of HCI International 2015, edited by Randall Shumaker
and Stephanie Lackey, 9179:499–512. LNCS. Springer International Publishing Switzerland,
2015.
ieee: K. Stahl, J. Stöcklein, and S. Li, “Evaluation of Autonomous Approaches using
Virtual Environments,” in Virtual, Augmented and Mixed Reality VAMR 2015 Held
as Part of HCI International 2015, Los Angeles, CA, USA, 2. - 7. Aug. 2015,
2015, vol. 9179, pp. 499–512.
mla: Stahl, Katharina, et al. “Evaluation of Autonomous Approaches Using Virtual
Environments.” Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part
of HCI International 2015, edited by Randall Shumaker and Stephanie Lackey,
vol. 9179, Springer International Publishing Switzerland, 2015, pp. 499–512.
short: 'K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual,
Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015,
Springer International Publishing Switzerland, 2015, pp. 499–512.'
conference:
end_date: 2015-08-07
location: Los Angeles, CA, USA, 2. - 7. Aug. 2015
start_date: 2015-08-02
date_created: 2021-09-28T11:54:54Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
editor:
- first_name: Randall
full_name: Shumaker, Randall
last_name: Shumaker
- first_name: Stephanie
full_name: Lackey, Stephanie
last_name: Lackey
language:
- iso: eng
page: 499-512
publication: Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International
2015
publisher: Springer International Publishing Switzerland
series_title: LNCS
status: public
title: Evaluation of Autonomous Approaches using Virtual Environments
type: conference
user_id: '21240'
volume: ' 9179'
year: '2015'
...
---
_id: '25076'
abstract:
- lang: eng
text: Automated service composition aims at automatically generating software solutions
based on services to provide more complex functionality. In this paper, we give
an initial overview about why adaptivity becomes increasingly important when aiming
for automated composition of service functionality in dynamic and freely accessible
environments such as service markets. We systematically derive dependencies among
crucial processes such as service composition and service execution in a holistic
view. Furthermore, we briefly discuss the influences and effects of changes in
the environment according to the derived dependencies, and discuss possible future
research directions.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
citation:
ama: 'Jungmann A. On Adaptivity for Automated Composition of Service Functionality.
In: Proceedings of the IEEE 11th World Congress on Services (SERVICES).
IEEE Computer Society; 2015:329-332.'
apa: Jungmann, A. (2015). On Adaptivity for Automated Composition of Service Functionality.
Proceedings of the IEEE 11th World Congress on Services (SERVICES), 329–332.
bibtex: '@inproceedings{Jungmann_2015, title={On Adaptivity for Automated Composition
of Service Functionality}, booktitle={Proceedings of the IEEE 11th World Congress
on Services (SERVICES)}, publisher={IEEE Computer Society}, author={Jungmann,
Alexander}, year={2015}, pages={329–332} }'
chicago: Jungmann, Alexander. “On Adaptivity for Automated Composition of Service
Functionality.” In Proceedings of the IEEE 11th World Congress on Services
(SERVICES), 329–32. IEEE Computer Society, 2015.
ieee: A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,”
in Proceedings of the IEEE 11th World Congress on Services (SERVICES),
2015, pp. 329–332.
mla: Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.”
Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE
Computer Society, 2015, pp. 329–32.
short: 'A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services
(SERVICES), IEEE Computer Society, 2015, pp. 329–332.'
conference:
end_date: 2015-07-02
start_date: 2016-06-26
date_created: 2021-09-28T12:06:08Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
page: 329-332
publication: Proceedings of the IEEE 11th World Congress on Services (SERVICES)
publisher: IEEE Computer Society
status: public
title: On Adaptivity for Automated Composition of Service Functionality
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25080'
abstract:
- lang: eng
text: ervices are self-contained and platform independent software components that
aim at maximizing software reuse. The automated composition of services to a target
software artifact has been tackled with many AI techniques, but existing approaches
make unreasonably strong assumptions such as a predefined data flow, are limited
to tiny problem sizes, ignore non-functional properties, or assume offline service
repositories. This paper presents an algorithm that automatically composes services
without making such assumptions. We employ a backward search algorithm that starts
from an empty composition and prepends service calls to already discovered candidates
until a solution is found. Available services are determined during the search
process. We implemented our algorithm, performed an experimental evaluation, and
compared it to other approaches.
author:
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Hans
full_name: Kleine Büning, Hans
last_name: Kleine Büning
citation:
ama: 'Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition.
In: Proceedings of the 12th IEEE International Conference on Services Computing
(SCC). IEEE Computer Society; 2015:57-64.'
apa: Mohr, F., Jungmann, A., & Kleine Büning, H. (2015). Automated Online Service
Composition. Proceedings of the 12th IEEE International Conference on Services
Computing (SCC), 57–64.
bibtex: '@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online
Service Composition}, booktitle={Proceedings of the 12th IEEE International Conference
on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Mohr,
Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57–64}
}'
chicago: Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online
Service Composition.” In Proceedings of the 12th IEEE International Conference
on Services Computing (SCC), 57–64. IEEE Computer Society, 2015.
ieee: F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,”
in Proceedings of the 12th IEEE International Conference on Services Computing
(SCC), 2015, pp. 57–64.
mla: Mohr, Felix, et al. “Automated Online Service Composition.” Proceedings
of the 12th IEEE International Conference on Services Computing (SCC), IEEE
Computer Society, 2015, pp. 57–64.
short: 'F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE
International Conference on Services Computing (SCC), IEEE Computer Society,
2015, pp. 57–64.'
conference:
end_date: 2015-07-02
start_date: 2015-06-26
date_created: 2021-09-28T12:27:27Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
page: 57-64
publication: Proceedings of the 12th IEEE International Conference on Services Computing
(SCC)
publisher: ' IEEE Computer Society'
status: public
title: Automated Online Service Composition
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25082'
author:
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Marcio Eduardo
full_name: Kreutz, Marcio Eduardo
last_name: Kreutz
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Jatzkowski J, Kreutz ME, Rettberg A. Towards Hierarchical Scheduling of Dependent
Systems with Hypervisor-based Virtualization. In: Proceedings of Electronic
System Level Synthesis Conference (ESLsyn). ; 2015.'
apa: Jatzkowski, J., Kreutz, M. E., & Rettberg, A. (2015). Towards Hierarchical
Scheduling of Dependent Systems with Hypervisor-based Virtualization. Proceedings
of Electronic System Level Synthesis Conference (ESLsyn).
bibtex: '@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Towards Hierarchical
Scheduling of Dependent Systems with Hypervisor-based Virtualization}, booktitle={Proceedings
of Electronic System Level Synthesis Conference (ESLsyn)}, author={Jatzkowski,
Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }'
chicago: Jatzkowski, Jan, Marcio Eduardo Kreutz, and Achim Rettberg. “Towards Hierarchical
Scheduling of Dependent Systems with Hypervisor-Based Virtualization.” In Proceedings
of Electronic System Level Synthesis Conference (ESLsyn), 2015.
ieee: J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Towards Hierarchical Scheduling
of Dependent Systems with Hypervisor-based Virtualization,” 2015.
mla: Jatzkowski, Jan, et al. “Towards Hierarchical Scheduling of Dependent Systems
with Hypervisor-Based Virtualization.” Proceedings of Electronic System Level
Synthesis Conference (ESLsyn), 2015.
short: 'J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of Electronic System
Level Synthesis Conference (ESLsyn), 2015.'
conference:
end_date: 2015-06-11
start_date: 2015-06-10
date_created: 2021-09-28T12:31:36Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of Electronic System Level Synthesis Conference (ESLsyn)
status: public
title: Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based
Virtualization
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25083'
author:
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jatzkowski J, Kleinjohann B. Self-Reconfiguration of Real-Time Communication
within Cyber-Physical Systems. In: Mechatronics. Elsevier; 2015.'
apa: Jatzkowski, J., & Kleinjohann, B. (2015). Self-Reconfiguration of Real-Time
Communication within Cyber-Physical Systems. Mechatronics.
bibtex: '@inproceedings{Jatzkowski_Kleinjohann_2015, title={Self-Reconfiguration
of Real-Time Communication within Cyber-Physical Systems}, booktitle={Mechatronics},
publisher={Elsevier}, author={Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015}
}'
chicago: Jatzkowski, Jan, and Bernd Kleinjohann. “Self-Reconfiguration of Real-Time
Communication within Cyber-Physical Systems.” In Mechatronics. Elsevier,
2015.
ieee: J. Jatzkowski and B. Kleinjohann, “Self-Reconfiguration of Real-Time Communication
within Cyber-Physical Systems,” Mai 2015, 2015.
mla: Jatzkowski, Jan, and Bernd Kleinjohann. “Self-Reconfiguration of Real-Time
Communication within Cyber-Physical Systems.” Mechatronics, Elsevier, 2015.
short: 'J. Jatzkowski, B. Kleinjohann, in: Mechatronics, Elsevier, 2015.'
conference:
location: Mai 2015
date_created: 2021-09-28T12:42:40Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
publication: Mechatronics
publisher: Elsevier
status: public
title: Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '251'
author:
- first_name: Karlson
full_name: Pfannschmidt, Karlson
last_name: Pfannschmidt
citation:
ama: Pfannschmidt K. Solving the Aggregated Bandits Problem. Universität
Paderborn; 2015.
apa: Pfannschmidt, K. (2015). Solving the aggregated bandits problem. Universität
Paderborn.
bibtex: '@book{Pfannschmidt_2015, title={Solving the aggregated bandits problem},
publisher={Universität Paderborn}, author={Pfannschmidt, Karlson}, year={2015}
}'
chicago: Pfannschmidt, Karlson. Solving the Aggregated Bandits Problem. Universität
Paderborn, 2015.
ieee: K. Pfannschmidt, Solving the aggregated bandits problem. Universität
Paderborn, 2015.
mla: Pfannschmidt, Karlson. Solving the Aggregated Bandits Problem. Universität
Paderborn, 2015.
short: K. Pfannschmidt, Solving the Aggregated Bandits Problem, Universität Paderborn,
2015.
date_created: 2017-10-17T12:41:41Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '63'
- _id: '541'
project:
- _id: '1'
name: SFB 901
- _id: '7'
name: SFB 901 - Subprojekt A3
- _id: '2'
name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Alexander
full_name: Skopalik, Alexander
id: '40384'
last_name: Skopalik
title: Solving the aggregated bandits problem
type: mastersthesis
user_id: '14052'
year: '2015'
...
---
_id: '25107'
abstract:
- lang: eng
text: On-the-fly composition of service-based software solutions is still a challenging
task. Even more challenges emerge when facing automatic service composition in
markets of composed services for end users. In this paper, we focus on the functional
discrepancy between “what a user wants” specified in terms of a request and “what
a user gets” when executing a composed service. To meet the challenge of functional
discrepancy, we propose the combination of existing symbolic composition approaches
with machine learning techniques. We developed a learning recommendation system
that expands the capabilities of existing composition algorithms to facilitate
adaptivity and consequently reduces functional discrepancy. As a representative
of symbolic techniques, an Artificial Intelligence planning based approach produces
solutions that are correct with respect to formal specifications. Our learning
recommendation system supports the symbolic approach in decision-making. Reinforcement
Learning techniques enable the recommendation system to adjust its recommendation
strategy over time based on user ratings. We implemented the proposed functionality
in terms of a prototypical composition framework. Preliminary results from experiments
conducted in the image processing domain illustrate the benefit of combining both
complementary techniques.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
citation:
ama: Jungmann A, Mohr F. An approach towards adaptive service composition in markets
of composed services. Journal of Internet Services and Applications 6(1).
Published online 2015:1-18.
apa: Jungmann, A., & Mohr, F. (2015). An approach towards adaptive service composition
in markets of composed services. Journal of Internet Services and Applications
6(1), 1–18.
bibtex: '@article{Jungmann_Mohr_2015, title={An approach towards adaptive service
composition in markets of composed services}, journal={Journal of Internet Services
and Applications 6(1)}, author={Jungmann, Alexander and Mohr, Felix}, year={2015},
pages={1–18} }'
chicago: Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service
Composition in Markets of Composed Services.” Journal of Internet Services
and Applications 6(1), 2015, 1–18.
ieee: A. Jungmann and F. Mohr, “An approach towards adaptive service composition
in markets of composed services,” Journal of Internet Services and Applications
6(1), pp. 1–18, 2015.
mla: Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service
Composition in Markets of Composed Services.” Journal of Internet Services
and Applications 6(1), 2015, pp. 1–18.
short: A. Jungmann, F. Mohr, Journal of Internet Services and Applications 6(1)
(2015) 1–18.
date_created: 2021-09-29T09:39:32Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
page: 1-18
publication: Journal of Internet Services and Applications 6(1)
status: public
title: An approach towards adaptive service composition in markets of composed services
type: journal_article
user_id: '21240'
year: '2015'
...
---
_id: '25108'
abstract:
- lang: eng
text: Autonomous adaptation in self-adapting embedded real-time systems introduces
novel risks as it may lead to unforeseen system behavior. An anomaly detection
framework integrated in a real-time operating system can ease the identification
of such suspicious novel behavior and, thereby, offers the potential to enhance
the reliability of the considered self-x system. However, anomaly detection is
based on knowledge about normal behavior. When dealing with self-reconfiguring
applications, normal behavior changes. Hence, knowledge base requires adaptation
or even re-construction at runtime. The stringent restrictions of real-time systems
considering runtime and memory consumption make this task to a really challenging
problem. We present our idea for online construction of application behavior knowledge
that does not rely on training phase. The applications' behavior is defined by
the application's system call invocations. For the knowledge base, we exploit
suffix trees as they offer potentials to represent application behavior patterns
and associated information in a compact manner. The online algorithm provided
by suffix trees is a basis to construct the knowledge base with low computational
effort. Anomaly detection and classification is integrated into the online construction
method. New behavioral patterns do not unconditionally update the behavior knowledge
base. They are evaluated in a context-related manner inspired by Danger Theory,
a special discipline of artificial immune systems. Copyright © 2015 John Wiley
& Sons, Ltd.
author:
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
- first_name: Katharina
full_name: Stahl, Katharina
last_name: Stahl
citation:
ama: 'Rammig F-J, Stahl K. Online behavior classification for anomaly detection
in self-x real-time systems. Concurrency and Computation: Practice and Experience
. Published online 2015.'
apa: 'Rammig, F.-J., & Stahl, K. (2015). Online behavior classification for
anomaly detection in self-x real-time systems. Concurrency and Computation:
Practice and Experience .'
bibtex: '@article{Rammig_Stahl_2015, title={Online behavior classification for anomaly
detection in self-x real-time systems}, journal={Concurrency and Computation:
Practice and Experience }, author={Rammig, Franz-Josef and Stahl, Katharina},
year={2015} }'
chicago: 'Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification
for Anomaly Detection in Self-x Real-Time Systems.” Concurrency and Computation:
Practice and Experience , 2015.'
ieee: 'F.-J. Rammig and K. Stahl, “Online behavior classification for anomaly detection
in self-x real-time systems,” Concurrency and Computation: Practice and Experience
, 2015.'
mla: 'Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification
for Anomaly Detection in Self-x Real-Time Systems.” Concurrency and Computation:
Practice and Experience , 2015.'
short: 'F.-J. Rammig, K. Stahl, Concurrency and Computation: Practice and Experience (2015).'
date_created: 2021-09-29T09:43:32Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
publication: 'Concurrency and Computation: Practice and Experience '
status: public
title: Online behavior classification for anomaly detection in self-x real-time systems
type: journal_article
user_id: '21240'
year: '2015'
...
---
_id: '25109'
author:
- first_name: Krishna
full_name: Sudhakar, Krishna
last_name: Sudhakar
- first_name: Yuhong
full_name: Zhao, Yuhong
last_name: Zhao
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
citation:
ama: 'Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking
into a Small-Footprint Real-Time Operating System. Concurrency and Computation:
Practice and Experience . Published online 2015.'
apa: 'Sudhakar, K., Zhao, Y., & Rammig, F.-J. (2015). Efficient Integration
of Online Model Checking into a Small-Footprint Real-Time Operating System. Concurrency
and Computation: Practice and Experience .'
bibtex: '@article{Sudhakar_Zhao_Rammig_2015, title={Efficient Integration of Online
Model Checking into a Small-Footprint Real-Time Operating System}, journal={Concurrency
and Computation: Practice and Experience }, author={Sudhakar, Krishna and Zhao,
Yuhong and Rammig, Franz-Josef}, year={2015} }'
chicago: 'Sudhakar, Krishna, Yuhong Zhao, and Franz-Josef Rammig. “Efficient Integration
of Online Model Checking into a Small-Footprint Real-Time Operating System.” Concurrency
and Computation: Practice and Experience , 2015.'
ieee: 'K. Sudhakar, Y. Zhao, and F.-J. Rammig, “Efficient Integration of Online
Model Checking into a Small-Footprint Real-Time Operating System,” Concurrency
and Computation: Practice and Experience , 2015.'
mla: 'Sudhakar, Krishna, et al. “Efficient Integration of Online Model Checking
into a Small-Footprint Real-Time Operating System.” Concurrency and Computation:
Practice and Experience , 2015.'
short: 'K. Sudhakar, Y. Zhao, F.-J. Rammig, Concurrency and Computation: Practice
and Experience (2015).'
date_created: 2021-09-29T09:53:25Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
publication: 'Concurrency and Computation: Practice and Experience '
status: public
title: Efficient Integration of Online Model Checking into a Small-Footprint Real-Time
Operating System
type: journal_article
user_id: '21240'
year: '2015'
...
---
_id: '25110'
author:
- first_name: M. tech. Mabel Mary
full_name: Joy, M. tech. Mabel Mary
last_name: Joy
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
citation:
ama: Joy M tech. MM, Rammig F-J. A hybrid methodology to detect memory leaks in
soft real time embedded systems software. Int J of Embedded Systems. Published
online 2015.
apa: Joy, M. tech. M. M., & Rammig, F.-J. (2015). A hybrid methodology to detect
memory leaks in soft real time embedded systems software. Int. J. of Embedded
Systems.
bibtex: '@article{Joy_Rammig_2015, title={A hybrid methodology to detect memory
leaks in soft real time embedded systems software}, journal={Int. J. of Embedded
Systems}, author={Joy, M. tech. Mabel Mary and Rammig, Franz-Josef}, year={2015}
}'
chicago: Joy, M. tech. Mabel Mary, and Franz-Josef Rammig. “A Hybrid Methodology
to Detect Memory Leaks in Soft Real Time Embedded Systems Software.” Int. J.
of Embedded Systems, 2015.
ieee: M. tech. M. M. Joy and F.-J. Rammig, “A hybrid methodology to detect memory
leaks in soft real time embedded systems software,” Int. J. of Embedded Systems,
2015.
mla: Joy, M. tech. Mabel Mary, and Franz-Josef Rammig. “A Hybrid Methodology to
Detect Memory Leaks in Soft Real Time Embedded Systems Software.” Int. J. of
Embedded Systems, 2015.
short: M. tech. M.M. Joy, F.-J. Rammig, Int. J. of Embedded Systems (2015).
date_created: 2021-09-29T09:55:59Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
publication: Int. J. of Embedded Systems
status: public
title: A hybrid methodology to detect memory leaks in soft real time embedded systems
software
type: journal_article
user_id: '21240'
year: '2015'
...
---
_id: '25111'
author:
- first_name: Yara
full_name: Khaluf, Yara
last_name: Khaluf
- first_name: Mauro
full_name: Birattari, Mauro
last_name: Birattari
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
citation:
ama: Khaluf Y, Birattari M, Rammig F-J. Analysis of long-term swarm performance
based on short-term experiments. Springer Jounal Soft Computing . Published
online 2015.
apa: Khaluf, Y., Birattari, M., & Rammig, F.-J. (2015). Analysis of long-term
swarm performance based on short-term experiments. Springer Jounal Soft Computing
.
bibtex: '@article{Khaluf_Birattari_Rammig_2015, title={Analysis of long-term swarm
performance based on short-term experiments}, journal={Springer Jounal Soft Computing
}, author={Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef}, year={2015}
}'
chicago: Khaluf, Yara, Mauro Birattari, and Franz-Josef Rammig. “Analysis of Long-Term
Swarm Performance Based on Short-Term Experiments.” Springer Jounal Soft Computing
, 2015.
ieee: Y. Khaluf, M. Birattari, and F.-J. Rammig, “Analysis of long-term swarm performance
based on short-term experiments,” Springer Jounal Soft Computing , 2015.
mla: Khaluf, Yara, et al. “Analysis of Long-Term Swarm Performance Based on Short-Term
Experiments.” Springer Jounal Soft Computing , 2015.
short: Y. Khaluf, M. Birattari, F.-J. Rammig, Springer Jounal Soft Computing (2015).
date_created: 2021-09-29T09:58:49Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
publication: 'Springer Jounal Soft Computing '
status: public
title: Analysis of long-term swarm performance based on short-term experiments
type: journal_article
user_id: '21240'
year: '2015'
...
---
_id: '252'
abstract:
- lang: eng
text: 'Video streaming is in high demand by mobile users. In cellular networks,
however, the unreliable wireless channel leads to two major problems. Poor channel
states degrade video quality and interrupt the playback when a user cannot sufficiently
fill its local playout buffer: buffer underruns occur. In contrast, good channel
conditions cause common greedy buffering schemes to buffer too much data. Such
over-buffering wastes expensive wireless channel capacity. Assuming that we can
anticipate future data rates, we plan the quality and download time of video segments
ahead. This anticipatory download scheduling avoids buffer underruns by downloading
a large number of segments before a drop in available data rate occurs, without
wasting wireless capacity by excessive buffering.We developed a practical anticipatory
scheduling algorithm for segmented video streaming protocols (e.g., HLS or MPEG
DASH). Simulation results and testbed measurements show that our solution essentially
eliminates playback interruptions without significantly decreasing video quality.'
author:
- first_name: Martin
full_name: Dräxler, Martin
last_name: Dräxler
- first_name: Johannes
full_name: Blobel, Johannes
last_name: Blobel
- first_name: Philipp
full_name: Dreimann, Philipp
last_name: Dreimann
- first_name: Stefan
full_name: Valentin, Stefan
last_name: Valentin
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Dräxler M, Blobel J, Dreimann P, Valentin S, Karl H. SmarterPhones: Anticipatory
Download Scheduling for Wireless Video Streaming. In: Proceedings of the 2nd
International Conference on Networked Systems (NetSys). ; 2015:1--8. doi:10.1109/NetSys.2015.7089073'
apa: 'Dräxler, M., Blobel, J., Dreimann, P., Valentin, S., & Karl, H. (2015).
SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming.
In Proceedings of the 2nd International Conference on Networked Systems (NetSys)
(pp. 1--8). https://doi.org/10.1109/NetSys.2015.7089073'
bibtex: '@inproceedings{Dräxler_Blobel_Dreimann_Valentin_Karl_2015, title={SmarterPhones:
Anticipatory Download Scheduling for Wireless Video Streaming}, DOI={10.1109/NetSys.2015.7089073},
booktitle={Proceedings of the 2nd International Conference on Networked Systems
(NetSys)}, author={Dräxler, Martin and Blobel, Johannes and Dreimann, Philipp
and Valentin, Stefan and Karl, Holger}, year={2015}, pages={1--8} }'
chicago: 'Dräxler, Martin, Johannes Blobel, Philipp Dreimann, Stefan Valentin, and
Holger Karl. “SmarterPhones: Anticipatory Download Scheduling for Wireless Video
Streaming.” In Proceedings of the 2nd International Conference on Networked
Systems (NetSys), 1--8, 2015. https://doi.org/10.1109/NetSys.2015.7089073.'
ieee: 'M. Dräxler, J. Blobel, P. Dreimann, S. Valentin, and H. Karl, “SmarterPhones:
Anticipatory Download Scheduling for Wireless Video Streaming,” in Proceedings
of the 2nd International Conference on Networked Systems (NetSys), 2015, pp.
1--8.'
mla: 'Dräxler, Martin, et al. “SmarterPhones: Anticipatory Download Scheduling for
Wireless Video Streaming.” Proceedings of the 2nd International Conference
on Networked Systems (NetSys), 2015, pp. 1--8, doi:10.1109/NetSys.2015.7089073.'
short: 'M. Dräxler, J. Blobel, P. Dreimann, S. Valentin, H. Karl, in: Proceedings
of the 2nd International Conference on Networked Systems (NetSys), 2015, pp. 1--8.'
date_created: 2017-10-17T12:41:41Z
date_updated: 2022-01-06T06:56:55Z
ddc:
- '040'
department:
- _id: '75'
doi: 10.1109/NetSys.2015.7089073
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:44:45Z
date_updated: 2018-03-21T09:44:45Z
file_id: '1488'
file_name: 252-DBDVK15.pdf
file_size: 587685
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:44:45Z
has_accepted_license: '1'
main_file_link:
- url: http://ieeexplore.ieee.org/xpls/icp.jsp?arnumber=7089073
page: 1--8
publication: Proceedings of the 2nd International Conference on Networked Systems
(NetSys)
status: public
title: 'SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming'
type: conference
user_id: '15572'
year: '2015'
...
---
_id: '253'
abstract:
- lang: eng
text: Group signatures, introduced by Chaum and van Heyst [15], are an important
primitive in cryptography. In group signature schemes every group member can anonymously
sign messages on behalf of the group. In case of disputes a dedicated opening
manager is able to trace signatures - he can extract the identity of the producer
of a given signature. A formal model for static group signatures schemes and their
security is defined by Bellare, Micciancio, and Warinschi [4], the case of dynamic
groups is considered by Bellare, Shi, and Zhang [5]. Both models define group
signature schemes with a single opening manager. The main difference between these
models is that the number of group members in static schemes is fixed, while in
dynamic schemes group members can join the group over time.
author:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Jakob
full_name: Juhnke, Jakob
id: '48090'
last_name: Juhnke
- first_name: Nils
full_name: Löken, Nils
id: '13703'
last_name: Löken
citation:
ama: 'Blömer J, Juhnke J, Löken N. Short Group Signatures with Distributed Traceability.
In: Proceedings of the Sixth International Conference on Mathematical Aspects
of Computer and Information Sciences (MACIS). LNCS. ; 2015:166-180. doi:10.1007/978-3-319-32859-1_14'
apa: Blömer, J., Juhnke, J., & Löken, N. (2015). Short Group Signatures with
Distributed Traceability. In Proceedings of the Sixth International Conference
on Mathematical Aspects of Computer and Information Sciences (MACIS) (pp.
166–180). https://doi.org/10.1007/978-3-319-32859-1_14
bibtex: '@inproceedings{Blömer_Juhnke_Löken_2015, series={LNCS}, title={Short Group
Signatures with Distributed Traceability}, DOI={10.1007/978-3-319-32859-1_14},
booktitle={Proceedings of the Sixth International Conference on Mathematical Aspects
of Computer and Information Sciences (MACIS)}, author={Blömer, Johannes and Juhnke,
Jakob and Löken, Nils}, year={2015}, pages={166–180}, collection={LNCS} }'
chicago: Blömer, Johannes, Jakob Juhnke, and Nils Löken. “Short Group Signatures
with Distributed Traceability.” In Proceedings of the Sixth International Conference
on Mathematical Aspects of Computer and Information Sciences (MACIS), 166–80.
LNCS, 2015. https://doi.org/10.1007/978-3-319-32859-1_14.
ieee: J. Blömer, J. Juhnke, and N. Löken, “Short Group Signatures with Distributed
Traceability,” in Proceedings of the Sixth International Conference on Mathematical
Aspects of Computer and Information Sciences (MACIS), 2015, pp. 166–180.
mla: Blömer, Johannes, et al. “Short Group Signatures with Distributed Traceability.”
Proceedings of the Sixth International Conference on Mathematical Aspects of
Computer and Information Sciences (MACIS), 2015, pp. 166–80, doi:10.1007/978-3-319-32859-1_14.
short: 'J. Blömer, J. Juhnke, N. Löken, in: Proceedings of the Sixth International
Conference on Mathematical Aspects of Computer and Information Sciences (MACIS),
2015, pp. 166–180.'
date_created: 2017-10-17T12:41:41Z
date_updated: 2022-01-06T06:59:07Z
ddc:
- '000'
department:
- _id: '64'
doi: 10.1007/978-3-319-32859-1_14
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:08:23Z
date_updated: 2018-11-02T14:08:23Z
file_id: '5262'
file_name: ShortGroupSignaturesWithDistri.pdf
file_size: 262436
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:08:23Z
has_accepted_license: '1'
language:
- iso: eng
page: 166-180
project:
- _id: '1'
name: SFB 901
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '4'
name: SFB 901 - Project Area C
- _id: '44'
name: KogniHome - die mitdenkende Wohnung
publication: Proceedings of the Sixth International Conference on Mathematical Aspects
of Computer and Information Sciences (MACIS)
related_material:
record:
- id: '325'
relation: other
status: public
series_title: LNCS
status: public
title: Short Group Signatures with Distributed Traceability
type: conference
user_id: '13703'
year: '2015'
...
---
_id: '19959'
author:
- first_name: Mostafa
full_name: Wahby, Mostafa
last_name: Wahby
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
citation:
ama: 'Wahby M, Hamann H. On the Tradeoff between Hardware Protection and Optimization
Success: A Case Study in Onboard Evolutionary Robotics for Autonomous Parallel
Parking. In: Applications of Evolutionary Computation (EvoApplications 2015).
; 2015. doi:10.1007/978-3-319-16549-3_61'
apa: 'Wahby, M., & Hamann, H. (2015). On the Tradeoff between Hardware Protection
and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous
Parallel Parking. In Applications of Evolutionary Computation (EvoApplications
2015). https://doi.org/10.1007/978-3-319-16549-3_61'
bibtex: '@inproceedings{Wahby_Hamann_2015, title={On the Tradeoff between Hardware
Protection and Optimization Success: A Case Study in Onboard Evolutionary Robotics
for Autonomous Parallel Parking}, DOI={10.1007/978-3-319-16549-3_61},
booktitle={Applications of Evolutionary Computation (EvoApplications 2015)}, author={Wahby,
Mostafa and Hamann, Heiko}, year={2015} }'
chicago: 'Wahby, Mostafa, and Heiko Hamann. “On the Tradeoff between Hardware Protection
and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous
Parallel Parking.” In Applications of Evolutionary Computation (EvoApplications
2015), 2015. https://doi.org/10.1007/978-3-319-16549-3_61.'
ieee: 'M. Wahby and H. Hamann, “On the Tradeoff between Hardware Protection and
Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous
Parallel Parking,” in Applications of Evolutionary Computation (EvoApplications
2015), 2015.'
mla: 'Wahby, Mostafa, and Heiko Hamann. “On the Tradeoff between Hardware Protection
and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous
Parallel Parking.” Applications of Evolutionary Computation (EvoApplications
2015), 2015, doi:10.1007/978-3-319-16549-3_61.'
short: 'M. Wahby, H. Hamann, in: Applications of Evolutionary Computation (EvoApplications
2015), 2015.'
date_created: 2020-10-08T12:36:48Z
date_updated: 2022-01-06T06:54:17Z
department:
- _id: '63'
- _id: '238'
doi: 10.1007/978-3-319-16549-3_61
language:
- iso: eng
publication: Applications of Evolutionary Computation (EvoApplications 2015)
status: public
title: 'On the Tradeoff between Hardware Protection and Optimization Success: A Case
Study in Onboard Evolutionary Robotics for Autonomous Parallel Parking'
type: conference
user_id: '15415'
year: '2015'
...
---
_id: '19960'
abstract:
- lang: eng
text: Besides the life-as-it-could-be driver of artificial life research there is
also the concept of extending natural life by creating hybrids or mixed societies
that are built from natural and artificial components. In this paper we motivate
and present the research program of the project flora robotica. Our objective
is to develop and to investigate closely linked symbiotic relationships between
robots and natural plants and to explore the potentials of a plant-robot society
able to produce architectural artifacts and living spaces. These robot-plant bio-hybrids
create synergies that allow for new functions of plants and robots. They also
create novel design opportunities for an architecture that fuses the design and
construction phase. The bio-hybrid is an example of mixed societies between 'hard'
artificial and 'wet' natural life, which enables an interaction between natural
and artificial ecologies. They form an embodied, self-organizing, and distributed
cognitive system which is supposed to grow and develop over long periods of time
resulting in the creation of meaningful architectural structures. A key idea is
to assign equal roles to robots and plants in order to create a highly integrated,
symbiotic system. Besides the gain of knowledge, this project has the objective
to create a bio-hybrid system with a defined function and application -- growing
architectural artifacts.
author:
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
- first_name: Mostafa
full_name: Wahby, Mostafa
last_name: Wahby
- first_name: Thomas
full_name: Schmickl, Thomas
last_name: Schmickl
- first_name: Payam
full_name: Zahadat, Payam
last_name: Zahadat
- first_name: Daniel
full_name: Hofstadler, Daniel
last_name: Hofstadler
- first_name: Kasper
full_name: Stoy, Kasper
last_name: Stoy
- first_name: Sebastian
full_name: Risi, Sebastian
last_name: Risi
- first_name: Andres
full_name: Faina, Andres
last_name: Faina
- first_name: Frank
full_name: Veenstra, Frank
last_name: Veenstra
- first_name: Serge
full_name: Kernbach, Serge
last_name: Kernbach
- first_name: Igor
full_name: Kuksin, Igor
last_name: Kuksin
- first_name: Olga
full_name: Kernbach, Olga
last_name: Kernbach
- first_name: Phil
full_name: Ayres, Phil
last_name: Ayres
- first_name: Przemyslaw
full_name: Wojtaszek, Przemyslaw
last_name: Wojtaszek
citation:
ama: 'Hamann H, Wahby M, Schmickl T, et al. Flora Robotica - Mixed Societies of
Symbiotic Robot-Plant Bio-Hybrids. In: Proceedings of the 2015 IEEE Symposium
on Artificial Life (IEEE ALIFE’15). ; 2015. doi:10.1109/ssci.2015.158'
apa: Hamann, H., Wahby, M., Schmickl, T., Zahadat, P., Hofstadler, D., Stoy, K.,
… Wojtaszek, P. (2015). Flora Robotica - Mixed Societies of Symbiotic Robot-Plant
Bio-Hybrids. In Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE
ALIFE’15). https://doi.org/10.1109/ssci.2015.158
bibtex: '@inproceedings{Hamann_Wahby_Schmickl_Zahadat_Hofstadler_Stoy_Risi_Faina_Veenstra_Kernbach_et
al._2015, title={Flora Robotica - Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids},
DOI={10.1109/ssci.2015.158},
booktitle={Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE ALIFE’15)},
author={Hamann, Heiko and Wahby, Mostafa and Schmickl, Thomas and Zahadat, Payam
and Hofstadler, Daniel and Stoy, Kasper and Risi, Sebastian and Faina, Andres
and Veenstra, Frank and Kernbach, Serge and et al.}, year={2015} }'
chicago: Hamann, Heiko, Mostafa Wahby, Thomas Schmickl, Payam Zahadat, Daniel Hofstadler,
Kasper Stoy, Sebastian Risi, et al. “Flora Robotica - Mixed Societies of Symbiotic
Robot-Plant Bio-Hybrids.” In Proceedings of the 2015 IEEE Symposium on Artificial
Life (IEEE ALIFE’15), 2015. https://doi.org/10.1109/ssci.2015.158.
ieee: H. Hamann et al., “Flora Robotica - Mixed Societies of Symbiotic Robot-Plant
Bio-Hybrids,” in Proceedings of the 2015 IEEE Symposium on Artificial Life
(IEEE ALIFE’15), 2015.
mla: Hamann, Heiko, et al. “Flora Robotica - Mixed Societies of Symbiotic Robot-Plant
Bio-Hybrids.” Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE
ALIFE’15), 2015, doi:10.1109/ssci.2015.158.
short: 'H. Hamann, M. Wahby, T. Schmickl, P. Zahadat, D. Hofstadler, K. Stoy, S.
Risi, A. Faina, F. Veenstra, S. Kernbach, I. Kuksin, O. Kernbach, P. Ayres, P.
Wojtaszek, in: Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE
ALIFE’15), 2015.'
date_created: 2020-10-08T12:44:10Z
date_updated: 2022-01-06T06:54:17Z
department:
- _id: '63'
- _id: '238'
doi: 10.1109/ssci.2015.158
language:
- iso: eng
publication: Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE ALIFE'15)
publication_identifier:
isbn:
- '9781479975600'
publication_status: published
status: public
title: Flora Robotica - Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids
type: conference
user_id: '15415'
year: '2015'
...
---
_id: '19962'
abstract:
- lang: eng
text: Recent approaches in evolutionary robotics (ER) propose to generate behavioral
diversity in order to evolve desired behaviors more easily. These approaches require
the definition of a behavioral distance, which often includes task-specific features
and hence a priori knowledge. Alternative methods, which do not explicitly force
selective pressure towards diversity (SPTD) but still generate it, are known from
the field of artificial life, such as in artificial ecologies (AEs). In this study,
we investigate how SPTD is generated without task-specific behavioral features
or other forms of a priori knowledge and detect how methods of generating SPTD
can be transferred from the domain of AE to ER. A promising finding is that in
both types of systems, in systems from ER that generate behavioral diversity and
also in the investigated speciation model, selective pressure is generated towards
unpopulated regions of search space. In a simple case study we investigate the
practical implications of these findings and point to options for transferring
the idea of self-organizing SPTD in AEs to the domain of ER.
author:
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
citation:
ama: 'Hamann H. Lessons from Speciation Dynamics: How to Generate Selective Pressure
Towards Diversity. Artificial Life. 2015:464-480. doi:10.1162/artl_a_00186'
apa: 'Hamann, H. (2015). Lessons from Speciation Dynamics: How to Generate Selective
Pressure Towards Diversity. Artificial Life, 464–480. https://doi.org/10.1162/artl_a_00186'
bibtex: '@article{Hamann_2015, title={Lessons from Speciation Dynamics: How to Generate
Selective Pressure Towards Diversity}, DOI={10.1162/artl_a_00186},
journal={Artificial Life}, author={Hamann, Heiko}, year={2015}, pages={464–480}
}'
chicago: 'Hamann, Heiko. “Lessons from Speciation Dynamics: How to Generate Selective
Pressure Towards Diversity.” Artificial Life, 2015, 464–80. https://doi.org/10.1162/artl_a_00186.'
ieee: 'H. Hamann, “Lessons from Speciation Dynamics: How to Generate Selective Pressure
Towards Diversity,” Artificial Life, pp. 464–480, 2015.'
mla: 'Hamann, Heiko. “Lessons from Speciation Dynamics: How to Generate Selective
Pressure Towards Diversity.” Artificial Life, 2015, pp. 464–80, doi:10.1162/artl_a_00186.'
short: H. Hamann, Artificial Life (2015) 464–480.
date_created: 2020-10-08T14:36:25Z
date_updated: 2022-01-06T06:54:17Z
department:
- _id: '63'
- _id: '238'
doi: 10.1162/artl_a_00186
language:
- iso: eng
page: 464-480
publication: Artificial Life
publication_identifier:
issn:
- 1064-5462
- 1530-9185
publication_status: published
status: public
title: 'Lessons from Speciation Dynamics: How to Generate Selective Pressure Towards
Diversity'
type: journal_article
user_id: '15415'
year: '2015'
...
---
_id: '19966'
abstract:
- lang: eng
text: Aggregation is a crucial task in swarm robotics to ensure cooperation. We
investigate the task of aggregation on an area specified indirectly by certain
environmental features, here it is a light distribution. We extend the original
BEECLUST algorithm, that implements an aggregation behavior, to an adaptive variant
that automatically adapts to any light conditions. We compare these two control
algorithms in a number of swarm robot experiments with different light conditions.
The improved, adaptive variant is found to be significantly better in the tested
setup.
author:
- first_name: Mostafa
full_name: Wahby, Mostafa
last_name: Wahby
- first_name: Alexander
full_name: Weinhold, Alexander
last_name: Weinhold
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
citation:
ama: 'Wahby M, Weinhold A, Hamann H. Revisiting BEECLUST: Aggregation of Swarm Robots
with Adaptiveness to Different Light Settings. In: Proceedings of the 9th EAI
International Conference on Bio-Inspired Information and Communications Technologies
(Formerly BIONETICS). ; 2015. doi:10.4108/eai.3-12-2015.2262877'
apa: 'Wahby, M., Weinhold, A., & Hamann, H. (2015). Revisiting BEECLUST: Aggregation
of Swarm Robots with Adaptiveness to Different Light Settings. In Proceedings
of the 9th EAI International Conference on Bio-inspired Information and Communications
Technologies (formerly BIONETICS). https://doi.org/10.4108/eai.3-12-2015.2262877'
bibtex: '@inproceedings{Wahby_Weinhold_Hamann_2015, title={Revisiting BEECLUST:
Aggregation of Swarm Robots with Adaptiveness to Different Light Settings}, DOI={10.4108/eai.3-12-2015.2262877},
booktitle={Proceedings of the 9th EAI International Conference on Bio-inspired
Information and Communications Technologies (formerly BIONETICS)}, author={Wahby,
Mostafa and Weinhold, Alexander and Hamann, Heiko}, year={2015} }'
chicago: 'Wahby, Mostafa, Alexander Weinhold, and Heiko Hamann. “Revisiting BEECLUST:
Aggregation of Swarm Robots with Adaptiveness to Different Light Settings.” In
Proceedings of the 9th EAI International Conference on Bio-Inspired Information
and Communications Technologies (Formerly BIONETICS), 2015. https://doi.org/10.4108/eai.3-12-2015.2262877.'
ieee: 'M. Wahby, A. Weinhold, and H. Hamann, “Revisiting BEECLUST: Aggregation of
Swarm Robots with Adaptiveness to Different Light Settings,” in Proceedings
of the 9th EAI International Conference on Bio-inspired Information and Communications
Technologies (formerly BIONETICS), 2015.'
mla: 'Wahby, Mostafa, et al. “Revisiting BEECLUST: Aggregation of Swarm Robots with
Adaptiveness to Different Light Settings.” Proceedings of the 9th EAI International
Conference on Bio-Inspired Information and Communications Technologies (Formerly
BIONETICS), 2015, doi:10.4108/eai.3-12-2015.2262877.'
short: 'M. Wahby, A. Weinhold, H. Hamann, in: Proceedings of the 9th EAI International
Conference on Bio-Inspired Information and Communications Technologies (Formerly
BIONETICS), 2015.'
date_created: 2020-10-09T13:41:56Z
date_updated: 2022-01-06T06:54:17Z
department:
- _id: '63'
- _id: '238'
doi: 10.4108/eai.3-12-2015.2262877
language:
- iso: eng
publication: Proceedings of the 9th EAI International Conference on Bio-inspired Information
and Communications Technologies (formerly BIONETICS)
publication_identifier:
isbn:
- '9781631901003'
publication_status: published
status: public
title: 'Revisiting BEECLUST: Aggregation of Swarm Robots with Adaptiveness to Different
Light Settings'
type: conference
user_id: '15415'
year: '2015'
...