---
_id: '26094'
author:
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Rammig F-J. Biologically Inspired Information Technology: Towards a Cyber
    Biosphere. In: Conradi T, Ecker G, Eke NO, Muhle F, eds. <i>Schemata Und Praktiken</i>.
    Wilhelm Fink Verlag; 2012:141-160.'
  apa: 'Rammig, F.-J. (2012). Biologically Inspired Information Technology: Towards
    a Cyber Biosphere. In T. Conradi, G. Ecker, N. O. Eke, &#38; F. Muhle (Eds.),
    <i>Schemata und Praktiken</i> (pp. 141–160). Wilhelm Fink Verlag.'
  bibtex: '@inbook{Rammig_2012, place={München}, title={Biologically Inspired Information
    Technology: Towards a Cyber Biosphere}, booktitle={Schemata und Praktiken}, publisher={Wilhelm
    Fink Verlag}, author={Rammig, Franz-Josef}, editor={Conradi, Tobias and Ecker,
    Gisela and Eke, Norbert Otto and Muhle, Florian}, year={2012}, pages={141–160}
    }'
  chicago: 'Rammig, Franz-Josef. “Biologically Inspired Information Technology: Towards
    a Cyber Biosphere.” In <i>Schemata Und Praktiken</i>, edited by Tobias Conradi,
    Gisela Ecker, Norbert Otto Eke, and Florian Muhle, 141–60. München: Wilhelm Fink
    Verlag, 2012.'
  ieee: 'F.-J. Rammig, “Biologically Inspired Information Technology: Towards a Cyber
    Biosphere,” in <i>Schemata und Praktiken</i>, T. Conradi, G. Ecker, N. O. Eke,
    and F. Muhle, Eds. München: Wilhelm Fink Verlag, 2012, pp. 141–160.'
  mla: 'Rammig, Franz-Josef. “Biologically Inspired Information Technology: Towards
    a Cyber Biosphere.” <i>Schemata Und Praktiken</i>, edited by Tobias Conradi et
    al., Wilhelm Fink Verlag, 2012, pp. 141–60.'
  short: 'F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata
    Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.'
date_created: 2021-10-13T11:53:31Z
date_updated: 2022-01-06T06:57:16Z
department:
- _id: '672'
editor:
- first_name: Tobias
  full_name: Conradi, Tobias
  last_name: Conradi
- first_name: Gisela
  full_name: Ecker, Gisela
  last_name: Ecker
- first_name: Norbert Otto
  full_name: Eke, Norbert Otto
  last_name: Eke
- first_name: Florian
  full_name: Muhle, Florian
  last_name: Muhle
language:
- iso: eng
page: 141-160
place: München
publication: Schemata und Praktiken
publisher: Wilhelm Fink Verlag
status: public
title: 'Biologically Inspired Information Technology: Towards a Cyber Biosphere'
type: book_chapter
user_id: '21240'
year: '2012'
...
---
_id: '26102'
author:
- first_name: Fahad
  full_name: Bin Tariq, Fahad
  last_name: Bin Tariq
- first_name: Sandeep
  full_name: Korrapati, Sandeep
  last_name: Korrapati
citation:
  ama: 'Bin Tariq F, Korrapati S. Adaptive Web Services for Modular and Reusable Software
    Development. In: <i>Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation
    of Cyber Physical Systems</i>.  IGI Global; 2012:263-276.'
  apa: 'Bin Tariq, F., &#38; Korrapati, S. (2012). Adaptive Web Services for Modular
    and Reusable Software Development. In <i>Kapitel: F-DRARE: A Framework for Deterministic
    Runtime Adaptation of Cyber Physical Systems</i> (pp. 263–276).  IGI Global.'
  bibtex: '@inbook{Bin Tariq_Korrapati_2012, title={Adaptive Web Services for Modular
    and Reusable Software Development}, booktitle={Kapitel: F-DRARE: A Framework for
    Deterministic Runtime Adaptation of Cyber Physical Systems}, publisher={ IGI Global},
    author={Bin Tariq, Fahad and Korrapati, Sandeep}, year={2012}, pages={263–276}
    }'
  chicago: 'Bin Tariq, Fahad, and Sandeep Korrapati. “Adaptive Web Services for Modular
    and Reusable Software Development.” In <i>Kapitel: F-DRARE: A Framework for Deterministic
    Runtime Adaptation of Cyber Physical Systems</i>, 263–76.  IGI Global, 2012.'
  ieee: 'F. Bin Tariq and S. Korrapati, “Adaptive Web Services for Modular and Reusable
    Software Development,” in <i>Kapitel: F-DRARE: A Framework for Deterministic Runtime
    Adaptation of Cyber Physical Systems</i>,  IGI Global, 2012, pp. 263–276.'
  mla: 'Bin Tariq, Fahad, and Sandeep Korrapati. “Adaptive Web Services for Modular
    and Reusable Software Development.” <i>Kapitel: F-DRARE: A Framework for Deterministic
    Runtime Adaptation of Cyber Physical Systems</i>,  IGI Global, 2012, pp. 263–76.'
  short: 'F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic
    Runtime Adaptation of Cyber Physical Systems,  IGI Global, 2012, pp. 263–276.'
date_created: 2021-10-13T12:48:56Z
date_updated: 2022-01-06T06:57:16Z
department:
- _id: '672'
language:
- iso: eng
page: 263-276
publication: 'Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of
  Cyber Physical Systems'
