---
_id: '24545'
abstract:
- lang: eng
  text: this paper presents a new circuit for high-speed BiCMOS track-and-holds. The
    proposed approach improves the signal feedthrough in the hold mode and the bandwidth
    in the tracking mode. A prototype circuit is implemented in a 0.13 µm BiCMOS technology,
    operating at 10 GS/s and consuming 19 mW from 3.3 V supply. It is shown that the
    circuit is capable of providing a harmonic distortion below −50 dB.
author:
- first_name: Behnam
  full_name: Sedighi, Behnam
  last_name: Sedighi
- first_name: Yevgen
  full_name: Borokhovych, Yevgen
  last_name: Borokhovych
- first_name: Hans
  full_name: Gustat, Hans
  last_name: Gustat
- first_name: Christoph
  full_name: Scheytt, Christoph
  id: '37144'
  last_name: Scheytt
citation:
  ama: 'Sedighi B, Borokhovych Y, Gustat H, Scheytt C. Low-power BiCMOS track-and-hold
    circuit with reduced signal feedthrough. In: <i>Microwave Symposium Digest (MTT),
    2012 IEEE MTT-S International</i>. ; 2012:1-3. doi:<a href="https://doi.org/10.1109/MWSYM.2012.6259505">10.1109/MWSYM.2012.6259505</a>'
  apa: Sedighi, B., Borokhovych, Y., Gustat, H., &#38; Scheytt, C. (2012). Low-power
    BiCMOS track-and-hold circuit with reduced signal feedthrough. <i>Microwave Symposium
    Digest (MTT), 2012 IEEE MTT-S International</i>, 1–3. <a href="https://doi.org/10.1109/MWSYM.2012.6259505">https://doi.org/10.1109/MWSYM.2012.6259505</a>
  bibtex: '@inproceedings{Sedighi_Borokhovych_Gustat_Scheytt_2012, title={Low-power
    BiCMOS track-and-hold circuit with reduced signal feedthrough}, DOI={<a href="https://doi.org/10.1109/MWSYM.2012.6259505">10.1109/MWSYM.2012.6259505</a>},
    booktitle={Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International}, author={Sedighi,
    Behnam and Borokhovych, Yevgen and Gustat, Hans and Scheytt, Christoph}, year={2012},
    pages={1–3} }'
  chicago: Sedighi, Behnam, Yevgen Borokhovych, Hans Gustat, and Christoph Scheytt.
    “Low-Power BiCMOS Track-and-Hold Circuit with Reduced Signal Feedthrough.” In
    <i>Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International</i>, 1–3, 2012.
    <a href="https://doi.org/10.1109/MWSYM.2012.6259505">https://doi.org/10.1109/MWSYM.2012.6259505</a>.
  ieee: 'B. Sedighi, Y. Borokhovych, H. Gustat, and C. Scheytt, “Low-power BiCMOS
    track-and-hold circuit with reduced signal feedthrough,” in <i>Microwave Symposium
    Digest (MTT), 2012 IEEE MTT-S International</i>, 2012, pp. 1–3, doi: <a href="https://doi.org/10.1109/MWSYM.2012.6259505">10.1109/MWSYM.2012.6259505</a>.'
  mla: Sedighi, Behnam, et al. “Low-Power BiCMOS Track-and-Hold Circuit with Reduced
    Signal Feedthrough.” <i>Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International</i>,
    2012, pp. 1–3, doi:<a href="https://doi.org/10.1109/MWSYM.2012.6259505">10.1109/MWSYM.2012.6259505</a>.
  short: 'B. Sedighi, Y. Borokhovych, H. Gustat, C. Scheytt, in: Microwave Symposium
    Digest (MTT), 2012 IEEE MTT-S International, 2012, pp. 1–3.'
date_created: 2021-09-16T08:29:16Z
date_updated: 2022-01-06T06:56:27Z
department:
- _id: '58'
doi: 10.1109/MWSYM.2012.6259505
language:
- iso: eng
page: 1 -3
publication: Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International
related_material:
  link:
  - relation: confirmation
    url: https://ieeexplore.ieee.org/document/6259505
status: public
title: Low-power BiCMOS track-and-hold circuit with reduced signal feedthrough
type: conference
user_id: '15931'
year: '2012'
...
---
_id: '24546'
abstract:
- lang: eng
  text: this paper investigates low-power design of high-speed and high-swing electronic
    driver circuits. A method to estimate and optimize the power consumption of such
    driver ICs is presented. A 20-Gb/s driver circuit is fabricated in 0.25 µm SiGe
    BiCMOS process and an output swing of 2.5 V pp is measured. The driver consumes
    0.75 W from 5 V supply.
author:
- first_name: Behnam
  full_name: Sedighi, Behnam
  last_name: Sedighi
- first_name: Philip
  full_name: Ostrovskyy, Philip
  last_name: Ostrovskyy
- first_name: Christoph
  full_name: Scheytt, Christoph
  id: '37144'
  last_name: Scheytt
- first_name: Karl Stephan Christian
  full_name: Stille, Karl Stephan Christian
  last_name: Stille
- first_name: Joachim
  full_name: Böcker, Joachim
  last_name: Böcker
