---
_id: '63890'
abstract:
- lang: eng
  text: The computation of highly contracted electron repulsion integrals (ERIs) is
    essential to achieve quantum accuracy in atomistic simulations based on quantum
    mechanics. Its growing computational demands make energy efficiency a critical
    concern. Recent studies demonstrate FPGAs’ superior performance and energy efficiency
    for computing primitive ERIs, but the computation of highly contracted ERIs introduces
    significant algorithmic complexity and new design challenges for FPGA acceleration.In
    this work, we present SORCERI, the first streaming overlay acceleration for highly
    contracted ERI computations on FPGAs. SORCERI introduces a novel streaming Rys
    computing unit to calculate roots and weights of Rys polynomials on-chip, and
    a streaming contraction unit for the contraction of primitive ERIs. This shifts
    the design bottleneck from limited CPU-FPGA communication bandwidth to available
    FPGA computation resources. To address practical deployment challenges for a large
    number of quartet classes, we design three streaming overlays, together with an
    efficient memory transpose optimization, to cover the 21 most commonly used quartet
    classes in realistic atomistic simulations. To address the new computation constraints,
    we use flexible calculation stages with a free-running streaming architecture
    to achieve high DSP utilization and good timing closure.Experiments demonstrate
    that SORCERI achieves an average 5.96x, 1.99x, and 1.16x better performance per
    watt than libint on a 64-core AMD EPYC 7713 CPU, libintx on an Nvidia A40 GPU,
    and SERI, the prior best-performing FPGA design for primitive ERIs. Furthermore,
    SORCERI reaches a peak throughput of 44.11 GERIS (109 ERIs per second) that is
    1.52x, 1.13x, and 1.93x greater than libint, libintx and SERI, respectively. SORCERI
    will be released soon at https://github.com/SFU-HiAccel/SORCERI.
author:
- first_name: Philip
  full_name: Stachura, Philip
  last_name: Stachura
- first_name: Xin
  full_name: Wu, Xin
  id: '77439'
  last_name: Wu
- first_name: Christian
  full_name: Plessl, Christian
  id: '16153'
  last_name: Plessl
  orcid: 0000-0001-5728-9982
- first_name: Zhenman
  full_name: Fang, Zhenman
  last_name: Fang
citation:
  ama: 'Stachura P, Wu X, Plessl C, Fang Z. SORCERI: Streaming Overlay Acceleration
    for Highly Contracted Electron Repulsion Integral Computations in Quantum Chemistry.
    In: <i>Proceedings of the 2026 ACM/SIGDA International Symposium on Field Programmable
    Gate Arrays (FPGA ’26)</i>. Association for Computing Machinery; 2026:224-234.
    doi:<a href="https://doi.org/10.1145/3748173.3779198">10.1145/3748173.3779198</a>'
  apa: 'Stachura, P., Wu, X., Plessl, C., &#38; Fang, Z. (2026). SORCERI: Streaming
    Overlay Acceleration for Highly Contracted Electron Repulsion Integral Computations
    in Quantum Chemistry. <i>Proceedings of the 2026 ACM/SIGDA International Symposium
    on Field Programmable Gate Arrays (FPGA ’26)</i>, 224–234. <a href="https://doi.org/10.1145/3748173.3779198">https://doi.org/10.1145/3748173.3779198</a>'
  bibtex: '@inproceedings{Stachura_Wu_Plessl_Fang_2026, place={New York, NY, USA},
    title={SORCERI: Streaming Overlay Acceleration for Highly Contracted Electron
    Repulsion Integral Computations in Quantum Chemistry}, DOI={<a href="https://doi.org/10.1145/3748173.3779198">10.1145/3748173.3779198</a>},
    booktitle={Proceedings of the 2026 ACM/SIGDA International Symposium on Field
    Programmable Gate Arrays (FPGA ’26)}, publisher={Association for Computing Machinery},
    author={Stachura, Philip and Wu, Xin and Plessl, Christian and Fang, Zhenman},
    year={2026}, pages={224–234} }'
  chicago: 'Stachura, Philip, Xin Wu, Christian Plessl, and Zhenman Fang. “SORCERI:
    Streaming Overlay Acceleration for Highly Contracted Electron Repulsion Integral
    Computations in Quantum Chemistry.” In <i>Proceedings of the 2026 ACM/SIGDA International
    Symposium on Field Programmable Gate Arrays (FPGA ’26)</i>, 224–34. New York,
    NY, USA: Association for Computing Machinery, 2026. <a href="https://doi.org/10.1145/3748173.3779198">https://doi.org/10.1145/3748173.3779198</a>.'
  ieee: 'P. Stachura, X. Wu, C. Plessl, and Z. Fang, “SORCERI: Streaming Overlay Acceleration
    for Highly Contracted Electron Repulsion Integral Computations in Quantum Chemistry,”
    in <i>Proceedings of the 2026 ACM/SIGDA International Symposium on Field Programmable
    Gate Arrays (FPGA ’26)</i>, 2026, pp. 224–234, doi: <a href="https://doi.org/10.1145/3748173.3779198">10.1145/3748173.3779198</a>.'
  mla: 'Stachura, Philip, et al. “SORCERI: Streaming Overlay Acceleration for Highly
    Contracted Electron Repulsion Integral Computations in Quantum Chemistry.” <i>Proceedings
    of the 2026 ACM/SIGDA International Symposium on Field Programmable Gate Arrays
    (FPGA ’26)</i>, Association for Computing Machinery, 2026, pp. 224–34, doi:<a
    href="https://doi.org/10.1145/3748173.3779198">10.1145/3748173.3779198</a>.'
  short: 'P. Stachura, X. Wu, C. Plessl, Z. Fang, in: Proceedings of the 2026 ACM/SIGDA
    International Symposium on Field Programmable Gate Arrays (FPGA ’26), Association
    for Computing Machinery, New York, NY, USA, 2026, pp. 224–234.'
date_created: 2026-02-06T06:43:22Z
date_updated: 2026-02-09T09:16:32Z
department:
- _id: '27'
- _id: '518'
doi: 10.1145/3748173.3779198
keyword:
- electron repulsion integrals
- quantum chemistry
- atomistic simulation
- overlay architecture
- fpga acceleration
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/doi/10.1145/3748173.3779198
page: 224-234
place: New York, NY, USA
project:
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Proceedings of the 2026 ACM/SIGDA International Symposium on Field Programmable
  Gate Arrays (FPGA '26)
publication_identifier:
  isbn:
  - '9798400720796'
publication_status: published
publisher: Association for Computing Machinery
status: public
title: 'SORCERI: Streaming Overlay Acceleration for Highly Contracted Electron Repulsion
  Integral Computations in Quantum Chemistry'
type: conference
user_id: '77439'
year: '2026'
...
---
_id: '64820'
abstract:
- lang: eng
  text: Political goals, emerging EU sustainability regulations, and industrial digitalization
    are driving the introduction of Digital Product Passports (DPPs) to enhance transparency,
    traceability, and compliance across product life cycles. However, the appropriate
    granularity of DPP integration across product architectures remains ambiguous.
    This paper introduces a structured, decision-oriented framework that links product
    structure, regulatory relevance, and information depth to define consistent DPP
    levels, supporting both industry implementation and future standardization.
author:
- first_name: Katharina
  full_name: Rohde, Katharina
  id: '70143'
  last_name: Rohde
  orcid: 0009-0000-5738-7304
- first_name: Finn Lukas
  full_name: Budde, Finn Lukas
  id: '74585'
  last_name: Budde
- first_name: Bárbara
  full_name: Patrício, Bárbara
  last_name: Patrício
- first_name: Tânia
  full_name: Ferreira, Tânia
  last_name: Ferreira
- first_name: Ana
  full_name: Gonçalves, Ana
  last_name: Gonçalves
- first_name: Manuel
  full_name: Ott, Manuel
  id: '44204'
  last_name: Ott
- first_name: Iryna
  full_name: Mozgova, Iryna
  id: '95903'
  last_name: Mozgova
citation:
  ama: 'Rohde K, Budde FL, Patrício B, et al. Digital product passports and the challenge
    of product structure granularity: A decision-making framework for the level of
    DPP integration. In: <i>Proceedings of the Design Society</i>. Vol 6.'
  apa: 'Rohde, K., Budde, F. L., Patrício, B., Ferreira, T., Gonçalves, A., Ott, M.,
    &#38; Mozgova, I. (n.d.). Digital product passports and the challenge of product
    structure granularity: A decision-making framework for the level of DPP integration.
    <i>Proceedings of the Design Society</i>, <i>6</i>.'
  bibtex: '@inproceedings{Rohde_Budde_Patrício_Ferreira_Gonçalves_Ott_Mozgova, title={Digital
    product passports and the challenge of product structure granularity: A decision-making
    framework for the level of DPP integration}, volume={6}, booktitle={Proceedings
    of the Design Society}, author={Rohde, Katharina and Budde, Finn Lukas and Patrício,
    Bárbara and Ferreira, Tânia and Gonçalves, Ana and Ott, Manuel and Mozgova, Iryna}
    }'
  chicago: 'Rohde, Katharina, Finn Lukas Budde, Bárbara Patrício, Tânia Ferreira,
    Ana Gonçalves, Manuel Ott, and Iryna Mozgova. “Digital Product Passports and the
    Challenge of Product Structure Granularity: A Decision-Making Framework for the
    Level of DPP Integration.” In <i>Proceedings of the Design Society</i>, Vol. 6,
    n.d.'
  ieee: 'K. Rohde <i>et al.</i>, “Digital product passports and the challenge of product
    structure granularity: A decision-making framework for the level of DPP integration,”
    in <i>Proceedings of the Design Society</i>, Cavtat, Dubrovnik, Croatia, vol.
    6.'
  mla: 'Rohde, Katharina, et al. “Digital Product Passports and the Challenge of Product
    Structure Granularity: A Decision-Making Framework for the Level of DPP Integration.”
    <i>Proceedings of the Design Society</i>, vol. 6.'
  short: 'K. Rohde, F.L. Budde, B. Patrício, T. Ferreira, A. Gonçalves, M. Ott, I.
    Mozgova, in: Proceedings of the Design Society, n.d.'
conference:
  end_date: 2026-05-21
  location: Cavtat, Dubrovnik, Croatia
  name: 19th International Design Conference - DESIGN 2026
  start_date: 2026-05-18
date_created: 2026-03-03T11:26:07Z
date_updated: 2026-03-03T11:26:11Z
department:
- _id: '741'
intvolume: '         6'
keyword:
- digital product passport
- product architecture
- circular economy
- information granularity
- decision-making framework
language:
- iso: eng
publication: Proceedings of the Design Society
publication_status: accepted
quality_controlled: '1'
status: public
title: 'Digital product passports and the challenge of product structure granularity:
  A decision-making framework for the level of DPP integration'