publisher: ' IGI Global'
status: public
title: Adaptive Web Services for Modular and Reusable Software Development
type: book_chapter
user_id: '21240'
year: '2012'
...
---
_id: '26181'
abstract:
- lang: eng
  text: The paradigm shift from purchasing monolithic software solutions to a dynamic
    composition of individual solutions entails many new possibilities yet great challenges,
    too. In order to satisfy user requirements, complex services have to be automatically
    composed of elementary services. Multiple possibilities of composing a complex
    service inevitably emerge. The problem of selecting the most appropriate services
    has to be solved by comparing the different service candidates with respect to
    their quality in terms of inherent non-functional properties while simultaneously
    taking the user requirements into account.We are aiming for an integrated service
    rating and ranking methodology in order to support the automation of the underlying
    decision-making process. The main contribution of this paper is a first decomposition
    of the quality-based service selection process, while emphasizing major issues
    and challenges, which we are addressing in the On-The-Fly Computing project.
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 an Integrated Service Rating and Ranking
    Methodology for Quality Based Service Selection in Automatic Service Composition.
    In: <i>Proceedings of the Fourth International Conferences on Advanced Service
    Computing (SERVICE COMPUTATION)</i>. Xpert Publishing Services; 2012:43-47.'
  apa: Jungmann, A., &#38; Kleinjohann, B. (2012). Towards an Integrated Service Rating
    and Ranking Methodology for Quality Based Service Selection in Automatic Service
    Composition. <i>Proceedings of the Fourth International Conferences on Advanced
    Service Computing (SERVICE COMPUTATION)</i>, 43–47.
  bibtex: '@inproceedings{Jungmann_Kleinjohann_2012, title={Towards an Integrated
    Service Rating and Ranking Methodology for Quality Based Service Selection in
    Automatic Service Composition}, booktitle={Proceedings of the Fourth International
    Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, publisher={Xpert
    Publishing Services}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012},
    pages={43–47} }'
  chicago: Jungmann, Alexander, and Bernd Kleinjohann. “Towards an Integrated Service
    Rating and Ranking Methodology for Quality Based Service Selection in Automatic
    Service Composition.” In <i>Proceedings of the Fourth International Conferences
    on Advanced Service Computing (SERVICE COMPUTATION)</i>, 43–47. Xpert Publishing
    Services, 2012.
  ieee: A. Jungmann and B. Kleinjohann, “Towards an Integrated Service Rating and
    Ranking Methodology for Quality Based Service Selection in Automatic Service Composition,”
    in <i>Proceedings of the Fourth International Conferences on Advanced Service
    Computing (SERVICE COMPUTATION)</i>, 2012, pp. 43–47.
  mla: Jungmann, Alexander, and Bernd Kleinjohann. “Towards an Integrated Service
    Rating and Ranking Methodology for Quality Based Service Selection in Automatic
    Service Composition.” <i>Proceedings of the Fourth International Conferences on
    Advanced Service Computing (SERVICE COMPUTATION)</i>, Xpert Publishing Services,
    2012, pp. 43–47.
  short: 'A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International
    Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing
    Services, 2012, pp. 43–47.'
date_created: 2021-10-15T07:14:05Z
date_updated: 2022-01-06T06:57:17Z
department:
- _id: '672'
language:
- iso: eng
page: 43-47
publication: Proceedings of the Fourth International Conferences on Advanced Service
  Computing (SERVICE COMPUTATION)
publisher: Xpert Publishing Services
status: public
title: Towards an Integrated Service Rating and Ranking Methodology for Quality Based
  Service Selection in Automatic Service Composition
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26190'
abstract:
- lang: eng
  text: A major goal of the On-The-Fly Computing project is the automated composition
    of individual services based on services that are available in dynamic markets.
    Dependent on the granularity of a market, different alternatives that satisfy
    the requested functional requirements may emerge. In order to select the best
    solution, services are usually selected with respect to their quality in terms
    of inherent non-functional properties. In this paper, we describe our idea of
    how to model this service selection process as a Markov Decision Process, which
    we in turn intend to solve by means of Reinforcement Learning techniques in order
    to control the underlying service composition process. In addition, some initial
    issues with respect to our approach are addressed.
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 the Application of Reinforcement Learning
    Techniques for Quality-Based Service Selection in Automated Service Composition.
    In: <i>Proceedings of the 9th IEEE International Conference on Services Computing
    (SCC)</i>. IEEE; 2012.'
  apa: Jungmann, A., &#38; Kleinjohann, B. (2012). Towards the Application of Reinforcement
    Learning Techniques for Quality-Based Service Selection in Automated Service Composition.
    <i>Proceedings of the 9th IEEE International Conference on Services Computing
    (SCC)</i>.
  bibtex: '@inproceedings{Jungmann_Kleinjohann_2012, title={Towards the Application
    of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated
    Service Composition}, booktitle={Proceedings of the 9th IEEE International Conference
    on Services Computing (SCC)}, publisher={IEEE}, author={Jungmann, Alexander and
    Kleinjohann, Bernd}, year={2012} }'
  chicago: Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of
    Reinforcement Learning Techniques for Quality-Based Service Selection in Automated
    Service Composition.” In <i>Proceedings of the 9th IEEE International Conference
    on Services Computing (SCC)</i>. IEEE, 2012.
  ieee: A. Jungmann and B. Kleinjohann, “Towards the Application of Reinforcement
    Learning Techniques for Quality-Based Service Selection in Automated Service Composition,”
    2012.
  mla: Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of Reinforcement
    Learning Techniques for Quality-Based Service Selection in Automated Service Composition.”
    <i>Proceedings of the 9th IEEE International Conference on Services Computing
    (SCC)</i>, IEEE, 2012.
  short: 'A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International
    Conference on Services Computing (SCC), IEEE, 2012.'
date_created: 2021-10-15T07:52:47Z
date_updated: 2022-01-06T06:57:17Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the 9th IEEE International Conference on Services Computing
  (SCC)
publisher: IEEE
status: public
title: Towards the Application of Reinforcement Learning Techniques for Quality-Based
  Service Selection in Automated Service Composition
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26212'
author:
- first_name: Yara
  full_name: Khaluf, Yara
  last_name: Khaluf
- first_name: Fabian
  full_name: Weiss, Fabian
  last_name: Weiss
- first_name: Sebastian
  full_name: Micus, Sebastian
  last_name: Micus
citation:
  ama: 'Khaluf Y, Weiss F, Micus S. Master Election for Time Synchronization in Swarm
    Robotic Systems. In: <i>The 10th IEEE International Symposium on Parallel and
    Distributed Processing with Applications</i>. ; 2012.'
  apa: Khaluf, Y., Weiss, F., &#38; Micus, S. (2012). Master Election for Time Synchronization
    in Swarm Robotic Systems. <i>The 10th IEEE International Symposium on Parallel
    and Distributed Processing with Applications</i>.
  bibtex: '@inproceedings{Khaluf_Weiss_Micus_2012, place={ Leganés, Madrid}, title={Master
    Election for Time Synchronization in Swarm Robotic Systems}, booktitle={The 10th
    IEEE International Symposium on Parallel and Distributed Processing with Applications},
    author={Khaluf, Yara and Weiss, Fabian and Micus, Sebastian}, year={2012} }'
  chicago: Khaluf, Yara, Fabian Weiss, and Sebastian Micus. “Master Election for Time
    Synchronization in Swarm Robotic Systems.” In <i>The 10th IEEE International Symposium
    on Parallel and Distributed Processing with Applications</i>.  Leganés, Madrid,
    2012.
  ieee: Y. Khaluf, F. Weiss, and S. Micus, “Master Election for Time Synchronization
    in Swarm Robotic Systems,” 2012.
  mla: Khaluf, Yara, et al. “Master Election for Time Synchronization in Swarm Robotic
    Systems.” <i>The 10th IEEE International Symposium on Parallel and Distributed
    Processing with Applications</i>, 2012.
  short: 'Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium
    on Parallel and Distributed Processing with Applications,  Leganés, Madrid, 2012.'
date_created: 2021-10-15T09:16:19Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '672'
language:
- iso: eng
place: ' Leganés, Madrid'
publication: The 10th IEEE International Symposium on Parallel and Distributed Processing
  with Applications
status: public
title: Master Election for Time Synchronization in Swarm Robotic Systems
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26264'
author:
- first_name: Emi
  full_name: Mathews, Emi
  last_name: Mathews