citation:
  ama: 'Sedighi B, Ostrovskyy P, Scheytt C, Stille KSC, Böcker J. Low-power 20-Gb/s
    SiGe BiCMOS driver with 2.5 V output swing. In: <i>Microwave Symposium Digest
    (MTT), 2012 IEEE MTT-S International</i>. ; 2012:1-3. doi:<a href="https://doi.org/10.1109/MWSYM.2012.6259502">10.1109/MWSYM.2012.6259502</a>'
  apa: Sedighi, B., Ostrovskyy, P., Scheytt, C., Stille, K. S. C., &#38; Böcker, J.
    (2012). Low-power 20-Gb/s SiGe BiCMOS driver with 2.5 V output swing. <i>Microwave
    Symposium Digest (MTT), 2012 IEEE MTT-S International</i>, 1–3. <a href="https://doi.org/10.1109/MWSYM.2012.6259502">https://doi.org/10.1109/MWSYM.2012.6259502</a>
  bibtex: '@inproceedings{Sedighi_Ostrovskyy_Scheytt_Stille_Böcker_2012, title={Low-power
    20-Gb/s SiGe BiCMOS driver with 2.5 V output swing}, DOI={<a href="https://doi.org/10.1109/MWSYM.2012.6259502">10.1109/MWSYM.2012.6259502</a>},
    booktitle={Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International}, author={Sedighi,
    Behnam and Ostrovskyy, Philip and Scheytt, Christoph and Stille, Karl Stephan
    Christian and Böcker, Joachim}, year={2012}, pages={1–3} }'
  chicago: Sedighi, Behnam, Philip Ostrovskyy, Christoph Scheytt, Karl Stephan Christian
    Stille, and Joachim Böcker. “Low-Power 20-Gb/s SiGe BiCMOS Driver with 2.5 V Output
    Swing.” In <i>Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International</i>,
    1–3, 2012. <a href="https://doi.org/10.1109/MWSYM.2012.6259502">https://doi.org/10.1109/MWSYM.2012.6259502</a>.
  ieee: 'B. Sedighi, P. Ostrovskyy, C. Scheytt, K. S. C. Stille, and J. Böcker, “Low-power
    20-Gb/s SiGe BiCMOS driver with 2.5 V output swing,” in <i>Microwave Symposium
    Digest (MTT), 2012 IEEE MTT-S International</i>, 2012, pp. 1–3, doi: <a href="https://doi.org/10.1109/MWSYM.2012.6259502">10.1109/MWSYM.2012.6259502</a>.'
  mla: Sedighi, Behnam, et al. “Low-Power 20-Gb/s SiGe BiCMOS Driver with 2.5 V Output
    Swing.” <i>Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International</i>,
    2012, pp. 1–3, doi:<a href="https://doi.org/10.1109/MWSYM.2012.6259502">10.1109/MWSYM.2012.6259502</a>.
  short: 'B. Sedighi, P. Ostrovskyy, C. Scheytt, K.S.C. Stille, J. Böcker, in: Microwave
    Symposium Digest (MTT), 2012 IEEE MTT-S International, 2012, pp. 1–3.'
date_created: 2021-09-16T08:29:18Z
date_updated: 2022-01-06T06:56:27Z
department:
- _id: '58'
doi: 10.1109/MWSYM.2012.6259502
language:
- iso: eng
page: 1 -3
publication: Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International
related_material:
  link:
  - relation: confirmation
    url: https://ieeexplore.ieee.org/document/6259502
status: public
title: Low-power 20-Gb/s SiGe BiCMOS driver with 2.5 V output swing
type: conference
user_id: '15931'
year: '2012'
...
---
_id: '25744'
author:
- first_name: M. tech. Mabel Mary
  full_name: Joy, M. tech. Mabel Mary
  last_name: Joy
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Emi
  full_name: Mathews, Emi
  last_name: Mathews
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Joy M tech. MM, Becker M, Mathews E, Müller W. Automated Source Code Annotation
    for Timing Analysis of Embedded Software. In: <i> In Proceedings of Advanced Computing
    and Communications Conference 2012 (ADCOM 2012)</i>. IEEE; 2012.'
  apa: Joy, M. tech. M. M., Becker, M., Mathews, E., &#38; Müller, W. (2012). Automated
    Source Code Annotation for Timing Analysis of Embedded Software. <i> In Proceedings
    of Advanced Computing and Communications Conference 2012 (ADCOM 2012)</i>.
  bibtex: '@inproceedings{Joy_Becker_Mathews_Müller_2012, title={Automated Source
    Code Annotation for Timing Analysis of Embedded Software}, booktitle={ In Proceedings
    of Advanced Computing and Communications Conference 2012 (ADCOM 2012)}, publisher={IEEE},
    author={Joy, M. tech. Mabel Mary and Becker, Markus and Mathews, Emi and Müller,
    Wolfgang}, year={2012} }'
  chicago: Joy, M. tech. Mabel Mary, Markus Becker, Emi Mathews, and Wolfgang Müller.
    “Automated Source Code Annotation for Timing Analysis of Embedded Software.” In
    <i> In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM
    2012)</i>. IEEE, 2012.
  ieee: M. tech. M. M. Joy, M. Becker, E. Mathews, and W. Müller, “Automated Source
    Code Annotation for Timing Analysis of Embedded Software,”  Bangalore, 14. - 16.
    Dez. 2012, IEEE, 2012.
  mla: Joy, M. tech. Mabel Mary, et al. “Automated Source Code Annotation for Timing
    Analysis of Embedded Software.” <i> In Proceedings of Advanced Computing and Communications
    Conference 2012 (ADCOM 2012)</i>, IEEE, 2012.
  short: 'M. tech. M.M. Joy, M. Becker, E. Mathews, W. Müller, in:  In Proceedings
    of Advanced Computing and Communications Conference 2012 (ADCOM 2012), IEEE, 2012.'
conference:
  location: ' Bangalore, 14. - 16. Dez. 2012, IEEE'
date_created: 2021-10-07T10:33:59Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: ' In Proceedings of Advanced Computing and Communications Conference
  2012 (ADCOM 2012)'
publisher: IEEE
status: public
title: Automated Source Code Annotation for Timing Analysis of Embedded Software
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25749'
author:
- first_name: Wolfgang
  full_name: Mauerer, Wolfgang
  last_name: Mauerer
- first_name: Gernot
  full_name: Hillier, Gernot
  last_name: Hillier
- first_name: Jan
  full_name: Sawallisch, Jan
  last_name: Sawallisch
- first_name: Stefan
  full_name: Hönick, Stefan
  last_name: Hönick
- first_name: Simon
  full_name: Oberthür, Simon
  id: '383'
  last_name: Oberthür
