{"id":"https://openalex.org/W2795822186","doi":"https://doi.org/10.1007/978-3-319-89363-1_7","title":"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems","display_name":"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2795822186","doi":"https://doi.org/10.1007/978-3-319-89363-1_7","mag":"2795822186"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-89363-1_7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89363-1_7","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89363-1_7.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89363-1_7.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008936248","display_name":"M\u00e1rton B\u00far","orcid":"https://orcid.org/0000-0003-2702-6174"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"M\u00e1rton B\u00far","raw_affiliation_strings":["Department of Electrical and Computer Engineering, McGill University, Montreal, Canada","MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary"],"raw_orcid":"https://orcid.org/0000-0003-2702-6174","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, McGill University, Montreal, Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074279953","display_name":"G\u00e1bor Szil\u00e1gyi","orcid":null},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"G\u00e1bor Szil\u00e1gyi","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056503742","display_name":"Andr\u00e1s V\u00f6r\u00f6s","orcid":"https://orcid.org/0000-0001-7617-3563"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Andr\u00e1s V\u00f6r\u00f6s","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary"],"raw_orcid":"https://orcid.org/0000-0001-7617-3563","affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064890236","display_name":"D\u00e1niel Varr\u00f3","orcid":"https://orcid.org/0000-0002-8790-252X"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]},{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA","HU"],"is_corresponding":false,"raw_author_name":"D\u00e1niel\u00a0 Varr\u00f3","raw_affiliation_strings":["Department of Electrical and Computer Engineering, McGill University, Montreal, Canada","Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary"],"raw_orcid":"https://orcid.org/0000-0002-8790-252X","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, McGill University, Montreal, Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5008936248"],"corresponding_institution_ids":["https://openalex.org/I5023651"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":5.8403,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.97540984,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"111","last_page":"128"},"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.9994999766349792,"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.9994999766349792,"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.9984999895095825,"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.9977999925613403,"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/computer-science","display_name":"Computer science","score":0.8806129693984985},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6909648776054382},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6198740005493164},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.6193310022354126},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5801441669464111},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5791819095611572},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4804222583770752},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4158129096031189},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.33816805481910706},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2995021939277649},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17382675409317017},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09131211042404175}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8806129693984985},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6909648776054382},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6198740005493164},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.6193310022354126},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5801441669464111},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5791819095611572},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4804222583770752},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4158129096031189},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.33816805481910706},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2995021939277649},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17382675409317017},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09131211042404175},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-319-89363-1_7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89363-1_7","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89363-1_7.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:real.mtak.hu:82339","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400081","display_name":"Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210140733","host_organization_name":"Library and Information Centre of the Hungarian Academy of Sciences","host_organization_lineage":["https://openalex.org/I4210140733"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-89363-1_7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89363-1_7","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89363-1_7.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6295403217","display_name":null,"funder_award_id":"RGPIN-04573-16","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G7607135218","display_name":null,"funder_award_id":"\u00daNKP-17-2","funder_id":"https://openalex.org/F4320323476","funder_display_name":"Emberi Eroforr\u00e1sok Miniszt\u00e9riuma"}],"funders":[{"id":"https://openalex.org/F4320323476","display_name":"Emberi Eroforr\u00e1sok Miniszt\u00e9riuma","ror":"https://ror.org/00rb16m44"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2795822186.pdf","grobid_xml":"https://content.openalex.org/works/W2795822186.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W17882525","https://openalex.org/W119592666","https://openalex.org/W160373958","https://openalex.org/W438350557","https://openalex.org/W1508046772","https://openalex.org/W1519460009","https://openalex.org/W1539321730","https://openalex.org/W1843059895","https://openalex.org/W1851752624","https://openalex.org/W1947529348","https://openalex.org/W1997189447","https://openalex.org/W2005140205","https://openalex.org/W2013298510","https://openalex.org/W2022106311","https://openalex.org/W2027769154","https://openalex.org/W2029138738","https://openalex.org/W2050736294","https://openalex.org/W2066195955","https://openalex.org/W2066696450","https://openalex.org/W2073971130","https://openalex.org/W2078356878","https://openalex.org/W2083509925","https://openalex.org/W2089520845","https://openalex.org/W2101623441","https://openalex.org/W2127240436","https://openalex.org/W2131062488","https://openalex.org/W2132281483","https://openalex.org/W2135759466","https://openalex.org/W2150071071","https://openalex.org/W2176100176","https://openalex.org/W2227687887","https://openalex.org/W2261527856","https://openalex.org/W2280000660","https://openalex.org/W2352369207","https://openalex.org/W2395585489","https://openalex.org/W2407253011","https://openalex.org/W2537005174","https://openalex.org/W2565025742","https://openalex.org/W2578360098","https://openalex.org/W2617541639","https://openalex.org/W2787691610","https://openalex.org/W2789486406","https://openalex.org/W2916852846","https://openalex.org/W4247721363","https://openalex.org/W6638941946"],"related_works":["https://openalex.org/W2406499533","https://openalex.org/W2809618173","https://openalex.org/W3036403349","https://openalex.org/W2950360254","https://openalex.org/W4375857205","https://openalex.org/W1563456403","https://openalex.org/W2006962382","https://openalex.org/W2106507440","https://openalex.org/W4252734721","https://openalex.org/W1522369122"],"abstract_inverted_index":{"In":[0],"safety-critical":[1],"cyber-physical":[2],"systems":[3],"(CPS),":[4],"a":[5,44,77,104,119,135],"service":[6],"failure":[7],"may":[8],"result":[9],"in":[10,16,31,59,81,88],"severe":[11],"financial":[12],"loss":[13],"or":[14],"damage":[15],"human":[17],"life.":[18],"Smart":[19],"CPSs":[20,63],"have":[21],"complex":[22],"interaction":[23],"with":[24],"their":[25],"environment":[26],"which":[27,126],"is":[28,111,147,153],"rarely":[29],"known":[30],"advance,":[32],"and":[33,48,61,130,149],"they":[34],"heavily":[35],"depend":[36],"on":[37,103],"intelligent":[38],"data":[39],"processing":[40],"carried":[41,112,154],"out":[42,113,155],"over":[43,118],"heterogeneous":[45],"computation":[46],"platform":[47,131],"provide":[49,134],"autonomous":[50],"behavior.":[51],"This":[52],"complexity":[53],"makes":[54],"design":[55,84],"time":[56],"verification":[57],"infeasible":[58],"practice,":[60],"many":[62,82],"need":[64],"advanced":[65],"runtime":[66,101,109,121],"monitoring":[67,110],"techniques":[68],"to":[69,93,96],"ensure":[70],"safe":[71],"operation.":[72],"While":[73],"graph":[74,116,140],"queries":[75,117,141],"are":[76],"powerful":[78],"technique":[79],"used":[80],"industrial":[83],"tools":[85],"of":[86,106,123,138,161],"CPSs,":[87],"this":[89],"paper,":[90],"we":[91],"propose":[92],"use":[94],"them":[95],"specify":[97],"safety":[98],"properties":[99],"for":[100],"monitors":[102],"high-level":[105],"abstraction.":[107],"Distributed":[108],"by":[114],"evaluating":[115],"distributed":[120,139],"model":[122],"the":[124,157],"system":[125],"incorporates":[127],"domain":[128],"concepts":[129],"information.":[132],"We":[133],"semantic":[136],"treatment":[137],"using":[142,156],"3-valued":[143],"logic.":[144],"Our":[145],"approach":[146],"illustrated":[148],"an":[150],"initial":[151],"evaluation":[152],"MoDeS3":[158],"educational":[159],"demonstrator":[160],"CPSs.":[162]},"counts_by_year":[{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}