[{"citation":{"apa":"Shafique, M., Axer, P., Borchert, C., Chen, J.-J., Chen, K.-H., Döbel, B., Ernst, R., Härtig, H., Heinig, A., Kapitza, R., Kriebel, F., Lohmann, D., Marwedel, P., Rehman, S., Schmoll, F., &#38; Spinczyk, O. (2015). Multi-layer software reliability for unreliable hardware. <i>It - Information Technology</i>, <i>57</i>(3), 170–180. <a href=\"https://doi.org/10.1515/itit-2014-1081\">https://doi.org/10.1515/itit-2014-1081</a>","ieee":"M. Shafique <i>et al.</i>, “Multi-layer software reliability for unreliable hardware,” <i>it - Information Technology</i>, vol. 57, no. 3, pp. 170–180, 2015, doi: <a href=\"https://doi.org/10.1515/itit-2014-1081\">10.1515/itit-2014-1081</a>.","short":"M. Shafique, P. Axer, C. Borchert, J.-J. Chen, K.-H. Chen, B. Döbel, R. Ernst, H. Härtig, A. Heinig, R. Kapitza, F. Kriebel, D. Lohmann, P. Marwedel, S. Rehman, F. Schmoll, O. Spinczyk, It - Information Technology 57 (2015) 170–180.","chicago":"Shafique, Muhammad, Philip Axer, Christoph Borchert, Jian-Jia Chen, Kuan-Hsun Chen, Björn Döbel, Rolf Ernst, et al. “Multi-Layer Software Reliability for Unreliable Hardware.” <i>It - Information Technology</i> 57, no. 3 (2015): 170–80. <a href=\"https://doi.org/10.1515/itit-2014-1081\">https://doi.org/10.1515/itit-2014-1081</a>.","mla":"Shafique, Muhammad, et al. “Multi-Layer Software Reliability for Unreliable Hardware.” <i>It - Information Technology</i>, vol. 57, no. 3, Walter de Gruyter GmbH, 2015, pp. 170–80, doi:<a href=\"https://doi.org/10.1515/itit-2014-1081\">10.1515/itit-2014-1081</a>.","ama":"Shafique M, Axer P, Borchert C, et al. Multi-layer software reliability for unreliable hardware. <i>it - Information Technology</i>. 2015;57(3):170-180. doi:<a href=\"https://doi.org/10.1515/itit-2014-1081\">10.1515/itit-2014-1081</a>","bibtex":"@article{Shafique_Axer_Borchert_Chen_Chen_Döbel_Ernst_Härtig_Heinig_Kapitza_et al._2015, title={Multi-layer software reliability for unreliable hardware}, volume={57}, DOI={<a href=\"https://doi.org/10.1515/itit-2014-1081\">10.1515/itit-2014-1081</a>}, number={3}, journal={it - Information Technology}, publisher={Walter de Gruyter GmbH}, author={Shafique, Muhammad and Axer, Philip and Borchert, Christoph and Chen, Jian-Jia and Chen, Kuan-Hsun and Döbel, Björn and Ernst, Rolf and Härtig, Hermann and Heinig, Andreas and Kapitza, Rüdiger and et al.}, year={2015}, pages={170–180} }"},"status":"public","user_id":"128464","volume":57,"page":"170-180","_id":"66260","publisher":"Walter de Gruyter GmbH","abstract":[{"text":"<jats:title>Abstract</jats:title>\n               <jats:p>This paper presents a multi-layer software reliability approach that leverages multiple software layers (e. g., programming language, compiler, and operating system) to improve the overall system reliability considering unreliable or partly-reliable hardware. We present a comprehensive design flow that integrates multiple software layers while accounting for the knowledge from lower hardware layers. We show how multiple software layers synergistically operate to achieve a high degree of reliability.</jats:p>","lang":"eng"}],"issue":"3","publication":"it - Information Technology","type":"journal_article","date_created":"2026-07-05T14:38:31Z","publication_status":"published","date_updated":"2026-07-05T14:43:12Z","intvolume":"        57","year":"2015","title":"Multi-layer software reliability for unreliable hardware","author":[{"full_name":"Shafique, Muhammad","last_name":"Shafique","first_name":"Muhammad"},{"full_name":"Axer, Philip","first_name":"Philip","last_name":"Axer"},{"first_name":"Christoph","last_name":"Borchert","full_name":"Borchert, Christoph"},{"full_name":"Chen, Jian-Jia","first_name":"Jian-Jia","last_name":"Chen"},{"full_name":"Chen, Kuan-Hsun","last_name":"Chen","first_name":"Kuan-Hsun"},{"full_name":"Döbel, Björn","first_name":"Björn","last_name":"Döbel"},{"first_name":"Rolf","last_name":"Ernst","full_name":"Ernst, Rolf"},{"last_name":"Härtig","first_name":"Hermann","full_name":"Härtig, Hermann"},{"last_name":"Heinig","first_name":"Andreas","full_name":"Heinig, Andreas"},{"full_name":"Kapitza, Rüdiger","last_name":"Kapitza","first_name":"Rüdiger"},{"full_name":"Kriebel, Florian","last_name":"Kriebel","first_name":"Florian"},{"full_name":"Lohmann, Daniel","first_name":"Daniel","last_name":"Lohmann"},{"full_name":"Marwedel, Peter","last_name":"Marwedel","first_name":"Peter"},{"full_name":"Rehman, Semeen","last_name":"Rehman","first_name":"Semeen"},{"full_name":"Schmoll, Florian","last_name":"Schmoll","first_name":"Florian"},{"first_name":"Olaf","last_name":"Spinczyk","full_name":"Spinczyk, Olaf"}],"publication_identifier":{"issn":["1611-2776","2196-7032"]},"doi":"10.1515/itit-2014-1081","language":[{"iso":"eng"}]},{"date_created":"2020-02-15T09:42:27Z","type":"dissertation","citation":{"short":"J. Somorovsky, On the Insecurity of XML Security, 2013.","chicago":"Somorovsky, Juraj. <i>On the Insecurity of XML Security</i>, 2013. <a href=\"https://doi.org/10.1515/itit-2014-1045\">https://doi.org/10.1515/itit-2014-1045</a>.","apa":"Somorovsky, J. (2013). <i>On the insecurity of XML Security</i>. <a href=\"https://doi.org/10.1515/itit-2014-1045\">https://doi.org/10.1515/itit-2014-1045</a>","ieee":"J. Somorovsky, <i>On the insecurity of XML Security</i>. 2013.","ama":"Somorovsky J. <i>On the Insecurity of XML Security</i>.; 2013. doi:<a href=\"https://doi.org/10.1515/itit-2014-1045\">10.1515/itit-2014-1045</a>","bibtex":"@book{Somorovsky_2013, title={On the insecurity of XML Security}, DOI={<a href=\"https://doi.org/10.1515/itit-2014-1045\">10.1515/itit-2014-1045</a>}, author={Somorovsky, Juraj}, year={2013} }","mla":"Somorovsky, Juraj. <i>On the Insecurity of XML Security</i>. 2013, doi:<a href=\"https://doi.org/10.1515/itit-2014-1045\">10.1515/itit-2014-1045</a>."},"abstract":[{"text":"XML Encryption and XML Signature describe how to apply encryption and signing algorithms to XML documents. These specifications are implemented in a wide range of systems and frameworks processing sensitive data, including banking, eGovernment, eCommerce, military, and eHealth infrastructures. The article presents practical and highly critical attacks which allow to forge signed XML documents or reveal contents of encrypted XML data.","lang":"eng"}],"_id":"15901","language":[{"iso":"eng"}],"user_id":"83504","doi":"10.1515/itit-2014-1045","publication_identifier":{"issn":["1611-2776","2196-7032"]},"author":[{"id":"83504","first_name":"Juraj","orcid":"0000-0002-3593-7720","last_name":"Somorovsky","full_name":"Somorovsky, Juraj"}],"year":"2013","title":"On the insecurity of XML Security","status":"public","publication_status":"published","date_updated":"2022-01-06T06:52:40Z"},{"language":[{"iso":"eng"}],"_id":"16481","doi":"10.1524/itit.45.2.108.19606","user_id":"15415","title":"Sonderforschungsbereich 376 Massive Parallelität: Algorithmen – Entwurfsmethoden – Anwendungen (Massively Parallel Computing: Algorithms – Design Methods – Applications)","year":"2003","status":"public","publication_identifier":{"issn":["2196-7032","1611-2776"]},"author":[{"id":"15523","last_name":"Meyer auf der Heide","first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm"}],"date_updated":"2022-01-06T06:52:50Z","publication_status":"published","date_created":"2020-04-09T07:27:56Z","type":"journal_article","department":[{"_id":"63"}],"publication":"it - Information Technology","citation":{"mla":"Meyer auf der Heide, Friedhelm. “Sonderforschungsbereich 376 Massive Parallelität: Algorithmen – Entwurfsmethoden – Anwendungen (Massively Parallel Computing: Algorithms – Design Methods – Applications).” <i>It - Information Technology</i>, 2003, doi:<a href=\"https://doi.org/10.1524/itit.45.2.108.19606\">10.1524/itit.45.2.108.19606</a>.","ama":"Meyer auf der Heide F. Sonderforschungsbereich 376 Massive Parallelität: Algorithmen – Entwurfsmethoden – Anwendungen (Massively Parallel Computing: Algorithms – Design Methods – Applications). <i>it - Information Technology</i>. 2003. doi:<a href=\"https://doi.org/10.1524/itit.45.2.108.19606\">10.1524/itit.45.2.108.19606</a>","bibtex":"@article{Meyer auf der Heide_2003, title={Sonderforschungsbereich 376 Massive Parallelität: Algorithmen – Entwurfsmethoden – Anwendungen (Massively Parallel Computing: Algorithms – Design Methods – Applications)}, DOI={<a href=\"https://doi.org/10.1524/itit.45.2.108.19606\">10.1524/itit.45.2.108.19606</a>}, journal={it - Information Technology}, author={Meyer auf der Heide, Friedhelm}, year={2003} }","apa":"Meyer auf der Heide, F. (2003). Sonderforschungsbereich 376 Massive Parallelität: Algorithmen – Entwurfsmethoden – Anwendungen (Massively Parallel Computing: Algorithms – Design Methods – Applications). <i>It - Information Technology</i>. <a href=\"https://doi.org/10.1524/itit.45.2.108.19606\">https://doi.org/10.1524/itit.45.2.108.19606</a>","ieee":"F. Meyer auf der Heide, “Sonderforschungsbereich 376 Massive Parallelität: Algorithmen – Entwurfsmethoden – Anwendungen (Massively Parallel Computing: Algorithms – Design Methods – Applications),” <i>it - Information Technology</i>, 2003.","chicago":"Meyer auf der Heide, Friedhelm. “Sonderforschungsbereich 376 Massive Parallelität: Algorithmen – Entwurfsmethoden – Anwendungen (Massively Parallel Computing: Algorithms – Design Methods – Applications).” <i>It - Information Technology</i>, 2003. <a href=\"https://doi.org/10.1524/itit.45.2.108.19606\">https://doi.org/10.1524/itit.45.2.108.19606</a>.","short":"F. Meyer auf der Heide, It - Information Technology (2003)."},"abstract":[{"lang":"eng","text":"<jats:title>Zusammenfassung</jats:title><jats:p>Vernetzte Systeme sind zu unverzichtbaren Bestandteilen unseres Umfelds geworden, zum Beispiel als Höchstleistungsrechner, als Kommunikations- und Informationssysteme oder als Planungs- und Steuerungskomponenten von Transport- und Produktionssystemen. Die ständig wachsende Komplexität solcher Systeme stellt Informatiker und Ingenieure vor immer neue Herausforderungen. In diesem Beitrag beschreibe ich die Zielsetzungen und die Struktur des SFB 376 Massive Parallelität: Algorithmen – Entwurfsmethoden – Anwendungen. Als Beispiel für unsere Arbeiten beschreibe ich einen algorithmisch orientierten Forschungszweig, in dem wir, ausgehend von theoretischen Problemen über effiziente Simulationen zwischen parallelen Rechenmodellen, Methoden, Techniken und Implementierungen entwickelt haben, die zu produktnahen Prototypen für die Speichervirtualisierung in verteilten Datenservern führen.</jats:p>"}]}]