citation:
  ama: 'Mauerer W, Hillier G, Sawallisch J, Hönick S, Oberthür S. Real-Time Android:
    Deterministic Ease of Use. In: <i>Proceedings of Embedded Linux Conference Europe,
    5. - 7. Nov. 2012</i>. ; 2012.'
  apa: 'Mauerer, W., Hillier, G., Sawallisch, J., Hönick, S., &#38; Oberthür, S. (2012).
    Real-Time Android: Deterministic Ease of Use. <i>Proceedings of Embedded Linux
    Conference Europe, 5. - 7. Nov. 2012</i>.'
  bibtex: '@inproceedings{Mauerer_Hillier_Sawallisch_Hönick_Oberthür_2012, title={Real-Time
    Android: Deterministic Ease of Use}, booktitle={Proceedings of Embedded Linux
    Conference Europe, 5. - 7. Nov. 2012}, author={Mauerer, Wolfgang and Hillier,
    Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}, year={2012}
    }'
  chicago: 'Mauerer, Wolfgang, Gernot Hillier, Jan Sawallisch, Stefan Hönick, and
    Simon Oberthür. “Real-Time Android: Deterministic Ease of Use.” In <i>Proceedings
    of Embedded Linux Conference Europe, 5. - 7. Nov. 2012</i>, 2012.'
  ieee: 'W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time
    Android: Deterministic Ease of Use,” 2012.'
  mla: 'Mauerer, Wolfgang, et al. “Real-Time Android: Deterministic Ease of Use.”
    <i>Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012</i>, 2012.'
  short: 'W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings
    of Embedded Linux Conference Europe, 5. - 7. Nov. 2012, 2012.'
date_created: 2021-10-07T10:59:08Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012
status: public
title: 'Real-Time Android: Deterministic Ease of Use'
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25752'
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. Biologically Inspired Swarm Robotic Network
    Ensuring Coverage and Connectivity. In: <i>In Proceedings of IEEE International
    Conference on Systems, Man, and Cybernetics (SMC 2012)</i>. IEEE Computer Society;
    2012.'
  apa: Mathews, E., Graf, T., &#38; Kulathunga, K. S. S. B. (2012). Biologically Inspired
    Swarm Robotic Network Ensuring Coverage and Connectivity. <i>In Proceedings of
    IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)</i>.  14.
    - 17. Okt. 2012.
  bibtex: '@inproceedings{Mathews_Graf_Kulathunga_2012, title={Biologically Inspired
    Swarm Robotic Network Ensuring Coverage and Connectivity}, booktitle={In Proceedings
    of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)},
    publisher={IEEE Computer Society}, author={Mathews, Emi and Graf, Tobias and Kulathunga,
    K. S. S. B.}, year={2012} }'
  chicago: Mathews, Emi, Tobias Graf, and K. S. S. B. Kulathunga. “Biologically Inspired
    Swarm Robotic Network Ensuring Coverage and Connectivity.” In <i>In Proceedings
    of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)</i>.
    IEEE Computer Society, 2012.
  ieee: E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “Biologically Inspired Swarm
    Robotic Network Ensuring Coverage and Connectivity,” presented at the  14. - 17.
    Okt. 2012, 2012.
  mla: Mathews, Emi, et al. “Biologically Inspired Swarm Robotic Network Ensuring
    Coverage and Connectivity.” <i>In Proceedings of IEEE International Conference
    on Systems, Man, and Cybernetics (SMC 2012)</i>, IEEE Computer Society, 2012.
  short: 'E. Mathews, T. Graf, K.S.S.B. Kulathunga, in: In Proceedings of IEEE International
    Conference on Systems, Man, and Cybernetics (SMC 2012), IEEE Computer Society,
    2012.'
conference:
  name: ' 14. - 17. Okt. 2012'
date_created: 2021-10-07T11:03:25Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: In Proceedings of IEEE International Conference on Systems, Man, and
  Cybernetics (SMC 2012)
publisher: IEEE Computer Society
status: public
title: Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25758'
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Daniel
  full_name: Baldin, Daniel
  last_name: Baldin
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: M. tech. Mabel Mary
  full_name: Joy, M. tech. Mabel Mary
  last_name: Joy
- 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: 'Becker M, Baldin D, Kuznik C, Joy M tech. MM, Xie T, Müller W. XEMU: An Efficient
    QEMU Based Binary Mutation Testing Framework for Embedded Software. In: <i>EMSOFT’12:
    Teenth ACM International Conference on Embedded Software 2012 Proceedings </i>.
    ; 2012.'
  apa: 'Becker, M., Baldin, D., Kuznik, C., Joy, M. tech. M. M., Xie, T., &#38; Müller,
    W. (2012). XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for
    Embedded Software. <i>EMSOFT’12: Teenth ACM International Conference on Embedded
    Software 2012 Proceedings </i>.'
  bibtex: '@inproceedings{Becker_Baldin_Kuznik_Joy_Xie_Müller_2012, title={XEMU: An
    Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software},
    booktitle={EMSOFT’12: Teenth ACM International Conference on Embedded Software
    2012 Proceedings }, author={Becker, Markus and Baldin, Daniel and Kuznik, Christoph
    and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}, year={2012} }'
  chicago: 'Becker, Markus, Daniel Baldin, Christoph Kuznik, M. tech. Mabel Mary Joy,
    Tao Xie, and Wolfgang Müller. “XEMU: An Efficient QEMU Based Binary Mutation Testing
    Framework for Embedded Software.” In <i>EMSOFT’12: Teenth ACM International Conference
    on Embedded Software 2012 Proceedings </i>, 2012.'
  ieee: 'M. Becker, D. Baldin, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller,
    “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded
    Software,” 2012.'
  mla: 'Becker, Markus, et al. “XEMU: An Efficient QEMU Based Binary Mutation Testing
    Framework for Embedded Software.” <i>EMSOFT’12: Teenth ACM International Conference
    on Embedded Software 2012 Proceedings </i>, 2012.'
  short: 'M. Becker, D. Baldin, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in:
    EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings
    , 2012.'
date_created: 2021-10-07T11:11:30Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: 'EMSOFT''12: Teenth ACM International Conference on Embedded Software
  2012 Proceedings '
status: public
title: 'XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded
  Software'
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25761'
author:
- first_name: Marcio F.
  full_name: Oliveira, Marcio F.
  last_name: Oliveira
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Hoang M.
  full_name: Le, Hoang M.
  last_name: Le
- first_name: Daniel
  full_name: Große, Daniel
  last_name: Große
- first_name: Finn
  full_name: Haedicke, Finn
  last_name: Haedicke
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Rolf
  full_name: Drechsler, Rolf
  last_name: Drechsler
- first_name: Wolfgang
  full_name: Ecker, Wolfgang
  last_name: Ecker
- first_name: Volkan
  full_name: Esen, Volkan
  last_name: Esen
