---
_id: '25069'
author:
- first_name: Peer
  full_name: Adelt, Peer
  id: '5603'
  last_name: Adelt
- first_name: Bastian
  full_name: Koppelmann, Bastian
  id: '25260'
  last_name: Koppelmann
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
- first_name: J. Christoph
  full_name: Scheytt, J. Christoph
  id: '37144'
  last_name: Scheytt
  orcid: '0000-0002-5950-6618 '
citation:
  ama: 'Adelt P, Koppelmann B, Müller W, Kleinjohann B, Scheytt JC. ANALISA - A Tool
    for Static Instruction Set Analysis. In: University Booth Interactive Presentation,
    ed. <i>Design Automation and Testing in Europe (DATE)</i>. ; 2017.'
  apa: Adelt, P., Koppelmann, B., Müller, W., Kleinjohann, B., &#38; Scheytt, J. C.
    (2017). ANALISA - A Tool for Static Instruction Set Analysis. In University Booth
    Interactive Presentation (Ed.), <i>Design Automation and Testing in Europe (DATE)</i>.
  bibtex: '@inproceedings{Adelt_Koppelmann_Müller_Kleinjohann_Scheytt_2017, title={ANALISA
    - A Tool for Static Instruction Set Analysis}, booktitle={Design Automation and
    Testing in Europe (DATE)}, author={Adelt, Peer and Koppelmann, Bastian and Müller,
    Wolfgang and Kleinjohann, Bernd and Scheytt, J. Christoph}, editor={University
    Booth Interactive Presentation}, year={2017} }'
  chicago: Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Bernd Kleinjohann, and
    J. Christoph Scheytt. “ANALISA - A Tool for Static Instruction Set Analysis.”
    In <i>Design Automation and Testing in Europe (DATE)</i>, edited by University
    Booth Interactive Presentation, 2017.
  ieee: P. Adelt, B. Koppelmann, W. Müller, B. Kleinjohann, and J. C. Scheytt, “ANALISA
    - A Tool for Static Instruction Set Analysis,” in <i>Design Automation and Testing
    in Europe (DATE)</i>, Lausanne, CH, Mrz. 2017, 2017.
  mla: Adelt, Peer, et al. “ANALISA - A Tool for Static Instruction Set Analysis.”
    <i>Design Automation and Testing in Europe (DATE)</i>, edited by University Booth
    Interactive Presentation, 2017.
  short: 'P. Adelt, B. Koppelmann, W. Müller, B. Kleinjohann, J.C. Scheytt, in: University
    Booth Interactive Presentation (Ed.), Design Automation and Testing in Europe
    (DATE), 2017.'
conference:
  location: Lausanne, CH, Mrz. 2017
corporate_editor:
- University Booth Interactive Presentation
date_created: 2021-09-28T11:12:00Z
date_updated: 2025-02-26T14:45:23Z
department:
- _id: '672'
language:
- iso: eng
publication: Design Automation and Testing in Europe (DATE)
status: public
title: ANALISA - A Tool for Static Instruction Set Analysis
type: conference
user_id: '5603'
year: '2017'
...
---
_id: '25070'
abstract:
- lang: eng
  text: In the Image Processing domain, automated generation of complex Image Processing
    functionality is highly desirable; e.g., for rapid prototyping. Service composition
    techniques, in turn, facilitate automated generation of complex functionality
    based on building blocks in terms of services. For that reason, we aim for transferring
    the Service Composition paradigm into the Image Processing domain. In this paper,
    we present our symbolic composition approach that enables us to automatically
    generate Image Processing applications. Functionality of Image Processing services
    is described by means of a variant of first-order logic, which grounds on domain
    knowledge operationalized in terms of ontologies. A Petri-net formalism serves
    as basis for modeling data-flow of services and composed services. A planning-based
    composition algorithm automatically composes complex data-flow for a required
    functionality. A brief evaluation serves as proof of concept.