type: conference
user_id: '70143'
volume: 6
year: '2026'
...
---
_id: '53213'
article_number: '101027'
author:
- first_name: Arman
  full_name: Amiri, Arman
  last_name: Amiri
- first_name: Madjid
  full_name: Tavana, Madjid
  id: '31858'
  last_name: Tavana
- first_name: Hosein
  full_name: Arman, Hosein
  last_name: Arman
citation:
  ama: Amiri A, Tavana M, Arman H. An Integrated Fuzzy Analytic Network Process and
    Fuzzy Regression Method for Bitcoin Price Prediction. <i>Internet of Things</i>.
    2024;25. doi:<a href="https://doi.org/10.1016/j.iot.2023.101027">10.1016/j.iot.2023.101027</a>
  apa: Amiri, A., Tavana, M., &#38; Arman, H. (2024). An Integrated Fuzzy Analytic
    Network Process and Fuzzy Regression Method for Bitcoin Price Prediction. <i>Internet
    of Things</i>, <i>25</i>, Article 101027. <a href="https://doi.org/10.1016/j.iot.2023.101027">https://doi.org/10.1016/j.iot.2023.101027</a>
  bibtex: '@article{Amiri_Tavana_Arman_2024, title={An Integrated Fuzzy Analytic Network
    Process and Fuzzy Regression Method for Bitcoin Price Prediction}, volume={25},
    DOI={<a href="https://doi.org/10.1016/j.iot.2023.101027">10.1016/j.iot.2023.101027</a>},
    number={101027}, journal={Internet of Things}, publisher={Elsevier BV}, author={Amiri,
    Arman and Tavana, Madjid and Arman, Hosein}, year={2024} }'
  chicago: Amiri, Arman, Madjid Tavana, and Hosein Arman. “An Integrated Fuzzy Analytic
    Network Process and Fuzzy Regression Method for Bitcoin Price Prediction.” <i>Internet
    of Things</i> 25 (2024). <a href="https://doi.org/10.1016/j.iot.2023.101027">https://doi.org/10.1016/j.iot.2023.101027</a>.
  ieee: 'A. Amiri, M. Tavana, and H. Arman, “An Integrated Fuzzy Analytic Network
    Process and Fuzzy Regression Method for Bitcoin Price Prediction,” <i>Internet
    of Things</i>, vol. 25, Art. no. 101027, 2024, doi: <a href="https://doi.org/10.1016/j.iot.2023.101027">10.1016/j.iot.2023.101027</a>.'
  mla: Amiri, Arman, et al. “An Integrated Fuzzy Analytic Network Process and Fuzzy
    Regression Method for Bitcoin Price Prediction.” <i>Internet of Things</i>, vol.
    25, 101027, Elsevier BV, 2024, doi:<a href="https://doi.org/10.1016/j.iot.2023.101027">10.1016/j.iot.2023.101027</a>.
  short: A. Amiri, M. Tavana, H. Arman, Internet of Things 25 (2024).
date_created: 2024-04-04T13:34:26Z
date_updated: 2024-04-15T13:08:17Z
department:
- _id: '277'
doi: 10.1016/j.iot.2023.101027
intvolume: '        25'
keyword:
- Management of Technology and Innovation
- Artificial Intelligence
- Computer Science Applications
- Hardware and Architecture
- Engineering (miscellaneous)
- Information Systems
- Computer Science (miscellaneous)
- Software
language:
- iso: eng
publication: Internet of Things
publication_identifier:
  issn:
  - 2542-6605
publication_status: published
publisher: Elsevier BV
status: public
title: An Integrated Fuzzy Analytic Network Process and Fuzzy Regression Method for
  Bitcoin Price Prediction
type: journal_article
user_id: '51811'
volume: 25
year: '2024'
...
---
_id: '53212'
author:
- first_name: Ehsan
  full_name: Mahmoodi, Ehsan
  last_name: Mahmoodi
- first_name: Masood
  full_name: Fathi, Masood
  last_name: Fathi
- first_name: Madjid
  full_name: Tavana, Madjid
  id: '31858'
  last_name: Tavana
- first_name: Morteza
  full_name: Ghobakhloo, Morteza
  last_name: Ghobakhloo
- first_name: Amos H.C.
  full_name: Ng, Amos H.C.
  last_name: Ng
citation:
  ama: Mahmoodi E, Fathi M, Tavana M, Ghobakhloo M, Ng AHC. Data-driven simulation-based
    decision support system for resource allocation in industry 4.0 and smart manufacturing.
    <i>Journal of Manufacturing Systems</i>. 2024;72:287-307. doi:<a href="https://doi.org/10.1016/j.jmsy.2023.11.019">10.1016/j.jmsy.2023.11.019</a>
  apa: Mahmoodi, E., Fathi, M., Tavana, M., Ghobakhloo, M., &#38; Ng, A. H. C. (2024).
    Data-driven simulation-based decision support system for resource allocation in
    industry 4.0 and smart manufacturing. <i>Journal of Manufacturing Systems</i>,
    <i>72</i>, 287–307. <a href="https://doi.org/10.1016/j.jmsy.2023.11.019">https://doi.org/10.1016/j.jmsy.2023.11.019</a>
  bibtex: '@article{Mahmoodi_Fathi_Tavana_Ghobakhloo_Ng_2024, title={Data-driven simulation-based
    decision support system for resource allocation in industry 4.0 and smart manufacturing},
    volume={72}, DOI={<a href="https://doi.org/10.1016/j.jmsy.2023.11.019">10.1016/j.jmsy.2023.11.019</a>},
    journal={Journal of Manufacturing Systems}, publisher={Elsevier BV}, author={Mahmoodi,
    Ehsan and Fathi, Masood and Tavana, Madjid and Ghobakhloo, Morteza and Ng, Amos
    H.C.}, year={2024}, pages={287–307} }'
  chicago: 'Mahmoodi, Ehsan, Masood Fathi, Madjid Tavana, Morteza Ghobakhloo, and
    Amos H.C. Ng. “Data-Driven Simulation-Based Decision Support System for Resource
    Allocation in Industry 4.0 and Smart Manufacturing.” <i>Journal of Manufacturing
    Systems</i> 72 (2024): 287–307. <a href="https://doi.org/10.1016/j.jmsy.2023.11.019">https://doi.org/10.1016/j.jmsy.2023.11.019</a>.'
  ieee: 'E. Mahmoodi, M. Fathi, M. Tavana, M. Ghobakhloo, and A. H. C. Ng, “Data-driven
    simulation-based decision support system for resource allocation in industry 4.0
    and smart manufacturing,” <i>Journal of Manufacturing Systems</i>, vol. 72, pp.
    287–307, 2024, doi: <a href="https://doi.org/10.1016/j.jmsy.2023.11.019">10.1016/j.jmsy.2023.11.019</a>.'
  mla: Mahmoodi, Ehsan, et al. “Data-Driven Simulation-Based Decision Support System
    for Resource Allocation in Industry 4.0 and Smart Manufacturing.” <i>Journal of
    Manufacturing Systems</i>, vol. 72, Elsevier BV, 2024, pp. 287–307, doi:<a href="https://doi.org/10.1016/j.jmsy.2023.11.019">10.1016/j.jmsy.2023.11.019</a>.
  short: E. Mahmoodi, M. Fathi, M. Tavana, M. Ghobakhloo, A.H.C. Ng, Journal of Manufacturing
    Systems 72 (2024) 287–307.
date_created: 2024-04-04T13:33:48Z
date_updated: 2024-04-15T13:08:02Z
department:
- _id: '277'
doi: 10.1016/j.jmsy.2023.11.019
intvolume: '        72'
keyword:
- Industrial and Manufacturing Engineering
- Hardware and Architecture
- Software
- Control and Systems Engineering
language:
- iso: eng
page: 287-307
publication: Journal of Manufacturing Systems
publication_identifier:
  issn:
  - 0278-6125
publication_status: published
publisher: Elsevier BV
status: public
title: Data-driven simulation-based decision support system for resource allocation
  in industry 4.0 and smart manufacturing
type: journal_article
user_id: '51811'
volume: 72
year: '2024'
...
---
_id: '58224'
author:
- first_name: Philip
  full_name: Kenneweg, Philip
  last_name: Kenneweg
- first_name: Tristan
  full_name: Kenneweg, Tristan
  last_name: Kenneweg
- first_name: Fabian
  full_name: Fumagalli, Fabian
  last_name: Fumagalli
- first_name: Barbara
  full_name: Hammer, Barbara
  last_name: Hammer
citation:
  ama: 'Kenneweg P, Kenneweg T, Fumagalli F, Hammer B. No learning rates needed: Introducing
    SALSA - Stable Armijo Line Search Adaptation. In: <i>2024 International Joint
    Conference on Neural Networks (IJCNN)</i>. ; 2024:1-8. doi:<a href="https://doi.org/10.1109/IJCNN60899.2024.10650124">10.1109/IJCNN60899.2024.10650124</a>'
  apa: 'Kenneweg, P., Kenneweg, T., Fumagalli, F., &#38; Hammer, B. (2024). No learning
    rates needed: Introducing SALSA - Stable Armijo Line Search Adaptation. <i>2024
    International Joint Conference on Neural Networks (IJCNN)</i>, 1–8. <a href="https://doi.org/10.1109/IJCNN60899.2024.10650124">https://doi.org/10.1109/IJCNN60899.2024.10650124</a>'
  bibtex: '@inproceedings{Kenneweg_Kenneweg_Fumagalli_Hammer_2024, title={No learning
    rates needed: Introducing SALSA - Stable Armijo Line Search Adaptation}, DOI={<a
    href="https://doi.org/10.1109/IJCNN60899.2024.10650124">10.1109/IJCNN60899.2024.10650124</a>},
    booktitle={2024 International Joint Conference on Neural Networks (IJCNN)}, author={Kenneweg,
    Philip and Kenneweg, Tristan and Fumagalli, Fabian and Hammer, Barbara}, year={2024},
    pages={1–8} }'
  chicago: 'Kenneweg, Philip, Tristan Kenneweg, Fabian Fumagalli, and Barbara Hammer.
    “No Learning Rates Needed: Introducing SALSA - Stable Armijo Line Search Adaptation.”
    In <i>2024 International Joint Conference on Neural Networks (IJCNN)</i>, 1–8,
    2024. <a href="https://doi.org/10.1109/IJCNN60899.2024.10650124">https://doi.org/10.1109/IJCNN60899.2024.10650124</a>.'
  ieee: 'P. Kenneweg, T. Kenneweg, F. Fumagalli, and B. Hammer, “No learning rates
    needed: Introducing SALSA - Stable Armijo Line Search Adaptation,” in <i>2024
    International Joint Conference on Neural Networks (IJCNN)</i>, 2024, pp. 1–8,
    doi: <a href="https://doi.org/10.1109/IJCNN60899.2024.10650124">10.1109/IJCNN60899.2024.10650124</a>.'
  mla: 'Kenneweg, Philip, et al. “No Learning Rates Needed: Introducing SALSA - Stable
    Armijo Line Search Adaptation.” <i>2024 International Joint Conference on Neural
    Networks (IJCNN)</i>, 2024, pp. 1–8, doi:<a href="https://doi.org/10.1109/IJCNN60899.2024.10650124">10.1109/IJCNN60899.2024.10650124</a>.'
  short: 'P. Kenneweg, T. Kenneweg, F. Fumagalli, B. Hammer, in: 2024 International
    Joint Conference on Neural Networks (IJCNN), 2024, pp. 1–8.'