citation:
  ama: 'Oliveira MF, Kuznik C, Le HM, et al. The System Verification Methodology for
    Advanced TLM Verification. In: <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International
    Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>.
    ; 2012.'
  apa: 'Oliveira, M. F., Kuznik, C., Le, H. M., Große, D., Haedicke, F., Müller, W.,
    Drechsler, R., Ecker, W., &#38; Esen, V. (2012). The System Verification Methodology
    for Advanced TLM Verification. <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International
    Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>.'
  bibtex: '@inproceedings{Oliveira_Kuznik_Le_Große_Haedicke_Müller_Drechsler_Ecker_Esen_2012,
    title={The System Verification Methodology for Advanced TLM Verification}, booktitle={CODES/ISSS
    ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign
    and System Synthesis Proceedings}, author={Oliveira, Marcio F. and Kuznik, Christoph
    and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Müller, Wolfgang and
    Drechsler, Rolf and Ecker, Wolfgang and Esen, Volkan}, year={2012} }'
  chicago: 'Oliveira, Marcio F., Christoph Kuznik, Hoang M. Le, Daniel Große, Finn
    Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, and Volkan Esen. “The
    System Verification Methodology for Advanced TLM Verification.” In <i>CODES/ISSS
    ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign
    and System Synthesis Proceedings</i>, 2012.'
  ieee: M. F. Oliveira <i>et al.</i>, “The System Verification Methodology for Advanced
    TLM Verification,” 2012.
  mla: 'Oliveira, Marcio F., et al. “The System Verification Methodology for Advanced
    TLM Verification.” <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference
    on Hardware/Software Codesign and System Synthesis Proceedings</i>, 2012.'
  short: 'M.F. Oliveira, C. Kuznik, H.M. Le, D. Große, F. Haedicke, W. Müller, R.
    Drechsler, W. Ecker, V. Esen, in: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International
    Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.'
date_created: 2021-10-07T11:16:29Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: 'CODES/ISSS ''12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software
  Codesign and System Synthesis Proceedings'
status: public
title: The System Verification Methodology for Advanced TLM Verification
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25767'
author:
- first_name: Da
  full_name: He, Da
  last_name: He
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'He D, Müller W. A Heuristic Energy-Aware Approach for Hard Real-Time Systems
    on Multi-Core Platforms. In: <i>15th Euromicro Conference on Digital System Design
    (DSD)</i>. IEEE Xplore; 2012.'
  apa: He, D., &#38; Müller, W. (2012). A Heuristic Energy-Aware Approach for Hard
    Real-Time Systems on Multi-Core Platforms. <i>15th Euromicro Conference on Digital
    System Design (DSD)</i>.
  bibtex: '@inproceedings{He_Müller_2012, title={A Heuristic Energy-Aware Approach
    for Hard Real-Time Systems on Multi-Core Platforms}, booktitle={15th Euromicro
    Conference on Digital System Design (DSD)}, publisher={IEEE Xplore}, author={He,
    Da and Müller, Wolfgang}, year={2012} }'
  chicago: He, Da, and Wolfgang Müller. “A Heuristic Energy-Aware Approach for Hard
    Real-Time Systems on Multi-Core Platforms.” In <i>15th Euromicro Conference on
    Digital System Design (DSD)</i>. IEEE Xplore, 2012.
  ieee: D. He and W. Müller, “A Heuristic Energy-Aware Approach for Hard Real-Time
    Systems on Multi-Core Platforms,” 2012.
  mla: He, Da, and Wolfgang Müller. “A Heuristic Energy-Aware Approach for Hard Real-Time
    Systems on Multi-Core Platforms.” <i>15th Euromicro Conference on Digital System
    Design (DSD)</i>, IEEE Xplore, 2012.
  short: 'D. He, W. Müller, in: 15th Euromicro Conference on Digital System Design
    (DSD), IEEE Xplore, 2012.'
date_created: 2021-10-07T12:11:29Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: 15th Euromicro Conference on Digital System Design (DSD)
publisher: IEEE Xplore
status: public
title: A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core
  Platforms
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25776'
author:
- first_name: Christoph
  full_name: Rasche, Christoph
  last_name: Rasche
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Thomas
  full_name: Schierbaum, Thomas
  last_name: Schierbaum
- first_name: Benjamin
  full_name: Werdehausen, Benjamin
  last_name: Werdehausen
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Rasche C, Jungmann A, Schierbaum T, Werdehausen B, Kleinjohann B.  Towards
    Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. In: <i>
    IEEE 10th International Conference on Industrial Informatics,</i>. IEEE Xplore;
    2012.'
  apa: Rasche, C., Jungmann, A., Schierbaum, T., Werdehausen, B., &#38; Kleinjohann,
    B. (2012).  Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile
    Robots. <i> IEEE 10th International Conference on Industrial Informatics,</i>.
  bibtex: '@inproceedings{Rasche_Jungmann_Schierbaum_Werdehausen_Kleinjohann_2012,
    title={ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile
    Robots}, booktitle={ IEEE 10th International Conference on Industrial Informatics,},
    publisher={IEEE Xplore}, author={Rasche, Christoph and Jungmann, Alexander and
    Schierbaum, Thomas and Werdehausen, Benjamin and Kleinjohann, Bernd}, year={2012}
    }'
  chicago: Rasche, Christoph, Alexander Jungmann, Thomas Schierbaum, Benjamin Werdehausen,
    and Bernd Kleinjohann. “ Towards Hierarchical Self-Optimization in Autonomous
    Groups of Mobile Robots.” In <i> IEEE 10th International Conference on Industrial
    Informatics,</i>. IEEE Xplore, 2012.
  ieee: C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, and B. Kleinjohann,
    “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots,”
    2012.
  mla: Rasche, Christoph, et al. “ Towards Hierarchical Self-Optimization in Autonomous
    Groups of Mobile Robots.” <i> IEEE 10th International Conference on Industrial
    Informatics,</i> IEEE Xplore, 2012.
  short: 'C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, B. Kleinjohann, in:  IEEE
    10th International Conference on Industrial Informatics, IEEE Xplore, 2012.'
