{"id":"https://openalex.org/W2547023109","doi":"https://doi.org/10.1145/2950290.2950337","title":"Titanium: efficient analysis of evolving alloy specifications","display_name":"Titanium: efficient analysis of evolving alloy specifications","publication_year":2016,"publication_date":"2016-11-01","ids":{"openalex":"https://openalex.org/W2547023109","doi":"https://doi.org/10.1145/2950290.2950337","mag":"2547023109"},"language":"en","primary_location":{"id":"doi:10.1145/2950290.2950337","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2950290.2950337","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2950337&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2950337&type=pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030064922","display_name":"Hamid Bagheri","orcid":"https://orcid.org/0000-0001-6686-466X"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hamid Bagheri","raw_affiliation_strings":["University of Nebraska-Lincoln, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nebraska-Lincoln, USA","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004407813","display_name":"Sam Malek","orcid":"https://orcid.org/0000-0001-6152-7402"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sam Malek","raw_affiliation_strings":["University of California at Irvine, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.1436,"has_fulltext":true,"cited_by_count":29,"citation_normalized_percentile":{"value":0.93597177,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"27","last_page":"38"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.7504431009292603},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5801441669464111},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5457571744918823},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.473949670791626},{"id":"https://openalex.org/keywords/sync","display_name":"sync","score":0.45834940671920776},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.09134548902511597}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7504431009292603},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5801441669464111},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5457571744918823},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.473949670791626},{"id":"https://openalex.org/C3913047","wikidata":"https://www.wikidata.org/wiki/Q1956265","display_name":"sync","level":3,"score":0.45834940671920776},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.09134548902511597},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2950290.2950337","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2950290.2950337","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2950337&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2950290.2950337","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2950290.2950337","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2950337&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5600000023841858,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G7568627600","display_name":null,"funder_award_id":"CCF-1618132","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2547023109.pdf","grobid_xml":"https://content.openalex.org/works/W2547023109.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W181120823","https://openalex.org/W264517025","https://openalex.org/W954629016","https://openalex.org/W1519503479","https://openalex.org/W1568222232","https://openalex.org/W1856462361","https://openalex.org/W1856713069","https://openalex.org/W1895387792","https://openalex.org/W1971328644","https://openalex.org/W1971373119","https://openalex.org/W1978679823","https://openalex.org/W1988537734","https://openalex.org/W1990880047","https://openalex.org/W2001007953","https://openalex.org/W2007237548","https://openalex.org/W2020703884","https://openalex.org/W2049542183","https://openalex.org/W2052602498","https://openalex.org/W2060440626","https://openalex.org/W2061081083","https://openalex.org/W2066353350","https://openalex.org/W2073143859","https://openalex.org/W2083755826","https://openalex.org/W2104208948","https://openalex.org/W2111543139","https://openalex.org/W2113089686","https://openalex.org/W2113827727","https://openalex.org/W2115162286","https://openalex.org/W2116411029","https://openalex.org/W2116675540","https://openalex.org/W2137339691","https://openalex.org/W2141845866","https://openalex.org/W2145168181","https://openalex.org/W2148560634","https://openalex.org/W2152565783","https://openalex.org/W2152949134","https://openalex.org/W2156865091","https://openalex.org/W2169102536","https://openalex.org/W2173307028","https://openalex.org/W2182281677","https://openalex.org/W2343825734","https://openalex.org/W2356780433","https://openalex.org/W2474759362","https://openalex.org/W2529069893","https://openalex.org/W2561675875","https://openalex.org/W4236799059","https://openalex.org/W4247815097"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2524993630","https://openalex.org/W2063547430","https://openalex.org/W2607244263","https://openalex.org/W2234430299","https://openalex.org/W1995263003","https://openalex.org/W1831690014","https://openalex.org/W2592399342","https://openalex.org/W2125996595"],"abstract_inverted_index":{"The":[0,80],"Alloy":[1,7,31,57,115,185],"specification":[2],"language,":[3],"and":[4],"the":[5,14,41,49,69,87,124,131,135,141,147,163,190],"corresponding":[6],"Analyzer,":[8],"have":[9],"received":[10],"much":[11],"attention":[12],"in":[13,20,36,46,83,152,157],"last":[15],"two":[16],"decades":[17],"with":[18,48,102],"applications":[19],"many":[21],"areas":[22],"of":[23,96,114,119,134,150,154,192],"software":[24,53],"engineering.":[25],"Increasingly,":[26],"formal":[27,117],"analyses":[28,75,88],"enabled":[29],"by":[30],"are":[32,43,89],"desired":[33],"for":[34,73,116],"use":[35],"an":[37,65,84,103,112,169],"on-line":[38,85],"mode,":[39,86],"where":[40],"specifications":[42],"automatically":[44],"kept":[45],"sync":[47],"running,":[50],"possibly":[51],"changing,":[52],"system.":[54],"However,":[55],"given":[56,98],"Analyzer's":[58],"reliance":[59],"on":[60,92],"computationally":[61],"expensive":[62],"SAT":[63],"solvers,":[64],"important":[66],"challenge":[67],"is":[68],"time":[70],"it":[71],"takes":[72],"such":[74],"to":[76,105,189],"execute":[77],"at":[78],"runtime.":[79],"fact":[81],"that":[82],"often":[90],"repeated":[91],"slightly":[93],"revised":[94,136],"versions":[95],"a":[97,181],"specification,":[99,137],"presents":[100],"us":[101],"opportunity":[104],"tackle":[106],"this":[107],"challenge.":[108],"We":[109,145,160],"present":[110],"Titanium,":[111],"extension":[113],"analysis":[118,191],"evolving":[120,193],"specifications.":[121,194],"By":[122],"leveraging":[123],"results":[125,177],"from":[126],"previous":[127],"analyses,":[128],"Titanium":[129,151,179],"narrows":[130],"state":[132],"space":[133],"thereby":[138],"greatly":[139],"reducing":[140],"required":[142],"computational":[143],"effort.":[144],"describe":[146],"semantic":[148],"basis":[149],"terms":[153],"models":[155],"specified":[156],"relational":[158,171],"logic.":[159],"show":[161,178],"how":[162],"approach":[164],"can":[165],"be":[166],"realized":[167],"atop":[168],"existing":[170],"logic":[172],"model":[173],"finder.":[174],"Our":[175],"experimental":[176],"achieves":[180],"significant":[182],"speed-up":[183],"over":[184],"Analyzer":[186],"when":[187],"applied":[188]},"counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}