{"id":"https://openalex.org/W4415282550","doi":"https://doi.org/10.1007/s10009-025-00827-9","title":"Correct-by-construction instantiation of abstract scenarios","display_name":"Correct-by-construction instantiation of abstract scenarios","publication_year":2025,"publication_date":"2025-10-01","ids":{"openalex":"https://openalex.org/W4415282550","doi":"https://doi.org/10.1007/s10009-025-00827-9"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-025-00827-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-025-00827-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-025-00827-9.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10009-025-00827-9.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054643585","display_name":"Jan Steffen Becker","orcid":"https://orcid.org/0009-0008-3771-0520"},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Jan Steffen Becker","raw_affiliation_strings":["German Aerospace Center (DLR) e.V., Institute of Systems Engineering for Future Mobility, Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"German Aerospace Center (DLR) e.V., Institute of Systems Engineering for Future Mobility, Oldenburg, Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087599978","display_name":"Christian Neurohr","orcid":"https://orcid.org/0000-0001-8847-5147"},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Neurohr","raw_affiliation_strings":["German Aerospace Center (DLR) e.V., Institute of Systems Engineering for Future Mobility, Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"German Aerospace Center (DLR) e.V., Institute of Systems Engineering for Future Mobility, Oldenburg, Germany","institution_ids":["https://openalex.org/I2898391981"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5054643585"],"corresponding_institution_ids":["https://openalex.org/I2898391981"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":1.9111,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.88726179,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"27","issue":"5","first_page":"465","last_page":"485"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7800999879837036},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6726999878883362},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5907999873161316},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.5773000121116638},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5530999898910522},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.4352000057697296},{"id":"https://openalex.org/keywords/sample","display_name":"Sample (material)","score":0.40720000863075256},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.3646000027656555},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.34860000014305115}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8392000198364258},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7800999879837036},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6726999878883362},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5907999873161316},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.5773000121116638},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5530999898910522},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.4352000057697296},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.40720000863075256},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37689998745918274},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.3646000027656555},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.34860000014305115},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.3395000100135803},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3098999857902527},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.29010000824928284},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.28700000047683716},{"id":"https://openalex.org/C13736549","wikidata":"https://www.wikidata.org/wiki/Q4489420","display_name":"Industrial engineering","level":1,"score":0.2856000065803528},{"id":"https://openalex.org/C164866538","wikidata":"https://www.wikidata.org/wiki/Q367351","display_name":"Cluster (spacecraft)","level":2,"score":0.28189998865127563},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.2784000039100647},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2752000093460083},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.2718000113964081},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.2705000042915344},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2655999958515167},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C79487989","wikidata":"https://www.wikidata.org/wiki/Q934680","display_name":"Vehicle dynamics","level":2,"score":0.25380000472068787}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10009-025-00827-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-025-00827-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-025-00827-9.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"pmh:oai:elib.dlr.de:217842","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-025-00827-9>.","pdf_url":null,"source":{"id":"https://openalex.org/S4377196266","display_name":"elib (German Aerospace Center)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2898391981","host_organization_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","host_organization_lineage":["https://openalex.org/I2898391981"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"}],"best_oa_location":{"id":"doi:10.1007/s10009-025-00827-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-025-00827-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-025-00827-9.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8925445942","display_name":null,"funder_award_id":"101146542","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320331186","display_name":"European Climate, Infrastructure and Environment Executive Agency","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415282550.pdf","grobid_xml":"https://content.openalex.org/works/W4415282550.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W64689497","https://openalex.org/W1480909796","https://openalex.org/W1522694098","https://openalex.org/W1591241081","https://openalex.org/W1592601589","https://openalex.org/W1895727713","https://openalex.org/W1945774704","https://openalex.org/W2032712781","https://openalex.org/W2093227835","https://openalex.org/W2176215692","https://openalex.org/W2493603909","https://openalex.org/W2514314667","https://openalex.org/W2564091245","https://openalex.org/W2768313326","https://openalex.org/W2883433939","https://openalex.org/W2963657083","https://openalex.org/W2970180737","https://openalex.org/W3083165564","https://openalex.org/W3083765321","https://openalex.org/W3108063174","https://openalex.org/W3113697139","https://openalex.org/W3118900686","https://openalex.org/W3124527002","https://openalex.org/W3183145900","https://openalex.org/W3190994148","https://openalex.org/W3212817084","https://openalex.org/W4200024948","https://openalex.org/W4210496774","https://openalex.org/W4230861591","https://openalex.org/W4243821880","https://openalex.org/W4256369226","https://openalex.org/W4280649527","https://openalex.org/W4285113095","https://openalex.org/W4375858314","https://openalex.org/W4388699043","https://openalex.org/W4401713891","https://openalex.org/W4404613974","https://openalex.org/W4405364707","https://openalex.org/W4408859486","https://openalex.org/W6892592923","https://openalex.org/W6929585469","https://openalex.org/W6930502285","https://openalex.org/W6948702938"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"In":[1,65],"the":[2,8,11,22,76,87,104,118,132,149],"automotive":[3],"domain,":[4],"scenario-based":[5],"development":[6],"is":[7,134],"answer":[9],"to":[10,34,60,67,75,83],"increasing":[12],"complexity":[13],"of":[14,39,51,70,106,117,131,142],"highly":[15],"automated":[16],"driving":[17,46,144],"functions.":[18],"Scenario-based":[19],"methods":[20],"cluster":[21],"large":[23],"scenario":[24,63],"space":[25],"by":[26,48,136,152],"so-called":[27],"abstract":[28,43,77,97,119],"scenarios":[29,44,98],"which":[30],"can":[31],"be":[32,58,84],"used":[33],"sample":[35],"an":[36,93,159],"infinite":[37],"number":[38],"concrete":[40,62,108],"scenarios.":[41,109],"Because":[42],"constrain":[45],"maneuvers":[47],"excessive":[49],"use":[50],"additional":[52],"constraints,":[53],"constraint":[54,101],"solving":[55],"techniques":[56],"may":[57],"required":[59],"find":[61],"instances.":[64],"order":[66],"guarantee":[68],"correctness":[69],"simulation":[71],"runs":[72],"with":[73],"respect":[74],"scenario,":[78,120],"realistic":[79,126],"vehicle":[80,127],"dynamics":[81],"need":[82],"considered":[85],"during":[86],"instantiation":[88],"process.":[89],"This":[90,146],"work":[91],"proposes":[92],"encoding":[94],"scheme":[95],"for":[96,103],"into":[99],"linear":[100],"systems":[102],"generation":[105],"correct-by-construction":[107],"It":[110],"covers":[111],"both":[112],"temporal":[113],"and":[114,157],"spatial":[115],"aspects":[116],"as":[121,123],"well":[122],"simple,":[124],"but":[125],"dynamics.":[128],"The":[129],"applicability":[130],"method":[133],"shown":[135],"demonstrating":[137],"it":[138],"on":[139],"a":[140],"set":[141],"basic":[143],"maneuvers.":[145],"paper":[147],"extends":[148],"previous":[150],"version":[151],"presenting":[153],"further":[154],"experimental":[155],"results":[156],"giving":[158],"overview":[160],"over":[161],"practical":[162],"applications.":[163]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-19T08:33:51.333923","created_date":"2025-10-17T00:00:00"}