- first_name: Ciby
  full_name: Mathew, Ciby
  last_name: Mathew
citation:
  ama: 'Mathews E, Mathew C. Connectivity of Autonomous Agents Using Ad-hoc Mobile
    Router Networks. In: <i>Third International Conference on Networks &#38; Communications,
    LNICST</i>. Springer; 2012.'
  apa: Mathews, E., &#38; Mathew, C. (2012). Connectivity of Autonomous Agents Using
    Ad-hoc Mobile Router Networks. <i>Third International Conference on Networks &#38;
    Communications, LNICST</i>.
  bibtex: '@inproceedings{Mathews_Mathew_2012, place={Bangalore, India}, title={Connectivity
    of Autonomous Agents Using Ad-hoc Mobile Router Networks}, booktitle={Third International
    Conference on Networks &#38; Communications, LNICST}, publisher={Springer}, author={Mathews,
    Emi and Mathew, Ciby}, year={2012} }'
  chicago: 'Mathews, Emi, and Ciby Mathew. “Connectivity of Autonomous Agents Using
    Ad-Hoc Mobile Router Networks.” In <i>Third International Conference on Networks
    &#38; Communications, LNICST</i>. Bangalore, India: Springer, 2012.'
  ieee: E. Mathews and C. Mathew, “Connectivity of Autonomous Agents Using Ad-hoc
    Mobile Router Networks,” 2012.
  mla: Mathews, Emi, and Ciby Mathew. “Connectivity of Autonomous Agents Using Ad-Hoc
    Mobile Router Networks.” <i>Third International Conference on Networks &#38; Communications,
    LNICST</i>, Springer, 2012.
  short: 'E. Mathews, C. Mathew, in: Third International Conference on Networks &#38;
    Communications, LNICST, Springer, Bangalore, India, 2012.'
date_created: 2021-10-15T11:20:32Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '672'
language:
- iso: eng
place: Bangalore, India
publication: Third International Conference on Networks & Communications, LNICST
publisher: Springer
status: public
title: Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26695'
abstract:
- lang: eng
  text: The Unified Modeling Language (UML) is now widely accepted by the software
    community. More recently, UML has attracted attention as a unification language
    for systems description combining both hardware and software components. First,
    it has been recognized that electronic systems design can no longer be seen as
    an isolated hardware design activity. In addition, recent advances in tools supporting
    high level hardware synthesis from electronic system level languages, which are
    predominantly based on C/C++, open new perspectives for automatic code generation
    from UML models and opportunities to enhance the link between a high level specification
    and a concrete hardware/software implementation. Finally, UML has become a general
    purpose language which can be customized for specific purposes, such as the modelization
    of electronic systems. This chapter presents recent advances of the UML language
    applied to System-on-Chip (SoC) and hardware-related embedded systems design.
    In particular, several examples of specific UML customizations (UML profiles)
    relevant for SoC design are summarized. Various approaches associating UML with
    existing hardware/software design languages are presented. The question of tool
    support and association with well-known simulation environments, such as MATLAB/Simulink,
    is addressed as well. A concrete example of a UML profile for hardware/software
    co-modeling and code generation for hardware/software co-simulation is presented
    in more details for illustration purposes.
author:
- first_name: Yves
  full_name: Vanderperren, Yves
  last_name: Vanderperren
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Da
  full_name: He, Da
  last_name: He
- first_name: Fabian
  full_name: Mischkalla, Fabian
  last_name: Mischkalla
- first_name: Wim
  full_name: Dahaene, Wim
  last_name: Dahaene
citation:
  ama: 'Vanderperren Y, Müller W, He D, Mischkalla F, Dahaene W. Extending UML for
    Electronic Systems Design: A Code Generation Perspective. In: Nicolescu G, O’Connor
    I, Piguet C, eds. <i>Design Technology for Heterogeneous Embedded Systems</i>.
    1st Edition. Auflage. Springer Verlag; 2012:13-39.'
  apa: 'Vanderperren, Y., Müller, W., He, D., Mischkalla, F., &#38; Dahaene, W. (2012).
    Extending UML for Electronic Systems Design: A Code Generation Perspective. In
    G. Nicolescu, I. O’Connor, &#38; C. Piguet (Eds.), <i>Design Technology for Heterogeneous
    Embedded Systems</i> (1st Edition. Auflage, pp. 13–39). Springer Verlag.'
  bibtex: '@inbook{Vanderperren_Müller_He_Mischkalla_Dahaene_2012, edition={1st Edition.
    Auflage}, title={Extending UML for Electronic Systems Design: A Code Generation
    Perspective}, booktitle={Design Technology for Heterogeneous Embedded Systems},
    publisher={Springer Verlag}, author={Vanderperren, Yves and Müller, Wolfgang and
    He, Da and Mischkalla, Fabian and Dahaene, Wim}, editor={Nicolescu, Gabriela and
    O’Connor, Ian and Piguet, Christian}, year={2012}, pages={13–39} }'
  chicago: 'Vanderperren, Yves, Wolfgang Müller, Da He, Fabian Mischkalla, and Wim
    Dahaene. “Extending UML for Electronic Systems Design: A Code Generation Perspective.”
    In <i>Design Technology for Heterogeneous Embedded Systems</i>, edited by Gabriela
    Nicolescu, Ian O’Connor, and Christian Piguet, 1st Edition. Auflage., 13–39. Springer
    Verlag, 2012.'
  ieee: 'Y. Vanderperren, W. Müller, D. He, F. Mischkalla, and W. Dahaene, “Extending
    UML for Electronic Systems Design: A Code Generation Perspective,” in <i>Design
    Technology for Heterogeneous Embedded Systems</i>, 1st Edition. Auflage., G. Nicolescu,
    I. O’Connor, and C. Piguet, Eds. Springer Verlag, 2012, pp. 13–39.'
  mla: 'Vanderperren, Yves, et al. “Extending UML for Electronic Systems Design: A
    Code Generation Perspective.” <i>Design Technology for Heterogeneous Embedded
    Systems</i>, edited by Gabriela Nicolescu et al., 1st Edition. Auflage, Springer
    Verlag, 2012, pp. 13–39.'
  short: 'Y. Vanderperren, W. Müller, D. He, F. Mischkalla, W. Dahaene, in: G. Nicolescu,
    I. O’Connor, C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems,
    1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.'
date_created: 2021-10-21T12:14:17Z
date_updated: 2022-10-18T09:53:40Z
department:
- _id: '672'
edition: 1st Edition. Auflage
editor:
- first_name: Gabriela
  full_name: Nicolescu, Gabriela
  last_name: Nicolescu
- first_name: Ian
  full_name: O'Connor, Ian
  last_name: O'Connor
- first_name: Christian
  full_name: Piguet, Christian
  last_name: Piguet
language:
- iso: eng
page: 13-39
publication: Design Technology for Heterogeneous Embedded Systems
publication_identifier:
  isbn:
  - 978-94-007-1125-9