date_created: 2025-01-16T16:21:28Z
date_updated: 2025-09-11T15:37:42Z
department:
- _id: '660'
doi: 10.1109/IJCNN60899.2024.10650124
keyword:
- Training
- Schedules
- Codes
- Search methods
- Source coding
- Computer architecture
- Transformers
language:
- iso: eng
page: 1-8
project:
- _id: '109'
  name: 'TRR 318: TRR 318 - Erklärbarkeit konstruieren'
- _id: '117'
  name: 'TRR 318 - C: TRR 318 - Project Area C'
- _id: '126'
  name: 'TRR 318 - C3: TRR 318 - Subproject C3'
publication: 2024 International Joint Conference on Neural Networks (IJCNN)
status: public
title: 'No learning rates needed: Introducing SALSA - Stable Armijo Line Search Adaptation'
type: conference
user_id: '93420'
year: '2024'
...
---
_id: '46264'
abstract:
- lang: eng
  text: "System-level interconnects provide the\r\nbackbone for increasingly complex
    systems on a chip. Their\r\nvulnerability to electromigration and crosstalk can
    lead to\r\nserious reliability and safety issues during the system lifetime.\r\nThis
    article presents an approach for periodic in-system testing\r\nwhich maintains
    a reliability profile to detect potential\r\nproblems before they actually cause
    a failure. Relying on a\r\ncommon infrastructure for EM-aware system workload\r\nmanagement
    and test, it minimizes the stress induced by the\r\ntest itself and contributes
    to the self-healing of system-induced\r\nelectromigration degradations. "
article_type: original
author:
- first_name: Somayeh
  full_name: Sadeghi-Kohan, Somayeh
  id: '78614'
  last_name: Sadeghi-Kohan
  orcid: https://orcid.org/0000-0001-7246-0610
- first_name: Sybille
  full_name: Hellebrand, Sybille
  id: '209'
  last_name: Hellebrand
  orcid: 0000-0002-3717-3939
- first_name: Hans-Joachim
  full_name: Wunderlich, Hans-Joachim
  last_name: Wunderlich
citation:
  ama: Sadeghi-Kohan S, Hellebrand S, Wunderlich H-J. Workload-Aware Periodic Interconnect
    BIST. <i>IEEE Design &#38;Test</i>. Published online 2023:1-1. doi:<a href="https://doi.org/10.1109/mdat.2023.3298849">10.1109/mdat.2023.3298849</a>
  apa: Sadeghi-Kohan, S., Hellebrand, S., &#38; Wunderlich, H.-J. (2023). Workload-Aware
    Periodic Interconnect BIST. <i>IEEE Design &#38;Test</i>, 1–1. <a href="https://doi.org/10.1109/mdat.2023.3298849">https://doi.org/10.1109/mdat.2023.3298849</a>
  bibtex: '@article{Sadeghi-Kohan_Hellebrand_Wunderlich_2023, title={Workload-Aware
    Periodic Interconnect BIST}, DOI={<a href="https://doi.org/10.1109/mdat.2023.3298849">10.1109/mdat.2023.3298849</a>},
    journal={IEEE Design &#38;Test}, publisher={Institute of Electrical and Electronics
    Engineers (IEEE)}, author={Sadeghi-Kohan, Somayeh and Hellebrand, Sybille and
    Wunderlich, Hans-Joachim}, year={2023}, pages={1–1} }'
  chicago: Sadeghi-Kohan, Somayeh, Sybille Hellebrand, and Hans-Joachim Wunderlich.
    “Workload-Aware Periodic Interconnect BIST.” <i>IEEE Design &#38;Test</i>, 2023,
    1–1. <a href="https://doi.org/10.1109/mdat.2023.3298849">https://doi.org/10.1109/mdat.2023.3298849</a>.
  ieee: 'S. Sadeghi-Kohan, S. Hellebrand, and H.-J. Wunderlich, “Workload-Aware Periodic
    Interconnect BIST,” <i>IEEE Design &#38;Test</i>, pp. 1–1, 2023, doi: <a href="https://doi.org/10.1109/mdat.2023.3298849">10.1109/mdat.2023.3298849</a>.'
  mla: Sadeghi-Kohan, Somayeh, et al. “Workload-Aware Periodic Interconnect BIST.”
    <i>IEEE Design &#38;Test</i>, Institute of Electrical and Electronics Engineers
    (IEEE), 2023, pp. 1–1, doi:<a href="https://doi.org/10.1109/mdat.2023.3298849">10.1109/mdat.2023.3298849</a>.
  short: S. Sadeghi-Kohan, S. Hellebrand, H.-J. Wunderlich, IEEE Design &#38;Test
    (2023) 1–1.
date_created: 2023-08-02T11:07:43Z
date_updated: 2024-03-22T17:15:10Z
department:
- _id: '48'
doi: 10.1109/mdat.2023.3298849
keyword:
- Electrical and Electronic Engineering
- Hardware and Architecture
- Software
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10194315
page: 1-1
publication: IEEE Design &Test
publication_identifier:
  issn:
  - 2168-2356
  - 2168-2364
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: Workload-Aware Periodic Interconnect BIST
type: journal_article
user_id: '209'
year: '2023'
...
---
_id: '53220'
article_number: '100786'
author:
- first_name: Madjid
  full_name: Tavana, Madjid
  id: '31858'
  last_name: Tavana
- first_name: Arash
  full_name: Khalili Nasr, Arash
  last_name: Khalili Nasr
- first_name: Alireza Barati
  full_name: Ahmadabadi, Alireza Barati
  last_name: Ahmadabadi
- first_name: Alireza Shamekhi
  full_name: Amiri, Alireza Shamekhi
  last_name: Amiri
- first_name: Hassan
  full_name: Mina, Hassan
  last_name: Mina
citation:
  ama: Tavana M, Khalili Nasr A, Ahmadabadi AB, Amiri AS, Mina H. An interval multi-criteria
    decision-making model for evaluating blockchain-IoT technology in supply chain
    networks. <i>Internet of Things</i>. 2023;22. doi:<a href="https://doi.org/10.1016/j.iot.2023.100786">10.1016/j.iot.2023.100786</a>
  apa: Tavana, M., Khalili Nasr, A., Ahmadabadi, A. B., Amiri, A. S., &#38; Mina,
    H. (2023). An interval multi-criteria decision-making model for evaluating blockchain-IoT
    technology in supply chain networks. <i>Internet of Things</i>, <i>22</i>, Article
    100786. <a href="https://doi.org/10.1016/j.iot.2023.100786">https://doi.org/10.1016/j.iot.2023.100786</a>
  bibtex: '@article{Tavana_Khalili Nasr_Ahmadabadi_Amiri_Mina_2023, title={An interval
    multi-criteria decision-making model for evaluating blockchain-IoT technology
    in supply chain networks}, volume={22}, DOI={<a href="https://doi.org/10.1016/j.iot.2023.100786">10.1016/j.iot.2023.100786</a>},
    number={100786}, journal={Internet of Things}, publisher={Elsevier BV}, author={Tavana,
    Madjid and Khalili Nasr, Arash and Ahmadabadi, Alireza Barati and Amiri, Alireza
    Shamekhi and Mina, Hassan}, year={2023} }'
  chicago: Tavana, Madjid, Arash Khalili Nasr, Alireza Barati Ahmadabadi, Alireza
    Shamekhi Amiri, and Hassan Mina. “An Interval Multi-Criteria Decision-Making Model
    for Evaluating Blockchain-IoT Technology in Supply Chain Networks.” <i>Internet
    of Things</i> 22 (2023). <a href="https://doi.org/10.1016/j.iot.2023.100786">https://doi.org/10.1016/j.iot.2023.100786</a>.
  ieee: 'M. Tavana, A. Khalili Nasr, A. B. Ahmadabadi, A. S. Amiri, and H. Mina, “An
    interval multi-criteria decision-making model for evaluating blockchain-IoT technology
    in supply chain networks,” <i>Internet of Things</i>, vol. 22, Art. no. 100786,
    2023, doi: <a href="https://doi.org/10.1016/j.iot.2023.100786">10.1016/j.iot.2023.100786</a>.'
  mla: Tavana, Madjid, et al. “An Interval Multi-Criteria Decision-Making Model for
    Evaluating Blockchain-IoT Technology in Supply Chain Networks.” <i>Internet of
    Things</i>, vol. 22, 100786, Elsevier BV, 2023, doi:<a href="https://doi.org/10.1016/j.iot.2023.100786">10.1016/j.iot.2023.100786</a>.
  short: M. Tavana, A. Khalili Nasr, A.B. Ahmadabadi, A.S. Amiri, H. Mina, Internet
    of Things 22 (2023).
date_created: 2024-04-04T13:49:53Z
date_updated: 2024-04-15T13:10:41Z
department:
- _id: '277'
doi: 10.1016/j.iot.2023.100786
intvolume: '        22'
keyword:
- Management of Technology and Innovation
- Artificial Intelligence
- Computer Science Applications
- Hardware and Architecture
- Engineering (miscellaneous)
- Information Systems
- Computer Science (miscellaneous)
- Software
language:
- iso: eng
publication: Internet of Things
publication_identifier:
  issn:
  - 2542-6605
publication_status: published
publisher: Elsevier BV
status: public
title: An interval multi-criteria decision-making model for evaluating blockchain-IoT
  technology in supply chain networks
type: journal_article
user_id: '51811'
volume: 22
year: '2023'
...
---
_id: '45361'
abstract:
- lang: eng
  text: <jats:p> The non-orthogonal local submatrix method applied to electronic structure–based
    molecular dynamics simulations is shown to exceed 1.1 EFLOP/s in FP16/FP32-mixed
    floating-point arithmetic when using 4400 NVIDIA A100 GPUs of the Perlmutter system.
    This is enabled by a modification of the original method that pushes the sustained
    fraction of the peak performance to about 80%. Example calculations are performed
    for SARS-CoV-2 spike proteins with up to 83 million atoms. </jats:p>
article_number: '109434202311776'
article_type: original
author:
- first_name: Robert
  full_name: Schade, Robert
  id: '75963'
  last_name: Schade
  orcid: 0000-0002-6268-539