author:
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Jungmann A, Kleinjohann B. Automatic Composition of Service-based Image Processing
    Applications. In: <i>Proceedings of the 13th IEEE International Conference on
    Services Computing (SCC)</i>. IEEE Computer Society; 2016:106-113.'
  apa: Jungmann, A., &#38; Kleinjohann, B. (2016). Automatic Composition of Service-based
    Image Processing Applications. <i>Proceedings of the 13th IEEE International Conference
    on Services Computing (SCC)</i>, 106–113.
  bibtex: '@inproceedings{Jungmann_Kleinjohann_2016, title={Automatic Composition
    of Service-based Image Processing Applications}, booktitle={Proceedings of the
    13th IEEE International Conference on Services Computing (SCC)}, publisher={IEEE
    Computer Society}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2016},
    pages={106–113} }'
  chicago: Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Composition of Service-Based
    Image Processing Applications.” In <i>Proceedings of the 13th IEEE International
    Conference on Services Computing (SCC)</i>, 106–13. IEEE Computer Society, 2016.
  ieee: A. Jungmann and B. Kleinjohann, “Automatic Composition of Service-based Image
    Processing Applications,” in <i>Proceedings of the 13th IEEE International Conference
    on Services Computing (SCC)</i>, 2016, pp. 106–113.
  mla: Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Composition of Service-Based
    Image Processing Applications.” <i>Proceedings of the 13th IEEE International
    Conference on Services Computing (SCC)</i>, IEEE Computer Society, 2016, pp. 106–13.
  short: 'A. Jungmann, B. Kleinjohann, in: Proceedings of the 13th IEEE International
    Conference on Services Computing (SCC), IEEE Computer Society, 2016, pp. 106–113.'
conference:
  end_date: 2016-07-02
  start_date: 2016-06-27
date_created: 2021-09-28T11:29:00Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
page: 106-113
publication: Proceedings of the 13th IEEE International Conference on Services Computing
  (SCC)
