{"id":"https://openalex.org/W4241934014","doi":"https://doi.org/10.1007/s00165-021-00551-6","title":"Efficient data validation for geographical interlocking systems","display_name":"Efficient data validation for geographical interlocking systems","publication_year":2021,"publication_date":"2021-08-10","ids":{"openalex":"https://openalex.org/W4241934014","doi":"https://doi.org/10.1007/s00165-021-00551-6"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-021-00551-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00551-6","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00551-6","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00551-6","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039105876","display_name":"Jan Pele\u0161ka","orcid":"https://orcid.org/0000-0003-3667-9775"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Peleska","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany"],"raw_orcid":"https://orcid.org/0000-0003-3667-9775","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060941216","display_name":"Niklas Krafczyk","orcid":"https://orcid.org/0000-0003-0475-4128"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Niklas Krafczyk","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072663966","display_name":"Anne E. Haxthausen","orcid":"https://orcid.org/0000-0001-7349-8872"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Anne E. Haxthausen","raw_affiliation_strings":["DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark"],"raw_orcid":"https://orcid.org/0000-0001-7349-8872","affiliations":[{"raw_affiliation_string":"DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043641623","display_name":"Ralf Pinger","orcid":null},"institutions":[{"id":"https://openalex.org/I1325886976","display_name":"Siemens (Germany)","ror":"https://ror.org/059mq0909","country_code":"DE","type":"company","lineage":["https://openalex.org/I1325886976"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ralf Pinger","raw_affiliation_strings":["Siemens Mobility GmbH, Brunswick, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Siemens Mobility GmbH, Brunswick, Germany","institution_ids":["https://openalex.org/I1325886976"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0655,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.81542334,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"33","issue":"6","first_page":"925","last_page":"955"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/interlocking","display_name":"Interlocking","score":0.8043612241744995},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6356861591339111},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6151476502418518},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.287660151720047},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.145035982131958},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11409753561019897}],"concepts":[{"id":"https://openalex.org/C2778844933","wikidata":"https://www.wikidata.org/wiki/Q630950","display_name":"Interlocking","level":2,"score":0.8043612241744995},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6356861591339111},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6151476502418518},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.287660151720047},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.145035982131958},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11409753561019897}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-021-00551-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00551-6","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00551-6","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00165-021-00551-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00551-6","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00551-6","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5699999928474426,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1150532147","display_name":null,"funder_award_id":"407708394","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4241934014.pdf","grobid_xml":"https://content.openalex.org/works/W4241934014.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W3609189","https://openalex.org/W103974898","https://openalex.org/W1582439588","https://openalex.org/W2104826952","https://openalex.org/W2131064738","https://openalex.org/W2143760481","https://openalex.org/W2169504289","https://openalex.org/W2226576976","https://openalex.org/W2293422809","https://openalex.org/W2411284738","https://openalex.org/W2463945760","https://openalex.org/W2528054901","https://openalex.org/W2536558645","https://openalex.org/W2545759379","https://openalex.org/W2885628182","https://openalex.org/W2898685140","https://openalex.org/W2944954660","https://openalex.org/W3096180850","https://openalex.org/W4232788660","https://openalex.org/W4246219036"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2287710223","https://openalex.org/W3094364298","https://openalex.org/W2514536182","https://openalex.org/W4319430794","https://openalex.org/W770489747","https://openalex.org/W2351254323","https://openalex.org/W618039210"],"abstract_inverted_index":{"Abstract":[0],"In":[1,18],"this":[2,144,153],"paper,":[3],"an":[4],"efficient":[5,218],"approach":[6,264],"to":[7,69,75,98,147,197,228,245],"data":[8,282],"validation":[9,283],"of":[10,79,89,143,155,169,174,186,248,284],"distributed":[11,20,46,91,138],"geographical":[12,285],"interlocking":[13],"systems":[14],"(IXLs)":[15],"is":[16,45,67,95,146,276],"presented.":[17],"the":[19,77,80,86,93,99,116,131,170,190,200,202,246,249],"IXL":[21,127,171],"paradigm,":[22],"track":[23,104],"elements":[24,105],"are":[25,106,226,256],"controlled":[26],"by":[27,137,160,238,258,278],"local":[28,36],"computers":[29,50,54],"communicating":[30],"with":[31,85,108,121,125],"other":[32,123],"control":[33,43,114,128],"components":[34,129],"over":[35,47,133],"and":[37,51,74,113,124,235],"wide":[38],"area":[39],"networks.":[40],"The":[41,118,141,263],"overall":[42,81],"logic":[44,162],"these":[48],"track-side":[49],"remote":[52],"server":[53,64],"that":[55,225],"may":[56],"even":[57],"reside":[58],"in":[59,130,230,270],"one":[60],"or":[61],"more":[62],"cloud":[63,132],"farms.":[65],"Redundancy":[66],"introduced":[68],"ensure":[70],"fail-safe":[71],"behaviour,":[72],"fault-tolerance,":[73],"increase":[76],"availability":[78],"system.":[82],"To":[83],"cope":[84],"configuration-related":[87],"complexity":[88],"such":[90],"IXLs,":[92],"software":[94,109],"designed":[96],"according":[97],"digital":[100],"twin":[101],"paradigm:":[102],"physical":[103],"associated":[107],"objects":[110,119],"implementing":[111],"supervision":[112],"for":[115,152,215,281],"element.":[117],"communicate":[120],"each":[122,260],"high-level":[126],"logical":[134],"channels":[135],"realised":[136],"communication":[139],"mechanisms.":[140],"objective":[142],"article":[145],"explain":[148],"how":[149],"configuration":[150,175,192],"rules":[151,176],"type":[154],"IXLs":[156],"can":[157,177,207,232],"be":[158,178,208,233],"specified":[159,179],"temporal":[161],"formulae":[163,181],"interpreted":[164],"on":[165],"Kripke":[166,251],"Structure":[167],"representations":[168],"configuration.":[172],"Violations":[173],"using":[180],"from":[182],"a":[183,211,271],"well-defined":[184],"subset":[185],"LTL.":[187],"By":[188],"decomposing":[189],"complete":[191],"model":[193,204,272],"into":[194,210],"sub-models":[195],"corresponding":[196],"routes":[198],"through":[199],"model,":[201],"LTL":[203,231],"checking":[205,213,259,273],"problem":[206,214],"transformed":[209],"CTL":[212],"which":[216,275],"highly":[217],"algorithms":[219],"exist.":[220],"Specialised":[221],"rule":[222],"violation":[223],"queries":[224],"hard":[227],"express":[229],"simplified":[234],"checked":[236],"faster":[237],"performing":[239],"sub-model":[240,261],"transformations":[241],"adding":[242],"auxiliary":[243],"variables":[244],"states":[247],"underlying":[250],"Structures.":[252],"Further":[253],"performance":[254],"enhancements":[255],"achieved":[257],"concurrently.":[262],"presented":[265],"here":[266],"has":[267],"been":[268],"implemented":[269],"tool":[274],"applied":[277],"Siemens":[279],"Mobility":[280],"IXLs.":[286]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}