publisher: Springer Verlag
status: public
title: 'Extending UML for Electronic Systems Design: A Code Generation Perspective'
type: book_chapter
user_id: '5786'
year: '2012'
...
---
_id: '26038'
abstract:
- lang: eng
  text: We present an enhanced UVM for SystemC library which incorporates verification
    best practices from OVM-ML and UVM as well as project partner implementations.
    Moreover, we extended functionality and implemented missing features, such as
    domain specific components, stimuli sequence generation and management, call-back
    facilities, response to request routing, transaction recording and many more.
    Apart from that, we added crucial verification components, such as functional
    coverage.
author:
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Marcio F.
  full_name: Oliveira, Marcio F.
  last_name: Oliveira
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Kuznik C, Oliveira MF, Müller W. SYSTEMC UVM VERIFICATION COMPONENTS. <i>Design,
    Automation and Test in Europe DATE</i>. Published online 2012.
  apa: Kuznik, C., Oliveira, M. F., &#38; Müller, W. (2012). SYSTEMC UVM VERIFICATION
    COMPONENTS. <i>Design, Automation and Test in Europe DATE</i>.
  bibtex: '@article{Kuznik_Oliveira_Müller_2012, title={SYSTEMC UVM VERIFICATION COMPONENTS},
    journal={Design, Automation and Test in Europe DATE}, author={Kuznik, Christoph
    and Oliveira, Marcio F. and Müller, Wolfgang}, year={2012} }'
  chicago: Kuznik, Christoph, Marcio F. Oliveira, and Wolfgang Müller. “SYSTEMC UVM
    VERIFICATION COMPONENTS.” <i>Design, Automation and Test in Europe DATE</i>, 2012.
  ieee: C. Kuznik, M. F. Oliveira, and W. Müller, “SYSTEMC UVM VERIFICATION COMPONENTS,”
    <i>Design, Automation and Test in Europe DATE</i>, 2012.
  mla: Kuznik, Christoph, et al. “SYSTEMC UVM VERIFICATION COMPONENTS.” <i>Design,
    Automation and Test in Europe DATE</i>, 2012.
  short: C. Kuznik, M.F. Oliveira, W. Müller, Design, Automation and Test in Europe
    DATE (2012).
conference:
  location: ' University Booth, Dresden , Mrz. 2012'
date_created: 2021-10-11T12:48:21Z
date_updated: 2024-04-18T21:07:25Z
department:
- _id: '672'
language:
- iso: eng
publication: Design, Automation and Test in Europe DATE
status: public
title: SYSTEMC UVM VERIFICATION COMPONENTS
type: journal_article
user_id: '5786'
year: '2012'
...
---
_id: '36922'
abstract:
- lang: eng
  text: In this paper we present an approach for the self reconfiguration of distributed
    micro-controllers for increased fault tolerance. Based on a modified distributed
    system topology utilizing a time division multiple access (TDMA) protocol, i.e.,
    Flex Ray, we present a self-organized distributed coordinator concept which performs
    the self-reconfiguration in the case of node failures. We introduce a distributed
    coordinator, which utilizes redundant slots in the Flex Ray communication schedule
    and combines messages in configured protocol frames and slots to avoid a complete
    bus restart. As such, the self-reconfiguration is realized by means of predetermined
    information about resulting changes in the communication dependencies and (re-)assignments
    determined in the design phase. To retrieve the necessary information, we present
    an analytical approach, which determines a combined solution for the initial configuration
    and all possible reconfigurations for the remaining nodes of the Flex Ray network
    in case of node failures. Hence, through this method we can design self-reconfiguring
    network-based systems enabling the handling of node failures for an increased
    fault tolerance.
author:
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Achim
  full_name: Rettberg, Achim
  last_name: Rettberg
citation:
  ama: 'Klobedanz K, Müller W, Rettberg A. An Approach for Self-Reconfiguring and
    Fault-Tolerant Distributed Real-Time Systems. In: IEEE; 2012. doi:<a href="https://doi.org/10.1109/ISORCW.2012.41">10.1109/ISORCW.2012.41</a>'
  apa: Klobedanz, K., Müller, W., &#38; Rettberg, A. (2012). <i>An Approach for Self-Reconfiguring
    and Fault-Tolerant Distributed Real-Time Systems</i>. IEEE 15th International
    Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
    Workshops. <a href="https://doi.org/10.1109/ISORCW.2012.41">https://doi.org/10.1109/ISORCW.2012.41</a>
  bibtex: '@inproceedings{Klobedanz_Müller_Rettberg_2012, place={Shenzhen, China },
    title={An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time
    Systems}, DOI={<a href="https://doi.org/10.1109/ISORCW.2012.41">10.1109/ISORCW.2012.41</a>},
    publisher={IEEE}, author={Klobedanz, Kay and Müller, Wolfgang and Rettberg, Achim},
    year={2012} }'
  chicago: 'Klobedanz, Kay, Wolfgang Müller, and Achim Rettberg. “An Approach for
    Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems.” Shenzhen,
    China : IEEE, 2012. <a href="https://doi.org/10.1109/ISORCW.2012.41">https://doi.org/10.1109/ISORCW.2012.41</a>.'
  ieee: 'K. Klobedanz, W. Müller, and A. Rettberg, “An Approach for Self-Reconfiguring
    and Fault-Tolerant Distributed Real-Time Systems,” presented at the IEEE 15th
    International Symposium on Object/Component/Service-Oriented Real-Time Distributed
    Computing Workshops, 2012, doi: <a href="https://doi.org/10.1109/ISORCW.2012.41">10.1109/ISORCW.2012.41</a>.'
  mla: Klobedanz, Kay, et al. <i>An Approach for Self-Reconfiguring and Fault-Tolerant
    Distributed Real-Time Systems</i>. IEEE, 2012, doi:<a href="https://doi.org/10.1109/ISORCW.2012.41">10.1109/ISORCW.2012.41</a>.
  short: 'K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.'
conference:
  name: IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time
    Distributed Computing Workshops
date_created: 2023-01-16T12:23:50Z
date_updated: 2023-01-16T12:25:33Z
department:
- _id: '672'
doi: 10.1109/ISORCW.2012.41
keyword:
- Real time systems
- Fault tolerant systems
- Schedules
- Protocols
- Redundancy
- Delay
language:
- iso: eng
place: 'Shenzhen, China '
publication_identifier:
  eisbn:
  - 978-0-7695-4669-8
publisher: IEEE
status: public
title: An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time
  Systems
type: conference
user_id: '5786'
year: '2012'
...
---
_id: '36921'
author:
- first_name: M. F.
  full_name: Oliveira, M. F.
  last_name: Oliveira
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: V.
  full_name: Esen, V.
  last_name: Esen
- first_name: W.
  full_name: Ecker, W.
  last_name: Ecker