publisher: IEEE Computer Society
status: public
title: Automatic Composition of Service-based Image Processing Applications
type: conference
user_id: '21240'
year: '2016'
...
---
_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: <i>Proceedings of the 5th IFIP
    International Embedded Systems Symposium (IESS)</i>. Springer-Verlag; 2015.'
  apa: Jungmann, A., Jatzkowski, J., &#38; Kleinjohann, B. (2015). Combining Service-oriented
    Computing with Embedded Systems - A Robotics Case Study. <i>Proceedings of the
    5th IFIP International Embedded Systems Symposium (IESS)</i>.
  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
    <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>.
    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.” <i>Proceedings of the 5th IFIP International
    Embedded Systems Symposium (IESS)</i>, 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: <i>Proceedings of the 5th IFIP
    International Embedded Systems Symposium (IESS)</i>. Springer; 2015.'
  apa: Jatzkowski, J., Kreutz, M. E., &#38; Rettberg, A. (2015). Hierarchical Multicore-Scheduling
    for Virtualization of Dependent Real-Time Systems. <i>Proceedings of the 5th IFIP
    International Embedded Systems Symposium (IESS)</i>.
  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 <i>Proceedings
    of the 5th IFIP International Embedded Systems Symposium (IESS)</i>. 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.” <i>Proceedings of the 5th IFIP International
    Embedded Systems Symposium (IESS)</i>, 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. <i>Virtual, Augmented and Mixed Reality
    VAMR 2015 Held as Part of HCI International 2015</i>. Vol 9179. LNCS. Springer
    International Publishing Switzerland; 2015:499-512.'
  apa: Stahl, K., Stöcklein, J., &#38; Li, S. (2015). Evaluation of Autonomous Approaches
    using Virtual Environments. In R. Shumaker &#38; S. Lackey (Eds.), <i>Virtual,
    Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015</i>
    (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 <i>Virtual, Augmented and Mixed Reality
    VAMR 2015 Held as Part of HCI International 2015</i>, 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 <i>Virtual, Augmented and Mixed Reality VAMR 2015 Held
    as Part of HCI International 2015</i>, 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.” <i>Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part
    of HCI International 2015</i>, 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: <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>.
    IEEE Computer Society; 2015:329-332.'
  apa: Jungmann, A. (2015). On Adaptivity for Automated Composition of Service Functionality.
    <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>, 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 <i>Proceedings of the IEEE 11th World Congress on Services
    (SERVICES)</i>, 329–32. IEEE Computer Society, 2015.
  ieee: A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,”
    in <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>,
    2015, pp. 329–332.
  mla: Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.”
    <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>, 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: <i>Proceedings of the 12th IEEE International Conference on Services Computing
    (SCC)</i>.  IEEE Computer Society; 2015:57-64.'
  apa: Mohr, F., Jungmann, A., &#38; Kleine Büning, H. (2015). Automated Online Service
    Composition. <i>Proceedings of the 12th IEEE International Conference on Services
    Computing (SCC)</i>, 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 <i>Proceedings of the 12th IEEE International Conference
    on Services Computing (SCC)</i>, 57–64.  IEEE Computer Society, 2015.
  ieee: F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,”
    in <i>Proceedings of the 12th IEEE International Conference on Services Computing
    (SCC)</i>, 2015, pp. 57–64.
  mla: Mohr, Felix, et al. “Automated Online Service Composition.” <i>Proceedings
    of the 12th IEEE International Conference on Services Computing (SCC)</i>,  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: <i>Proceedings of Electronic
    System Level Synthesis Conference (ESLsyn)</i>. ; 2015.'
  apa: Jatzkowski, J., Kreutz, M. E., &#38; Rettberg, A. (2015). Towards Hierarchical
    Scheduling of Dependent Systems with Hypervisor-based Virtualization. <i>Proceedings
    of Electronic System Level Synthesis Conference (ESLsyn)</i>.
  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 <i>Proceedings
    of Electronic System Level Synthesis Conference (ESLsyn)</i>, 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.” <i>Proceedings of Electronic System Level
    Synthesis Conference (ESLsyn)</i>, 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: <i>Mechatronics</i>. Elsevier; 2015.'
  apa: Jatzkowski, J., &#38; Kleinjohann, B. (2015). Self-Reconfiguration of Real-Time
    Communication within Cyber-Physical Systems. <i>Mechatronics</i>.
  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 <i>Mechatronics</i>. 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.” <i>Mechatronics</i>, 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: '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. <i>Journal of Internet Services and Applications 6(1)</i>.
    Published online 2015:1-18.
  apa: Jungmann, A., &#38; Mohr, F. (2015). An approach towards adaptive service composition
    in markets of composed services. <i>Journal of Internet Services and Applications
    6(1)</i>, 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.” <i>Journal of Internet Services
    and Applications 6(1)</i>, 2015, 1–18.
  ieee: A. Jungmann and F. Mohr, “An approach towards adaptive service composition
    in markets of composed services,” <i>Journal of Internet Services and Applications
    6(1)</i>, pp. 1–18, 2015.
  mla: Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service
    Composition in Markets of Composed Services.” <i>Journal of Internet Services
    and Applications 6(1)</i>, 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. <i>Concurrency and Computation: Practice and Experience
    </i>. Published online 2015.'
  apa: 'Rammig, F.-J., &#38; Stahl, K. (2015). Online behavior classification for
    anomaly detection in self-x real-time systems. <i>Concurrency and Computation:
    Practice and Experience </i>.'
  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.” <i>Concurrency and Computation:
    Practice and Experience </i>, 2015.'
  ieee: 'F.-J. Rammig and K. Stahl, “Online behavior classification for anomaly detection
    in self-x real-time systems,” <i>Concurrency and Computation: Practice and Experience
    </i>, 2015.'
  mla: 'Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification
    for Anomaly Detection in Self-x Real-Time Systems.” <i>Concurrency and Computation:
    Practice and Experience </i>, 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. <i>Concurrency and Computation:
    Practice and Experience </i>. Published online 2015.'
  apa: 'Sudhakar, K., Zhao, Y., &#38; Rammig, F.-J. (2015). Efficient Integration
    of Online Model Checking into a Small-Footprint Real-Time Operating System. <i>Concurrency
    and Computation: Practice and Experience </i>.'
  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.” <i>Concurrency
    and Computation: Practice and Experience </i>, 2015.'
  ieee: 'K. Sudhakar, Y. Zhao, and F.-J. Rammig, “Efficient Integration of Online
    Model Checking into a Small-Footprint Real-Time Operating System,” <i>Concurrency
    and Computation: Practice and Experience </i>, 2015.'
  mla: 'Sudhakar, Krishna, et al. “Efficient Integration of Online Model Checking
    into a Small-Footprint Real-Time Operating System.” <i>Concurrency and Computation:
    Practice and Experience </i>, 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. <i>Int J of Embedded Systems</i>. Published
    online 2015.
  apa: Joy, M. tech. M. M., &#38; Rammig, F.-J. (2015). A hybrid methodology to detect
    memory leaks in soft real time embedded systems software. <i>Int. J. of Embedded
    Systems</i>.
  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.” <i>Int. J.
    of Embedded Systems</i>, 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,” <i>Int. J. of Embedded Systems</i>,
    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.” <i>Int. J. of
    Embedded Systems</i>, 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. <i>Springer Jounal Soft Computing </i>. Published
    online 2015.
  apa: Khaluf, Y., Birattari, M., &#38; Rammig, F.-J. (2015). Analysis of long-term
    swarm performance based on short-term experiments. <i>Springer Jounal Soft Computing
    </i>.
  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.” <i>Springer Jounal Soft Computing
    </i>, 2015.
  ieee: Y. Khaluf, M. Birattari, and F.-J. Rammig, “Analysis of long-term swarm performance
    based on short-term experiments,” <i>Springer Jounal Soft Computing </i>, 2015.
  mla: Khaluf, Yara, et al. “Analysis of Long-Term Swarm Performance Based on Short-Term
    Experiments.” <i>Springer Jounal Soft Computing </i>, 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: '25112'
abstract:
- lang: eng
  text: Automatically composing service-based software solutions is a challenging
    task. Considering context information during this service composition process
    is even more challenging. In domains such as image processing, however, context-sensitivity
    is inherent and cannot be ignored when developing techniques for automatic service
    composition. Formal approaches tend to create ambiguous solutions, whenever the
    expressive power of the applied formalism is limited. For example, services may
    have the same formal specification, although their actual functionality depends
    on the concrete context. In order to satisfy individual user requests while providing
    data-dependent functionality, formal approaches have to be extended. We propose
    to incorporate Reinforcement Learning techniques and combine them with planning
    based composition approaches. While planning ensures formally correct solutions,
    learning enables the composition process to resolve ambiguity by implicitly considering
    context information. Preliminary results show that our combined approach adapts
    to a static context while still satisfying formally specified requirements.
author:
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Jungmann A, Kleinjohann B. Towards Context-Sensitive Service Composition for
    Service-Oriented Image Processing. In: <i>Proceedings of the 6th IEEE International
    Conference on Cloud Computing Technology and Science (CloudCom)</i>. IEEE; 2014:755-758.'
  apa: Jungmann, A., &#38; Kleinjohann, B. (2014). Towards Context-Sensitive Service
    Composition for Service-Oriented Image Processing. <i>Proceedings of the 6th IEEE
    International Conference on Cloud Computing Technology and Science (CloudCom)</i>,
    755–758.
  bibtex: '@inproceedings{Jungmann_Kleinjohann_2014, title={Towards Context-Sensitive
    Service Composition for Service-Oriented Image Processing}, booktitle={Proceedings
    of the 6th IEEE International Conference on Cloud Computing Technology and Science
    (CloudCom)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann, Bernd},
    year={2014}, pages={755–758} }'
  chicago: Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive
    Service Composition for Service-Oriented Image Processing.” In <i>Proceedings
    of the 6th IEEE International Conference on Cloud Computing Technology and Science
    (CloudCom)</i>, 755–58. IEEE, 2014.
  ieee: A. Jungmann and B. Kleinjohann, “Towards Context-Sensitive Service Composition
    for Service-Oriented Image Processing,” in <i>Proceedings of the 6th IEEE International
    Conference on Cloud Computing Technology and Science (CloudCom)</i>, 2014, pp.
    755–758.
  mla: Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive Service
    Composition for Service-Oriented Image Processing.” <i>Proceedings of the 6th
    IEEE International Conference on Cloud Computing Technology and Science (CloudCom)</i>,
    IEEE, 2014, pp. 755–58.
  short: 'A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th IEEE International
    Conference on Cloud Computing Technology and Science (CloudCom), IEEE, 2014, pp.
    755–758.'
