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