citation:
  ama: 'Oliveira MF, Kuznik C, Müller W, Esen V, Ecker W. Towards an Enhanced UVM
    for SystemC. In: <i>Proceedings of the Design &#38; Verification Conference (DVCon)</i>.
    ; 2012.'
  apa: Oliveira, M. F., Kuznik, C., Müller, W., Esen, V., &#38; Ecker, W. (2012).
    Towards an Enhanced UVM for SystemC. <i>Proceedings of the Design &#38; Verification
    Conference (DVCon)</i>.
  bibtex: '@inproceedings{Oliveira_Kuznik_Müller_Esen_Ecker_2012, place={San Jose},
    title={Towards an Enhanced UVM for SystemC}, booktitle={Proceedings of the Design
    &#38; Verification Conference (DVCon)}, author={Oliveira, M. F. and Kuznik, Christoph
    and Müller, Wolfgang and Esen, V. and Ecker, W.}, year={2012} }'
  chicago: Oliveira, M. F., Christoph Kuznik, Wolfgang Müller, V. Esen, and W. Ecker.
    “Towards an Enhanced UVM for SystemC.” In <i>Proceedings of the Design &#38; Verification
    Conference (DVCon)</i>. San Jose, 2012.
  ieee: M. F. Oliveira, C. Kuznik, W. Müller, V. Esen, and W. Ecker, “Towards an Enhanced
    UVM for SystemC,” 2012.
  mla: Oliveira, M. F., et al. “Towards an Enhanced UVM for SystemC.” <i>Proceedings
    of the Design &#38; Verification Conference (DVCon)</i>, 2012.
  short: 'M.F. Oliveira, C. Kuznik, W. Müller, V. Esen, W. Ecker, in: Proceedings
    of the Design &#38; Verification Conference (DVCon), San Jose, 2012.'
date_created: 2023-01-16T12:19:39Z
date_updated: 2023-01-16T12:21:17Z
department:
- _id: '672'
language:
- iso: eng
place: San Jose
publication: Proceedings of the Design & Verification Conference (DVCon)
status: public
title: Towards an Enhanced UVM for SystemC
type: conference
user_id: '5786'
year: '2012'
...
---
_id: '36994'
abstract:
- lang: eng
  text: This paper proposes a quality driven, simulation based approach to functional
    design verification, which applies mainly to IP-level HDL designs with well specified
    test instruction format and is evaluated on a soft microprocessor core MB-LITE
    [5]. The approach utilizes mutation analysis as the quality metric to steer an
    automated simulation data generation process. It leads to a simulation flow with
    two phases towards an enhanced mutation analysis result. First in a random simulation
    phase, an in-loop heuristics is deployed and adjusts dynamically the test probability
    distribution so as to improve the coverage efficiency. Next, for each remaining
    hard-to-kill mutant, a search heuristics on test input space is developed to iteratively
    locate a target test, using a specific objective cost function for the goal of
    killing HDL mutant. The effectiveness of this integrated two-phase simulation
    flow is demonstrated by the results with the MB-LITE microprocessor IP.
author:
- first_name: 'Tao '
  full_name: 'Xie, Tao '
  last_name: Xie
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Florian
  full_name: Letombe, Florian
  last_name: Letombe
citation:
  ama: 'Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification
    of a Soft Microprocessor. In: <i>Proceedings of SOCC2012</i>. IEEE; 2012. doi:<a
    href="https://doi.org/10.1109/SOCC.2012.6398362">10.1109/SOCC.2012.6398362</a>'
  apa: Xie, T., Müller, W., &#38; Letombe, F. (2012). Mutation-Analysis Driven Functional
    Verification of a Soft Microprocessor. <i>Proceedings of SOCC2012</i>. <a href="https://doi.org/10.1109/SOCC.2012.6398362">https://doi.org/10.1109/SOCC.2012.6398362</a>
  bibtex: '@inproceedings{Xie_Müller_Letombe_2012, place={ Niagara Falls, NY, USA
    }, title={Mutation-Analysis Driven Functional Verification of a Soft Microprocessor},
    DOI={<a href="https://doi.org/10.1109/SOCC.2012.6398362">10.1109/SOCC.2012.6398362</a>},
    booktitle={Proceedings of SOCC2012}, publisher={IEEE}, author={Xie, Tao  and Müller,
    Wolfgang and Letombe, Florian}, year={2012} }'
  chicago: 'Xie, Tao , Wolfgang Müller, and Florian Letombe. “Mutation-Analysis Driven
    Functional Verification of a Soft Microprocessor.” In <i>Proceedings of SOCC2012</i>.  Niagara
    Falls, NY, USA : IEEE, 2012. <a href="https://doi.org/10.1109/SOCC.2012.6398362">https://doi.org/10.1109/SOCC.2012.6398362</a>.'
  ieee: 'T. Xie, W. Müller, and F. Letombe, “Mutation-Analysis Driven Functional Verification
    of a Soft Microprocessor,” 2012, doi: <a href="https://doi.org/10.1109/SOCC.2012.6398362">10.1109/SOCC.2012.6398362</a>.'
  mla: Xie, Tao, et al. “Mutation-Analysis Driven Functional Verification of a Soft
    Microprocessor.” <i>Proceedings of SOCC2012</i>, IEEE, 2012, doi:<a href="https://doi.org/10.1109/SOCC.2012.6398362">10.1109/SOCC.2012.6398362</a>.
  short: 'T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE,  Niagara
    Falls, NY, USA , 2012.'
date_created: 2023-01-17T08:46:14Z
date_updated: 2023-01-17T08:46:29Z
department:
- _id: '672'
doi: 10.1109/SOCC.2012.6398362
keyword:
- Analytical models
- Hardware design languages
- Microprocessors
- Cost function
- Data models
- Search problems
- IP networks
language:
- iso: eng
place: ' Niagara Falls, NY, USA '
publication: Proceedings of SOCC2012
publication_identifier:
  eisbn:
  - 978-1-4673-1295-0
publisher: IEEE
status: public
title: Mutation-Analysis Driven Functional Verification of a Soft Microprocessor
type: conference
user_id: '5786'
year: '2012'
...
---
_id: '36997'
author:
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Xie T, Müller W. An IP-XACT-TO-SystemC Model Generator for Mutation Analysis.
    In: <i>Proceedings of the MeCoES’12</i>. ; 2012.'
  apa: Xie, T., &#38; Müller, W. (2012). An IP-XACT-TO-SystemC Model Generator for
    Mutation Analysis. <i>Proceedings of the MeCoES’12</i>.
  bibtex: '@inproceedings{Xie_Müller_2012, place={Tampere, Finnland}, title={An IP-XACT-TO-SystemC
    Model Generator for Mutation Analysis}, booktitle={Proceedings of the MeCoES’12},
    author={Xie, Tao and Müller, Wolfgang}, year={2012} }'
  chicago: Xie, Tao, and Wolfgang Müller. “An IP-XACT-TO-SystemC Model Generator for
    Mutation Analysis.” In <i>Proceedings of the MeCoES’12</i>. Tampere, Finnland,
    2012.
  ieee: T. Xie and W. Müller, “An IP-XACT-TO-SystemC Model Generator for Mutation
    Analysis,” 2012.
  mla: Xie, Tao, and Wolfgang Müller. “An IP-XACT-TO-SystemC Model Generator for Mutation
    Analysis.” <i>Proceedings of the MeCoES’12</i>, 2012.
  short: 'T. Xie, W. Müller, in: Proceedings of the MeCoES’12, Tampere, Finnland,
    2012.'