conference:
  end_date: 2014-12-18
  start_date: 2014-12-15
date_created: 2021-09-29T10:07:26Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
page: 755-758
publication: Proceedings of the 6th IEEE International Conference on Cloud Computing
  Technology and Science (CloudCom)
publisher: IEEE
status: public
title: Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
type: conference
user_id: '21240'
year: '2014'
...
---
_id: '25114'
abstract:
- lang: eng
  text: One goal of service-oriented computing is to realize future markets of composed
    services. In such markets, service providers offer services that can be flexibly
    combined with each other. However, although crucial for decision-making, market
    participants are usually not able to individually estimate the quality of traded
    services in advance. To overcome this problem, we present a conceptual design
    for a reputation system that collects and processes user feedback on transactions,
    and provides this information as a signal for quality to participants in the market.
    Based on our proposed concept, we describe the incorporation of reputation information
    into distinct decisionmaking processes that are crucial in such service markets.
    In this context, we present a fuzzy service matching approach that takes reputation
    information into account. Furthermore, we introduce an adaptive service composition
    approach, and investigate the impact of exchanging immediate user feedback by
    reputation information. Last but not least, we describe the importance of reputation
    information for economic decisions of different market participants. The overall
    output of this paper is a comprehensive view on managing and exploiting reputation
    information in markets of composed services using the example of On-The-Fly Computing.
