{"id":"https://openalex.org/W6894187448","doi":"https://doi.org/10.5281/zenodo.7923888","title":"Online Causation Monitoring of Signal Temporal Logic (Artifact)","display_name":"Online Causation Monitoring of Signal Temporal Logic (Artifact)","publication_year":2023,"publication_date":"2023-04-29","ids":{"openalex":"https://openalex.org/W6894187448","doi":"https://doi.org/10.5281/zenodo.7923888"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.7923888","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7923888","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.7923888","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Zhang, Zhenya","orcid":"https://orcid.org/0000-0002-3854-9846"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Zhang, Zhenya","raw_affiliation_strings":["Kyushu University"],"affiliations":[{"raw_affiliation_string":"Kyushu University","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":null,"display_name":"An, Jie","orcid":"https://orcid.org/0000-0001-9260-9697"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"An, Jie","raw_affiliation_strings":["National Institute of Informatics"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Arcaini, Paolo","orcid":"https://orcid.org/0000-0002-6253-4062"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Arcaini, Paolo","raw_affiliation_strings":["National Institute of Informatics"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"last","author":{"id":null,"display_name":"Hasuo, Ichiro","orcid":"https://orcid.org/0000-0002-8300-4650"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hasuo, Ichiro","raw_affiliation_strings":["National Institute of Informatics"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics","institution_ids":["https://openalex.org/I184597095"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I135598925"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7038000226020813},{"id":"https://openalex.org/keywords/causation","display_name":"Causation","score":0.6805999875068665},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4738999903202057},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.37290000915527344},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.35190001130104065},{"id":"https://openalex.org/keywords/signal-processing","display_name":"Signal processing","score":0.335099995136261}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7064999938011169},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7038000226020813},{"id":"https://openalex.org/C166151441","wikidata":"https://www.wikidata.org/wiki/Q4923601","display_name":"Causation","level":2,"score":0.6805999875068665},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4738999903202057},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.37290000915527344},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.35190001130104065},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.34290000796318054},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3352999985218048},{"id":"https://openalex.org/C104267543","wikidata":"https://www.wikidata.org/wiki/Q208163","display_name":"Signal processing","level":3,"score":0.335099995136261},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32280001044273376},{"id":"https://openalex.org/C200749887","wikidata":"https://www.wikidata.org/wiki/Q1165574","display_name":"System monitoring","level":2,"score":0.31189998984336853},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.29159998893737793},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.2831999957561493},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2773999869823456},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2759999930858612},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.26969999074935913},{"id":"https://openalex.org/C137270730","wikidata":"https://www.wikidata.org/wiki/Q120811","display_name":"Detection theory","level":3,"score":0.25589999556541443}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.7923888","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7923888","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.7923888","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7923888","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"score":0.6966069936752319,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"<strong>The":[0],"artifact":[1],"package":[2],"is":[3,25,30,62,146,170],"used":[4],"to":[5,148,159,174,200],"reproduce":[6],"the":[7,11,23,43,76,84,108,112,125,149,152,175,194],"experimental":[8],"results":[9,191],"in":[10,100,105],"paper":[12,24],"\u201cOnline":[13],"Causation":[14],"Monitoring":[15],"of":[16,22,46,127,130,151],"Signal":[17,54],"Temporal":[18,55],"Logic\u201d.":[19],"The":[20,58],"abstract":[21],"as":[26],"follows:</strong>":[27],"<strong>Online":[28],"monitoring":[29,61,213],"an":[31,168],"effective":[32],"validation":[33],"approach":[34],"for":[35],"hybrid":[36],"systems":[37],"that,":[38],"at":[39,71,111],"runtime,":[40],"checks":[41],"whether":[42,143],"(partial)":[44],"signals":[45,78],"a":[47,50,66,88,137,160,210],"system":[48,109,206],"satisfy":[49],"specification":[51],"in,":[52],"e.g.,":[53],"Logic":[56],"(STL).":[57],"classic":[59,95,181],"STL":[60],"performed":[63],"by":[64,123],"computing":[65],"robustness":[67,89],"interval":[68,90],"that":[69,141,164,180,193],"specifies,":[70],"each":[72,144],"instant,":[73],"how":[74,166],"far":[75,167],"monitored":[77],"are":[79,198],"from":[80,171,186],"violating":[81],"and":[82],"satisfying":[83],"specification.":[85,153],"However,":[86],"since":[87],"monotonically":[91],"shrinks":[92],"during":[93],"monitoring,":[94],"online":[96],"monitors":[97,182,197],"may":[98],"fail":[99],"reporting":[101],"new":[102],"violations":[103],"or":[104],"precisely":[106],"describing":[107],"evolution":[110],"current":[113],"instant.":[114],"</strong>":[115],"<strong>In":[116],"this":[117,157],"paper,":[118],"we":[119],"tackle":[120],"these":[121],"issues":[122],"considering":[124],"causation":[126,139,162],"violation/satisfaction,":[128],"instead":[129],"directly":[131],"using":[132],"robustness.":[133],"We":[134,154,177],"first":[135],"introduce":[136],"Boolean":[138],"monitor":[140,158,163],"decides":[142],"instant":[145,169],"relevant":[147,173],"violation/satisfaction":[150],"then":[155],"extend":[156],"quantitative":[161],"tells":[165],"being":[172],"violation/satisfaction.":[176],"further":[178],"show":[179,192],"can":[183],"be":[184],"derived":[185],"our":[187],"proposed":[188,196],"ones.":[189],"Experimental":[190],"two":[195],"able":[199],"provide":[201],"more":[202],"detailed":[203],"information":[204],"about":[205],"evolution,":[207],"without":[208],"requiring":[209],"significantly":[211],"higher":[212],"cost.</strong>":[214]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}