date_created: 2023-01-17T08:52:59Z
date_updated: 2023-01-17T08:53:54Z
department:
- _id: '672'
language:
- iso: eng
place: Tampere, Finnland
publication: Proceedings of the MeCoES’12
status: public
title: An IP-XACT-TO-SystemC Model Generator for Mutation Analysis
type: conference
user_id: '5786'
year: '2012'
...
---
_id: '26276'
author:
- first_name: Masoud
  full_name: Hosseinimehr, Masoud
  last_name: Hosseinimehr
- first_name: Norma
  full_name: Montealegre, Norma
  last_name: Montealegre
citation:
  ama: 'Hosseinimehr M, Montealegre N. Implementation of a Singular Value Decomposition
    Module on an FPGA. In: <i>The 23rd IASTED International Conference on Parallel
    and Distributed Computing and Systems (PDCS 2011)</i>. ACTA Press; 2011.'
  apa: Hosseinimehr, M., &#38; Montealegre, N. (2011). Implementation of a Singular
    Value Decomposition Module on an FPGA. <i>The 23rd IASTED International Conference
    on Parallel and Distributed Computing and Systems (PDCS 2011)</i>.
  bibtex: '@inproceedings{Hosseinimehr_Montealegre_2011, place={Calgary, Canada},
    title={Implementation of a Singular Value Decomposition Module on an FPGA}, booktitle={The
    23rd IASTED International Conference on Parallel and Distributed Computing and
    Systems (PDCS 2011)}, publisher={ACTA Press}, author={Hosseinimehr, Masoud and
    Montealegre, Norma}, year={2011} }'
  chicago: 'Hosseinimehr, Masoud, and Norma Montealegre. “Implementation of a Singular
    Value Decomposition Module on an FPGA.” In <i>The 23rd IASTED International Conference
    on Parallel and Distributed Computing and Systems (PDCS 2011)</i>. Calgary, Canada:
    ACTA Press, 2011.'
  ieee: M. Hosseinimehr and N. Montealegre, “Implementation of a Singular Value Decomposition
    Module on an FPGA,”  14. - 16. Dez. 2011, ACTA Press, Calgary, Canada, 2011.
  mla: Hosseinimehr, Masoud, and Norma Montealegre. “Implementation of a Singular
    Value Decomposition Module on an FPGA.” <i>The 23rd IASTED International Conference
    on Parallel and Distributed Computing and Systems (PDCS 2011)</i>, ACTA Press,
    2011.
  short: 'M. Hosseinimehr, N. Montealegre, in: The 23rd IASTED International Conference
    on Parallel and Distributed Computing and Systems (PDCS 2011), ACTA Press, Calgary,
    Canada, 2011.'
conference:
  location: ' 14. - 16. Dez. 2011, ACTA Press, Calgary, Canada'
date_created: 2021-10-15T12:01:22Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '672'
language:
- iso: eng
place: Calgary, Canada
publication: The 23rd IASTED International Conference on Parallel and Distributed
  Computing and Systems (PDCS 2011)
publisher: ACTA Press
status: public
title: Implementation of a Singular Value Decomposition Module on an FPGA
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26279'
abstract:
- lang: eng
  text: In this paper an approach for automatic feature classification based on their
    motion in the image plane is introduced. By combining concepts of the human perception
    of motion with techniques belonging to the area of cluster analysis, we subsequently
    abstract the visual data in order to separate features, whose motion is caused
    by the sensor motion from features, which possibly belong to dynamic objects in
    the environment. The presented algorithm exclusively works on data, that can be
    extracted from the two dimensional image plane. Hence, no external data like the
    current motion of the applied camera is required. Furthermore, the algorithm works
    on any type of tracked feature, as long as it can be statistically represented.
    The results of the presented approach constitute a very good starting point for
    additional object detection mechanisms.
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 Feature Classification for Object Detection
    based on Motion Analysis. In: <i>Proceedings of the 5th International Conference
    on Automation, Robotics and Applications (ICARA)</i>. IEEE; 2011.'
  apa: Jungmann, A., &#38; Kleinjohann, B. (2011). Automatic Feature Classification
    for Object Detection based on Motion Analysis. <i>Proceedings of the 5th International
    Conference on Automation, Robotics and Applications (ICARA)</i>.
  bibtex: '@inproceedings{Jungmann_Kleinjohann_2011, place={Wellington, New Zealand},
    title={Automatic Feature Classification for Object Detection based on Motion Analysis},
    booktitle={Proceedings of the 5th International Conference on Automation, Robotics
    and Applications (ICARA)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann,
    Bernd}, year={2011} }'
  chicago: 'Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Feature Classification
    for Object Detection Based on Motion Analysis.” In <i>Proceedings of the 5th International
    Conference on Automation, Robotics and Applications (ICARA)</i>. Wellington, New
    Zealand: IEEE, 2011.'
  ieee: A. Jungmann and B. Kleinjohann, “Automatic Feature Classification for Object
    Detection based on Motion Analysis,” Wellington, New Zealand, 6. - 8. Dez. 2011,
    IEEE, 2011.
  mla: Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Feature Classification
    for Object Detection Based on Motion Analysis.” <i>Proceedings of the 5th International
    Conference on Automation, Robotics and Applications (ICARA)</i>, IEEE, 2011.
  short: 'A. Jungmann, B. Kleinjohann, in: Proceedings of the 5th International Conference
    on Automation, Robotics and Applications (ICARA), IEEE, Wellington, New Zealand,
    2011.'
conference:
  location: Wellington, New Zealand, 6. - 8. Dez. 2011, IEEE
date_created: 2021-10-15T12:38:27Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '672'
language:
- iso: eng
place: Wellington, New Zealand
publication: Proceedings of the 5th International Conference on Automation, Robotics
  and Applications (ICARA)
publisher: IEEE
status: public
title: Automatic Feature Classification for Object Detection based on Motion Analysis
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26281'
abstract:
- lang: eng
  text: This paper introduces a novel method for registering a large amount of aerial
    images when camera parameters are almost unknown and no reference images are available.
    The envisioned application is the creation of an overview map of a disaster area
    from images made by unmanned aerial vehicles (UAVs) equipped with cameras. The
    camera systems only have uncertain information about flight attitude. With traditional
    methods, the relatively small perspective errors per image sum up over time resulting
    in perspective errors which prevent building a consistent map from successively
    arriving images. By using virtual forces between images, the image parameters
    are continuously adapted to the current map. The small projective errors of quasi
    orthographic images are distributed among overlapping images. Having UAVs which
    deliver quasi orthographic images, our approach can build a contemporary overview
    without the need to have all images in advance.