author:
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Sonja
  full_name: Brangewitz, Sonja
  last_name: Brangewitz
- first_name: Ronald
  full_name: Petrlic, Ronald
  last_name: Petrlic
- first_name: Marie Christin
  full_name: Platenius, Marie Christin
  last_name: Platenius
citation:
  ama: Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Incorporating Reputation
    Information into Decision-Making Processes in Markets of Composed Services. <i>International
    Journal on Advances in Intelligent Systems 7(3&#38;4)</i>. Published online 2014:572-594.
  apa: Jungmann, A., Brangewitz, S., Petrlic, R., &#38; Platenius, M. C. (2014). Incorporating
    Reputation Information into Decision-Making Processes in Markets of Composed Services.
    <i>International Journal on Advances in Intelligent Systems 7(3&#38;4)</i>, 572–594.
  bibtex: '@article{Jungmann_Brangewitz_Petrlic_Platenius_2014, title={Incorporating
    Reputation Information into Decision-Making Processes in Markets of Composed Services},
    journal={International Journal on Advances in Intelligent Systems 7(3&#38;4)},
    author={Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius,
    Marie Christin}, year={2014}, pages={572–594} }'
  chicago: Jungmann, Alexander, Sonja Brangewitz, Ronald Petrlic, and Marie Christin
    Platenius. “Incorporating Reputation Information into Decision-Making Processes
    in Markets of Composed Services.” <i>International Journal on Advances in Intelligent
    Systems 7(3&#38;4)</i>, 2014, 572–94.
  ieee: A. Jungmann, S. Brangewitz, R. Petrlic, and M. C. Platenius, “Incorporating
    Reputation Information into Decision-Making Processes in Markets of Composed Services,”
    <i>International Journal on Advances in Intelligent Systems 7(3&#38;4)</i>, pp.
    572–594, 2014.
  mla: Jungmann, Alexander, et al. “Incorporating Reputation Information into Decision-Making
    Processes in Markets of Composed Services.” <i>International Journal on Advances
    in Intelligent Systems 7(3&#38;4)</i>, 2014, pp. 572–94.
  short: A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal
    on Advances in Intelligent Systems 7(3&#38;4) (2014) 572–594.
date_created: 2021-09-29T10:18:29Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
page: 572-594
publication: International Journal on Advances in Intelligent Systems 7(3&4)
status: public
title: Incorporating Reputation Information into Decision-Making Processes in Markets
  of Composed Services
type: journal_article
user_id: '21240'
year: '2014'
...
---
_id: '25115'
abstract:
- lang: eng
  text: Automatically composing service-based software solutions is still a challenging
    task. Functional as well as nonfunctional properties have to be considered in
    order to satisfy individual user requests. Regarding non-functional properties,
    the composition process can be modeled as optimization problem and solved accordingly.
    Functional properties, in turn, can be described by means of a formal specification
    language. Statespace based planning approaches can then be applied to solve the
    underlying composition problem. However, depending on the expressiveness of the
    applied formalism and the completeness of the functional descriptions, formally
    equivalent services may still differ with respect to their implemented functionality.
    As a consequence, the most appropriate solution for a desired functionality can
    hardly be determined without considering additional information. In this paper,
    we demonstrate how to overcome this lack of information by means of Reinforcement
    Learning. In order to resolve ambiguity, we expand state-space based service composition
    by a recommendation mechanism that supports decision-making beyond formal specifications.
    The recommendation mechanism adjusts its recommendation strategy based on feedback
    from previous composition runs. Image processing serves as case study. Experimental
    results show the benefit of our proposed solution.
author:
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Felix
  full_name: Mohr, Felix
  last_name: Mohr
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Jungmann A, Mohr F, Kleinjohann B. Applying Reinforcement Learning for Resolving
    Ambiguity in Service Composition. In: <i>Proceedings of the 7th International
    Conference on Service Oriented Computing and Applications (SOCA)</i>. IEEE Computer
    Society; 2014:105-112.'
  apa: Jungmann, A., Mohr, F., &#38; Kleinjohann, B. (2014). Applying Reinforcement
    Learning for Resolving Ambiguity in Service Composition. <i>Proceedings of the
    7th International Conference on Service Oriented Computing and Applications (SOCA)</i>,
    105–112.
  bibtex: '@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Applying Reinforcement
    Learning for Resolving Ambiguity in Service Composition}, booktitle={Proceedings
    of the 7th International Conference on Service Oriented Computing and Applications
    (SOCA)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander and Mohr,
    Felix and Kleinjohann, Bernd}, year={2014}, pages={105–112} }'
  chicago: Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Applying Reinforcement
    Learning for Resolving Ambiguity in Service Composition.” In <i>Proceedings of
    the 7th International Conference on Service Oriented Computing and Applications
    (SOCA)</i>, 105–12. IEEE Computer Society, 2014.
  ieee: A. Jungmann, F. Mohr, and B. Kleinjohann, “Applying Reinforcement Learning
    for Resolving Ambiguity in Service Composition,” in <i>Proceedings of the 7th
    International Conference on Service Oriented Computing and Applications (SOCA)</i>,
    2014, pp. 105–112.
  mla: Jungmann, Alexander, et al. “Applying Reinforcement Learning for Resolving
    Ambiguity in Service Composition.” <i>Proceedings of the 7th International Conference
    on Service Oriented Computing and Applications (SOCA)</i>, IEEE Computer Society,
    2014, pp. 105–12.
  short: 'A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 7th International
    Conference on Service Oriented Computing and Applications (SOCA), IEEE Computer
    Society, 2014, pp. 105–112.'
date_created: 2021-09-29T10:35:37Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
page: 105-112
publication: Proceedings of the 7th International Conference on Service Oriented Computing
  and Applications (SOCA)
publisher: IEEE Computer Society
status: public
title: Applying Reinforcement Learning for Resolving Ambiguity in Service Composition
type: conference
user_id: '21240'
year: '2014'
...
---
_id: '25116'
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
citation:
  ama: Becker M, Kuznik C. Fast Many-Worlds Simulation to Resolve Nondeterminism of
    Fault Effect Propagation. <i>Forum on Specification &#38; Design Languages (FDL
    2014)</i>. Published online 2014.
  apa: Becker, M., &#38; Kuznik, C. (2014). Fast Many-Worlds Simulation to Resolve
    Nondeterminism of Fault Effect Propagation. <i>Forum on Specification &#38; Design
    Languages (FDL 2014)</i>.
  bibtex: '@article{Becker_Kuznik_2014, title={Fast Many-Worlds Simulation to Resolve
    Nondeterminism of Fault Effect Propagation}, journal={Forum on Specification &#38;
    Design Languages (FDL 2014)}, author={Becker, Markus and Kuznik, Christoph}, year={2014}
    }'
  chicago: Becker, Markus, and Christoph Kuznik. “Fast Many-Worlds Simulation to Resolve
    Nondeterminism of Fault Effect Propagation.” <i>Forum on Specification &#38; Design
    Languages (FDL 2014)</i>, 2014.
  ieee: M. Becker and C. Kuznik, “Fast Many-Worlds Simulation to Resolve Nondeterminism
    of Fault Effect Propagation,” <i>Forum on Specification &#38; Design Languages
    (FDL 2014)</i>, 2014.
  mla: Becker, Markus, and Christoph Kuznik. “Fast Many-Worlds Simulation to Resolve
    Nondeterminism of Fault Effect Propagation.” <i>Forum on Specification &#38; Design
    Languages (FDL 2014)</i>, 2014.
  short: M. Becker, C. Kuznik, Forum on Specification &#38; Design Languages (FDL
    2014) (2014).