- first_name: Tobias
  full_name: Kenter, Tobias
  id: '3145'
  last_name: Kenter
- first_name: Hossam
  full_name: Elgabarty, Hossam
  id: '60250'
  last_name: Elgabarty
  orcid: 0000-0002-4945-1481
- first_name: Michael
  full_name: Lass, Michael
  id: '24135'
  last_name: Lass
  orcid: 0000-0002-5708-7632
- first_name: Thomas
  full_name: Kühne, Thomas
  id: '49079'
  last_name: Kühne
- first_name: Christian
  full_name: Plessl, Christian
  id: '16153'
  last_name: Plessl
  orcid: 0000-0001-5728-9982
citation:
  ama: Schade R, Kenter T, Elgabarty H, Lass M, Kühne T, Plessl C. Breaking the exascale
    barrier for the electronic structure problem in ab-initio molecular dynamics.
    <i>The International Journal of High Performance Computing Applications</i>. Published
    online 2023. doi:<a href="https://doi.org/10.1177/10943420231177631">10.1177/10943420231177631</a>
  apa: Schade, R., Kenter, T., Elgabarty, H., Lass, M., Kühne, T., &#38; Plessl, C.
    (2023). Breaking the exascale barrier for the electronic structure problem in
    ab-initio molecular dynamics. <i>The International Journal of High Performance
    Computing Applications</i>, Article 109434202311776. <a href="https://doi.org/10.1177/10943420231177631">https://doi.org/10.1177/10943420231177631</a>
  bibtex: '@article{Schade_Kenter_Elgabarty_Lass_Kühne_Plessl_2023, title={Breaking
    the exascale barrier for the electronic structure problem in ab-initio molecular
    dynamics}, DOI={<a href="https://doi.org/10.1177/10943420231177631">10.1177/10943420231177631</a>},
    number={109434202311776}, journal={The International Journal of High Performance
    Computing Applications}, publisher={SAGE Publications}, author={Schade, Robert
    and Kenter, Tobias and Elgabarty, Hossam and Lass, Michael and Kühne, Thomas and
    Plessl, Christian}, year={2023} }'
  chicago: Schade, Robert, Tobias Kenter, Hossam Elgabarty, Michael Lass, Thomas Kühne,
    and Christian Plessl. “Breaking the Exascale Barrier for the Electronic Structure
    Problem in Ab-Initio Molecular Dynamics.” <i>The International Journal of High
    Performance Computing Applications</i>, 2023. <a href="https://doi.org/10.1177/10943420231177631">https://doi.org/10.1177/10943420231177631</a>.
  ieee: 'R. Schade, T. Kenter, H. Elgabarty, M. Lass, T. Kühne, and C. Plessl, “Breaking
    the exascale barrier for the electronic structure problem in ab-initio molecular
    dynamics,” <i>The International Journal of High Performance Computing Applications</i>,
    Art. no. 109434202311776, 2023, doi: <a href="https://doi.org/10.1177/10943420231177631">10.1177/10943420231177631</a>.'
  mla: Schade, Robert, et al. “Breaking the Exascale Barrier for the Electronic Structure
    Problem in Ab-Initio Molecular Dynamics.” <i>The International Journal of High
    Performance Computing Applications</i>, 109434202311776, SAGE Publications, 2023,
    doi:<a href="https://doi.org/10.1177/10943420231177631">10.1177/10943420231177631</a>.
  short: R. Schade, T. Kenter, H. Elgabarty, M. Lass, T. Kühne, C. Plessl, The International
    Journal of High Performance Computing Applications (2023).
date_created: 2023-05-30T09:19:09Z
date_updated: 2023-08-02T15:04:53Z
department:
- _id: '27'
- _id: '518'
doi: 10.1177/10943420231177631
keyword:
- Hardware and Architecture
- Theoretical Computer Science
- Software
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://journals.sagepub.com/doi/10.1177/10943420231177631
oa: '1'
project:
- _id: '52'
  name: 'PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing'
publication: The International Journal of High Performance Computing Applications
publication_identifier:
  issn:
  - 1094-3420
  - 1741-2846
publication_status: published
publisher: SAGE Publications
quality_controlled: '1'
status: public
title: Breaking the exascale barrier for the electronic structure problem in ab-initio
  molecular dynamics
type: journal_article
user_id: '75963'
year: '2023'
...
---
_id: '61402'
author:
- first_name: Vivien
  full_name: Lohmer, Vivien
  last_name: Lohmer
- first_name: Lutz
  full_name: Terfloth, Lutz
  last_name: Terfloth
- first_name: Friederike
  full_name: Kern, Friederike
  last_name: Kern
citation:
  ama: 'Lohmer V, Terfloth L, Kern F. Explaining the Technical Artifact Quarto!: How
    Gestures are used in Everyday Explanations. In: <i>First International Multimodal
    Communication Symposium - Book of Abstract</i>. ; 2023.'
  apa: 'Lohmer, V., Terfloth, L., &#38; Kern, F. (2023). Explaining the Technical
    Artifact Quarto!: How Gestures are used in Everyday Explanations. <i>First International
    Multimodal Communication Symposium - Book of Abstract</i>. 1st International Multimodal
    Communication Symposium, Universität Pompeu Fabra, Barcelona.'
  bibtex: '@inproceedings{Lohmer_Terfloth_Kern_2023, title={Explaining the Technical
    Artifact Quarto!: How Gestures are used in Everyday Explanations}, booktitle={First
    International Multimodal Communication Symposium - Book of Abstract}, author={Lohmer,
    Vivien and Terfloth, Lutz and Kern, Friederike}, year={2023} }'
  chicago: 'Lohmer, Vivien, Lutz Terfloth, and Friederike Kern. “Explaining the Technical
    Artifact Quarto!: How Gestures Are Used in Everyday Explanations.” In <i>First
    International Multimodal Communication Symposium - Book of Abstract</i>, 2023.'
  ieee: 'V. Lohmer, L. Terfloth, and F. Kern, “Explaining the Technical Artifact Quarto!:
    How Gestures are used in Everyday Explanations,” presented at the 1st International
    Multimodal Communication Symposium, Universität Pompeu Fabra, Barcelona, 2023.'
  mla: 'Lohmer, Vivien, et al. “Explaining the Technical Artifact Quarto!: How Gestures
    Are Used in Everyday Explanations.” <i>First International Multimodal Communication
    Symposium - Book of Abstract</i>, 2023.'
  short: 'V. Lohmer, L. Terfloth, F. Kern, in: First International Multimodal Communication
    Symposium - Book of Abstract, 2023.'
conference:
  end_date: 2023-04-28
  location: Universität Pompeu Fabra, Barcelona
  name: 1st International Multimodal Communication Symposium
  start_date: 2023-04-26
date_created: 2025-09-23T09:50:20Z
date_updated: 2025-09-23T10:13:42Z
keyword:
- gesture
- dual nature
- explanations
- architecture
- relevance
language:
- iso: eng
project:
- _id: '114'
  name: 'TRR 318; TP A04: Integration des technischen Modells in das Partnermodell
    bei der Erklärung von digitalen Artefakten'
publication: First International Multimodal Communication Symposium - Book of Abstract
publication_status: published
status: public
title: 'Explaining the Technical Artifact Quarto!: How Gestures are used in Everyday
  Explanations'
type: conference_abstract
user_id: '99097'
year: '2023'
...
---
_id: '45847'
abstract:
- lang: eng
  text: "<jats:title>Abstract</jats:title>\r\n               <jats:p>In this paper,
    we investigate the parameterized complexity of model checking for Dependence and
    Independence logic, which are well studied logics in the area of Team Semantics.
    We start with a list of nine immediate parameterizations for this problem, namely
    the number of disjunctions (i.e. splits)/(free) variables/universal quantifiers,
    formula-size, the tree-width of the Gaifman graph of the input structure, the
    size of the universe/team and the arity of dependence atoms. We present a comprehensive
    picture of the parameterized complexity of model checking and obtain a division
    of the problem into tractable and various intractable degrees. Furthermore, we
    also consider the complexity of the most important variants (data and expression
    complexity) of the model checking problem by fixing parts of the input.</jats:p>"
author:
- first_name: Juha
  full_name: Kontinen, Juha
  last_name: Kontinen
- first_name: Arne
  full_name: Meier, Arne
  last_name: Meier
- first_name: Yasir
  full_name: Mahmood, Yasir
  id: '99353'
  last_name: Mahmood
citation:
  ama: Kontinen J, Meier A, Mahmood Y. A parameterized view on the complexity of dependence
    and independence logic. <i>Journal of Logic and Computation</i>. 2022;32(8):1624-1644.
    doi:<a href="https://doi.org/10.1093/logcom/exac070">10.1093/logcom/exac070</a>
  apa: Kontinen, J., Meier, A., &#38; Mahmood, Y. (2022). A parameterized view on
    the complexity of dependence and independence logic. <i>Journal of Logic and Computation</i>,
    <i>32</i>(8), 1624–1644. <a href="https://doi.org/10.1093/logcom/exac070">https://doi.org/10.1093/logcom/exac070</a>
  bibtex: '@article{Kontinen_Meier_Mahmood_2022, title={A parameterized view on the
    complexity of dependence and independence logic}, volume={32}, DOI={<a href="https://doi.org/10.1093/logcom/exac070">10.1093/logcom/exac070</a>},
    number={8}, journal={Journal of Logic and Computation}, publisher={Oxford University
    Press (OUP)}, author={Kontinen, Juha and Meier, Arne and Mahmood, Yasir}, year={2022},
    pages={1624–1644} }'
  chicago: 'Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on
    the Complexity of Dependence and Independence Logic.” <i>Journal of Logic and
    Computation</i> 32, no. 8 (2022): 1624–44. <a href="https://doi.org/10.1093/logcom/exac070">https://doi.org/10.1093/logcom/exac070</a>.'
  ieee: 'J. Kontinen, A. Meier, and Y. Mahmood, “A parameterized view on the complexity
    of dependence and independence logic,” <i>Journal of Logic and Computation</i>,
    vol. 32, no. 8, pp. 1624–1644, 2022, doi: <a href="https://doi.org/10.1093/logcom/exac070">10.1093/logcom/exac070</a>.'
  mla: Kontinen, Juha, et al. “A Parameterized View on the Complexity of Dependence
    and Independence Logic.” <i>Journal of Logic and Computation</i>, vol. 32, no.
    8, Oxford University Press (OUP), 2022, pp. 1624–44, doi:<a href="https://doi.org/10.1093/logcom/exac070">10.1093/logcom/exac070</a>.
  short: J. Kontinen, A. Meier, Y. Mahmood, Journal of Logic and Computation 32 (2022)
    1624–1644.
