<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>6183</id>
    <completedYear/>
    <publishedYear>2025</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>161</pageFirst>
    <pageLast>177</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <articleNumber/>
    <type>conferenceobject</type>
    <publisherName>Springer</publisherName>
    <publisherPlace>Cham</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>1</belongsToBibliography>
    <completedDate>2025-09-03</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Runtime Monitor Synthesis for Automotive Software Architectures</title>
    <parentTitle language="eng">Software Architecture: 19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings</parentTitle>
    <identifier type="isbn">978-3-032-02138-0</identifier>
    <enrichment key="opus_doi_flag">true</enrichment>
    <enrichment key="local_crossrefDocumentType">book-chapter</enrichment>
    <enrichment key="local_crossrefLicence">https://www.springernature.com/gp/researchers/text-and-data-mining</enrichment>
    <enrichment key="local_import_origin">crossref</enrichment>
    <enrichment key="local_doiImportPopulated">PersonAuthorFirstName_1,PersonAuthorLastName_1,PersonAuthorIdentifierOrcid_1,PersonAuthorFirstName_2,PersonAuthorLastName_2,PersonAuthorIdentifierOrcid_2,PersonAuthorFirstName_3,PersonAuthorLastName_3,PersonAuthorIdentifierOrcid_3,PersonAuthorFirstName_4,PersonAuthorLastName_4,PersonAuthorFirstName_5,PersonAuthorLastName_5,PersonAuthorIdentifierOrcid_5,PersonAuthorFirstName_6,PersonAuthorLastName_6,PersonAuthorIdentifierOrcid_6,PublisherName,PublisherPlace,TitleMain_1,Language,TitleParent_1,PageNumber,PageFirst,PageLast,CompletedYear,IdentifierIsbn,IdentifierIssn,Enrichmentlocal_crossrefLicence</enrichment>
    <enrichment key="opus.source">doi-import</enrichment>
    <enrichment key="THI_relatedIdentifier">https://doi.org/10.1007/978-3-032-02138-0_11</enrichment>
    <enrichment key="THI_openaccess">nein</enrichment>
    <enrichment key="THI_conferenceName">19th European Conference on Software Architecture (ECSA 2025), Limassol (Cyprus), 15.-19.09.2025</enrichment>
    <enrichment key="THI_review">peer-review</enrichment>
    <enrichment key="opus.doi.autoCreate">false</enrichment>
    <enrichment key="opus.urn.autoCreate">true</enrichment>
    <author>
      <first_name>Fazli Faruk</first_name>
      <last_name>Okumus</last_name>
    </author>
    <editor>
      <first_name>Vasilios</first_name>
      <last_name>Andrikopoulos</last_name>
    </editor>
    <author>
      <first_name>João-Vitor</first_name>
      <last_name>Zacchi</last_name>
    </author>
    <editor>
      <first_name>Cesare</first_name>
      <last_name>Pautasso</last_name>
    </editor>
    <author>
      <first_name>Maike</first_name>
      <last_name>Salfeld</last_name>
    </author>
    <editor>
      <first_name>Nour</first_name>
      <last_name>Ali</last_name>
    </editor>
    <author>
      <first_name>Markus</first_name>
      <last_name>Schweizer</last_name>
    </author>
    <editor>
      <first_name>Jacopo</first_name>
      <last_name>Soldani</last_name>
    </editor>
    <author>
      <first_name>Núria</first_name>
      <last_name>Mata</last_name>
    </author>
    <editor>
      <first_name>Xiwei</first_name>
      <last_name>Xu</last_name>
    </editor>
    <author>
      <first_name>Stefan</first_name>
      <last_name>Kugele</last_name>
    </author>
    <collection role="institutes" number="19309">Fakultät Informatik</collection>
    <collection role="institutes" number="19379">AImotion Bavaria</collection>
    <collection role="persons" number="40511">Kugele, Stefan</collection>
  </doc>
  <doc>
    <id>3009</id>
    <completedYear/>
    <publishedYear>2016</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>133</pageFirst>
    <pageLast>142</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <articleNumber/>
    <type>conferenceobject</type>
    <publisherName>IEEE</publisherName>
    <publisherPlace>Piscataway</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Verification of component architectures using mode-based contracts</title>
    <parentTitle language="eng">2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)</parentTitle>
    <identifier type="isbn">978-1-5090-2791-0</identifier>
    <enrichment key="opus.import.data">@inproceedingsDBLP:conf/memocode/KugeleMMW16, author = Stefan Kugele and Diego Marmsoler and Nuria Mata and Kai Werther, bibsource = dblp computer science bibliography, https://dblp.org, biburl = https://dblp.org/rec/conf/memocode/KugeleMMW16.bib, booktitle = 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, date-added = 2022-12-19 09:22:16 +0100, date-modified = 2022-12-19 09:22:16 +0100, doi = 10.1109/MEMCOD.2016.7797758, pages = 133–142, publisher = IEEE, timestamp = Wed, 16 Oct 2019 14:14:54 +0200, title = Verification of component architectures using mode-based contracts, url = https://doi.org/10.1109/MEMCOD.2016.7797758, year = 2016, bdsk-url-1 = https://doi.org/10.1109/MEMCOD.2016.7797758</enrichment>
    <enrichment key="opus.import.dataHash">md5:190b8805250685aff87965d27892817a</enrichment>
    <enrichment key="opus.import.date">2022-12-19T10:41:56+00:00</enrichment>
    <enrichment key="opus.import.file">/tmp/phpNzJgLK</enrichment>
    <enrichment key="opus.import.format">bibtex</enrichment>
    <enrichment key="opus.import.id">63a03ff459d456.63109939</enrichment>
    <enrichment key="THI_conferenceName">2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2016), Kanpur (India), 18.-20.11.2016</enrichment>
    <enrichment key="THI_relatedIdentifier">https://doi.org/10.1109/MEMCOD.2016.7797758</enrichment>
    <enrichment key="THI_review">peer-review</enrichment>
    <enrichment key="THI_openaccess">nein</enrichment>
    <author>
      <first_name>Stefan</first_name>
      <last_name>Kugele</last_name>
    </author>
    <author>
      <first_name>Diego</first_name>
      <last_name>Marmsoler</last_name>
    </author>
    <author>
      <first_name>Núria</first_name>
      <last_name>Mata</last_name>
    </author>
    <author>
      <first_name>Kai</first_name>
      <last_name>Werther</last_name>
    </author>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Contracts</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Cognition</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Cost accounting</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Concrete</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Computer architecture</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Complexity theory</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Context modeling</value>
    </subject>
    <collection role="persons" number="40511">Kugele, Stefan</collection>
  </doc>
  <doc>
    <id>5745</id>
    <completedYear/>
    <publishedYear>2025</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>65</pageFirst>
    <pageLast>66</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <articleNumber/>
    <type>conferenceobject</type>
    <publisherName>Gesellschaft für Informatik</publisherName>
    <publisherPlace>Bonn</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>1</belongsToBibliography>
    <completedDate>2025-03-04</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Applying Concept-Based Models for Enhanced Safety Argumentation – Summary</title>
    <abstract language="eng">In this extended abstract we summarize our work on using Concept Bottleneck Models (CBMs) for an enhanced safety argumentation of vision-based Machine Learning (ML) perception components in safety critical systems. This paper has been published at the International Symposium on Software Reliability Engineering (ISRRE’24)</abstract>
    <parentTitle language="eng">Software Engineering 2025: Proceedings</parentTitle>
    <identifier type="issn">2944-7682</identifier>
    <identifier type="urn">urn:nbn:de:bvb:573-57457</identifier>
    <enrichment key="opus.source">publish</enrichment>
    <enrichment key="THI_relatedIdentifier">https://doi.org/10.18420/se2025-18</enrichment>
    <enrichment key="THI_openaccess">ja</enrichment>
    <enrichment key="THI_review">peer-review</enrichment>
    <enrichment key="THI_conferenceName">Software Engineering 2025 (SE 2025), Fachtagung des GI-Fachbereichs Softwaretechnik, Karlsruhe (Germany), 24.-28.02.2025</enrichment>
    <enrichment key="THI_furtherversion">https://opus4.kobv.de/opus4-haw/frontdoor/index/index/docId/5449</enrichment>
    <licence>Creative Commons BY-SA 4.0</licence>
    <author>
      <first_name>João Paulo</first_name>
      <last_name>Costa de Araujo</last_name>
    </author>
    <editor>
      <first_name>Anne</first_name>
      <last_name>Koziolek</last_name>
    </editor>
    <author>
      <first_name>Balahari Vignesh</first_name>
      <last_name>Balu</last_name>
    </author>
    <editor>
      <first_name>Anna-Lena</first_name>
      <last_name>Lamprecht</last_name>
    </editor>
    <author>
      <first_name>Eik</first_name>
      <last_name>Reichmann</last_name>
    </author>
    <editor>
      <first_name>Thomas</first_name>
      <last_name>Thüm</last_name>
    </editor>
    <author>
      <first_name>Jessica</first_name>
      <last_name>Kelly</last_name>
    </author>
    <editor>
      <first_name>Erik</first_name>
      <last_name>Burger</last_name>
    </editor>
    <author>
      <first_name>Stefan</first_name>
      <last_name>Kugele</last_name>
    </author>
    <author>
      <first_name>Núria</first_name>
      <last_name>Mata</last_name>
    </author>
    <author>
      <first_name>Lars</first_name>
      <last_name>Grunske</last_name>
    </author>
    <collection role="open_access" number="">open_access</collection>
    <collection role="institutes" number="19309">Fakultät Informatik</collection>
    <collection role="institutes" number="19379">AImotion Bavaria</collection>
    <collection role="persons" number="40511">Kugele, Stefan</collection>
    <thesisPublisher>Technische Hochschule Ingolstadt</thesisPublisher>
    <file>https://opus4.kobv.de/opus4-haw/files/5745/B4-4.pdf</file>
  </doc>
  <doc>
    <id>5449</id>
    <completedYear/>
    <publishedYear>2024</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>272</pageFirst>
    <pageLast>283</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <articleNumber/>
    <type>conferenceobject</type>
    <publisherName>IEEE</publisherName>
    <publisherPlace>Los Alamitos</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>1</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Applying Concept-Based Models for Enhanced Safety Argumentation</title>
    <parentTitle language="eng">Proceedings: 2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE 2024)</parentTitle>
    <identifier type="isbn">979-8-3503-5388-4</identifier>
    <enrichment key="opus_doi_flag">true</enrichment>
    <enrichment key="local_crossrefDocumentType">proceedings-article</enrichment>
    <enrichment key="local_crossrefLicence">https://doi.org/10.15223/policy-029</enrichment>
    <enrichment key="local_import_origin">crossref</enrichment>
    <enrichment key="local_doiImportPopulated">PersonAuthorFirstName_1,PersonAuthorLastName_1,PersonAuthorFirstName_2,PersonAuthorLastName_2,PersonAuthorFirstName_3,PersonAuthorLastName_3,PersonAuthorFirstName_4,PersonAuthorLastName_4,PersonAuthorFirstName_5,PersonAuthorLastName_5,PersonAuthorFirstName_6,PersonAuthorLastName_6,PersonAuthorFirstName_7,PersonAuthorLastName_7,Enrichmentconference_title,Enrichmentconference_place,PublisherName,TitleMain_1,TitleParent_1,PageNumber,PageFirst,PageLast,CompletedYear,Enrichmentlocal_crossrefLicence</enrichment>
    <enrichment key="conference_title">2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE)</enrichment>
    <enrichment key="conference_place">Tsukuba, Japan</enrichment>
    <enrichment key="opus.source">doi-import</enrichment>
    <enrichment key="THI_conferenceName">2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE 2024), Tsukuba (Japan), 28.-31.10.2024</enrichment>
    <enrichment key="THI_openaccess">nein</enrichment>
    <enrichment key="THI_review">peer-review</enrichment>
    <enrichment key="THI_relatedIdentifier">https://doi.org/10.1109/ISSRE62328.2024.00034</enrichment>
    <enrichment key="THI_furtherversion">https://opus4.kobv.de/opus4-haw/frontdoor/index/index/docId/5745</enrichment>
    <author>
      <first_name>João Paulo</first_name>
      <last_name>Costa de Araujo</last_name>
    </author>
    <author>
      <first_name>Balahari Vignesh</first_name>
      <last_name>Balu</last_name>
    </author>
    <author>
      <first_name>Eik</first_name>
      <last_name>Reichmann</last_name>
    </author>
    <author>
      <first_name>Jessica</first_name>
      <last_name>Kelly</last_name>
    </author>
    <author>
      <first_name>Stefan</first_name>
      <last_name>Kugele</last_name>
    </author>
    <author>
      <first_name>Núria</first_name>
      <last_name>Mata</last_name>
    </author>
    <author>
      <first_name>Lars</first_name>
      <last_name>Grunske</last_name>
    </author>
    <collection role="institutes" number="19309">Fakultät Informatik</collection>
    <collection role="institutes" number="19379">AImotion Bavaria</collection>
    <collection role="persons" number="40511">Kugele, Stefan</collection>
  </doc>
</export-example>
