{"id":"https://openalex.org/W2766431763","doi":"https://doi.org/10.1007/s11241-017-9293-4","title":"Automated competitive analysis of real-time scheduling with graph games","display_name":"Automated competitive analysis of real-time scheduling with graph games","publication_year":2017,"publication_date":"2017-11-01","ids":{"openalex":"https://openalex.org/W2766431763","doi":"https://doi.org/10.1007/s11241-017-9293-4","mag":"2766431763"},"language":"en","primary_location":{"id":"doi:10.1007/s11241-017-9293-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11241-017-9293-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11241-017-9293-4.pdf","source":{"id":"https://openalex.org/S183885566","display_name":"Real-Time Systems","issn_l":"0922-6443","issn":["0922-6443","1573-1383"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Real-Time Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11241-017-9293-4.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052607806","display_name":"Krishnendu Chatterjee","orcid":"https://orcid.org/0000-0002-4561-241X"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Krishnendu Chatterjee","raw_affiliation_strings":["IST Austria (Institute of Science and Technology Austria), Am Campus 1, 3400, Klosterneuburg, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria (Institute of Science and Technology Austria), Am Campus 1, 3400, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022252401","display_name":"Andreas Pavlogiannis","orcid":"https://orcid.org/0000-0002-8943-0722"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Andreas Pavlogiannis","raw_affiliation_strings":["IST Austria (Institute of Science and Technology Austria), Am Campus 1, 3400, Klosterneuburg, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria (Institute of Science and Technology Austria), Am Campus 1, 3400, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022124619","display_name":"Alexander K\u00f6\u00dfler","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Alexander K\u00f6\u00dfler","raw_affiliation_strings":["Embedded Computing Systems Group, Vienna University of Technology, Treitlstrasse 3, 1040, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Embedded Computing Systems Group, Vienna University of Technology, Treitlstrasse 3, 1040, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006249454","display_name":"Ulrich Schmid","orcid":"https://orcid.org/0000-0001-9831-8583"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ulrich Schmid","raw_affiliation_strings":["Embedded Computing Systems Group, Vienna University of Technology, Treitlstrasse 3, 1040, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Embedded Computing Systems Group, Vienna University of Technology, Treitlstrasse 3, 1040, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5022252401"],"corresponding_institution_ids":["https://openalex.org/I157556583"],"apc_list":{"value":2790,"currency":"USD","value_usd":2790},"apc_paid":{"value":2790,"currency":"USD","value_usd":2790},"fwci":0.1961,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.65079705,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"54","issue":"1","first_page":"166","last_page":"207"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12288","display_name":"Optimization and Search Problems","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9965000152587891,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.6523891687393188},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.48761215806007385},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.48154833912849426},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3944576680660248},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.23517578840255737},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17200443148612976}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6523891687393188},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.48761215806007385},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.48154833912849426},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3944576680660248},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.23517578840255737},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17200443148612976}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11241-017-9293-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11241-017-9293-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11241-017-9293-4.pdf","source":{"id":"https://openalex.org/S183885566","display_name":"Real-Time Systems","issn_l":"0922-6443","issn":["0922-6443","1573-1383"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Real-Time Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.419.7036","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.419.7036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.vmars.tuwien.ac.at/documents/extern/3053/main.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1007/s11241-017-9293-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11241-017-9293-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11241-017-9293-4.pdf","source":{"id":"https://openalex.org/S183885566","display_name":"Real-Time Systems","issn_l":"0922-6443","issn":["0922-6443","1573-1383"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Real-Time Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2655136877","display_name":null,"funder_award_id":"S11407","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G2937232508","display_name":"Modern Graph Algorithmic Techniques in Formal Verification","funder_award_id":"P23499","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G3815775249","display_name":null,"funder_award_id":"NFN RiSE S11407","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G5387862222","display_name":null,"funder_award_id":"FWF Grant P23499-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7740720897","display_name":null,"funder_award_id":"S11405","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7934954343","display_name":null,"funder_award_id":"279307: Graph Games","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G8326495921","display_name":null,"funder_award_id":"P23499-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2766431763.pdf","grobid_xml":"https://content.openalex.org/works/W2766431763.grobid-xml"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W106665802","https://openalex.org/W194244820","https://openalex.org/W854382448","https://openalex.org/W1546988069","https://openalex.org/W1552828154","https://openalex.org/W1623410360","https://openalex.org/W1766015196","https://openalex.org/W1767198946","https://openalex.org/W1879402272","https://openalex.org/W1941732106","https://openalex.org/W1964047916","https://openalex.org/W1964720438","https://openalex.org/W1971499713","https://openalex.org/W1981015644","https://openalex.org/W1982538209","https://openalex.org/W1987692705","https://openalex.org/W2001794165","https://openalex.org/W2008632553","https://openalex.org/W2026128612","https://openalex.org/W2033040247","https://openalex.org/W2033546678","https://openalex.org/W2036772106","https://openalex.org/W2038892414","https://openalex.org/W2065595179","https://openalex.org/W2085894197","https://openalex.org/W2096272173","https://openalex.org/W2102688949","https://openalex.org/W2105628511","https://openalex.org/W2115213453","https://openalex.org/W2118382442","https://openalex.org/W2120070938","https://openalex.org/W2125381034","https://openalex.org/W2134935059","https://openalex.org/W2143376057","https://openalex.org/W2145174892","https://openalex.org/W2147746266","https://openalex.org/W2148311877","https://openalex.org/W2153817930","https://openalex.org/W2155303087","https://openalex.org/W2171972721","https://openalex.org/W2199385070","https://openalex.org/W2216069195","https://openalex.org/W2401610261","https://openalex.org/W2508573783","https://openalex.org/W2575731723","https://openalex.org/W2913459036","https://openalex.org/W3098817740","https://openalex.org/W3100576208","https://openalex.org/W3163474831","https://openalex.org/W4234400829","https://openalex.org/W4248784701","https://openalex.org/W4254547512"],"related_works":["https://openalex.org/W2401335561","https://openalex.org/W3174582865","https://openalex.org/W2997221951","https://openalex.org/W2546696010","https://openalex.org/W2125095596","https://openalex.org/W1882733036","https://openalex.org/W1969740176","https://openalex.org/W2282814746","https://openalex.org/W1559327767","https://openalex.org/W1507894569"],"abstract_inverted_index":{"This":[0],"paper":[1],"is":[2,45,128,199,252,258,295],"devoted":[3],"to":[4,22,69,135,200,234],"automatic":[5],"competitive":[6,33,72,75,80,101,147,166,184,217,228,255],"analysis":[7,73,81,167],"of":[8,35,50,65,103,118,122,154,164,248,265,269,286],"real-time":[9,303],"scheduling":[10,38,92,158,206,288],"algorithms":[11,289],"for":[12,42,175,220,290],"firm-deadline":[13],"tasksets,":[14],"where":[15],"only":[16],"completed":[17],"tasks":[18],"contribute":[19],"some":[20],"utility":[21,48,55],"the":[23,32,46,54,63,71,79,100,116,119,140,146,162,183,197,215,227,245,263,266,270,276,279,284,298],"system.":[24],"Given":[25],"such":[26],"a":[27,58,191,235,291],"taskset":[28,85,192],"$${\\mathcal":[29,40,43,51,86,94,104,107,123,193,208,221],"{T}}$$":[30,44,87,108,194,222],",":[31,96,195,210],"ratio":[34,49,102,218],"an":[36,151,203],"on-line":[37,91,157,205],"algorithm":[39,93,207],"{A}}$$":[41,52,95,105,124,209],"worst-case":[47,177],"over":[53],"achieved":[56],"by":[57,179],"clairvoyant":[59],"algorithm.":[60],"We":[61,149,224],"leverage":[62],"theory":[64],"quantitative":[66],"graph":[67,237],"games":[68],"address":[70],"and":[74,88,196,242],"synthesis":[76,185,229,256],"problems.":[77],"For":[78,182],"case,":[82,186],"given":[83,190,292],"any":[84,89],"finite-memory":[90],"we":[97,187],"show":[98,225],"that":[99,144,169,213,244],"in":[106,112,115,260,262,283,296,302],"can":[109,231],"be":[110,232],"computed":[111],"polynomial":[113],"time":[114],"size":[117,264],"state":[120,267],"space":[121,268],".":[125,223],"Our":[126],"approach":[127,168],"flexible":[129],"as":[130],"it":[131],"also":[132],"provides":[133],"ways":[134],"model":[136],"meaningful":[137],"constraints":[138],"on":[139],"released":[141],"task":[142],"sequences":[143],"determine":[145],"ratio.":[148],"provide":[150],"experimental":[152],"study":[153],"many":[155],"well-known":[156],"algorithms,":[159],"which":[160,294],"demonstrates":[161],"feasibility":[163],"our":[165],"effectively":[170],"replaces":[171],"human":[172],"ingenuity":[173],"(required":[174],"finding":[176],"scenarios)":[178],"computing":[180],"power.":[181],"are":[188],"just":[189],"goal":[198],"automatically":[201],"synthesize":[202],"optimal":[204],"i.e.,":[211],"one":[212],"guarantees":[214],"largest":[216],"possible":[219],"how":[226],"problem":[230,257],"reduced":[233],"two-player":[236],"game":[238,251],"with":[239],"partial":[240],"information,":[241],"establish":[243],"computational":[246],"complexity":[247],"solving":[249],"this":[250],"Np-complete.":[253],"The":[254],"hence":[259],"Np":[261],"non-deterministic":[271],"labeled":[272],"transition":[273],"system":[274],"encoding":[275],"taskset.":[277],"Overall,":[278],"proposed":[280],"framework":[281],"assists":[282],"selection":[285],"suitable":[287],"taskset,":[293],"fact":[297],"most":[299],"common":[300],"situation":[301],"systems":[304],"design.":[305]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}