---
_id: '66260'
abstract:
- lang: eng
  text: |-
    <jats:title>Abstract</jats:title>
                   <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>
author:
- first_name: Muhammad
  full_name: Shafique, Muhammad
  last_name: Shafique
- first_name: Philip
  full_name: Axer, Philip
  last_name: Axer
- first_name: Christoph
  full_name: Borchert, Christoph
  last_name: Borchert
- first_name: Jian-Jia
  full_name: Chen, Jian-Jia
  last_name: Chen
- first_name: Kuan-Hsun
  full_name: Chen, Kuan-Hsun
  last_name: Chen
- first_name: Björn
  full_name: Döbel, Björn
  last_name: Döbel
- first_name: Rolf
  full_name: Ernst, Rolf
  last_name: Ernst
- first_name: Hermann
  full_name: Härtig, Hermann
  last_name: Härtig
- first_name: Andreas
  full_name: Heinig, Andreas
  last_name: Heinig
- first_name: Rüdiger
  full_name: Kapitza, Rüdiger
  last_name: Kapitza
- first_name: Florian
  full_name: Kriebel, Florian
  last_name: Kriebel
- first_name: Daniel
  full_name: Lohmann, Daniel
  last_name: Lohmann
- first_name: Peter
  full_name: Marwedel, Peter
  last_name: Marwedel
- first_name: Semeen
  full_name: Rehman, Semeen
  last_name: Rehman
- first_name: Florian
  full_name: Schmoll, Florian
  last_name: Schmoll
- first_name: Olaf
  full_name: Spinczyk, Olaf
  last_name: Spinczyk
citation:
  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>
  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>
  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}
    }'
  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>.'
  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>.'
  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>.
  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.
date_created: 2026-07-05T14:38:31Z
date_updated: 2026-07-05T14:43:12Z
doi: 10.1515/itit-2014-1081
intvolume: '        57'
issue: '3'
language:
- iso: eng
page: 170-180
publication: it - Information Technology
publication_identifier:
  issn:
  - 1611-2776
  - 2196-7032
publication_status: published
publisher: Walter de Gruyter GmbH
status: public
title: Multi-layer software reliability for unreliable hardware
type: journal_article
user_id: '128464'
volume: 57
year: '2015'
...
---
_id: '15901'
abstract:
- lang: eng
  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.
author:
- first_name: Juraj
  full_name: Somorovsky, Juraj
  id: '83504'
  last_name: Somorovsky
  orcid: 0000-0002-3593-7720
citation:
  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>
  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>
  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} }'
  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>.
  ieee: J. Somorovsky, <i>On the insecurity of XML Security</i>. 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>.
  short: J. Somorovsky, On the Insecurity of XML Security, 2013.
date_created: 2020-02-15T09:42:27Z
date_updated: 2022-01-06T06:52:40Z
doi: 10.1515/itit-2014-1045
language:
- iso: eng
publication_identifier:
  issn:
  - 1611-2776
  - 2196-7032
publication_status: published
status: public
title: On the insecurity of XML Security
type: dissertation
user_id: '83504'
year: '2013'
...
---
_id: '19031'
author:
- first_name: Patrick
  full_name: Briest, Patrick
  last_name: Briest
citation:
  ama: Briest P. Algorithmische und komplexitätstheoretische Aspekte kombinatorischer
    Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems). <i>it
    - Information Technology</i>. 2009;51(1):62-65. doi:<a href="https://doi.org/10.1524/itit.2009.0524">10.1524/itit.2009.0524</a>
  apa: Briest, P. (2009). Algorithmische und komplexitätstheoretische Aspekte kombinatorischer
    Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems). <i>It
    - Information Technology</i>, <i>51</i>(1), 62–65. <a href="https://doi.org/10.1524/itit.2009.0524">https://doi.org/10.1524/itit.2009.0524</a>
  bibtex: '@article{Briest_2009, title={Algorithmische und komplexitätstheoretische
    Aspekte kombinatorischer Preisoptimierung (Computational Aspects of Combinatorial
    Pricing Problems)}, volume={51}, DOI={<a href="https://doi.org/10.1524/itit.2009.0524">10.1524/itit.2009.0524</a>},
    number={1}, journal={it - Information Technology}, author={Briest, Patrick}, year={2009},
    pages={62–65} }'
  chicago: 'Briest, Patrick. “Algorithmische Und Komplexitätstheoretische Aspekte
    Kombinatorischer Preisoptimierung (Computational Aspects of Combinatorial Pricing
    Problems).” <i>It - Information Technology</i> 51, no. 1 (2009): 62–65. <a href="https://doi.org/10.1524/itit.2009.0524">https://doi.org/10.1524/itit.2009.0524</a>.'
  ieee: P. Briest, “Algorithmische und komplexitätstheoretische Aspekte kombinatorischer
    Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems),” <i>it
    - Information Technology</i>, vol. 51, no. 1, pp. 62–65, 2009.
  mla: Briest, Patrick. “Algorithmische Und Komplexitätstheoretische Aspekte Kombinatorischer
    Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems).” <i>It
    - Information Technology</i>, vol. 51, no. 1, 2009, pp. 62–65, doi:<a href="https://doi.org/10.1524/itit.2009.0524">10.1524/itit.2009.0524</a>.
  short: P. Briest, It - Information Technology 51 (2009) 62–65.
date_created: 2020-09-04T12:05:57Z
date_updated: 2022-01-06T06:53:57Z
department:
- _id: '63'
doi: 10.1524/itit.2009.0524
intvolume: '        51'
issue: '1'
language:
- iso: eng
page: 62-65
publication: it - Information Technology
publication_identifier:
  issn:
  - 1611-2776
publication_status: published
status: public
title: Algorithmische und komplexitätstheoretische Aspekte kombinatorischer Preisoptimierung
  (Computational Aspects of Combinatorial Pricing Problems)
type: journal_article
user_id: '15415'
volume: 51
year: '2009'
...
---
_id: '16481'
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>'
author:
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
citation:
  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>'
  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>'
  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} }'
  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>.'
  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.'
  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>.'
  short: F. Meyer auf der Heide, It - Information Technology (2003).
date_created: 2020-04-09T07:27:56Z
date_updated: 2022-01-06T06:52:50Z
department:
- _id: '63'
doi: 10.1524/itit.45.2.108.19606
language:
- iso: eng
publication: it - Information Technology
publication_identifier:
  issn:
  - 2196-7032
  - 1611-2776
publication_status: published
status: public
title: 'Sonderforschungsbereich 376 Massive Parallelität: Algorithmen – Entwurfsmethoden
  – Anwendungen (Massively Parallel Computing: Algorithms – Design Methods – Applications)'
type: journal_article
user_id: '15415'
year: '2003'
...