date_created: 2021-10-07T12:48:41Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: ' IEEE 10th International Conference on Industrial Informatics,'
publisher: IEEE Xplore
status: public
title: ' Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots'
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25777'
abstract:
- lang: eng
  text: "This paper presents a hierarchical hyprid planning approach developed for
    realizing self-optimizing mechatronic systems. The hybrid planning approach is
    based on a discrete plan and a forecast of continuous system behavior generated
    by simulation during runtime. This does not only allow an online adaptation of
    a previously generated plan with regard to the actual system state as well as
    the current environmental conditions, even the planning objectives may be adapted
    to newly arising needs during system operation. The planner exploits the hierarchy
    already present in the system model by considering hierarchical parameterizations
    of the system as a discrete dimension of choice. The parameterizations are proposed
    by a novel hierarchical multiobjective optimization, which calculates Pareto points
    in a bottom up fashion, taking into account the constraints imposed by lower levels
    of the system hierarchy on the higher ones. Evaluations of the hierarchical hybrid
    planner in the context of an innovative railbound transport system show that it
    outperforms its non-hierarchical predecessor.\r\n"
author:
- first_name: Natascha
  full_name: Esau, Natascha
  last_name: Esau
- first_name: Martin
  full_name: Krüger, Martin
  last_name: Krüger
- first_name: Christoph
  full_name: Rasche, Christoph
  last_name: Rasche
- first_name: Steffen
  full_name: Beringer, Steffen
  last_name: Beringer
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Esau N, Krüger M, Rasche C, Beringer S, Kleinjohann L, Kleinjohann B. Hierarchical
    Hybrid Planning for a Self-Optimizing Active Suspension System. In: <i>7th IEEE
    Conference in Industrial Electronics and Applications</i>. IEEE; 2012.'
  apa: Esau, N., Krüger, M., Rasche, C., Beringer, S., Kleinjohann, L., &#38; Kleinjohann,
    B. (2012). Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension
    System. <i>7th IEEE Conference in Industrial Electronics and Applications</i>.
  bibtex: '@inproceedings{Esau_Krüger_Rasche_Beringer_Kleinjohann_Kleinjohann_2012,
    place={Singapore}, title={Hierarchical Hybrid Planning for a Self-Optimizing Active
    Suspension System}, booktitle={7th IEEE Conference in Industrial Electronics and
    Applications}, publisher={IEEE}, author={Esau, Natascha and Krüger, Martin and
    Rasche, Christoph and Beringer, Steffen and Kleinjohann, Lisa and Kleinjohann,
    Bernd}, year={2012} }'
  chicago: 'Esau, Natascha, Martin Krüger, Christoph Rasche, Steffen Beringer, Lisa
    Kleinjohann, and Bernd Kleinjohann. “Hierarchical Hybrid Planning for a Self-Optimizing
    Active Suspension System.” In <i>7th IEEE Conference in Industrial Electronics
    and Applications</i>. Singapore: IEEE, 2012.'
  ieee: N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, and B. Kleinjohann,
    “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System,”
    Singapore, 18. - 20. Jul. 2012 IEEE, IEEE, 2012.
  mla: Esau, Natascha, et al. “Hierarchical Hybrid Planning for a Self-Optimizing
    Active Suspension System.” <i>7th IEEE Conference in Industrial Electronics and
    Applications</i>, IEEE, 2012.
  short: 'N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, B. Kleinjohann,
    in: 7th IEEE Conference in Industrial Electronics and Applications, IEEE, Singapore,
    2012.'
conference:
  location: Singapore, 18. - 20. Jul. 2012 IEEE, IEEE
date_created: 2021-10-07T12:56:39Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
place: Singapore
publication: 7th IEEE Conference in Industrial Electronics and Applications
publisher: IEEE
status: public
title: Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25781'
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. Evaluating Quality of Online
    Image Registration of Aerial Images Using Virtual Forces. In: <i>Proceedings of
    The 16th International Conference on Image Processing, Computer Vision, &#38;
    Pattern Recognition</i>. ; 2012.'
  apa: Stern, C., Rasche, C., Kleinjohann, L., &#38; Kleinjohann, B. (2012). Evaluating
    Quality of Online Image Registration of Aerial Images Using Virtual Forces. <i>Proceedings
    of The 16th International Conference on Image Processing, Computer Vision, &#38;
    Pattern Recognition</i>.
  bibtex: '@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2012, place={Las Vegas,
    Nevada, USA}, title={Evaluating Quality of Online Image Registration of Aerial
    Images Using Virtual Forces}, booktitle={Proceedings of The 16th International
    Conference on Image Processing, Computer Vision, &#38; Pattern Recognition}, author={Stern,
    Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd},
    year={2012} }'
  chicago: Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann.
    “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual
    Forces.” In <i>Proceedings of The 16th International Conference on Image Processing,
    Computer Vision, &#38; Pattern Recognition</i>. Las Vegas, Nevada, USA, 2012.
  ieee: C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Evaluating Quality
    of Online Image Registration of Aerial Images Using Virtual Forces,” 16. - 19.
    Jul. 2012; Las Vegas, Nevada, USA, 2012.
  mla: Stern, Claudius, et al. “Evaluating Quality of Online Image Registration of
    Aerial Images Using Virtual Forces.” <i>Proceedings of The 16th International
    Conference on Image Processing, Computer Vision, &#38; Pattern Recognition</i>,
    2012.
  short: 'C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of
    The 16th International Conference on Image Processing, Computer Vision, &#38;
    Pattern Recognition, Las Vegas, Nevada, USA, 2012.'
conference:
  location: 16. - 19. Jul. 2012; Las Vegas, Nevada, USA
date_created: 2021-10-07T13:00:52Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
place: Las Vegas, Nevada, USA
publication: Proceedings of The 16th International Conference on Image Processing,
  Computer Vision, & Pattern Recognition
status: public
title: Evaluating Quality of Online Image Registration of Aerial Images Using Virtual
  Forces
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25783'
author:
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
citation:
  ama: 'Grösbrink S. A First Step Towards Real-time Virtual Machine Migration in Heterogeneous
    Multi-Processor Systems. In: <i>Symposium on System-Integrated Intelligence</i>.
    ; 2012.'
  apa: Grösbrink, S. (2012). A First Step Towards Real-time Virtual Machine Migration
    in Heterogeneous Multi-Processor Systems. <i>Symposium on System-Integrated Intelligence</i>.
  bibtex: '@inproceedings{Grösbrink_2012, title={A First Step Towards Real-time Virtual
    Machine Migration in Heterogeneous Multi-Processor Systems}, booktitle={Symposium
    on System-integrated Intelligence}, author={Grösbrink, Stefan}, year={2012} }'
  chicago: Grösbrink, Stefan. “A First Step Towards Real-Time Virtual Machine Migration
    in Heterogeneous Multi-Processor Systems.” In <i>Symposium on System-Integrated
    Intelligence</i>, 2012.
  ieee: S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in
    Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 2012.
  mla: Grösbrink, Stefan. “A First Step Towards Real-Time Virtual Machine Migration
    in Heterogeneous Multi-Processor Systems.” <i>Symposium on System-Integrated Intelligence</i>,
    2012.
  short: 'S. Grösbrink, in: Symposium on System-Integrated Intelligence, 2012.'
