{"id":"https://openalex.org/W6893549369","doi":"https://doi.org/10.5281/zenodo.15697935","title":"Supplement to \"Foundations for Change-driven Query-based Runtime Monitoring of Temporal Properties\" (Journal: Formal Aspects of Computing, 2025)","display_name":"Supplement to \"Foundations for Change-driven Query-based Runtime Monitoring of Temporal Properties\" (Journal: Formal Aspects of Computing, 2025)","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W6893549369","doi":"https://doi.org/10.5281/zenodo.15697935"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.15697935","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15697935","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.15697935","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Sakizloglou, Lucas","orcid":"https://orcid.org/0000-0001-6971-1589"},"institutions":[{"id":"https://openalex.org/I51783024","display_name":"Brandenburg University of Technology Cottbus-Senftenberg","ror":"https://ror.org/02wxx3e24","country_code":"DE","type":"education","lineage":["https://openalex.org/I51783024"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Sakizloglou, Lucas","raw_affiliation_strings":["Brandenburg University of Technology Cottbus-Senftenberg"],"affiliations":[{"raw_affiliation_string":"Brandenburg University of Technology Cottbus-Senftenberg","institution_ids":["https://openalex.org/I51783024"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Giese, Holger","orcid":"https://orcid.org/0000-0002-4723-730X"},"institutions":[{"id":"https://openalex.org/I143288331","display_name":"Hasso Plattner Institute","ror":"https://ror.org/058rn5r42","country_code":"DE","type":"facility","lineage":["https://openalex.org/I143288331","https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Giese, Holger","raw_affiliation_strings":["Hasso Plattner Institute"],"affiliations":[{"raw_affiliation_string":"Hasso Plattner Institute","institution_ids":["https://openalex.org/I143288331"]}]},{"author_position":"last","author":{"id":null,"display_name":"Lambers, Leen","orcid":"https://orcid.org/0000-0001-6937-5167"},"institutions":[{"id":"https://openalex.org/I51783024","display_name":"Brandenburg University of Technology Cottbus-Senftenberg","ror":"https://ror.org/02wxx3e24","country_code":"DE","type":"education","lineage":["https://openalex.org/I51783024"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lambers, Leen","raw_affiliation_strings":["Brandenburg University of Technology Cottbus-Senftenberg"],"affiliations":[{"raw_affiliation_string":"Brandenburg University of Technology Cottbus-Senftenberg","institution_ids":["https://openalex.org/I51783024"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I51783024"],"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/eclipse","display_name":"Eclipse","score":0.6819000244140625},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6741999983787537},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6618000268936157},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5209000110626221},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.4986000061035156},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.46480000019073486},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.44190001487731934},{"id":"https://openalex.org/keywords/replicate","display_name":"Replicate","score":0.41929998993873596}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8330000042915344},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.6819000244140625},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6741999983787537},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6618000268936157},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5932999849319458},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5209000110626221},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.4986000061035156},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.46480000019073486},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.44190001487731934},{"id":"https://openalex.org/C2781162219","wikidata":"https://www.wikidata.org/wiki/Q26250693","display_name":"Replicate","level":2,"score":0.41929998993873596},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.40709999203681946},{"id":"https://openalex.org/C113954288","wikidata":"https://www.wikidata.org/wiki/Q186885","display_name":"Timestamp","level":2,"score":0.40049999952316284},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.3903000056743622},{"id":"https://openalex.org/C2778751112","wikidata":"https://www.wikidata.org/wiki/Q835016","display_name":"Window (computing)","level":2,"score":0.37119999527931213},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.353300005197525},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.34459999203681946},{"id":"https://openalex.org/C2780560020","wikidata":"https://www.wikidata.org/wiki/Q79719","display_name":"License","level":2,"score":0.3425000011920929},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.3239000141620636},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.3059999942779541},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2922999858856201},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.28439998626708984},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.26840001344680786},{"id":"https://openalex.org/C2779466056","wikidata":"https://www.wikidata.org/wiki/Q107630651","display_name":"Time point","level":2,"score":0.2639999985694885},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.2612999975681305},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2574999928474426}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.15697935","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15697935","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.15697935","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15697935","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.410113126039505,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,72,92,308,363,457,508,518,527,540,634,677,849],"files":[1,189,850],"can":[2,102,292,317,336,466,486,790],"be":[3,103,231,293,318,467,791],"used":[4,294,746,831,851],"to":[5,143,155,191,242,272,295,352,430,446,505,552,721,749,769,777,785],"replicate":[6],"the":[7,28,44,53,75,84,88,96,100,110,119,123,138,157,161,168,172,192,199,204,223,228,246,249,260,273,281,284,289,297,305,314,321,334,338,345,355,358,372,379,383,392,412,416,435,443,447,454,463,470,484,488,531,544,553,558,565,570,578,589,609,613,620,642,644,649,655,659,663,681,687,692,698,702,706,722,743,766,770,781,794,797,800,803,810,815,827,832,837,855],"running":[8,97],"example":[9,98],"and":[10,48,50,141,299,390,582],"experimental":[11,76,309,439,458,762],"evaluation":[12,77,310,394,459,580,665],"in":[13,27,33,95,122,171,198,357,407,434,641,708,724,854],"our":[14,408,438,761],"article":[15],"titled":[16],"\"Foundations":[17],"for":[18,23,226,313,348,410,462,501,756,826],"Change-driven":[19],"Query-based":[20],"Runtime":[21,193],"Monitoring":[22],"Temporal":[24],"Properties\",":[25],"published":[26],"FASE":[29],"2024":[30],"Special":[31],"Issue":[32],"J.":[34],"Formal":[35],"Aspects":[36],"of":[37,74,78,99,134,165,248,283,311,350,460,503,530,546,651,658,694,705,783,787,799],"Computing.":[38],"InTempo":[39,60,79,89,179,312,359,461,748,784],"is":[40,65,153,216,239,256,266,536,542,616,646,672,689,735],"developed":[41],"based":[42,587,618],"on":[43,118,176,202,588,619,796],"Eclipse":[45,54,126,135],"Modeling":[46],"Framework":[47],"Xtext":[49],"licensed":[51,66],"under":[52,67],"Public":[55],"License":[56],"v1.0":[57],"(see":[58,70],"EPL-1.0.txt).":[59],"uses":[61,387,574],"Google":[62],"Guava,":[63],"which":[64,227,686],"Apache-2.0":[68],"license":[69],"LICENSE-2.0.txt).":[71],"replication":[73],"requires":[80,222],"JAVA":[81,427],"(>v17).":[82],"Replicating":[83],"Running":[85],"Example":[86],"using":[87,320,469],"EMF":[90,419],"Plugin":[91],"query":[93,229,274,285,298,356,393,509,579,664,668,688],"evaluations":[94],"manuscript":[101],"replicated":[104,319,468],"by":[105,538,747],"following":[106,322,339,373,444,471,489,559,767,793,811,833],"these":[107,188,711],"steps.":[108],"Start":[109,130],"VM":[111],"(fac24.ova).":[112],"Log":[113],"in;":[114],"password:":[115],"fac24":[116],"Double-click":[117],"eclipse":[120],"executable":[121],"directory":[124,643],"/home/fac24/eclipse/.":[125],"should":[127,230],"now":[128],"start.":[129],"a":[131,218,235,252,263,426,584,637,652,695,715,738,751],"runtime":[132,290],"instance":[133,164,291],"via":[136,425,809],"selecting":[137],"project":[139],"de.mdelab.intempo.examples.shs":[140],"navigating":[142],"Run":[144,146],"->":[145,148,180],"As":[147,710],"Ecplise":[149],"Application.":[150],"This":[151,534,603],"step":[152],"required":[154],"publish":[156],"SHS":[158,302,315,804],"plugin.":[159],"In":[160,437,648,691,760],"newly":[162],"started":[163],"Eclipse,":[166],"select":[167],"folder":[169],"fac24-runtime":[170],"Package":[173],"Explorer.":[174],"Right-click":[175],"psi_p.itql":[177],"Select":[178,183],"Model":[181],"Analysis.":[182],"either":[184,203,240],"H5.shs":[185],"or":[186,208,243],"H7.shs;":[187],"correspond":[190],"Models":[194],"with":[195,280,421,674,714,729,737],"History":[196],"(RTMH)":[197],"manuscript.":[200],"Click":[201],"Plain":[205],"Answer":[206],"set":[207,215],"Definite":[209],"answer":[210,214,385,572],"set.":[211],"If":[212,251],"definite":[213],"clicked,":[217],"window":[219,278],"appears":[220,279],"that":[221,238,288,381,406,548,568,727,741,786],"time":[224,236,254,395,401,598,629,653],"point":[225,237,255],"evaluated.":[232,690],"Please":[233],"insert":[234],"equal":[241],"larger":[244,253],"than":[245],"timestamp":[247,684],"RTMH.":[250],"inserted,":[257],"it":[258],"simulates":[259],"situation":[261],"where":[262,268,333,483],"later":[264],"RTMH":[265],"queried":[267],"no":[269,388,575],"change":[270],"relevant":[271],"has":[275],"occurred.":[276],"A":[277],"result":[282,541],"evaluation.":[286],"Note":[287,405],"inspect":[296],"RTMHs":[300],"files.":[301],"Case-study":[303,452],"Unzip":[304,453],"shs.zip":[306],"archive.":[307,456],"case-study":[316,465,726],"command":[323,374,472,560,604],"java":[324,396,473,593,624],"-jar":[325,397,474,594,625],"intempo-shs-fac25.jar":[326,398],"[ANSWER-SET-TYPE]":[327],"[IS_PRUNING_ENABLED]":[328,477],"[METRIC]":[329,478],"resources/shs.e2p":[330,402],"resources/MG1.itql":[331,403],"[LOG_FILE]":[332,481],"parameters":[335,445,485,768],"take":[337,487],"values:":[340,490,515,524],"ANSWER-SET-TYPE:{plain,effective,definite}":[341],"IS_PRUNING_ENABLED:{true,false}":[342],"METRIC:{mem,time}":[343],"resources/shs.e2p:":[344],"specification":[346,499,510],"file":[347,500,638,661],"mapping":[349,502],"events":[351,504,547],"patterns":[353,506],"resources/MG1.itql:":[354],"Query":[360],"Language.":[361],"LOG_FILE:":[362,517],"event":[364,519,682],"log---see":[365,520],"resources":[366,512,521],"folder.":[367,513,522],"Available":[368,514,523],"values:{real.log,x10.log,x100.log}":[369],"For":[370,556,802],"example,":[371,557],"runs":[375,561,605],"an":[376,422,562,606,730],"experiment":[377,563,607],"over":[378,564,608,814,836],"real.log":[380],"returns":[382,569],"effective":[384,399],"set,":[386,573],"pruning,":[389,576],"measures":[391,577],"false":[400,596,597,627,628],"resources/real.log":[404],"experiments,":[409],"pruning":[411],"model,":[413,718],"we":[414,441,764,806,830],"replaced":[415],"expensive":[417],"native":[418],"method":[420],"optimized":[423],"version":[424],"agent---see":[428],"Threats":[429],"External":[431],"Validity":[432],"section":[433],"paper.":[436],"evaluation,":[440,763],"passed":[442,765],"JVM:":[448,771],"-XX:+UseG1GC":[449,774],"-XX:+UseStringDeduplication":[450,775],"SNB":[451,464,828,838],"snb.zip":[455],"intempo-ldbc-fac25.jar":[475,595,626],"[RETURNS_DEFINITE_ANSWER-SET]":[476],"resources/ldbc.e2p":[479,599,630],"[QUERY_FILE]":[480],"[START_MODEL_SIZE_FACTOR]":[482],"RETURNS_DEFINITE_ANSWER-SET:":[491],"{true,false}":[492,494],"IS_PRUNING_ENABLED:":[493],"METRIC:":[495],"{mem,time}":[496],"resources/snb.e2p:":[497],"tthe":[498],"QUERY_FILE:":[507],"file---see":[511],"{IC4-sf01.itql,IC4-sf1.itql}":[516],"{log_sf_0-1.log,log_sf_1.log}":[525],"START_MODEL_SIZE_FACTOR":[526],"size":[528],"factor":[529],"start":[532,554,585,614],"model;":[533],"number":[535,545],"multiplied":[537],"10^5.":[539],"then":[543],"are":[549,852],"being":[550],"added":[551],"model.":[555],"sf-0.1":[566],"log":[567,660,683],"plain":[571],"time,":[581],"creates":[583,636],"model":[586,615],"first":[590,621],"800K":[591],"events:":[592,623],"resources/IC4-sf01.itql":[600],"resources/log_sf_0-1.log":[601],"8":[602],"sf-1.log":[610],"file,":[611],"whereby":[612],"created":[617],"8M":[622],"resources/IC4-sf1.itql":[631],"resources/log_sf_1.log":[632],"80":[633],"jar":[635,645,734],"containing":[639],"measurements":[640],"executed.":[647],"case":[650,693],"measurement,":[654,697],"4th":[656],"column":[657,679,700],"shows":[662,680,701],"times":[666],"per":[667],"evaluation---the":[669],"measurement":[670],"unit":[671],"milliseconds":[673],"three":[675],"decimals.":[676],"1st":[678],"at":[685],"memory":[696,703],"2nd":[699],"consumption":[704],"JVM":[707],"MBs.":[709],"experiments":[712,723],"begin":[713],"large":[716],"starting":[717],"as":[719],"opposed":[720],"theSHS":[725],"begins":[728],"empty":[731],"graph,":[732],"this":[733],"compiled":[736],"configuration":[739],"parameter":[740],"instructs":[742],"pattern-matching":[744],"tool":[745],"use":[750],"different,":[752],"more":[753],"suitable":[754],"strategy":[755],"search":[757],"plan":[758],"generation.":[759],"-Xms230G":[772],"-Xmx230G":[773],"Comparison":[776],"MonPoly":[778,789,808],"We":[779],"compared":[780],"performance":[782],"MonPoly.":[788],"installed":[792],"instructions":[795],"website":[798],"tool.":[801],"case-study,":[805,829],"executed":[807],"command,":[812,834],"e.g.,":[813,835],"real.log:":[816],"monpoly":[817,840],"-sig":[818,841],"shs.sig":[819],"-formula":[820,843],"MG1.mfotl":[821],"-log":[822,846],"M-real.log":[823],"-stats":[824,848],"Whereas":[825],"sf-0.1:":[839],"snb.sig":[842],"IC4-sf_0-1.mfotl":[844],"-no_rw":[845],"MP-log_sf_0-1-noShutdownStage.log":[847],"available":[853],"respective":[856],"archives.":[857]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}