{"id":"https://openalex.org/W6906465550","doi":"https://doi.org/10.17619/unipb/1-104","title":"On-The-Fly safety checking - customizing program certification and program restructuring","display_name":"On-The-Fly safety checking - customizing program certification and program restructuring","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W6906465550","doi":"https://doi.org/10.17619/unipb/1-104"},"language":"en","primary_location":{"id":"pmh:oai:digital.ub.uni-paderborn.de/hs:2461273","is_oa":false,"landing_page_url":"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-28514","pdf_url":null,"source":{"id":"https://openalex.org/S4306400179","display_name":"Habilitation Regulations of the Faculty of Mechanical Engineering (University of Paderborn)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I206945453","host_organization_name":"Paderborn University","host_organization_lineage":["https://openalex.org/I206945453"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.17619/unipb/1-104","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Jakobs, Marie-Christine","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jakobs, Marie-Christine","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.3921000063419342,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.3921000063419342,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.21969999372959137,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.1559000015258789,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.3224000036716461},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.27250000834465027},{"id":"https://openalex.org/keywords/restructuring","display_name":"Restructuring","score":0.27079999446868896},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.2207999974489212}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.5746999979019165},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.41760000586509705},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.3224000036716461},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.27250000834465027},{"id":"https://openalex.org/C45237549","wikidata":"https://www.wikidata.org/wiki/Q1376796","display_name":"Restructuring","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.23520000278949738},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.22460000216960907},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2207999974489212},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1889999955892563},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.18060000240802765}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:digital.ub.uni-paderborn.de/hs:2461273","is_oa":false,"landing_page_url":"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-28514","pdf_url":null,"source":{"id":"https://openalex.org/S4306400179","display_name":"Habilitation Regulations of the Faculty of Mechanical Engineering (University of Paderborn)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I206945453","host_organization_name":"Paderborn University","host_organization_lineage":["https://openalex.org/I206945453"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"pmh:oai:digital.ub.uni-paderborn.de:2461273","is_oa":false,"landing_page_url":"http://digital.ub.uni-paderborn.de/hs/doi/10.17619/UNIPB/1-104","pdf_url":null,"source":{"id":"https://openalex.org/S4306402316","display_name":"Amtliche Mitteilungen (Universit\u00e4tsbibliothek Paderborn)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I206945453","host_organization_name":"Paderborn University","host_organization_lineage":["https://openalex.org/I206945453"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"doi:10.17619/unipb/1-104","is_oa":true,"landing_page_url":"https://doi.org/10.17619/unipb/1-104","pdf_url":null,"source":{"id":"https://openalex.org/S4306401930","display_name":"University Library Bielefeld Digital Collections (Bielefeld University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20121455","host_organization_name":"Bielefeld University","host_organization_lineage":["https://openalex.org/I20121455"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.17619/unipb/1-104","is_oa":true,"landing_page_url":"https://doi.org/10.17619/unipb/1-104","pdf_url":null,"source":{"id":"https://openalex.org/S4306401930","display_name":"University Library Bielefeld Digital Collections (Bielefeld University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20121455","host_organization_name":"Bielefeld University","host_organization_lineage":["https://openalex.org/I20121455"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Viele":[0],"Alltagsgegenst\u00e4nde":[1],"f\u00fchren":[2],"Software":[3,21,29,39,46,61,79,100],"aus.":[4],"Daher":[5,67],"sollte":[6],"sie":[7,45],"fehlerfrei":[8],"sein.":[9],"Firmen":[10],"betreiben":[11],"viel":[12],"Aufwand,":[13],".z.B.":[14],"formale":[15],"Verifikation,":[16,107,185],"um":[17,135,186],"Fehler":[18],"in":[19,89],"der":[20,73,78,97,126,131,150,154,184,192],"zu":[22,27,114,140,189],"eliminieren":[23],"oder":[24],"deren":[25,147],"Abwesenheit":[26],"zeigen.":[28],"aufw\u00e4ndig":[30],"validiert":[31],"wurde,":[32],"kann":[33,68],"bedenkenlos":[34],"installiert":[35],"werden.Fr\u00fcher":[36],"installierten":[37],"Verbraucher":[38,53,74,95,165,193],"aus":[40,130],"gro\u00dfen":[41],"Softwareh\u00e4usern,":[42],"von":[43,63,96],"denen":[44],"bereits":[47],"nutzten.":[48],"Aufgrund":[49],"langzeitiger":[50],"Gesch\u00e4ftsbeziehung":[51],"konnten":[52],"die":[54,76,86,113,118,128,136,172,182,212,218],"Softwarequalit\u00e4t":[55],"dieser":[56,81],"Hersteller":[57,91,127,155],"absch\u00e4tzen.":[58],"Heute":[59],"wird":[60],"vermehrt":[62],"unbekannten":[64],"Entwicklern":[65],"geschrieben.":[66],"nicht":[69],"erwartet":[70],"werden,":[71],"dass":[72,125,171,191,204,217],"auf":[75,105],"Fehlerfreiheit":[77,98],"vertraut.In":[80],"Arbeit":[82],"entwickeln":[83],"wir":[84],"Techniken,":[85,203],"ohne":[87],"Vertrauen":[88],"den":[90,94],"auskommen":[92],"und":[93,110,117,146,158],"einer":[99,195,207],"\u00fcberzeugen.":[101],"Die":[102,122],"Techniken":[103,226],"basieren":[104],"formaler":[106],"sind":[108],"automatisch":[109],"k\u00f6nnen":[111],"an":[112],"pr\u00fcfende":[115],"Eigenschaft":[116,214],"Verifikationstechnik":[119],"angepasst":[120],"werden.":[121],"Idee":[123],"ist,":[124],"Informationen":[129,183],"aufw\u00e4ndigen":[132],"Verifikation":[133,173],"nutzt,":[134],"Nachpr\u00fcfung":[137,209,219],"des":[138,162],"Verbrauchers":[139],"vereinfachen.":[141],"Wir":[142,199],"verfolgen":[143],"zwei":[144],"Ans\u00e4tze,":[145],"Integration.":[148],"In":[149],"konfigurierbaren":[151],"Programmzertifizierung":[152],"liefert":[153],"das":[156,168,210],"Programm":[157,188],"ein":[159,187],"Zertifikat":[160,169],"(Teile":[161],"Verifikationsbeweises).":[163],"Der":[164],"pr\u00fcft,":[166],"ob":[167],"bezeugt,":[170],"erfolgreich":[174,223],"war.":[175],"Das":[176],"Konzept":[177],"Programs":[178],"from":[179],"Proofs":[180],"nutzt":[181],"erzeugen,":[190],"mit":[194],"Datenflussanalyse":[196],"verifizieren":[197],"kann.":[198],"beweisen":[200],"f\u00fcr":[201],"alle":[202],"im":[205],"Falle":[206],"erfolgreichen":[208],"Softwareprodukt":[211],"gepr\u00fcfte":[213],"erf\u00fcllt,":[215],"und,":[216],"bei":[220],"regelkonformen":[221],"Produzenten":[222],"ist.":[224],"Alle":[225],"wurden":[227],"auch":[228],"praktisch":[229],"evaluiert.":[230]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}