date_created: 2023-07-03T11:36:55Z
date_updated: 2024-06-04T16:06:37Z
doi: 10.1093/logcom/exac070
extern: '1'
intvolume: '        32'
issue: '8'
keyword:
- Logic
- Hardware and Architecture
- Arts and Humanities (miscellaneous)
- Software
- Theoretical Computer Science
language:
- iso: eng
page: 1624-1644
publication: Journal of Logic and Computation
publication_identifier:
  issn:
  - 0955-792X
  - 1465-363X
publication_status: published
publisher: Oxford University Press (OUP)
status: public
title: A parameterized view on the complexity of dependence and independence logic
type: journal_article
user_id: '99353'
volume: 32
year: '2022'
...
---
_id: '33684'
article_number: '102920'
author:
- first_name: Robert
  full_name: Schade, Robert
  id: '75963'
  last_name: Schade
  orcid: 0000-0002-6268-539
- first_name: Tobias
  full_name: Kenter, Tobias
  id: '3145'
  last_name: Kenter
- first_name: Hossam
  full_name: Elgabarty, Hossam
  id: '60250'
  last_name: Elgabarty
  orcid: 0000-0002-4945-1481
- first_name: Michael
  full_name: Lass, Michael
  id: '24135'
  last_name: Lass
  orcid: 0000-0002-5708-7632
- first_name: Ole
  full_name: Schütt, Ole
  last_name: Schütt
- first_name: Alfio
  full_name: Lazzaro, Alfio
  last_name: Lazzaro
- first_name: Hans
  full_name: Pabst, Hans
  last_name: Pabst
- first_name: Stephan
  full_name: Mohr, Stephan
  last_name: Mohr
- first_name: Jürg
  full_name: Hutter, Jürg
  last_name: Hutter
- first_name: Thomas
  full_name: Kühne, Thomas
  id: '49079'
  last_name: Kühne
- first_name: Christian
  full_name: Plessl, Christian
  id: '16153'
  last_name: Plessl
  orcid: 0000-0001-5728-9982
citation:
  ama: Schade R, Kenter T, Elgabarty H, et al. Towards electronic structure-based
    ab-initio molecular dynamics simulations with hundreds of millions of atoms. <i>Parallel
    Computing</i>. 2022;111. doi:<a href="https://doi.org/10.1016/j.parco.2022.102920">10.1016/j.parco.2022.102920</a>
  apa: Schade, R., Kenter, T., Elgabarty, H., Lass, M., Schütt, O., Lazzaro, A., Pabst,
    H., Mohr, S., Hutter, J., Kühne, T., &#38; Plessl, C. (2022). Towards electronic
    structure-based ab-initio molecular dynamics simulations with hundreds of millions
    of atoms. <i>Parallel Computing</i>, <i>111</i>, Article 102920. <a href="https://doi.org/10.1016/j.parco.2022.102920">https://doi.org/10.1016/j.parco.2022.102920</a>
  bibtex: '@article{Schade_Kenter_Elgabarty_Lass_Schütt_Lazzaro_Pabst_Mohr_Hutter_Kühne_et
    al._2022, title={Towards electronic structure-based ab-initio molecular dynamics
    simulations with hundreds of millions of atoms}, volume={111}, DOI={<a href="https://doi.org/10.1016/j.parco.2022.102920">10.1016/j.parco.2022.102920</a>},
    number={102920}, journal={Parallel Computing}, publisher={Elsevier BV}, author={Schade,
    Robert and Kenter, Tobias and Elgabarty, Hossam and Lass, Michael and Schütt,
    Ole and Lazzaro, Alfio and Pabst, Hans and Mohr, Stephan and Hutter, Jürg and
    Kühne, Thomas and et al.}, year={2022} }'
  chicago: Schade, Robert, Tobias Kenter, Hossam Elgabarty, Michael Lass, Ole Schütt,
    Alfio Lazzaro, Hans Pabst, et al. “Towards Electronic Structure-Based Ab-Initio
    Molecular Dynamics Simulations with Hundreds of Millions of Atoms.” <i>Parallel
    Computing</i> 111 (2022). <a href="https://doi.org/10.1016/j.parco.2022.102920">https://doi.org/10.1016/j.parco.2022.102920</a>.
  ieee: 'R. Schade <i>et al.</i>, “Towards electronic structure-based ab-initio molecular
    dynamics simulations with hundreds of millions of atoms,” <i>Parallel Computing</i>,
    vol. 111, Art. no. 102920, 2022, doi: <a href="https://doi.org/10.1016/j.parco.2022.102920">10.1016/j.parco.2022.102920</a>.'
  mla: Schade, Robert, et al. “Towards Electronic Structure-Based Ab-Initio Molecular
    Dynamics Simulations with Hundreds of Millions of Atoms.” <i>Parallel Computing</i>,
    vol. 111, 102920, Elsevier BV, 2022, doi:<a href="https://doi.org/10.1016/j.parco.2022.102920">10.1016/j.parco.2022.102920</a>.
  short: R. Schade, T. Kenter, H. Elgabarty, M. Lass, O. Schütt, A. Lazzaro, H. Pabst,
    S. Mohr, J. Hutter, T. Kühne, C. Plessl, Parallel Computing 111 (2022).
date_created: 2022-10-11T08:17:02Z
date_updated: 2023-08-02T15:03:55Z
department:
- _id: '613'
- _id: '27'
- _id: '518'
doi: 10.1016/j.parco.2022.102920
intvolume: '       111'
keyword:
- Artificial Intelligence
- Computer Graphics and Computer-Aided Design
- Computer Networks and Communications
- Hardware and Architecture
- Theoretical Computer Science
- Software
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.sciencedirect.com/science/article/pii/S0167819122000242
oa: '1'
project:
- _id: '52'
  name: 'PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing'
publication: Parallel Computing
publication_identifier:
  issn:
  - 0167-8191
publication_status: published
publisher: Elsevier BV
quality_controlled: '1'
status: public
title: Towards electronic structure-based ab-initio molecular dynamics simulations
  with hundreds of millions of atoms
type: journal_article
user_id: '75963'
volume: 111
year: '2022'
...
---
_id: '30907'
author:
- first_name: Alfonso
  full_name: Rodriguez, Alfonso
  last_name: Rodriguez
- first_name: Andres
  full_name: Otero, Andres
  last_name: Otero
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
- first_name: Eduardo
  full_name: De la Torre, Eduardo
  last_name: De la Torre
citation:
  ama: Rodriguez A, Otero A, Platzner M, De la Torre E. Exploiting Hardware-Based
    Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable
    FPGAs. <i>IEEE Transactions on Computers</i>. Published online 2021:1-1. doi:<a
    href="https://doi.org/10.1109/tc.2021.3107196">10.1109/tc.2021.3107196</a>
  apa: Rodriguez, A., Otero, A., Platzner, M., &#38; De la Torre, E. (2021). Exploiting
    Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing
    in Reconfigurable FPGAs. <i>IEEE Transactions on Computers</i>, 1–1. <a href="https://doi.org/10.1109/tc.2021.3107196">https://doi.org/10.1109/tc.2021.3107196</a>
  bibtex: '@article{Rodriguez_Otero_Platzner_De la Torre_2021, title={Exploiting Hardware-Based
    Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable
    FPGAs}, DOI={<a href="https://doi.org/10.1109/tc.2021.3107196">10.1109/tc.2021.3107196</a>},
    journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and
    Electronics Engineers (IEEE)}, author={Rodriguez, Alfonso and Otero, Andres and
    Platzner, Marco and De la Torre, Eduardo}, year={2021}, pages={1–1} }'
  chicago: Rodriguez, Alfonso, Andres Otero, Marco Platzner, and Eduardo De la Torre.
    “Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge
    Computing in Reconfigurable FPGAs.” <i>IEEE Transactions on Computers</i>, 2021,
    1–1. <a href="https://doi.org/10.1109/tc.2021.3107196">https://doi.org/10.1109/tc.2021.3107196</a>.
  ieee: 'A. Rodriguez, A. Otero, M. Platzner, and E. De la Torre, “Exploiting Hardware-Based
    Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable
    FPGAs,” <i>IEEE Transactions on Computers</i>, pp. 1–1, 2021, doi: <a href="https://doi.org/10.1109/tc.2021.3107196">10.1109/tc.2021.3107196</a>.'
  mla: Rodriguez, Alfonso, et al. “Exploiting Hardware-Based Data-Parallel and Multithreading
    Models for Smart Edge Computing in Reconfigurable FPGAs.” <i>IEEE Transactions
    on Computers</i>, Institute of Electrical and Electronics Engineers (IEEE), 2021,
    pp. 1–1, doi:<a href="https://doi.org/10.1109/tc.2021.3107196">10.1109/tc.2021.3107196</a>.
  short: A. Rodriguez, A. Otero, M. Platzner, E. De la Torre, IEEE Transactions on
    Computers (2021) 1–1.
date_created: 2022-04-18T10:03:16Z
date_updated: 2022-04-18T10:04:21Z
department:
- _id: '78'
doi: 10.1109/tc.2021.3107196
keyword:
- Computational Theory and Mathematics
- Hardware and Architecture
- Theoretical Computer Science
- Software
language:
- iso: eng
page: 1-1
publication: IEEE Transactions on Computers
publication_identifier:
  issn:
  - 0018-9340
  - 1557-9956
  - 2326-3814
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart
  Edge Computing in Reconfigurable FPGAs