author:
- first_name: Claudius
  full_name: Stern, Claudius
  last_name: Stern
- first_name: Christoph
  full_name: Rasche, Christoph
  last_name: Rasche
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Towards Using Virtual Forces
    for Image Registration. In: <i>The 5th International Conference on Automation,
    Robotics and Applications (ICARA 2011)</i>. ; 2011.'
  apa: Stern, C., Rasche, C., Kleinjohann, L., &#38; Kleinjohann, B. (2011). Towards
    Using Virtual Forces for Image Registration. <i>The 5th International Conference
    on Automation, Robotics and Applications (ICARA 2011)</i>.
  bibtex: '@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2011, place={Wellington,
    New Zealand}, title={Towards Using Virtual Forces for Image Registration}, booktitle={The
    5th International Conference on Automation, Robotics and Applications (ICARA 2011)},
    author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann,
    Bernd}, year={2011} }'
  chicago: Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann.
    “Towards Using Virtual Forces for Image Registration.” In <i>The 5th International
    Conference on Automation, Robotics and Applications (ICARA 2011)</i>. Wellington,
    New Zealand, 2011.
  ieee: C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Towards Using Virtual
    Forces for Image Registration,” Wellington, New Zealand, Dez. 2011, 2011.
  mla: Stern, Claudius, et al. “Towards Using Virtual Forces for Image Registration.”
    <i>The 5th International Conference on Automation, Robotics and Applications (ICARA
    2011)</i>, 2011.
  short: 'C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: The 5th International
    Conference on Automation, Robotics and Applications (ICARA 2011), Wellington,
    New Zealand, 2011.'
conference:
  location: Wellington, New Zealand, Dez. 2011
date_created: 2021-10-15T12:49:47Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '672'
language:
- iso: eng
place: Wellington, New Zealand
publication: The 5th International Conference on Automation, Robotics and Applications
  (ICARA 2011)
status: public
title: Towards Using Virtual Forces for Image Registration
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26660'
abstract:
- lang: eng
  text: "During rescue scenarios it is indispensable to obtain an overview of the
    situation. Unmanned aerial vehicles (UAVs) can gather the necessary information
    in a fast and efficient way. This paper presents an approach for path planning
    in 3D environments offering a solution to explore disaster areas including, e.g.,
    partially or completely destroyed buildings. Using multiple UAVs decreases the
    time needed to receive a complete overview if the problem of coordination and
    task allocation is solved. We present an approach for the use of multiple UAVs.
    The UAVs work in a distributed manner without any central coordination instance
    and cover the exploration of terrains as well as goal-oriented path planning.
    When using multiple UAVs redundant exploration is avoided through the use of inter-UAV-communication.
    The approach is based on potential fields and uses the simplicity of the gradient
    method to calculate paths for fast exploration of the terrain.\r\n"
author:
- first_name: Christoph
  full_name: Rasche, Christoph
  last_name: Rasche
- first_name: Claudius
  full_name: Stern, Claudius
  last_name: Stern
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Rasche C, Stern C, Kleinjohann L, Kleinjohann B. A Distributed Multi-UAV Path
    Planning Approach for 3D Environments. In: <i>The 5th International Conference
    on Automation, Robotics and Applications (ICARA 2011)</i>. ; 2011.'
  apa: Rasche, C., Stern, C., Kleinjohann, L., &#38; Kleinjohann, B. (2011). A Distributed
    Multi-UAV Path Planning Approach for 3D Environments. <i>The 5th International
    Conference on Automation, Robotics and Applications (ICARA 2011)</i>.
  bibtex: '@inproceedings{Rasche_Stern_Kleinjohann_Kleinjohann_2011, place={Wellington,
    New Zealand,}, title={A Distributed Multi-UAV Path Planning Approach for 3D Environments},
    booktitle={The 5th International Conference on Automation, Robotics and Applications
    (ICARA 2011)}, author={Rasche, Christoph and Stern, Claudius and Kleinjohann,
    Lisa and Kleinjohann, Bernd}, year={2011} }'
  chicago: Rasche, Christoph, Claudius Stern, Lisa Kleinjohann, and Bernd Kleinjohann.
    “A Distributed Multi-UAV Path Planning Approach for 3D Environments.” In <i>The
    5th International Conference on Automation, Robotics and Applications (ICARA 2011)</i>.
    Wellington, New Zealand, 2011.
  ieee: C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “A Distributed Multi-UAV
    Path Planning Approach for 3D Environments,” 2011.
  mla: Rasche, Christoph, et al. “A Distributed Multi-UAV Path Planning Approach for
    3D Environments.” <i>The 5th International Conference on Automation, Robotics
    and Applications (ICARA 2011)</i>, 2011.
  short: 'C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: The 5th International
    Conference on Automation, Robotics and Applications (ICARA 2011), Wellington,
    New Zealand, 2011.'
date_created: 2021-10-21T09:57:11Z
date_updated: 2022-01-06T06:57:25Z
department:
- _id: '672'
language:
- iso: eng
place: Wellington, New Zealand,
publication: The 5th International Conference on Automation, Robotics and Applications
  (ICARA 2011)
status: public
title: A Distributed Multi-UAV Path Planning Approach for 3D Environments
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26663'
author:
- first_name: Emi
  full_name: Mathews, Emi
  last_name: Mathews
- first_name: Tobias
  full_name: Graf, Tobias
  last_name: Graf
- first_name: K. S. S. B.
  full_name: Kulathunga, K. S. S. B.
  last_name: Kulathunga
citation:
  ama: 'Mathews E, Graf T, Kulathunga KSSB. A Bio-inspired Coverage and Connectivity
    Maintenance Algorithm. In: <i>Sixth International ICST Conference on Bio-Inspired
    Models of Network, Information, and Computing Systems</i>. Lecture Notes of ICST;
    2011.'
  apa: Mathews, E., Graf, T., &#38; Kulathunga, K. S. S. B. (2011). A Bio-inspired
    Coverage and Connectivity Maintenance Algorithm. <i>Sixth International ICST Conference
    on Bio-Inspired Models of Network, Information, and Computing Systems</i>.
  bibtex: '@inproceedings{Mathews_Graf_Kulathunga_2011, title={A Bio-inspired Coverage
    and Connectivity Maintenance Algorithm}, booktitle={Sixth International ICST Conference
    on Bio-Inspired Models of Network, Information, and Computing Systems}, publisher={Lecture
    Notes of ICST}, author={Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S.
    B.}, year={2011} }'
  chicago: Mathews, Emi, Tobias Graf, and K. S. S. B. Kulathunga. “A Bio-Inspired
    Coverage and Connectivity Maintenance Algorithm.” In <i>Sixth International ICST
    Conference on Bio-Inspired Models of Network, Information, and Computing Systems</i>.
    Lecture Notes of ICST, 2011.
  ieee: E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “A Bio-inspired Coverage
    and Connectivity Maintenance Algorithm,” 2011.
  mla: Mathews, Emi, et al. “A Bio-Inspired Coverage and Connectivity Maintenance
    Algorithm.” <i>Sixth International ICST Conference on Bio-Inspired Models of Network,
    Information, and Computing Systems</i>, Lecture Notes of ICST, 2011.
  short: 'E. Mathews, T. Graf, K.S.S.B. Kulathunga, in: Sixth International ICST Conference
    on Bio-Inspired Models of Network, Information, and Computing Systems, Lecture
    Notes of ICST, 2011.'