conference:
  location: 27. - 29. Jun. 2012
date_created: 2021-10-07T13:05:50Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: Symposium on System-integrated Intelligence
status: public
title: A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor
  Systems
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26022'
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: M. tech. Mabel Mary
  full_name: Joy, M. tech. Mabel Mary
  last_name: Joy
- 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: 'Becker M, Kuznik C, Joy M tech. MM, Xie T, Müller W. Binary Mutation Testing
    Through Dynamic Translation. In: <i> 42nd Annual IEEE/IFIP International Conference
    on Dependable Systems and Networks (DSN)</i>. ; 2012.'
  apa: Becker, M., Kuznik, C., Joy, M. tech. M. M., Xie, T., &#38; Müller, W. (2012).
    Binary Mutation Testing Through Dynamic Translation. <i> 42nd Annual IEEE/IFIP
    International Conference on Dependable Systems and Networks (DSN)</i>.
  bibtex: '@inproceedings{Becker_Kuznik_Joy_Xie_Müller_2012, title={Binary Mutation
    Testing Through Dynamic Translation}, booktitle={ 42nd Annual IEEE/IFIP International
    Conference on Dependable Systems and Networks (DSN)}, author={Becker, Markus and
    Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang},
    year={2012} }'
  chicago: Becker, Markus, Christoph Kuznik, M. tech. Mabel Mary Joy, Tao Xie, and
    Wolfgang Müller. “Binary Mutation Testing Through Dynamic Translation.” In <i>
    42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks
    (DSN)</i>, 2012.
  ieee: M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation
    Testing Through Dynamic Translation,” 2012.
  mla: Becker, Markus, et al. “Binary Mutation Testing Through Dynamic Translation.”
    <i> 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks
    (DSN)</i>, 2012.
  short: 'M. Becker, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in:  42nd Annual
    IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.'
date_created: 2021-10-11T08:39:53Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
main_file_link:
- url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6263914&isnumber=6263904
publication: ' 42nd Annual IEEE/IFIP International Conference on Dependable Systems
  and Networks (DSN)'
status: public
title: Binary Mutation Testing Through Dynamic Translation
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26023'
author:
- first_name: Da
  full_name: He, Da
  last_name: He
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'He D, Müller W. Enhanced Schedulability Analysis of Hard Real-Time Systems
    on Power Manageable Multi-Core Platforms. In: <i>Third International Symposium
    on Advances in Embedded Systems and Applications (ESA-2012)</i>. IEEE Xplore;
    2012.'
  apa: He, D., &#38; Müller, W. (2012). Enhanced Schedulability Analysis of Hard Real-Time
    Systems on Power Manageable Multi-Core Platforms. <i>Third International Symposium
    on Advances in Embedded Systems and Applications (ESA-2012)</i>.
  bibtex: '@inproceedings{He_Müller_2012, title={Enhanced Schedulability Analysis
    of Hard Real-Time Systems on Power Manageable Multi-Core Platforms}, booktitle={Third
    International Symposium on Advances in Embedded Systems and Applications (ESA-2012)},
    publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }'
  chicago: He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard
    Real-Time Systems on Power Manageable Multi-Core Platforms.” In <i>Third International
    Symposium on Advances in Embedded Systems and Applications (ESA-2012)</i>. IEEE
    Xplore, 2012.
  ieee: D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems
    on Power Manageable Multi-Core Platforms,” 2012.
  mla: He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard Real-Time
    Systems on Power Manageable Multi-Core Platforms.” <i>Third International Symposium
    on Advances in Embedded Systems and Applications (ESA-2012)</i>, IEEE Xplore,
    2012.
  short: 'D. He, W. Müller, in: Third International Symposium on Advances in Embedded
    Systems and Applications (ESA-2012), IEEE Xplore, 2012.'
date_created: 2021-10-11T08:43:05Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
publication: Third International Symposium on Advances in Embedded Systems and Applications
  (ESA-2012)
publisher: IEEE Xplore
status: public
title: Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable
  Multi-Core Platforms
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26024'
author:
- first_name: Stephan
  full_name: Radke, Stephan
  last_name: Radke
- first_name: Steffen
  full_name: Rülke, Steffen
  last_name: Rülke
- first_name: Marcio F.
  full_name: Oliveira, Marcio 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: Wolfgang
  full_name: Ecker, Wolfgang
  last_name: Ecker
- first_name: Volkan
  full_name: Esen, Volkan
  last_name: Esen
- first_name: Simon
  full_name: Hufnagel, Simon
  last_name: Hufnagel
- first_name: Nico
  full_name: Bannow, Nico
  last_name: Bannow
- first_name: Jan-Hendrik
  full_name: Oetjens, Jan-Hendrik
  last_name: Oetjens
- first_name: Helmut
  full_name: Brazdrum, Helmut
  last_name: Brazdrum
- first_name: Peter
  full_name: Janssen, Peter
  last_name: Janssen
- first_name: Hoang M.
  full_name: Le, Hoang M.
  last_name: Le
- first_name: Daniel
  full_name: Große, Daniel
  last_name: Große
- first_name: Finn
  full_name: Haedicke, Finn
  last_name: Haedicke
- first_name: Rolf
  full_name: Drechsler, Rolf
  last_name: Drechsler
- first_name: Gernot
  full_name: Koch, Gernot
  last_name: Koch
- first_name: Andreas
  full_name: Burger, Andreas
  last_name: Burger
- first_name: Oliver
  full_name: Bringmann, Oliver
  last_name: Bringmann
- first_name: Wolfgang
  full_name: Rosenstiel, Wolfgang
  last_name: Rosenstiel
