{"id":"https://openalex.org/W1986305653","doi":"https://doi.org/10.1145/2610384.2610396","title":"Identifying optimal trade-offs between CPU time usage and temporal constraints using search","display_name":"Identifying optimal trade-offs between CPU time usage and temporal constraints using search","publication_year":2014,"publication_date":"2014-07-11","ids":{"openalex":"https://openalex.org/W1986305653","doi":"https://doi.org/10.1145/2610384.2610396","mag":"1986305653"},"language":"en","primary_location":{"id":"doi:10.1145/2610384.2610396","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2610384.2610396","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2014 International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://orbilu.uni.lu/handle/10993/16336","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074393374","display_name":"Shiva Nejati","orcid":"https://orcid.org/0000-0002-0281-8231"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Shiva Nejati","raw_affiliation_strings":["University of Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078533117","display_name":"Lionel Briand","orcid":"https://orcid.org/0000-0002-1393-1010"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Lionel C. Briand","raw_affiliation_strings":["University of Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I186903577"],"apc_list":null,"apc_paid":null,"fwci":1.2091,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.75587029,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"351","last_page":"361"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9986000061035156,"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.996999979019165,"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.7560039758682251},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.6696574687957764},{"id":"https://openalex.org/keywords/integrator","display_name":"Integrator","score":0.570088267326355},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5220736861228943},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4990358352661133},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.48334404826164246},{"id":"https://openalex.org/keywords/negotiation","display_name":"Negotiation","score":0.47693508863449097},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41401174664497375},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.41298460960388184},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.36953502893447876},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11935779452323914}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7560039758682251},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.6696574687957764},{"id":"https://openalex.org/C79518650","wikidata":"https://www.wikidata.org/wiki/Q2081431","display_name":"Integrator","level":3,"score":0.570088267326355},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5220736861228943},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4990358352661133},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.48334404826164246},{"id":"https://openalex.org/C199776023","wikidata":"https://www.wikidata.org/wiki/Q202875","display_name":"Negotiation","level":2,"score":0.47693508863449097},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41401174664497375},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.41298460960388184},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.36953502893447876},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11935779452323914},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C2776257435","wikidata":"https://www.wikidata.org/wiki/Q1576430","display_name":"Bandwidth (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2610384.2610396","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2610384.2610396","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2014 International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/16336","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/16336","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Symposium on Software Testing and Analysis (ISSTA 2014) (pp. 11). (2014).","raw_type":null}],"best_oa_location":{"id":"pmh:oai:orbilu.uni.lu:10993/16336","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/16336","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Symposium on Software Testing and Analysis (ISSTA 2014) (pp. 11). (2014).","raw_type":null},"sustainable_development_goals":[{"score":0.6000000238418579,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W184219092","https://openalex.org/W1532739430","https://openalex.org/W1534786329","https://openalex.org/W1545657867","https://openalex.org/W1549644356","https://openalex.org/W1591532012","https://openalex.org/W1741445233","https://openalex.org/W1968005108","https://openalex.org/W1982695538","https://openalex.org/W2000825106","https://openalex.org/W2020602307","https://openalex.org/W2047145315","https://openalex.org/W2052671997","https://openalex.org/W2056723044","https://openalex.org/W2063763208","https://openalex.org/W2082299789","https://openalex.org/W2104925479","https://openalex.org/W2109596254","https://openalex.org/W2111555385","https://openalex.org/W2120683063","https://openalex.org/W2123188083","https://openalex.org/W2126105956","https://openalex.org/W2135290919","https://openalex.org/W2138428785","https://openalex.org/W2150859886","https://openalex.org/W2232769049","https://openalex.org/W2913459036","https://openalex.org/W4293662999","https://openalex.org/W6684644128","https://openalex.org/W6792865771","https://openalex.org/W7065603513"],"related_works":["https://openalex.org/W2366352762","https://openalex.org/W2613964090","https://openalex.org/W2081322886","https://openalex.org/W2380425739","https://openalex.org/W2349324463","https://openalex.org/W1988313539","https://openalex.org/W2027541371","https://openalex.org/W2380535488","https://openalex.org/W2371144154","https://openalex.org/W2029980887"],"abstract_inverted_index":{"Integration":[0],"of":[1,54,63,91,98,181],"software":[2],"from":[3],"different":[4],"sources":[5],"is":[6],"a":[7,81,106,136,167,178],"critical":[8],"activity":[9],"in":[10,101],"many":[11,34],"embedded":[12,44],"systems":[13,25],"across":[14],"most":[15],"industry":[16],"sectors.":[17],"Software":[18],"integrators":[19,46],"are":[20,150],"responsible":[21],"for":[22,115],"producing":[23],"reliable":[24],"that":[26,143,149],"fulfil":[27],"various":[28,64],"functional":[29,56],"and":[30,95,159,187],"performance":[31],"requirements.":[32],"In":[33,42,70],"situations,":[35],"these":[36,125],"requirements":[37],"inversely":[38],"impact":[39],"one":[40],"another.":[41],"particular,":[43],"system":[45,57],"often":[47],"need":[48],"to":[49,59,86,113,119,135,153,193],"make":[50],"compromises":[51],"regarding":[52],"some":[53],"the":[55,61,89,96,154,191],"properties":[58],"optimize":[60],"use":[62],"resources,":[65],"such":[66],"as":[67],"CPU":[68,92],"time.":[69],"this":[71],"paper,":[72],"motivated":[73],"by":[74,77,132],"challenges":[75],"faced":[76],"industry,":[78],"we":[79],"introduce":[80],"multi-objective":[82],"decision":[83],"support":[84],"approach":[85,175],"help":[87],"balance":[88],"minimization":[90],"time":[93],"usage":[94],"satisfaction":[97],"temporal":[99],"constraints":[100],"automotive":[102,138],"systems.":[103],"We":[104,128],"develop":[105],"multi-objective,":[107],"search-based":[108],"optimization":[109],"algorithm,":[110],"specifically":[111],"designed":[112],"work":[114],"large":[116,137,179],"search":[117],"spaces,":[118],"identify":[120],"optimal":[121,157],"trade-off":[122],"solutions":[123,148,165,192],"fulfilling":[124],"two":[126],"objectives.":[127],"evaluated":[129],"our":[130,144,174],"algorithm":[131,145],"applying":[133],"it":[134,161],"system.":[139],"Our":[140],"results":[141],"show":[142],"can":[146],"find":[147],"very":[151],"close":[152],"estimated":[155],"ideal":[156],"values,":[158],"further,":[160],"finds":[162],"significantly":[163],"better":[164],"than":[166],"random":[168],"strategy":[169],"while":[170],"being":[171],"faster.":[172],"Finally,":[173],"efficiently":[176],"identifies":[177],"number":[180],"diverse":[182],"solutions,":[183],"helping":[184],"domain":[185],"experts":[186],"other":[188],"stakeholders":[189],"negotiate":[190],"reach":[194],"an":[195],"agreement.":[196]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}