type: journal_article
user_id: '398'
year: '2021'
...
---
_id: '28683'
abstract:
- lang: ger
  text: "In den letzten Jahren haben sich Software-Ökosysteme als neue, erfolgreiche
    Geschäftsform etabliert. Unternehmen agieren hierbei als Anbieter von Software-Plattformen,
    auf denen Drittanbieter Softwarelösungen für den Markt anbieten können.  Etablierte
    Beispiele sind hierbei sogenannte App-Stores, die z.B. von Google oder Apple angeboten
    werden.\r\n\r\nBeim Aufbau von Software-Ökosystemen müssen vom Plattformanbieter
    viele architektonische Entwurfsentscheidungen getroffen werden. Bisher gibt es
    keine Architekturrichtlinien und -werkzeuge, die den Entwurf einer Ökosystemarchitektur
    unterstützen. Dadurch fehlt hier systematisches, wiederverwendbares Wissen. Plattformanbieter
    müssen auf ad-hoc Entscheidungen zurückgreifen. Dies kann dann zu Problemen im
    Betrieb der Software-Plattformen führen, zu erhöhten Ausfallrisiken und Mehrkosten.\r\n\r\nDer
    Mangel an Architekturwissen manifestiert sich konkret in zwei Gruppen von Herausforderungen:
    Erstens fehlt eine Wissensbasis zu Architekturalternativen und zweitens fehlt
    es an methodischem Wissen zu Entwicklung und Betrieb von Software-Ökosystemen.
    Eine Architekturwissensbasis würde Orientierungshilfen zu den Bestandteilen von
    Software-Ökosystemen und deren Abhängigkeiten geben, während methodisches Wissen
    die Erstellung dieser Systeme erleichtern würde.\r\n\r\nIn der Dissertation werden
    diese Herausforderungen durch die Entwicklung des Frameworks SecoArc für die Modellierung
    von Software-Ökosystemen angegangen. Der Beitrag der Dissertation ist zweifach:
    \r\n1.\tDas SecoArc-Framework umfasst eine Architekturwissensbasis, die wiederverwendbare
    Architekturentwurfsentscheidungen\r\nvon Software-Ökosystemen enthält. Die Wissensbasis
    wurde entwickelt, indem das Architekturwissen bestehender Ökosysteme sowie aus
    existierender Fachliteratur ermittelt wurde und in einer Produktlinie für Software-Ökosysteme
    konsolidiert wurde. Die Produktlinie umfasst architektonische Gemeinsamkeiten
    und Variabilitäten von Software-Ökosystemen. \r\n2.\tDas SecoArc-Framework liefert
    methodisches Wissen, um die Ökosystemarchitektur in Modellen zu entwerfen und
    zu analysieren. Dieses Wissen wurde entwickelt, indem drei Architekturmuster identifiziert
    wurden. Jedes Muster erfasst unterschiedliche Beziehungen zwischen architektonischen
    Entwurfsentscheidungen zu den Qualitätsmerkmalen einer Ökosystemgesundheit und
    der Erreichung von Geschäftszielen. \r\n\r\nDie Architekturmuster und die Produktlinie
    wurden dazu genutzt, ein Modellierungsframework zu entwickeln und in Form eines
    Prototypen umzusetzen, welches einen Entwurfsprozess, eine Modellierungssprache
    und eine Architekturanalysetechnik umfasst. Es erleichtert das Modellieren, Analysieren
    und Vergleichen von Ökosystemarchitekturen.\r\n\r\nDie Ergebnisse der Dissertation
    wurden im Rahmen von zwei Studien evaluiert. In der ersten Validierungsstudie
    wurden das Framework sowie der Prototyp verwendet, um zwei alternative Ökosystemarchitekturen
    zu entwerfen und zu analysieren. In der zweiten Studie wurde eine Analyse von
    existierenden Ökosystemen basierend auf den architektonischen Variabilitäten des
    Frameworks durchgeführt."
author:
- first_name: Bahar
  full_name: Schwichtenberg, Bahar
  id: '36399'
  last_name: Schwichtenberg
citation:
  ama: Schwichtenberg B. <i>Modeling and Analyzing Software Ecosystems</i>.; 2021.
    doi:<a href="https://doi.org/10.17619/UNIPB/1-1270 ">10.17619/UNIPB/1-1270 </a>
  apa: Schwichtenberg, B. (2021). <i>Modeling and Analyzing Software Ecosystems</i>.
    <a href="https://doi.org/10.17619/UNIPB/1-1270 ">https://doi.org/10.17619/UNIPB/1-1270
    </a>
  bibtex: '@book{Schwichtenberg_2021, title={Modeling and Analyzing Software Ecosystems},
    DOI={<a href="https://doi.org/10.17619/UNIPB/1-1270 ">10.17619/UNIPB/1-1270 </a>},
    author={Schwichtenberg, Bahar}, year={2021} }'
  chicago: Schwichtenberg, Bahar. <i>Modeling and Analyzing Software Ecosystems</i>,
    2021. <a href="https://doi.org/10.17619/UNIPB/1-1270 ">https://doi.org/10.17619/UNIPB/1-1270
    </a>.
  ieee: B. Schwichtenberg, <i>Modeling and Analyzing Software Ecosystems</i>. 2021.
  mla: Schwichtenberg, Bahar. <i>Modeling and Analyzing Software Ecosystems</i>. 2021,
    doi:<a href="https://doi.org/10.17619/UNIPB/1-1270 ">10.17619/UNIPB/1-1270 </a>.
  short: B. Schwichtenberg, Modeling and Analyzing Software Ecosystems, 2021.
date_created: 2021-12-13T07:20:33Z
date_updated: 2022-12-30T22:15:37Z
ddc:
- '000'
department:
- _id: '66'
doi: '10.17619/UNIPB/1-1270 '
file:
- access_level: closed
  content_type: application/pdf
  creator: bahareh
  date_created: 2022-12-30T22:15:15Z
  date_updated: 2022-12-30T22:15:15Z
  file_id: '35069'
  file_name: Bahar_Schwichtenberg_Thesis.pdf
  file_size: 9125342
  relation: main_file
  success: 1
file_date_updated: 2022-12-30T22:15:15Z
has_accepted_license: '1'
keyword:
- Enterprise Architecture
- Architectural Design Decisions
- Open Platforms
language:
- iso: eng
project:
- _id: '4'
  name: SFB 901 - Project Area C
- _id: '17'
  name: SFB 901 - Subproject C5
- _id: '1'
  name: 'SFB 901: SFB 901'
status: public
supervisor:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
title: Modeling and Analyzing Software Ecosystems
type: dissertation
user_id: '36399'
year: '2021'
...
---
_id: '45844'
abstract:
- lang: eng
  text: "<jats:title>Abstract</jats:title>\r\n               <jats:p>Abductive reasoning
    is a non-monotonic formalism stemming from the work of Peirce. It describes the
    process of deriving the most plausible explanations of known facts. Considering
    the positive version, asking for sets of variables as explanations, we study,
    besides the problem of wether there exists a set of explanations, two explanation
    size limited variants of this reasoning problem (less than or equal to, and equal
    to a given size bound). In this paper, we present a thorough two-dimensional classification
    of these problems: the first dimension is regarding the parameterized complexity
    under a wealth of different parameterizations, and the second dimension spans
    through all possible Boolean fragments of these problems in Schaefer’s constraint
    satisfaction framework with co-clones (T. J. Schaefer. The complexity of satisfiability
    problems. In Proceedings of the 10th Annual ACM Symposium on Theory of Computing,
    May 1–3, 1978, San Diego, California, USA, R.J. Lipton, W.A. Burkhard, W.J. Savitch,
    E.P. Friedman, A.V. Aho eds, pp. 216–226. ACM, 1978). Thereby, we almost complete
    the parameterized complexity classification program initiated by Fellows et al.
    (The parameterized complexity of abduction. In Proceedings of the Twenty-Sixth
    AAAI Conference on Articial Intelligence, July 22–26, 2012, Toronto, Ontario,
    Canada, J. Homann, B. Selman eds. AAAI Press, 2012), partially building on the
    results by Nordh and Zanuttini (What makes propositional abduction tractable.
    Artificial Intelligence, 172, 1245–1284, 2008). In this process, we outline a
    fine-grained analysis of the inherent parameterized intractability of these problems
    and pinpoint their FPT parts. As the standard algebraic approach is not applicable
    to our problems, we develop an alternative method that makes the algebraic tools
    partially available again.</jats:p>"
author:
- first_name: Yasir
  full_name: Mahmood, Yasir
  last_name: Mahmood
- first_name: Arne
  full_name: Meier, Arne
  last_name: Meier
- first_name: Johannes
  full_name: Schmidt, Johannes
  last_name: Schmidt
citation:
  ama: Mahmood Y, Meier A, Schmidt J. Parameterized complexity of abduction in Schaefer’s
    framework. <i>Journal of Logic and Computation</i>. 2021;31(1):266-296. doi:<a
    href="https://doi.org/10.1093/logcom/exaa079">10.1093/logcom/exaa079</a>
  apa: Mahmood, Y., Meier, A., &#38; Schmidt, J. (2021). Parameterized complexity
    of abduction in Schaefer’s framework. <i>Journal of Logic and Computation</i>,
    <i>31</i>(1), 266–296. <a href="https://doi.org/10.1093/logcom/exaa079">https://doi.org/10.1093/logcom/exaa079</a>
  bibtex: '@article{Mahmood_Meier_Schmidt_2021, title={Parameterized complexity of
    abduction in Schaefer’s framework}, volume={31}, DOI={<a href="https://doi.org/10.1093/logcom/exaa079">10.1093/logcom/exaa079</a>},
    number={1}, journal={Journal of Logic and Computation}, publisher={Oxford University
    Press (OUP)}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2021},
    pages={266–296} }'
  chicago: 'Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterized Complexity
    of Abduction in Schaefer’s Framework.” <i>Journal of Logic and Computation</i>
    31, no. 1 (2021): 266–96. <a href="https://doi.org/10.1093/logcom/exaa079">https://doi.org/10.1093/logcom/exaa079</a>.'
  ieee: 'Y. Mahmood, A. Meier, and J. Schmidt, “Parameterized complexity of abduction
    in Schaefer’s framework,” <i>Journal of Logic and Computation</i>, vol. 31, no.
    1, pp. 266–296, 2021, doi: <a href="https://doi.org/10.1093/logcom/exaa079">10.1093/logcom/exaa079</a>.'
  mla: Mahmood, Yasir, et al. “Parameterized Complexity of Abduction in Schaefer’s
    Framework.” <i>Journal of Logic and Computation</i>, vol. 31, no. 1, Oxford University
    Press (OUP), 2021, pp. 266–96, doi:<a href="https://doi.org/10.1093/logcom/exaa079">10.1093/logcom/exaa079</a>.
  short: Y. Mahmood, A. Meier, J. Schmidt, Journal of Logic and Computation 31 (2021)
    266–296.
date_created: 2023-07-03T11:35:23Z
date_updated: 2024-06-04T16:03:14Z
department:
- _id: '574'
doi: 10.1093/logcom/exaa079
extern: '1'
intvolume: '        31'
issue: '1'
keyword:
- Logic
- Hardware and Architecture
- Arts and Humanities (miscellaneous)
- Software
- Theoretical Computer Science
language:
- iso: eng
page: 266-296
publication: Journal of Logic and Computation
publication_identifier:
  issn:
  - 0955-792X
  - 1465-363X
publication_status: published
publisher: Oxford University Press (OUP)
status: public
title: Parameterized complexity of abduction in Schaefer’s framework
type: journal_article
user_id: '99353'
volume: 31
year: '2021'
...
---
_id: '10673'
author:
- first_name: Nam
  full_name: Ho, Nam
  last_name: Ho
- first_name: Abdullah Fathi
  full_name: Ahmed, Abdullah Fathi
  last_name: Ahmed