date_created: 2021-10-21T10:02:44Z
date_updated: 2022-01-06T06:57:25Z
department:
- _id: '672'
language:
- iso: eng
publication: Sixth International ICST Conference on Bio-Inspired Models of Network,
  Information, and Computing Systems
publisher: Lecture Notes of ICST
status: public
title: A Bio-inspired Coverage and Connectivity Maintenance Algorithm
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26667'
author:
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Kuznik C, Müller W. Aspect enhanced functional coverage driven verification
    in the SystemC HDVL. In: <i>Proc. of the 8th International SoC Design Conference
    2011 (ISOCC 2011)</i>. ; 2011.'
  apa: Kuznik, C., &#38; Müller, W. (2011). Aspect enhanced functional coverage driven
    verification in the SystemC HDVL. <i>Proc. of the 8th International SoC Design
    Conference 2011 (ISOCC 2011)</i>.
  bibtex: '@inproceedings{Kuznik_Müller_2011, title={Aspect enhanced functional coverage
    driven verification in the SystemC HDVL}, booktitle={Proc. of the 8th International
    SoC Design Conference 2011 (ISOCC 2011)}, author={Kuznik, Christoph and Müller,
    Wolfgang}, year={2011} }'
  chicago: Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage
    Driven Verification in the SystemC HDVL.” In <i>Proc. of the 8th International
    SoC Design Conference 2011 (ISOCC 2011)</i>, 2011.
  ieee: C. Kuznik and W. Müller, “Aspect enhanced functional coverage driven verification
    in the SystemC HDVL,” 2011.
  mla: Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage
    Driven Verification in the SystemC HDVL.” <i>Proc. of the 8th International SoC
    Design Conference 2011 (ISOCC 2011)</i>, 2011.
  short: 'C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference
    2011 (ISOCC 2011), 2011.'
date_created: 2021-10-21T10:59:51Z
date_updated: 2022-01-06T06:57:25Z
department:
- _id: '672'
language:
- iso: eng
publication: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)
status: public
title: Aspect enhanced functional coverage driven verification in the SystemC HDVL
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26669'
author:
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Xie T, Müller W. IP-XACT based System Level Mutation Testing. In: <i>Proceedings
    of the 16th IEEE International High Level Design Validation and Test Workshop
    (HLDVT)</i>. ; 2011.'
  apa: Xie, T., &#38; Müller, W. (2011). IP-XACT based System Level Mutation Testing.
    <i>Proceedings of the 16th IEEE International High Level Design Validation and
    Test Workshop (HLDVT)</i>.
  bibtex: '@inproceedings{Xie_Müller_2011, title={IP-XACT based System Level Mutation
    Testing}, booktitle={Proceedings of the 16th IEEE International High Level Design
    Validation and Test Workshop (HLDVT)}, author={Xie, Tao and Müller, Wolfgang},
    year={2011} }'
  chicago: Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.”
    In <i>Proceedings of the 16th IEEE International High Level Design Validation
    and Test Workshop (HLDVT)</i>, 2011.
  ieee: T. Xie and W. Müller, “IP-XACT based System Level Mutation Testing,” 2011.
  mla: Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.”
    <i>Proceedings of the 16th IEEE International High Level Design Validation and
    Test Workshop (HLDVT)</i>, 2011.
  short: 'T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level
    Design Validation and Test Workshop (HLDVT), 2011.'
date_created: 2021-10-21T11:04:35Z
date_updated: 2022-01-06T06:57:25Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the 16th IEEE International High Level Design Validation
  and Test Workshop (HLDVT)
status: public
title: IP-XACT based System Level Mutation Testing
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26670'
author:
- first_name: Stefan
  full_name: Henkler, Stefan
  last_name: Henkler
- first_name: Simon
  full_name: Oberthür, Simon
  id: '383'
  last_name: Oberthür
- first_name: Holger
  full_name: Giese, Holger
  last_name: Giese
- first_name: Andreas
  full_name: Seibel, Andreas
  last_name: Seibel
citation:
  ama: Henkler S, Oberthür S, Giese H, Seibel A. Model-driven runtime resource predictions
    for advanced mechatronic systems with dynamic data structures. <i>International
    Journal of Computer Systems Science &#38; Engineering 26 (6)</i>. Published online
    2011.
  apa: Henkler, S., Oberthür, S., Giese, H., &#38; Seibel, A. (2011). Model-driven
    runtime resource predictions for advanced mechatronic systems with dynamic data
    structures. <i>International Journal of Computer Systems Science &#38; Engineering
    26 (6)</i>.
  bibtex: '@article{Henkler_Oberthür_Giese_Seibel_2011, title={Model-driven runtime
    resource predictions for advanced mechatronic systems with dynamic data structures},
    journal={International Journal of Computer Systems Science &#38; Engineering 26
    (6)}, author={Henkler, Stefan and Oberthür, Simon and Giese, Holger and Seibel,
    Andreas}, year={2011} }'
  chicago: Henkler, Stefan, Simon Oberthür, Holger Giese, and Andreas Seibel. “Model-Driven
    Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data
    Structures.” <i>International Journal of Computer Systems Science &#38; Engineering
    26 (6)</i>, 2011.
  ieee: S. Henkler, S. Oberthür, H. Giese, and A. Seibel, “Model-driven runtime resource
    predictions for advanced mechatronic systems with dynamic data structures,” <i>International
    Journal of Computer Systems Science &#38; Engineering 26 (6)</i>, 2011.
  mla: Henkler, Stefan, et al. “Model-Driven Runtime Resource Predictions for Advanced
    Mechatronic Systems with Dynamic Data Structures.” <i>International Journal of
    Computer Systems Science &#38; Engineering 26 (6)</i>, 2011.
  short: S. Henkler, S. Oberthür, H. Giese, A. Seibel, International Journal of Computer
    Systems Science &#38; Engineering 26 (6) (2011).
date_created: 2021-10-21T11:08:01Z
date_updated: 2022-01-06T06:57:25Z
department:
- _id: '672'
language:
- iso: eng
publication: International Journal of Computer Systems Science & Engineering 26 (6)
status: public
title: Model-driven runtime resource predictions for advanced mechatronic systems
  with dynamic data structures
type: journal_article
user_id: '21240'
year: '2011'
...