- first_name: Ralph
  full_name: Görgen, Ralph
  last_name: Görgen
citation:
  ama: 'Radke S, Rülke S, Oliveira MF, et al. Compilation of Methodologies to Speed
    up the Verification Process at System Level. In: <i>EdaWorkshop 12</i>. ; 2012.'
  apa: Radke, S., Rülke, S., Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., Esen,
    V., Hufnagel, S., Bannow, N., Oetjens, J.-H., Brazdrum, H., Janssen, P., Le, H.
    M., Große, D., Haedicke, F., Drechsler, R., Koch, G., Burger, A., Bringmann, O.,
    … Görgen, R. (2012). Compilation of Methodologies to Speed up the Verification
    Process at System Level. <i>EdaWorkshop 12</i>.
  bibtex: '@inproceedings{Radke_Rülke_Oliveira_Kuznik_Müller_Ecker_Esen_Hufnagel_Bannow_Oetjens_et
    al._2012, title={Compilation of Methodologies to Speed up the Verification Process
    at System Level}, booktitle={edaWorkshop 12}, author={Radke, Stephan and Rülke,
    Steffen and Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and
    Ecker, Wolfgang and Esen, Volkan and Hufnagel, Simon and Bannow, Nico and Oetjens,
    Jan-Hendrik and et al.}, year={2012} }'
  chicago: Radke, Stephan, Steffen Rülke, Marcio F. Oliveira, Christoph Kuznik, Wolfgang
    Müller, Wolfgang Ecker, Volkan Esen, et al. “Compilation of Methodologies to Speed
    up the Verification Process at System Level.” In <i>EdaWorkshop 12</i>, 2012.
  ieee: S. Radke <i>et al.</i>, “Compilation of Methodologies to Speed up the Verification
    Process at System Level,” 2012.
  mla: Radke, Stephan, et al. “Compilation of Methodologies to Speed up the Verification
    Process at System Level.” <i>EdaWorkshop 12</i>, 2012.
  short: 'S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen,
    S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große,
    F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R.
    Görgen, in: EdaWorkshop 12, 2012.'
date_created: 2021-10-11T08:54:53Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
main_file_link:
- url: http://www.vde-verlag.de/proceedings-de/563428010.html
publication: edaWorkshop 12
status: public
title: Compilation of Methodologies to Speed up the Verification Process at System
  Level
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26025'
author:
- first_name: Norma
  full_name: Montealegre, Norma
  last_name: Montealegre
- first_name: Sebastian
  full_name: Hagenkötter, Sebastian
  last_name: Hagenkötter
citation:
  ama: 'Montealegre N, Hagenkötter S. Process integrated wire-bond quality control
    by means of cytokine-Formal Immune Networks. In: <i>Journal of Intelligent Manufacturing
    23(3)</i>. Published online on June 2010; 2012:699-715.'
  apa: Montealegre, N., &#38; Hagenkötter, S. (2012). Process integrated wire-bond
    quality control by means of cytokine-Formal Immune Networks. In <i>Journal of
    Intelligent Manufacturing 23(3)</i> (pp. 699–715). Published online on June 2010.
  bibtex: '@inbook{Montealegre_Hagenkötter_2012, title={Process integrated wire-bond
    quality control by means of cytokine-Formal Immune Networks}, booktitle={Journal
    of Intelligent Manufacturing 23(3)}, publisher={Published online on June 2010},
    author={Montealegre, Norma and Hagenkötter, Sebastian}, year={2012}, pages={699–715}
    }'
  chicago: Montealegre, Norma, and Sebastian Hagenkötter. “Process Integrated Wire-Bond
    Quality Control by Means of Cytokine-Formal Immune Networks.” In <i>Journal of
    Intelligent Manufacturing 23(3)</i>, 699–715. Published online on June 2010, 2012.
  ieee: N. Montealegre and S. Hagenkötter, “Process integrated wire-bond quality control
    by means of cytokine-Formal Immune Networks,” in <i>Journal of Intelligent Manufacturing
    23(3)</i>, Published online on June 2010, 2012, pp. 699–715.
  mla: Montealegre, Norma, and Sebastian Hagenkötter. “Process Integrated Wire-Bond
    Quality Control by Means of Cytokine-Formal Immune Networks.” <i>Journal of Intelligent
    Manufacturing 23(3)</i>, Published online on June 2010, 2012, pp. 699–715.
  short: 'N. Montealegre, S. Hagenkötter, in: Journal of Intelligent Manufacturing
    23(3), Published online on June 2010, 2012, pp. 699–715.'
date_created: 2021-10-11T09:06:41Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
page: 699-715
publication: Journal of Intelligent Manufacturing 23(3)
publisher: Published online on June 2010
status: public
title: Process integrated wire-bond quality control by means of cytokine-Formal Immune
  Networks
type: book_chapter
user_id: '21240'
year: '2012'
...
---
_id: '26026'
author:
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
- first_name: Simon
  full_name: Oberthür, Simon
  id: '383'
  last_name: Oberthür
- first_name: Daniel
  full_name: Baldin, Daniel
  last_name: Baldin
citation:
  ama: 'Grösbrink S, Oberthür S, Baldin D. Towards Adaptive Resource Management for
    Virtualized Real-Time Systems. In: <i>4th Workshop on Adaptive and Reconfigurable
    Embedded Systems (CPSWeek 2012)</i>. ; 2012.'
  apa: Grösbrink, S., Oberthür, S., &#38; Baldin, D. (2012). Towards Adaptive Resource
    Management for Virtualized Real-Time Systems. <i>4th Workshop on Adaptive and
    Reconfigurable Embedded Systems (CPSWeek 2012)</i>. 16. - 19. Apr. 2012.
  bibtex: '@inproceedings{Grösbrink_Oberthür_Baldin_2012, title={Towards Adaptive
    Resource Management for Virtualized Real-Time Systems}, booktitle={4th Workshop
    on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)}, author={Grösbrink,
    Stefan and Oberthür, Simon and Baldin, Daniel}, year={2012} }'
  chicago: Grösbrink, Stefan, Simon Oberthür, and Daniel Baldin. “Towards Adaptive
    Resource Management for Virtualized Real-Time Systems.” In <i>4th Workshop on
    Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)</i>, 2012.
  ieee: S. Grösbrink, S. Oberthür, and D. Baldin, “Towards Adaptive Resource Management
    for Virtualized Real-Time Systems,” presented at the 16. - 19. Apr. 2012, 2012.
  mla: Grösbrink, Stefan, et al. “Towards Adaptive Resource Management for Virtualized
    Real-Time Systems.” <i>4th Workshop on Adaptive and Reconfigurable Embedded Systems
    (CPSWeek 2012)</i>, 2012.
  short: 'S. Grösbrink, S. Oberthür, D. Baldin, in: 4th Workshop on Adaptive and Reconfigurable
    Embedded Systems (CPSWeek 2012), 2012.'