date_created: 2021-09-29T10:43:10Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
publication: Forum on Specification & Design Languages (FDL 2014)
status: public
title: Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation
type: journal_article
user_id: '21240'
year: '2014'
...
---
_id: '25119'
abstract:
- lang: eng
  text: "In case of a disaster it is of utmost importance to obtain an overview of
    the affected area in order to coordinate rescue operations. Recent research and
    development has led to affordable unmanned aerial vehicles (UAVs) and enabled
    (semi-)autonomous surveillance and mapping of a disaster areas by UAVs. Mapping
    an area from many images incorporates image registration. Commonly used registration
    techniques expect static images to be registered. However, while mapping a disaster
    area, it is very likely that objects like vehicles or persons are moving on the
    ground, thus leading to dynamic scenes. We formerly introduced a fast and robust
    approach to register large amounts of successively arriving images, e.g., from
    UAVs. The approach only uses rigid-body transformations, but the usage of virtual
    forces enables the registration to tolerate small perspective distortions. This
    paper investigates the performance of our approach when applied to dynamic scenes,
    which are represented by nonlinear disturbances within image correspondences.
    We show that our approach not only tolerates small perspective distortions but
    also is able to register dynamic scenes.\r\n"
author:
- first_name: Claudius
  full_name: Stern, Claudius
  last_name: Stern
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
citation:
  ama: 'Stern C, Kleinjohann L. Evaluating Influence of Nonlinear Disturbances on
    Image Registration Based on Virtual Forces. In: <i>Proceedings of The 2nd International
    Conference on Intelligent Systems and Image Processing 2014</i>.  Institute of
    Industrial Applications Engineers; 2014:209-215.'
  apa: Stern, C., &#38; Kleinjohann, L. (2014). Evaluating Influence of Nonlinear
    Disturbances on Image Registration Based on Virtual Forces. <i>Proceedings of
    The 2nd International Conference on Intelligent Systems and Image Processing 2014</i>,
    209–215.
  bibtex: '@inproceedings{Stern_Kleinjohann_2014, title={Evaluating Influence of Nonlinear
    Disturbances on Image Registration Based on Virtual Forces}, booktitle={Proceedings
    of The 2nd International Conference on Intelligent Systems and Image Processing
    2014}, publisher={ Institute of Industrial Applications Engineers}, author={Stern,
    Claudius and Kleinjohann, Lisa}, year={2014}, pages={209–215} }'
  chicago: Stern, Claudius, and Lisa Kleinjohann. “Evaluating Influence of Nonlinear
    Disturbances on Image Registration Based on Virtual Forces.” In <i>Proceedings
    of The 2nd International Conference on Intelligent Systems and Image Processing
    2014</i>, 209–15.  Institute of Industrial Applications Engineers, 2014.
  ieee: C. Stern and L. Kleinjohann, “Evaluating Influence of Nonlinear Disturbances
    on Image Registration Based on Virtual Forces,” in <i>Proceedings of The 2nd International
    Conference on Intelligent Systems and Image Processing 2014</i>, Kitakyushu, Japan,
    26. - 29. Sep. 2014, 2014, pp. 209–215.
  mla: Stern, Claudius, and Lisa Kleinjohann. “Evaluating Influence of Nonlinear Disturbances
    on Image Registration Based on Virtual Forces.” <i>Proceedings of The 2nd International
    Conference on Intelligent Systems and Image Processing 2014</i>,  Institute of
    Industrial Applications Engineers, 2014, pp. 209–15.
  short: 'C. Stern, L. Kleinjohann, in: Proceedings of The 2nd International Conference
    on Intelligent Systems and Image Processing 2014,  Institute of Industrial Applications
    Engineers, 2014, pp. 209–215.'
