[{"publication_status":"published","date_updated":"2026-02-09T09:16:32Z","title":"SORCERI: Streaming Overlay Acceleration for Highly Contracted Electron Repulsion Integral Computations in Quantum Chemistry","year":"2026","author":[{"full_name":"Stachura, Philip","last_name":"Stachura","first_name":"Philip"},{"full_name":"Wu, Xin","first_name":"Xin","last_name":"Wu","id":"77439"},{"full_name":"Plessl, Christian","orcid":"0000-0001-5728-9982","first_name":"Christian","last_name":"Plessl","id":"16153"},{"last_name":"Fang","first_name":"Zhenman","full_name":"Fang, Zhenman"}],"publication_identifier":{"isbn":["9798400720796"]},"doi":"10.1145/3748173.3779198","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/3748173.3779198"}],"language":[{"iso":"eng"}],"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."}],"publication":"Proceedings of the 2026 ACM/SIGDA International Symposium on Field Programmable Gate Arrays (FPGA '26)","type":"conference","keyword":["electron repulsion integrals","quantum chemistry","atomistic simulation","overlay architecture","fpga acceleration"],"department":[{"_id":"27"},{"_id":"518"}],"date_created":"2026-02-06T06:43:22Z","status":"public","user_id":"77439","page":"224-234","_id":"63890","publisher":"Association for Computing Machinery","project":[{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"citation":{"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>.","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>","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>.","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.","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>.","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} }","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>"},"place":"New York, NY, USA"},{"quality_controlled":"1","citation":{"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, Cambridge University Press, 2026, pp. 1511–20, doi:<a href=\"https://doi.org/10.1017/pds.2026.10509\">https://doi.org/10.1017/pds.2026.10509</a>.","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. Cambridge University Press; 2026:1511-1520. doi:<a href=\"https://doi.org/10.1017/pds.2026.10509\">https://doi.org/10.1017/pds.2026.10509</a>","bibtex":"@inproceedings{Rohde_Budde_Patrício_Ferreira_Gonçalves_Ott_Mozgova_2026, title={Digital product passports and the challenge of product structure granularity: A decision-making framework for the level of DPP integration}, volume={6}, DOI={<a href=\"https://doi.org/10.1017/pds.2026.10509\">https://doi.org/10.1017/pds.2026.10509</a>}, booktitle={Proceedings of the Design Society}, publisher={Cambridge University Press}, 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}, year={2026}, pages={1511–1520} }","apa":"Rohde, K., Budde, F. L., Patrício, B., Ferreira, T., Gonçalves, A., Ott, M., &#38; Mozgova, I. (2026). 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>, 1511–1520. <a href=\"https://doi.org/10.1017/pds.2026.10509\">https://doi.org/10.1017/pds.2026.10509</a>","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, 2026, vol. 6, pp. 1511–1520, doi: <a href=\"https://doi.org/10.1017/pds.2026.10509\">https://doi.org/10.1017/pds.2026.10509</a>.","short":"K. Rohde, F.L. Budde, B. Patrício, T. Ferreira, A. Gonçalves, M. Ott, I. Mozgova, in: Proceedings of the Design Society, Cambridge University Press, 2026, pp. 1511–1520.","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>, 6:1511–20. Cambridge University Press, 2026. <a href=\"https://doi.org/10.1017/pds.2026.10509\">https://doi.org/10.1017/pds.2026.10509</a>."},"file_date_updated":"2026-07-06T07:16:35Z","volume":6,"user_id":"70143","ddc":["620"],"publisher":"Cambridge University Press","_id":"64820","page":"1511-1520","has_accepted_license":"1","conference":{"location":"Cavtat, Dubrovnik, Croatia","start_date":"2026-05-18","name":"19th International Design Conference - DESIGN 2026","end_date":"2026-05-21"},"status":"public","department":[{"_id":"741"}],"type":"conference","keyword":["digital product passport","product architecture","circular economy","information granularity","decision-making framework"],"date_created":"2026-03-03T11:26:07Z","file":[{"file_name":"digital_product_passports_and_the_challenge_of_product_structure_granularity_a_decisionmaking_framework_for_the_level_of_dpp_integration.pdf","file_size":350638,"access_level":"closed","relation":"main_file","date_updated":"2026-07-06T07:16:35Z","file_id":"66272","content_type":"application/pdf","success":1,"creator":"kathiroh","date_created":"2026-07-06T07:16:35Z"}],"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."}],"publication":"Proceedings of the Design Society","doi":"https://doi.org/10.1017/pds.2026.10509","language":[{"iso":"eng"}],"intvolume":"         6","publication_status":"published","date_updated":"2026-07-06T07:18:58Z","author":[{"orcid":"0009-0000-5738-7304","first_name":"Katharina","last_name":"Rohde","full_name":"Rohde, Katharina","id":"70143"},{"id":"74585","last_name":"Budde","first_name":"Finn Lukas","full_name":"Budde, Finn Lukas"},{"last_name":"Patrício","first_name":"Bárbara","full_name":"Patrício, Bárbara"},{"full_name":"Ferreira, Tânia","first_name":"Tânia","last_name":"Ferreira"},{"full_name":"Gonçalves, Ana","first_name":"Ana","last_name":"Gonçalves"},{"full_name":"Ott, Manuel","last_name":"Ott","first_name":"Manuel","id":"44204"},{"id":"95903","first_name":"Iryna","last_name":"Mozgova","full_name":"Mozgova, Iryna"}],"year":"2026","title":"Digital product passports and the challenge of product structure granularity: A decision-making framework for the level of DPP integration"},{"has_accepted_license":"1","status":"public","user_id":"59677","ddc":["000"],"volume":141,"_id":"65626","publisher":"Elsevier BV","quality_controlled":"1","file_date_updated":"2026-10-08T11:00:19Z","citation":{"chicago":"Skolik, Alexander Marcus, Sascha Benjamin Kaltenpoth, Daniel Beverungen, and Oliver Müller. “A Modular Large Language Model Agent Architecture for Adaptive and Autonomous Process-Aware Execution.” <i>Information Systems</i> 141 (2026). <a href=\"https://doi.org/10.1016/j.is.2026.102748\">https://doi.org/10.1016/j.is.2026.102748</a>.","short":"A.M. Skolik, S.B. Kaltenpoth, D. Beverungen, O. Müller, Information Systems 141 (2026).","ieee":"A. M. Skolik, S. B. Kaltenpoth, D. Beverungen, and O. Müller, “A modular large language model agent architecture for adaptive and autonomous process-aware execution,” <i>Information Systems</i>, vol. 141, Art. no. 102748, 2026, doi: <a href=\"https://doi.org/10.1016/j.is.2026.102748\">10.1016/j.is.2026.102748</a>.","apa":"Skolik, A. M., Kaltenpoth, S. B., Beverungen, D., &#38; Müller, O. (2026). A modular large language model agent architecture for adaptive and autonomous process-aware execution. <i>Information Systems</i>, <i>141</i>, Article 102748. <a href=\"https://doi.org/10.1016/j.is.2026.102748\">https://doi.org/10.1016/j.is.2026.102748</a>","bibtex":"@article{Skolik_Kaltenpoth_Beverungen_Müller_2026, title={A modular large language model agent architecture for adaptive and autonomous process-aware execution}, volume={141}, DOI={<a href=\"https://doi.org/10.1016/j.is.2026.102748\">10.1016/j.is.2026.102748</a>}, number={102748}, journal={Information Systems}, publisher={Elsevier BV}, author={Skolik, Alexander Marcus and Kaltenpoth, Sascha Benjamin and Beverungen, Daniel and Müller, Oliver}, year={2026} }","ama":"Skolik AM, Kaltenpoth SB, Beverungen D, Müller O. A modular large language model agent architecture for adaptive and autonomous process-aware execution. <i>Information Systems</i>. 2026;141. doi:<a href=\"https://doi.org/10.1016/j.is.2026.102748\">10.1016/j.is.2026.102748</a>","mla":"Skolik, Alexander Marcus, et al. “A Modular Large Language Model Agent Architecture for Adaptive and Autonomous Process-Aware Execution.” <i>Information Systems</i>, vol. 141, 102748, Elsevier BV, 2026, doi:<a href=\"https://doi.org/10.1016/j.is.2026.102748\">10.1016/j.is.2026.102748</a>."},"oa":"1","publication_status":"published","date_updated":"2026-10-08T11:01:24Z","article_type":"original","intvolume":"       141","title":"A modular large language model agent architecture for adaptive and autonomous process-aware execution","year":"2026","publication_identifier":{"issn":["0306-4379"]},"author":[{"id":"92908","full_name":"Skolik, Alexander Marcus","last_name":"Skolik","first_name":"Alexander Marcus","orcid":"0009-0006-2519-1765"},{"full_name":"Kaltenpoth, Sascha Benjamin","last_name":"Kaltenpoth","first_name":"Sascha Benjamin","id":"50640"},{"last_name":"Beverungen","first_name":"Daniel","full_name":"Beverungen, Daniel","id":"59677"},{"first_name":"Oliver","last_name":"Müller","full_name":"Müller, Oliver","id":"72849"}],"doi":"10.1016/j.is.2026.102748","article_number":"102748","main_file_link":[{"open_access":"1"}],"language":[{"iso":"eng"}],"related_material":{"link":[{"relation":"confirmation","url":"https://www.sciencedirect.com/science/article/pii/S0306437926000621?via%3Dihub"}]},"abstract":[{"lang":"eng","text":"Business Process Management (BPM) is evolving rapidly. Building on a rich research portfolio that spans from early workflow automation to robotic process automation (RPA), large language models (LLMs) are the most recent disruptive technologies to influence all BPM capability areas. Particularly, these technologies fuel the emerging research fields of AI-enhanced business process management systems and autonomous process execution. In a design science research approach, we develop a modular LLM agent architecture that effectively enables the adaptation and execution of business processes. The architecture integrates a Frame Agent that can generate process descriptions and an Operational Agent that autonomously executes processes based on the Frame Agent’s process descriptions. It further enables a future Tactical Agent for autonomous process adaptations. We demonstrate the architecture’s applicability and utility with the real-world case of a meter-to-cash process, comparing it to the performance of an RPA bot. Our findings provide early insights into the challenges faced by autonomous process execution and its relation with RPA in terms of adaptability, flexibility, and complexity in autonomous process execution. While researchers can build on our findings to establish modular LLM-agent architectures for autonomous process execution, practitioners can derive early insights into the design of LLM agents for process automation."}],"publication":"Information Systems","type":"journal_article","keyword":["Business process management","Large language models","Modular agent architecture","Autonomous process execution","AI-augmented business process management systems"],"file":[{"relation":"main_file","date_updated":"2026-10-08T11:00:19Z","file_name":"IS - Autonomous Process Execution.pdf","access_level":"closed","file_size":1988723,"file_id":"67435","content_type":"application/pdf","success":1,"creator":"dabe","date_created":"2026-10-08T11:00:19Z"}],"date_created":"2026-05-14T11:19:08Z"},{"citation":{"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>.","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>","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>.","short":"A. Amiri, M. Tavana, H. Arman, Internet of Things 25 (2024).","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>.","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} }","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>"},"publisher":"Elsevier BV","_id":"53213","user_id":"51811","volume":25,"status":"public","date_created":"2024-04-04T13:34:26Z","type":"journal_article","keyword":["Management of Technology and Innovation","Artificial Intelligence","Computer Science Applications","Hardware and Architecture","Engineering (miscellaneous)","Information Systems","Computer Science (miscellaneous)","Software"],"department":[{"_id":"277"}],"publication":"Internet of Things","article_number":"101027","language":[{"iso":"eng"}],"doi":"10.1016/j.iot.2023.101027","title":"An Integrated Fuzzy Analytic Network Process and Fuzzy Regression Method for Bitcoin Price Prediction","year":"2024","author":[{"full_name":"Amiri, Arman","first_name":"Arman","last_name":"Amiri"},{"first_name":"Madjid","last_name":"Tavana","full_name":"Tavana, Madjid","id":"31858"},{"first_name":"Hosein","last_name":"Arman","full_name":"Arman, Hosein"}],"publication_identifier":{"issn":["2542-6605"]},"publication_status":"published","date_updated":"2024-04-15T13:08:17Z","intvolume":"        25"},{"date_created":"2024-04-04T13:33:48Z","department":[{"_id":"277"}],"type":"journal_article","keyword":["Industrial and Manufacturing Engineering","Hardware and Architecture","Software","Control and Systems Engineering"],"publication":"Journal of Manufacturing Systems","language":[{"iso":"eng"}],"doi":"10.1016/j.jmsy.2023.11.019","author":[{"first_name":"Ehsan","last_name":"Mahmoodi","full_name":"Mahmoodi, Ehsan"},{"last_name":"Fathi","first_name":"Masood","full_name":"Fathi, Masood"},{"full_name":"Tavana, Madjid","first_name":"Madjid","last_name":"Tavana","id":"31858"},{"last_name":"Ghobakhloo","first_name":"Morteza","full_name":"Ghobakhloo, Morteza"},{"first_name":"Amos H.C.","last_name":"Ng","full_name":"Ng, Amos H.C."}],"publication_identifier":{"issn":["0278-6125"]},"year":"2024","title":"Data-driven simulation-based decision support system for resource allocation in industry 4.0 and smart manufacturing","intvolume":"        72","publication_status":"published","date_updated":"2024-04-15T13:08:02Z","citation":{"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>.","short":"E. Mahmoodi, M. Fathi, M. Tavana, M. Ghobakhloo, A.H.C. Ng, Journal of Manufacturing Systems 72 (2024) 287–307.","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>","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>.","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>","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} }","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>."},"publisher":"Elsevier BV","_id":"53212","page":"287-307","volume":72,"user_id":"51811","status":"public"},{"date_created":"2025-01-16T16:21:28Z","type":"conference","keyword":["Training","Schedules","Codes","Search methods","Source coding","Computer architecture","Transformers"],"department":[{"_id":"660"}],"publication":"2024 International Joint Conference on Neural Networks (IJCNN)","citation":{"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} }","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>","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>.","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>.","short":"P. Kenneweg, T. Kenneweg, F. Fumagalli, B. Hammer, in: 2024 International Joint Conference on Neural Networks (IJCNN), 2024, pp. 1–8.","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>.","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>"},"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"}],"page":"1-8","_id":"58224","language":[{"iso":"eng"}],"user_id":"93420","doi":"10.1109/IJCNN60899.2024.10650124","title":"No learning rates needed: Introducing SALSA - Stable Armijo Line Search Adaptation","year":"2024","status":"public","author":[{"full_name":"Kenneweg, Philip","last_name":"Kenneweg","first_name":"Philip"},{"last_name":"Kenneweg","first_name":"Tristan","full_name":"Kenneweg, Tristan"},{"first_name":"Fabian","last_name":"Fumagalli","full_name":"Fumagalli, Fabian"},{"full_name":"Hammer, Barbara","first_name":"Barbara","last_name":"Hammer"}],"date_updated":"2025-09-11T15:37:42Z"},{"type":"journal_article","keyword":["Electrical and Electronic Engineering","Hardware and Architecture","Software"],"department":[{"_id":"48"}],"date_created":"2023-08-02T11:07:43Z","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. "}],"publication":"IEEE Design &Test","doi":"10.1109/mdat.2023.3298849","main_file_link":[{"url":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10194315"}],"language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2024-03-22T17:15:10Z","article_type":"original","title":"Workload-Aware Periodic Interconnect BIST","year":"2023","author":[{"id":"78614","orcid":"https://orcid.org/0000-0001-7246-0610","last_name":"Sadeghi-Kohan","first_name":"Somayeh","full_name":"Sadeghi-Kohan, Somayeh"},{"last_name":"Hellebrand","orcid":"0000-0002-3717-3939","first_name":"Sybille","full_name":"Hellebrand, Sybille","id":"209"},{"last_name":"Wunderlich","first_name":"Hans-Joachim","full_name":"Wunderlich, Hans-Joachim"}],"publication_identifier":{"issn":["2168-2356","2168-2364"]},"citation":{"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>","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>.","short":"S. Sadeghi-Kohan, S. Hellebrand, H.-J. Wunderlich, IEEE Design &#38;Test (2023) 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>.","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>.","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>","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} }"},"user_id":"209","page":"1-1","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","_id":"46264","status":"public"},{"status":"public","volume":22,"user_id":"51811","_id":"53220","publisher":"Elsevier BV","citation":{"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>","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>.","short":"M. Tavana, A. Khalili Nasr, A.B. Ahmadabadi, A.S. Amiri, H. Mina, Internet of Things 22 (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>.","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>.","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>","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} }"},"intvolume":"        22","publication_status":"published","date_updated":"2024-04-15T13:10:41Z","author":[{"id":"31858","full_name":"Tavana, Madjid","first_name":"Madjid","last_name":"Tavana"},{"full_name":"Khalili Nasr, Arash","first_name":"Arash","last_name":"Khalili Nasr"},{"first_name":"Alireza Barati","last_name":"Ahmadabadi","full_name":"Ahmadabadi, Alireza Barati"},{"full_name":"Amiri, Alireza Shamekhi","last_name":"Amiri","first_name":"Alireza Shamekhi"},{"full_name":"Mina, Hassan","last_name":"Mina","first_name":"Hassan"}],"publication_identifier":{"issn":["2542-6605"]},"title":"An interval multi-criteria decision-making model for evaluating blockchain-IoT technology in supply chain networks","year":"2023","doi":"10.1016/j.iot.2023.100786","language":[{"iso":"eng"}],"article_number":"100786","publication":"Internet of Things","department":[{"_id":"277"}],"keyword":["Management of Technology and Innovation","Artificial Intelligence","Computer Science Applications","Hardware and Architecture","Engineering (miscellaneous)","Information Systems","Computer Science (miscellaneous)","Software"],"type":"journal_article","date_created":"2024-04-04T13:49:53Z"},{"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>"}],"publication":"The International Journal of High Performance Computing Applications","department":[{"_id":"27"},{"_id":"518"}],"keyword":["Hardware and Architecture","Theoretical Computer Science","Software"],"type":"journal_article","date_created":"2023-05-30T09:19:09Z","article_type":"original","publication_status":"published","date_updated":"2023-08-02T15:04:53Z","author":[{"id":"75963","last_name":"Schade","orcid":"0000-0002-6268-539","first_name":"Robert","full_name":"Schade, Robert"},{"first_name":"Tobias","last_name":"Kenter","full_name":"Kenter, Tobias","id":"3145"},{"id":"60250","orcid":"0000-0002-4945-1481","last_name":"Elgabarty","first_name":"Hossam","full_name":"Elgabarty, Hossam"},{"id":"24135","first_name":"Michael","orcid":"0000-0002-5708-7632","last_name":"Lass","full_name":"Lass, Michael"},{"first_name":"Thomas","last_name":"Kühne","full_name":"Kühne, Thomas","id":"49079"},{"id":"16153","first_name":"Christian","last_name":"Plessl","orcid":"0000-0001-5728-9982","full_name":"Plessl, Christian"}],"publication_identifier":{"issn":["1094-3420","1741-2846"]},"title":"Breaking the exascale barrier for the electronic structure problem in ab-initio molecular dynamics","year":"2023","doi":"10.1177/10943420231177631","language":[{"iso":"eng"}],"article_number":"109434202311776","main_file_link":[{"url":"https://journals.sagepub.com/doi/10.1177/10943420231177631","open_access":"1"}],"project":[{"_id":"52","name":"PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"quality_controlled":"1","citation":{"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} }","short":"R. Schade, T. Kenter, H. Elgabarty, M. Lass, T. Kühne, C. Plessl, The International Journal of High Performance Computing Applications (2023).","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>","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>.","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>"},"oa":"1","status":"public","user_id":"75963","publisher":"SAGE Publications","_id":"45361"},{"project":[{"_id":"114","name":"TRR 318; TP A04: Integration des technischen Modells in das Partnermodell bei der Erklärung von digitalen Artefakten"}],"citation":{"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.","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.","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} }","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.","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.","short":"V. Lohmer, L. Terfloth, F. Kern, in: First International Multimodal Communication Symposium - Book of Abstract, 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."},"publication":"First International Multimodal Communication Symposium - Book of Abstract","keyword":["gesture","dual nature","explanations","architecture","relevance"],"type":"conference_abstract","date_created":"2025-09-23T09:50:20Z","date_updated":"2025-09-23T10:13:42Z","publication_status":"published","conference":{"location":"Universität Pompeu Fabra, Barcelona","start_date":"2023-04-26","name":"1st International Multimodal Communication Symposium","end_date":"2023-04-28"},"author":[{"last_name":"Lohmer","first_name":"Vivien","full_name":"Lohmer, Vivien"},{"first_name":"Lutz","last_name":"Terfloth","full_name":"Terfloth, Lutz"},{"last_name":"Kern","first_name":"Friederike","full_name":"Kern, Friederike"}],"title":"Explaining the Technical Artifact Quarto!: How Gestures are used in Everyday Explanations","year":"2023","status":"public","user_id":"99097","_id":"61402","language":[{"iso":"eng"}]},{"type":"journal_article","keyword":["Logic","Hardware and Architecture","Arts and Humanities (miscellaneous)","Software","Theoretical Computer Science"],"date_created":"2023-07-03T11:36:55Z","abstract":[{"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>","lang":"eng"}],"extern":"1","issue":"8","publication":"Journal of Logic and Computation","doi":"10.1093/logcom/exac070","language":[{"iso":"eng"}],"date_updated":"2024-06-04T16:06:37Z","publication_status":"published","intvolume":"        32","year":"2022","title":"A parameterized view on the complexity of dependence and independence logic","publication_identifier":{"issn":["0955-792X","1465-363X"]},"author":[{"last_name":"Kontinen","first_name":"Juha","full_name":"Kontinen, Juha"},{"full_name":"Meier, Arne","first_name":"Arne","last_name":"Meier"},{"id":"99353","full_name":"Mahmood, Yasir","last_name":"Mahmood","first_name":"Yasir"}],"citation":{"short":"J. Kontinen, A. Meier, Y. Mahmood, Journal of Logic and Computation 32 (2022) 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>.","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} }","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>","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>."},"user_id":"99353","volume":32,"page":"1624-1644","publisher":"Oxford University Press (OUP)","_id":"45847","status":"public"},{"publication_status":"published","date_updated":"2023-08-02T15:03:55Z","intvolume":"       111","year":"2022","title":"Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms","publication_identifier":{"issn":["0167-8191"]},"author":[{"id":"75963","last_name":"Schade","orcid":"0000-0002-6268-539","first_name":"Robert","full_name":"Schade, Robert"},{"id":"3145","first_name":"Tobias","last_name":"Kenter","full_name":"Kenter, Tobias"},{"full_name":"Elgabarty, Hossam","first_name":"Hossam","last_name":"Elgabarty","orcid":"0000-0002-4945-1481","id":"60250"},{"full_name":"Lass, Michael","last_name":"Lass","first_name":"Michael","orcid":"0000-0002-5708-7632","id":"24135"},{"full_name":"Schütt, Ole","first_name":"Ole","last_name":"Schütt"},{"full_name":"Lazzaro, Alfio","first_name":"Alfio","last_name":"Lazzaro"},{"last_name":"Pabst","first_name":"Hans","full_name":"Pabst, Hans"},{"last_name":"Mohr","first_name":"Stephan","full_name":"Mohr, Stephan"},{"last_name":"Hutter","first_name":"Jürg","full_name":"Hutter, Jürg"},{"id":"49079","last_name":"Kühne","first_name":"Thomas","full_name":"Kühne, Thomas"},{"id":"16153","full_name":"Plessl, Christian","orcid":"0000-0001-5728-9982","first_name":"Christian","last_name":"Plessl"}],"doi":"10.1016/j.parco.2022.102920","article_number":"102920","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/S0167819122000242","open_access":"1"}],"language":[{"iso":"eng"}],"publication":"Parallel Computing","type":"journal_article","keyword":["Artificial Intelligence","Computer Graphics and Computer-Aided Design","Computer Networks and Communications","Hardware and Architecture","Theoretical Computer Science","Software"],"department":[{"_id":"613"},{"_id":"27"},{"_id":"518"}],"date_created":"2022-10-11T08:17:02Z","status":"public","user_id":"75963","volume":111,"_id":"33684","publisher":"Elsevier BV","quality_controlled":"1","project":[{"_id":"52","name":"PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"citation":{"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>.","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} }","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>","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>.","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>","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>.","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)."},"oa":"1"},{"publication_identifier":{"issn":["0018-9340","1557-9956","2326-3814"]},"author":[{"full_name":"Rodriguez, Alfonso","last_name":"Rodriguez","first_name":"Alfonso"},{"full_name":"Otero, Andres","last_name":"Otero","first_name":"Andres"},{"id":"398","full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner"},{"full_name":"De la Torre, Eduardo","last_name":"De la Torre","first_name":"Eduardo"}],"status":"public","title":"Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs","year":"2021","publication_status":"published","date_updated":"2022-04-18T10:04:21Z","language":[{"iso":"eng"}],"_id":"30907","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","page":"1-1","user_id":"398","doi":"10.1109/tc.2021.3107196","citation":{"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} }","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>","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>.","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>.","short":"A. Rodriguez, A. Otero, M. Platzner, E. De la Torre, IEEE Transactions on Computers (2021) 1–1.","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>.","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>"},"publication":"IEEE Transactions on Computers","date_created":"2022-04-18T10:03:16Z","department":[{"_id":"78"}],"keyword":["Computational Theory and Mathematics","Hardware and Architecture","Theoretical Computer Science","Software"],"type":"journal_article"},{"status":"public","has_accepted_license":"1","_id":"28683","user_id":"36399","ddc":["000"],"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>","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} }","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>.","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>.","short":"B. Schwichtenberg, Modeling and Analyzing Software Ecosystems, 2021.","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>","ieee":"B. Schwichtenberg, <i>Modeling and Analyzing Software Ecosystems</i>. 2021."},"supervisor":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"file_date_updated":"2022-12-30T22:15:15Z","project":[{"name":"SFB 901 - Project Area C","_id":"4"},{"_id":"17","name":"SFB 901 - Subproject C5"},{"_id":"1","name":"SFB 901: SFB 901"}],"author":[{"last_name":"Schwichtenberg","first_name":"Bahar","full_name":"Schwichtenberg, Bahar","id":"36399"}],"year":"2021","title":"Modeling and Analyzing Software Ecosystems","date_updated":"2022-12-30T22:15:37Z","language":[{"iso":"eng"}],"doi":"10.17619/UNIPB/1-1270 ","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."}],"date_created":"2021-12-13T07:20:33Z","file":[{"file_size":9125342,"access_level":"closed","file_name":"Bahar_Schwichtenberg_Thesis.pdf","date_updated":"2022-12-30T22:15:15Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"35069","creator":"bahareh","date_created":"2022-12-30T22:15:15Z"}],"department":[{"_id":"66"}],"keyword":["Enterprise Architecture","Architectural Design Decisions","Open Platforms"],"type":"dissertation"},{"publication_status":"published","date_updated":"2024-06-04T16:03:14Z","intvolume":"        31","title":"Parameterized complexity of abduction in Schaefer’s framework","year":"2021","publication_identifier":{"issn":["0955-792X","1465-363X"]},"author":[{"last_name":"Mahmood","first_name":"Yasir","full_name":"Mahmood, Yasir"},{"full_name":"Meier, Arne","last_name":"Meier","first_name":"Arne"},{"last_name":"Schmidt","first_name":"Johannes","full_name":"Schmidt, Johannes"}],"doi":"10.1093/logcom/exaa079","language":[{"iso":"eng"}],"extern":"1","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>"}],"publication":"Journal of Logic and Computation","issue":"1","type":"journal_article","keyword":["Logic","Hardware and Architecture","Arts and Humanities (miscellaneous)","Software","Theoretical Computer Science"],"department":[{"_id":"574"}],"date_created":"2023-07-03T11:35:23Z","status":"public","user_id":"99353","volume":31,"page":"266-296","_id":"45844","publisher":"Oxford University Press (OUP)","citation":{"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} }","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>","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.","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>.","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>"}},{"doi":"10.1109/AHS.2015.7231178","user_id":"3118","_id":"10673","language":[{"iso":"eng"}],"page":"1-7","date_updated":"2022-01-06T06:50:49Z","author":[{"first_name":"Nam","last_name":"Ho","full_name":"Ho, Nam"},{"first_name":"Abdullah Fathi","last_name":"Ahmed","full_name":"Ahmed, Abdullah Fathi"},{"full_name":"Kaufmann, Paul","last_name":"Kaufmann","first_name":"Paul"},{"full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner","id":"398"}],"status":"public","year":"2015","title":"Microarchitectural optimization by means of reconfigurable and evolvable cache mappings","department":[{"_id":"78"}],"type":"conference","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"],"date_created":"2019-07-10T11:18:00Z","project":[{"name":"Engineering Proprioception in Computing Systems","grant_number":"257906","_id":"31"}],"citation":{"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>.","short":"N. Ho, A.F. Ahmed, P. Kaufmann, M. Platzner, in: Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS), 2015, pp. 1–7.","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.","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} }","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>","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>."},"publication":"Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS)"},{"ddc":["000"],"user_id":"36399","language":[{"iso":"eng"}],"_id":"33312","has_accepted_license":"1","date_updated":"2022-12-30T22:12:13Z","publication_status":"published","author":[{"full_name":"Schwichtenberg, Bahar","last_name":"Schwichtenberg","first_name":"Bahar","id":"36399"}],"status":"public","year":"2015","title":"Early Prediction of Security Properties for Mechatronic Systems","keyword":["Software Architecture","Requirements Engineering","Embedded Systems"],"type":"mastersthesis","date_created":"2022-09-09T11:42:25Z","file":[{"file_id":"35068","content_type":"application/pdf","success":1,"file_name":"Bahar_Jazayeri_Masterarbeit.pdf","file_size":11423528,"access_level":"closed","relation":"main_file","date_updated":"2022-12-30T22:10:51Z","date_created":"2022-12-30T22:10:51Z","creator":"bahareh"}],"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."}],"extern":"1","citation":{"mla":"Schwichtenberg, Bahar. <i>Early Prediction of Security Properties for Mechatronic Systems</i>. 2015.","bibtex":"@book{Schwichtenberg_2015, title={Early Prediction of Security Properties for Mechatronic Systems}, author={Schwichtenberg, Bahar}, year={2015} }","ama":"Schwichtenberg B. <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.","apa":"Schwichtenberg, B. (2015). <i>Early Prediction of Security Properties for Mechatronic Systems</i>.","chicago":"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."},"file_date_updated":"2022-12-30T22:10:51Z"},{"citation":{"short":"F. Vidor, T. Meyers, U. Hilleringmann, Electronics 4 (2015) 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>.","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>","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>.","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>","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} }","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>."},"volume":4,"user_id":"20179","_id":"39479","publisher":"MDPI AG","page":"480-506","status":"public","department":[{"_id":"59"}],"keyword":["Electrical and Electronic Engineering","Computer Networks and Communications","Hardware and Architecture","Signal Processing","Control and Systems Engineering"],"type":"journal_article","date_created":"2023-01-24T11:23:57Z","publication":"Electronics","issue":"3","doi":"10.3390/electronics4030480","language":[{"iso":"eng"}],"intvolume":"         4","date_updated":"2023-03-21T10:16:23Z","publication_status":"published","publication_identifier":{"issn":["2079-9292"]},"author":[{"full_name":"Vidor, Fábio","last_name":"Vidor","first_name":"Fábio"},{"full_name":"Meyers, Thorsten","last_name":"Meyers","first_name":"Thorsten"},{"id":"20179","last_name":"Hilleringmann","first_name":"Ulrich","full_name":"Hilleringmann, Ulrich"}],"year":"2015","title":"Flexible Electronics: Integration Processes for Organic and Inorganic Semiconductor-Based Thin-Film Transistors"},{"date_updated":"2022-01-06T06:50:49Z","year":"2014","status":"public","title":"A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms","author":[{"full_name":"Ho, Nam","last_name":"Ho","first_name":"Nam"},{"last_name":"Kaufmann","first_name":"Paul","full_name":"Kaufmann, Paul"},{"id":"398","first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco"}],"doi":"10.1109/FPL.2014.6927437","user_id":"3118","page":"1-4","language":[{"iso":"eng"}],"_id":"10674","project":[{"name":"Engineering Proprioception in Computing Systems","_id":"31","grant_number":"257906"}],"publication":"24th Intl. Conf. on Field Programmable Logic and Applications (FPL)","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>","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} }","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.","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>.","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>","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."},"type":"conference","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"],"department":[{"_id":"78"}],"date_created":"2019-07-10T11:18:01Z"},{"date_updated":"2023-08-02T11:32:37Z","publication_status":"published","author":[{"last_name":"Alizadeh","first_name":"Bijan","full_name":"Alizadeh, Bijan"},{"full_name":"Behnam, Payman","first_name":"Payman","last_name":"Behnam"},{"id":"78614","full_name":"Sadeghi-Kohan, Somayeh","last_name":"Sadeghi-Kohan","first_name":"Somayeh","orcid":"https://orcid.org/0000-0001-7246-0610"}],"publication_identifier":{"issn":["0018-9340"]},"status":"public","year":"2014","title":"A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs","doi":"10.1109/tc.2014.2329687","user_id":"78614","language":[{"iso":"eng"}],"_id":"46266","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","page":"1-1","extern":"1","citation":{"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>.","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>","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>.","short":"B. Alizadeh, P. Behnam, S. Sadeghi-Kohan, IEEE Transactions on Computers (2014) 1–1.","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>.","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} }","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>"},"publication":"IEEE Transactions on Computers","department":[{"_id":"48"}],"keyword":["Computational Theory and Mathematics","Hardware and Architecture","Theoretical Computer Science","Software"],"type":"journal_article","date_created":"2023-08-02T11:15:22Z"}]