conference:
  name: 16. - 19. Apr. 2012
date_created: 2021-10-11T09:09:04Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
publication: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek
  2012)
status: public
title: Towards Adaptive Resource Management for Virtualized Real-Time Systems
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26027'
author:
- first_name: Yuhong
  full_name: Zhao, Yuhong
  last_name: Zhao
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Zhao Y, Rammig F-J. Online Model Checking for Dependable Real-time Systems.
    In: <i>16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China</i>.  IEEE Computer Society; 2012:154-161.'
  apa: Zhao, Y., &#38; Rammig, F.-J. (2012). Online Model Checking for Dependable
    Real-time Systems. <i>16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China</i>, 154–161.
  bibtex: '@inproceedings{Zhao_Rammig_2012, title={Online Model Checking for Dependable
    Real-time Systems}, booktitle={16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China}, publisher={ IEEE Computer Society},
    author={Zhao, Yuhong and Rammig, Franz-Josef}, year={2012}, pages={154–161} }'
  chicago: Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable
    Real-Time Systems.” In <i>16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China</i>, 154–61.  IEEE Computer Society,
    2012.
  ieee: Y. Zhao and F.-J. Rammig, “Online Model Checking for Dependable Real-time
    Systems,” in <i>16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China</i>, 2012, pp. 154–161.
  mla: Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable
    Real-Time Systems.” <i>16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China</i>,  IEEE Computer Society, 2012,
    pp. 154–61.
  short: 'Y. Zhao, F.-J. Rammig, in: 16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China,  IEEE Computer Society, 2012,
    pp. 154–161.'
conference:
  name: 11. - 13. Apr. 2012 IEEE Computer Society,
date_created: 2021-10-11T09:35:46Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
page: 154-161
publication: 16th IEEE International Symposium on Object/Component/Service-Oriented
  Real-Time Distributed Computing-Shenzhen, China
publisher: ' IEEE Computer Society'
status: public
title: Online Model Checking for Dependable Real-time Systems
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26028'
author:
- first_name: Norma
  full_name: Montealegre, Norma
  last_name: Montealegre
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Montealegre N, Rammig F-J. Agent-Based Modeling and Simulation of Artificial
    Immune Systems. In: <i>Third IEEE Workshop on Self-Organizing Real-Time Systems
    (SORT 2012)</i>. ; 2012.'
  apa: Montealegre, N., &#38; Rammig, F.-J. (2012). Agent-Based Modeling and Simulation
    of Artificial Immune Systems. <i>Third IEEE Workshop on Self-Organizing Real-Time
    Systems (SORT 2012)</i>.
  bibtex: '@inproceedings{Montealegre_Rammig_2012, place={Shenzhen, China}, title={Agent-Based
    Modeling and Simulation of Artificial Immune Systems}, booktitle={Third IEEE Workshop
    on Self-Organizing Real-Time Systems (SORT 2012)}, author={Montealegre, Norma
    and Rammig, Franz-Josef}, year={2012} }'
  chicago: Montealegre, Norma, and Franz-Josef Rammig. “Agent-Based Modeling and Simulation
    of Artificial Immune Systems.” In <i>Third IEEE Workshop on Self-Organizing Real-Time
    Systems (SORT 2012)</i>. Shenzhen, China, 2012.
  ieee: N. Montealegre and F.-J. Rammig, “Agent-Based Modeling and Simulation of Artificial
    Immune Systems,” 2012.
  mla: Montealegre, Norma, and Franz-Josef Rammig. “Agent-Based Modeling and Simulation
    of Artificial Immune Systems.” <i>Third IEEE Workshop on Self-Organizing Real-Time
    Systems (SORT 2012)</i>, 2012.
  short: 'N. Montealegre, F.-J. Rammig, in: Third IEEE Workshop on Self-Organizing
    Real-Time Systems (SORT 2012), Shenzhen, China, 2012.'
date_created: 2021-10-11T09:49:33Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
place: Shenzhen, China
publication: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)
status: public
title: Agent-Based Modeling and Simulation of Artificial Immune Systems
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26029'
author:
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Rammig F-J. Self-Coordination as Fundamental Concept for Cyber Physical Systems.
    In: <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>. SBC;
    2012:45-48.'
  apa: Rammig, F.-J. (2012). Self-Coordination as Fundamental Concept for Cyber Physical
    Systems. <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>,
    45–48.
  bibtex: '@inproceedings{Rammig_2012, place={Ouro Preto, Brazil}, title={Self-Coordination
    as Fundamental Concept for Cyber Physical Systems}, booktitle={2nd SBC Workshop
    on Autonomic Distributed Systems - WoSiDA 2012}, publisher={SBC}, author={Rammig,
    Franz-Josef}, year={2012}, pages={45–48} }'
  chicago: 'Rammig, Franz-Josef. “Self-Coordination as Fundamental Concept for Cyber
    Physical Systems.” In <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA
    2012</i>, 45–48. Ouro Preto, Brazil: SBC, 2012.'
  ieee: F.-J. Rammig, “Self-Coordination as Fundamental Concept for Cyber Physical
    Systems,” in <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>,
    2012, pp. 45–48.
  mla: Rammig, Franz-Josef. “Self-Coordination as Fundamental Concept for Cyber Physical
    Systems.” <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>,
    SBC, 2012, pp. 45–48.
  short: 'F.-J. Rammig, in: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA
    2012, SBC, Ouro Preto, Brazil, 2012, pp. 45–48.'
date_created: 2021-10-11T09:54:50Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
page: 45-48
place: Ouro Preto, Brazil
publication: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012
publisher: SBC
status: public
title: Self-Coordination as Fundamental Concept for Cyber Physical Systems
type: conference
user_id: '21240'
year: '2012'
...