conference:
  location: Kitakyushu, Japan, 26. - 29. Sep. 2014
date_created: 2021-09-29T11:56:44Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
page: 209-215
publication: Proceedings of The 2nd International Conference on Intelligent Systems
  and Image Processing 2014
publisher: ' Institute of Industrial Applications Engineers'
status: public
title: Evaluating Influence of Nonlinear Disturbances on Image Registration Based
  on Virtual Forces
type: conference
user_id: '21240'
year: '2014'
...
---
_id: '25122'
author:
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
- first_name: Luis
  full_name: Almeida, Luis
  last_name: Almeida
citation:
  ama: 'Grösbrink S, Almeida L. A Criticality-aware Mapping of Real-time Virtual Machines
    to Multi-core Processors. In: <i>19th IEEE International Conference on Emerging
    Technologies and Factory Automation (ETFA)</i>. ; 2014.'
  apa: Grösbrink, S., &#38; Almeida, L. (2014). A Criticality-aware Mapping of Real-time
    Virtual Machines to Multi-core Processors. <i>19th IEEE International Conference
    on Emerging Technologies and Factory Automation (ETFA)</i>.
  bibtex: '@inproceedings{Grösbrink_Almeida_2014, title={A Criticality-aware Mapping
    of Real-time Virtual Machines to Multi-core Processors}, booktitle={19th IEEE
    International Conference on Emerging Technologies and Factory Automation (ETFA)},
    author={Grösbrink, Stefan and Almeida, Luis}, year={2014} }'
  chicago: Grösbrink, Stefan, and Luis Almeida. “A Criticality-Aware Mapping of Real-Time
    Virtual Machines to Multi-Core Processors.” In <i>19th IEEE International Conference
    on Emerging Technologies and Factory Automation (ETFA)</i>, 2014.
  ieee: S. Grösbrink and L. Almeida, “A Criticality-aware Mapping of Real-time Virtual
    Machines to Multi-core Processors,” 2014.
  mla: Grösbrink, Stefan, and Luis Almeida. “A Criticality-Aware Mapping of Real-Time
    Virtual Machines to Multi-Core Processors.” <i>19th IEEE International Conference
    on Emerging Technologies and Factory Automation (ETFA)</i>, 2014.
  short: 'S. Grösbrink, L. Almeida, in: 19th IEEE International Conference on Emerging
    Technologies and Factory Automation (ETFA), 2014.'
date_created: 2021-09-29T12:14:06Z
date_updated: 2022-01-06T06:56:52Z
department:
- _id: '672'
language:
- iso: eng
publication: 19th IEEE International Conference on Emerging Technologies and Factory
  Automation (ETFA)
status: public
title: A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors
type: conference
user_id: '21240'
year: '2014'
...