- first_name: Paul
  full_name: Kaufmann, Paul
  last_name: Kaufmann
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Ho N, Ahmed AF, Kaufmann P, Platzner M. Microarchitectural optimization by
    means of reconfigurable and evolvable cache mappings. In: <i>Proc. NASA/ESA Conf.
    Adaptive Hardware and Systems (AHS)</i>. ; 2015:1-7. doi:<a href="https://doi.org/10.1109/AHS.2015.7231178">10.1109/AHS.2015.7231178</a>'
  apa: Ho, N., Ahmed, A. F., Kaufmann, P., &#38; Platzner, M. (2015). Microarchitectural
    optimization by means of reconfigurable and evolvable cache mappings. In <i>Proc.
    NASA/ESA Conf. Adaptive Hardware and Systems (AHS)</i> (pp. 1–7). <a href="https://doi.org/10.1109/AHS.2015.7231178">https://doi.org/10.1109/AHS.2015.7231178</a>
  bibtex: '@inproceedings{Ho_Ahmed_Kaufmann_Platzner_2015, title={Microarchitectural
    optimization by means of reconfigurable and evolvable cache mappings}, DOI={<a
    href="https://doi.org/10.1109/AHS.2015.7231178">10.1109/AHS.2015.7231178</a>},
    booktitle={Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS)}, author={Ho,
    Nam and Ahmed, Abdullah Fathi and Kaufmann, Paul and Platzner, Marco}, year={2015},
    pages={1–7} }'
  chicago: Ho, Nam, Abdullah Fathi Ahmed, Paul Kaufmann, and Marco Platzner. “Microarchitectural
    Optimization by Means of Reconfigurable and Evolvable Cache Mappings.” In <i>Proc.
    NASA/ESA Conf. Adaptive Hardware and Systems (AHS)</i>, 1–7, 2015. <a href="https://doi.org/10.1109/AHS.2015.7231178">https://doi.org/10.1109/AHS.2015.7231178</a>.
  ieee: N. Ho, A. F. Ahmed, P. Kaufmann, and M. Platzner, “Microarchitectural optimization
    by means of reconfigurable and evolvable cache mappings,” in <i>Proc. NASA/ESA
    Conf. Adaptive Hardware and Systems (AHS)</i>, 2015, pp. 1–7.
  mla: Ho, Nam, et al. “Microarchitectural Optimization by Means of Reconfigurable
    and Evolvable Cache Mappings.” <i>Proc. NASA/ESA Conf. Adaptive Hardware and Systems
    (AHS)</i>, 2015, pp. 1–7, doi:<a href="https://doi.org/10.1109/AHS.2015.7231178">10.1109/AHS.2015.7231178</a>.
  short: 'N. Ho, A.F. Ahmed, P. Kaufmann, M. Platzner, in: Proc. NASA/ESA Conf. Adaptive
    Hardware and Systems (AHS), 2015, pp. 1–7.'
date_created: 2019-07-10T11:18:00Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '78'
doi: 10.1109/AHS.2015.7231178
keyword:
- cache storage
- field programmable gate arrays
- multiprocessing systems
- parallel architectures
- reconfigurable architectures
- FPGA
- dynamic reconfiguration
- evolvable cache mapping
- many-core architecture
- memory-to-cache address mapping function
- microarchitectural optimization
- multicore architecture
- nature-inspired optimization
- parallelization degrees
- processor
- reconfigurable cache mapping
- reconfigurable computing
- Field programmable gate arrays
- Software
- Tuning
language:
- iso: eng
page: 1-7
project:
- _id: '31'
  grant_number: '257906'
  name: Engineering Proprioception in Computing Systems
publication: Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS)
status: public
title: Microarchitectural optimization by means of reconfigurable and evolvable cache
  mappings
type: conference
user_id: '3118'
year: '2015'
...
---
_id: '33312'
abstract:
- lang: eng
  text: "Mechatronic systems are used more than ever in human life. They can be found
    in a very wide range of domain contexts, from household appliances, and cars,
    to medical equipment. Mechatronic systems, as a kind of embedded systems, are
    the tight integration of mechanical and electrical engineering, which embed software
    systems. Information security of mechatronic systems has not received much attention
    yet. However, wherever data exists, cyber attacks threaten mechatronic systems.\r\n\r\nThe
    thesis focuses on the early design stages of the development of mechatronic systems.
    Model sequence diagrams (MSDs) are used to model requirements with real-time and
    safety properties. In this thesis, MSDs are extended such that security properties
    for example authenticity and privacy can be modeled and analyzed automatically."
author:
- first_name: Bahar
  full_name: Schwichtenberg, Bahar
  id: '36399'
  last_name: Schwichtenberg
citation:
  ama: Schwichtenberg B. <i>Early Prediction of Security Properties for Mechatronic
    Systems</i>.; 2015.
  apa: Schwichtenberg, B. (2015). <i>Early Prediction of Security Properties for Mechatronic
    Systems</i>.
  bibtex: '@book{Schwichtenberg_2015, title={Early Prediction of Security Properties
    for Mechatronic Systems}, author={Schwichtenberg, Bahar}, year={2015} }'
  chicago: Schwichtenberg, Bahar. <i>Early Prediction of Security Properties for Mechatronic
    Systems</i>, 2015.
  ieee: B. Schwichtenberg, <i>Early Prediction of Security Properties for Mechatronic
    Systems</i>. 2015.
  mla: Schwichtenberg, Bahar. <i>Early Prediction of Security Properties for Mechatronic
    Systems</i>. 2015.
  short: B. Schwichtenberg, Early Prediction of Security Properties for Mechatronic
    Systems, 2015.
date_created: 2022-09-09T11:42:25Z
date_updated: 2022-12-30T22:12:13Z
ddc:
- '000'
extern: '1'
file:
- access_level: closed
  content_type: application/pdf
  creator: bahareh
  date_created: 2022-12-30T22:10:51Z
  date_updated: 2022-12-30T22:10:51Z
  file_id: '35068'
  file_name: Bahar_Jazayeri_Masterarbeit.pdf
  file_size: 11423528
  relation: main_file
  success: 1
file_date_updated: 2022-12-30T22:10:51Z
has_accepted_license: '1'
keyword:
- Software Architecture
- Requirements Engineering
- Embedded Systems
language:
- iso: eng
publication_status: published
status: public
title: Early Prediction of Security Properties for Mechatronic Systems
type: mastersthesis
user_id: '36399'
year: '2015'
...
---
_id: '39479'
author:
- first_name: Fábio
  full_name: Vidor, Fábio
  last_name: Vidor
- first_name: Thorsten
  full_name: Meyers, Thorsten
  last_name: Meyers
- first_name: Ulrich
  full_name: Hilleringmann, Ulrich
  id: '20179'
  last_name: Hilleringmann
citation:
  ama: 'Vidor F, Meyers T, Hilleringmann U. Flexible Electronics: Integration Processes
    for Organic and Inorganic Semiconductor-Based Thin-Film Transistors. <i>Electronics</i>.
    2015;4(3):480-506. doi:<a href="https://doi.org/10.3390/electronics4030480">10.3390/electronics4030480</a>'
  apa: 'Vidor, F., Meyers, T., &#38; Hilleringmann, U. (2015). Flexible Electronics:
    Integration Processes for Organic and Inorganic Semiconductor-Based Thin-Film
    Transistors. <i>Electronics</i>, <i>4</i>(3), 480–506. <a href="https://doi.org/10.3390/electronics4030480">https://doi.org/10.3390/electronics4030480</a>'
  bibtex: '@article{Vidor_Meyers_Hilleringmann_2015, title={Flexible Electronics:
    Integration Processes for Organic and Inorganic Semiconductor-Based Thin-Film
    Transistors}, volume={4}, DOI={<a href="https://doi.org/10.3390/electronics4030480">10.3390/electronics4030480</a>},
    number={3}, journal={Electronics}, publisher={MDPI AG}, author={Vidor, Fábio and
    Meyers, Thorsten and Hilleringmann, Ulrich}, year={2015}, pages={480–506} }'
  chicago: 'Vidor, Fábio, Thorsten Meyers, and Ulrich Hilleringmann. “Flexible Electronics:
    Integration Processes for Organic and Inorganic Semiconductor-Based Thin-Film
    Transistors.” <i>Electronics</i> 4, no. 3 (2015): 480–506. <a href="https://doi.org/10.3390/electronics4030480">https://doi.org/10.3390/electronics4030480</a>.'
  ieee: 'F. Vidor, T. Meyers, and U. Hilleringmann, “Flexible Electronics: Integration
    Processes for Organic and Inorganic Semiconductor-Based Thin-Film Transistors,”
    <i>Electronics</i>, vol. 4, no. 3, pp. 480–506, 2015, doi: <a href="https://doi.org/10.3390/electronics4030480">10.3390/electronics4030480</a>.'
  mla: 'Vidor, Fábio, et al. “Flexible Electronics: Integration Processes for Organic
    and Inorganic Semiconductor-Based Thin-Film Transistors.” <i>Electronics</i>,
    vol. 4, no. 3, MDPI AG, 2015, pp. 480–506, doi:<a href="https://doi.org/10.3390/electronics4030480">10.3390/electronics4030480</a>.'
  short: F. Vidor, T. Meyers, U. Hilleringmann, Electronics 4 (2015) 480–506.
date_created: 2023-01-24T11:23:57Z
date_updated: 2023-03-21T10:16:23Z
department:
- _id: '59'
doi: 10.3390/electronics4030480
intvolume: '         4'
issue: '3'
keyword:
- Electrical and Electronic Engineering
- Computer Networks and Communications
- Hardware and Architecture
- Signal Processing
- Control and Systems Engineering
language:
- iso: eng
page: 480-506
publication: Electronics
publication_identifier:
  issn:
  - 2079-9292
publication_status: published
publisher: MDPI AG
status: public
title: 'Flexible Electronics: Integration Processes for Organic and Inorganic Semiconductor-Based
  Thin-Film Transistors'
type: journal_article
user_id: '20179'
volume: 4
year: '2015'
...
---
_id: '10674'
author:
- first_name: Nam
  full_name: Ho, Nam
  last_name: Ho
