{"id":"https://openalex.org/W6925546608","doi":"https://doi.org/10.18420/se2021_22","title":"Skill-Based Verification of Cyber-Physical Systems","display_name":"Skill-Based Verification of Cyber-Physical Systems","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W6925546608","doi":"https://doi.org/10.18420/se2021_22"},"language":"en","primary_location":{"id":"doi:10.18420/se2021_22","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2021_22","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.18420/se2021_22","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Kn\u00fcppel, Alexander","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kn\u00fcppel, Alexander","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jatzkowski, Inga","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jatzkowski, Inga","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nolte, Marcus","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nolte, Marcus","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Runge, Tobias","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Runge, Tobias","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Th\u00fcm, Thomas","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Th\u00fcm, Thomas","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Schaefer, Ina","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Schaefer, Ina","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.58517279,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T12165","display_name":"Environmental Sustainability and Education","score":0.06069999933242798,"subfield":{"id":"https://openalex.org/subfields/2308","display_name":"Management, Monitoring, Policy and Law"},"field":{"id":"https://openalex.org/fields/23","display_name":"Environmental Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12165","display_name":"Environmental Sustainability and Education","score":0.06069999933242798,"subfield":{"id":"https://openalex.org/subfields/2308","display_name":"Management, Monitoring, Policy and Law"},"field":{"id":"https://openalex.org/fields/23","display_name":"Environmental Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10319","display_name":"Conservation, Biodiversity, and Resource Management","score":0.03350000083446503,"subfield":{"id":"https://openalex.org/subfields/2306","display_name":"Global and Planetary Change"},"field":{"id":"https://openalex.org/fields/23","display_name":"Environmental Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12013","display_name":"Sustainable Development and Environmental Policy","score":0.02710000053048134,"subfield":{"id":"https://openalex.org/subfields/2308","display_name":"Management, Monitoring, Policy and Law"},"field":{"id":"https://openalex.org/fields/23","display_name":"Environmental Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5882999897003174},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5277000069618225},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.4575999975204468},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4361000061035156},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.38670000433921814},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.382999986410141},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.34599998593330383},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.3449000120162964},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.3310000002384186}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.725600004196167},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5882999897003174},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5485000014305115},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5277000069618225},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.4575999975204468},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4361000061035156},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.38670000433921814},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.382999986410141},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.34599998593330383},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.3449000120162964},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3310000002384186},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31380000710487366},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31380000710487366},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.30660000443458557},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.3050999939441681},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.303600013256073},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.3010999858379364},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.3009999990463257},{"id":"https://openalex.org/C18555067","wikidata":"https://www.wikidata.org/wiki/Q8375051","display_name":"Joint (building)","level":2,"score":0.2953000068664551},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.2930999994277954},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2872999906539917},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.2854999899864197},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.26409998536109924},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.263700008392334},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.2623000144958496},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.25859999656677246},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.25850000977516174}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18420/se2021_22","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2021_22","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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.18420/se2021_22","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2021_22","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":{"This":[0],"work":[1],"has":[2],"been":[3],"accepted":[4],"at":[5],"the":[6,20,79,130,143,167,173],"23rd":[7],"International":[8],"Conference":[9],"on":[10,24,129],"Fundamental":[11],"Approaches":[12],"to":[13,75,157],"Software":[14],"Engineering,":[15],"held":[16],"as":[17],"part":[18],"of":[19,28,34,50,81,110,132,145,169,175],"European":[21],"Joint":[22],"Conferences":[23],"Theory":[25],"and":[26,53,77,86,104,139,189],"Practice":[27],"Software,":[29],"ETAPS":[30],"2020.":[31],"The":[32],"increase":[33],"complexity":[35],"in":[36,183],"modeling":[37,88],"cyber-physical":[38,127],"systems":[39,128],"poses":[40],"a":[41,61,107,123,191],"challenge":[42],"for":[43,90,126],"formally":[44,97],"ensuring":[45],"their":[46],"functional":[47],"correctness.":[48],"Lack":[49],"expert":[51],"knowledge":[52],"scalability":[54],"are":[55,102],"two":[56],"limiting":[57],"factors":[58],"that":[59,99],"prohibit":[60],"seamless":[62],"integration":[63],"into":[64,117],"today's":[65],"software":[66],"engineering":[67],"processes.":[68],"To":[69,171],"address":[70],"this":[71],"challenge,":[72],"we":[73,113,179],"propose":[74],"adopt":[76],"formalize":[78],"notion":[80,89,125],"skill":[82,100,152],"graphs,":[83],"an":[84,184,195],"abstract":[85],"easy-to-use":[87],"representing":[91],"automated":[92],"vehicle":[93,197],"driving":[94],"maneuvers.":[95],"For":[96],"verifying":[98],"graphs":[101,153],"well-formed":[103],"comply":[105],"with":[106],"given":[108],"set":[109],"safety":[111],"requirements,":[112],"incorporate":[114],"hybrid":[115],"programs":[116,121],"our":[118,176,181],"formalization.":[119],"Hybrid":[120],"constitute":[122],"program":[124],"basis":[131],"differential":[133],"dynamic":[134],"logic,":[135],"which":[136],"enables":[137],"deductive":[138],"compositional":[140],"verification":[141],"following":[142],"idea":[144],"Hoare-style":[146],"reasoning.":[147],"That":[148],"is,":[149],"simpler":[150],"verified":[151],"can":[154],"be":[155],"combined":[156],"exhibit":[158],"complex":[159],"maneuvers":[160],"while":[161],"validity":[162],"is":[163],"retained":[164],"(i.e.,":[165],"without":[166],"need":[168],"re-verification).":[170],"showcase":[172],"benefits":[174],"theoretical":[177],"considerations,":[178],"implemented":[180],"framework":[182],"open-source":[185],"tool":[186],"named":[187],"Skeditor":[188],"conducted":[190],"case":[192],"study":[193],"exhibiting":[194],"automatic":[196],"follow":[198],"mode.":[199]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}