- first_name: Paul
  full_name: Kaufmann, Paul
  last_name: Kaufmann
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Ho N, Kaufmann P, Platzner M. A hardware/software infrastructure for performance
    monitoring on LEON3 multicore platforms. In: <i>24th Intl. Conf. on Field Programmable
    Logic and Applications (FPL)</i>. ; 2014:1-4. doi:<a href="https://doi.org/10.1109/FPL.2014.6927437">10.1109/FPL.2014.6927437</a>'
  apa: Ho, N., Kaufmann, P., &#38; Platzner, M. (2014). A hardware/software infrastructure
    for performance monitoring on LEON3 multicore platforms. In <i>24th Intl. Conf.
    on Field Programmable Logic and Applications (FPL)</i> (pp. 1–4). <a href="https://doi.org/10.1109/FPL.2014.6927437">https://doi.org/10.1109/FPL.2014.6927437</a>
  bibtex: '@inproceedings{Ho_Kaufmann_Platzner_2014, title={A hardware/software infrastructure
    for performance monitoring on LEON3 multicore platforms}, DOI={<a href="https://doi.org/10.1109/FPL.2014.6927437">10.1109/FPL.2014.6927437</a>},
    booktitle={24th Intl. Conf. on Field Programmable Logic and Applications (FPL)},
    author={Ho, Nam and Kaufmann, Paul and Platzner, Marco}, year={2014}, pages={1–4}
    }'
  chicago: Ho, Nam, Paul Kaufmann, and Marco Platzner. “A Hardware/Software Infrastructure
    for Performance Monitoring on LEON3 Multicore Platforms.” In <i>24th Intl. Conf.
    on Field Programmable Logic and Applications (FPL)</i>, 1–4, 2014. <a href="https://doi.org/10.1109/FPL.2014.6927437">https://doi.org/10.1109/FPL.2014.6927437</a>.
  ieee: N. Ho, P. Kaufmann, and M. Platzner, “A hardware/software infrastructure for
    performance monitoring on LEON3 multicore platforms,” in <i>24th Intl. Conf. on
    Field Programmable Logic and Applications (FPL)</i>, 2014, pp. 1–4.
  mla: Ho, Nam, et al. “A Hardware/Software Infrastructure for Performance Monitoring
    on LEON3 Multicore Platforms.” <i>24th Intl. Conf. on Field Programmable Logic
    and Applications (FPL)</i>, 2014, pp. 1–4, doi:<a href="https://doi.org/10.1109/FPL.2014.6927437">10.1109/FPL.2014.6927437</a>.
  short: 'N. Ho, P. Kaufmann, M. Platzner, in: 24th Intl. Conf. on Field Programmable
    Logic and Applications (FPL), 2014, pp. 1–4.'
date_created: 2019-07-10T11:18:01Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '78'
doi: 10.1109/FPL.2014.6927437
keyword:
- Linux
- hardware-software codesign
- multiprocessing systems
- parallel processing
- LEON3 multicore platform
- Linux kernel
- PMU
- hardware counters
- hardware-software infrastructure
- high performance embedded computing
- perf_event
- performance monitoring unit
- Computer architecture
- Hardware
- Monitoring
- Phasor measurement units
- Radiation detectors
- Registers
- Software
language:
- iso: eng
page: 1-4
project:
- _id: '31'
  grant_number: '257906'
  name: Engineering Proprioception in Computing Systems
publication: 24th Intl. Conf. on Field Programmable Logic and Applications (FPL)
status: public
title: A hardware/software infrastructure for performance monitoring on LEON3 multicore
  platforms
type: conference
user_id: '3118'
year: '2014'
...
---
_id: '46266'
author:
- first_name: Bijan
  full_name: Alizadeh, Bijan
  last_name: Alizadeh
- first_name: Payman
  full_name: Behnam, Payman
  last_name: Behnam
- first_name: Somayeh
  full_name: Sadeghi-Kohan, Somayeh
  id: '78614'
  last_name: Sadeghi-Kohan
  orcid: https://orcid.org/0000-0001-7246-0610
citation:
  ama: Alizadeh B, Behnam P, Sadeghi-Kohan S. A Scalable Formal Debugging Approach
    with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for
    RTL Datapath Designs. <i>IEEE Transactions on Computers</i>. Published online
    2014:1-1. doi:<a href="https://doi.org/10.1109/tc.2014.2329687">10.1109/tc.2014.2329687</a>
  apa: Alizadeh, B., Behnam, P., &#38; Sadeghi-Kohan, S. (2014). A Scalable Formal
    Debugging Approach with Auto-Correction Capability based on Static Slicing and
    Dynamic Ranking for RTL Datapath Designs. <i>IEEE Transactions on Computers</i>,
    1–1. <a href="https://doi.org/10.1109/tc.2014.2329687">https://doi.org/10.1109/tc.2014.2329687</a>
  bibtex: '@article{Alizadeh_Behnam_Sadeghi-Kohan_2014, title={A Scalable Formal Debugging
    Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking
    for RTL Datapath Designs}, DOI={<a href="https://doi.org/10.1109/tc.2014.2329687">10.1109/tc.2014.2329687</a>},
    journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and
    Electronics Engineers (IEEE)}, author={Alizadeh, Bijan and Behnam, Payman and
    Sadeghi-Kohan, Somayeh}, year={2014}, pages={1–1} }'
  chicago: Alizadeh, Bijan, Payman Behnam, and Somayeh Sadeghi-Kohan. “A Scalable
    Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing
    and Dynamic Ranking for RTL Datapath Designs.” <i>IEEE Transactions on Computers</i>,
    2014, 1–1. <a href="https://doi.org/10.1109/tc.2014.2329687">https://doi.org/10.1109/tc.2014.2329687</a>.
  ieee: 'B. Alizadeh, P. Behnam, and S. Sadeghi-Kohan, “A Scalable Formal Debugging
    Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking
    for RTL Datapath Designs,” <i>IEEE Transactions on Computers</i>, pp. 1–1, 2014,
    doi: <a href="https://doi.org/10.1109/tc.2014.2329687">10.1109/tc.2014.2329687</a>.'
  mla: Alizadeh, Bijan, et al. “A Scalable Formal Debugging Approach with Auto-Correction
    Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.”
    <i>IEEE Transactions on Computers</i>, Institute of Electrical and Electronics
    Engineers (IEEE), 2014, pp. 1–1, doi:<a href="https://doi.org/10.1109/tc.2014.2329687">10.1109/tc.2014.2329687</a>.
  short: B. Alizadeh, P. Behnam, S. Sadeghi-Kohan, IEEE Transactions on Computers
    (2014) 1–1.
date_created: 2023-08-02T11:15:22Z
date_updated: 2023-08-02T11:32:37Z
department:
- _id: '48'
doi: 10.1109/tc.2014.2329687
extern: '1'
keyword:
- Computational Theory and Mathematics
- Hardware and Architecture
- Theoretical Computer Science
- Software
language:
- iso: eng
page: 1-1
publication: IEEE Transactions on Computers
publication_identifier:
  issn:
  - 0018-9340
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: A Scalable Formal Debugging Approach with Auto-Correction Capability based
  on Static Slicing and Dynamic Ranking for RTL Datapath Designs
type: journal_article
user_id: '78614'
year: '2014'
...
---
_id: '4706'
abstract:
- lang: eng
  text: Purpose – The purpose of this paper is to show how to employ complex event
    processing (CEP) for the observation and management of business processes. It
    proposes a conceptual architecture of BPM event producer, processor, and consumer
    and describes technical implications for the application with standard software
    in a perfect order scenario. Design/methodology/approach – The authors discuss
    business process analytics as the technological background. The capabilities of
    CEP in a BPM context are outlined an architecture design is proposed. A sophisticated
    proof-of-concept demonstrates its applicability. Findings – The results overcome
    the separation and data latency issues of process controlling, monitoring, and
    simulation. Distinct analyses of past, present, and future blur into a holistic
    real-time approach. The authors highlight the necessity for configurable event
    producer in BPM engines, process event support in CEP engines, a common process
    event format, connectors to visualizers, notifiers and return channels to the
    BPM engine. Research limitations/implications – Further research will thoroughly
    evaluate the approach in a variety of business settings. New concepts and standards
    for the architecture's building blocks will be needed to improve maintainability
    and operability. Practical implications – Managers learn how CEP can yield insights
    into business processes' operations. The paper illustrates a path to overcome
    inflexibility, latency, and missing feedback mechanisms of current process modeling
    and control solutions. Software vendors might be interested in the conceptualization
    and the described needs for further development. Originality/value – So far, there
    is no commercial CEP-based BPM solution which facilitates a round trip from insight
    to action as outlines. As major software vendors have begun developing solutions
    (BPM/BPA solutions), this paper will stimulate a debate between research and practice
    on suitable design and technology.
author:
- first_name: Christian
  full_name: Janiesch, Christian
  last_name: Janiesch
- first_name: Martin
  full_name: Matzner, Martin
  last_name: Matzner
- first_name: Oliver
  full_name: Müller, Oliver
  id: '72849'
  last_name: Müller
citation:
  ama: 'Janiesch C, Matzner M, Müller O. Beyond process monitoring: A proof-of-concept
    of event-driven business activity management. <i>Business Process Management Journal</i>.
    2012;(4):625--643. doi:<a href="https://doi.org/10.1108/14637151211253765">10.1108/14637151211253765</a>'
  apa: 'Janiesch, C., Matzner, M., &#38; Müller, O. (2012). Beyond process monitoring:
    A proof-of-concept of event-driven business activity management. <i>Business Process
    Management Journal</i>, (4), 625--643. <a href="https://doi.org/10.1108/14637151211253765">https://doi.org/10.1108/14637151211253765</a>'
  bibtex: '@article{Janiesch_Matzner_Müller_2012, title={Beyond process monitoring:
    A proof-of-concept of event-driven business activity management}, DOI={<a href="https://doi.org/10.1108/14637151211253765">10.1108/14637151211253765</a>},
    number={4}, journal={Business Process Management Journal}, author={Janiesch, Christian
    and Matzner, Martin and Müller, Oliver}, year={2012}, pages={625--643} }'
  chicago: 'Janiesch, Christian, Martin Matzner, and Oliver Müller. “Beyond Process
    Monitoring: A Proof-of-Concept of Event-Driven Business Activity Management.”
    <i>Business Process Management Journal</i>, no. 4 (2012): 625--643. <a href="https://doi.org/10.1108/14637151211253765">https://doi.org/10.1108/14637151211253765</a>.'
  ieee: 'C. Janiesch, M. Matzner, and O. Müller, “Beyond process monitoring: A proof-of-concept
    of event-driven business activity management,” <i>Business Process Management
    Journal</i>, no. 4, pp. 625--643, 2012.'
  mla: 'Janiesch, Christian, et al. “Beyond Process Monitoring: A Proof-of-Concept
    of Event-Driven Business Activity Management.” <i>Business Process Management
    Journal</i>, no. 4, 2012, pp. 625--643, doi:<a href="https://doi.org/10.1108/14637151211253765">10.1108/14637151211253765</a>.'
  short: C. Janiesch, M. Matzner, O. Müller, Business Process Management Journal (2012)
    625--643.
date_created: 2018-10-12T08:36:51Z
date_updated: 2022-01-06T07:01:19Z
doi: 10.1108/14637151211253765
extern: '1'
issue: '4'
keyword:
- Architecture
- Business activity monitoring
- Business process management
- Business process re-engineering
- Complex event processing
- Computer software
- Standard software
page: 625--643
publication: Business Process Management Journal
publication_identifier:
  isbn:
  - '1020120096'
  issn:
  - '14637154'
status: public
title: 'Beyond process monitoring: A proof-of-concept of event-driven business activity
  management'
type: journal_article
user_id: '72849'
year: '2012'
...
