{"id":"https://openalex.org/W2994860303","doi":"https://doi.org/10.1145/3368926.3369659","title":"On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems","display_name":"On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2994860303","doi":"https://doi.org/10.1145/3368926.3369659","mag":"2994860303"},"language":"en","primary_location":{"id":"doi:10.1145/3368926.3369659","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3368926.3369659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Tenth International Symposium on Information and Communication Technology - SoICT 2019","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054340675","display_name":"Hoang-Viet Tran","orcid":"https://orcid.org/0000-0002-9314-0947"},"institutions":[{"id":"https://openalex.org/I67868205","display_name":"VNU University of Science","ror":"https://ror.org/05w54hk79","country_code":"VN","type":"education","lineage":["https://openalex.org/I177233841","https://openalex.org/I67868205"]}],"countries":["VN"],"is_corresponding":true,"raw_author_name":"Hoang-Viet Tran","raw_affiliation_strings":["VNU University of Engineering and Technology, Hanoi, Vietnam"],"affiliations":[{"raw_affiliation_string":"VNU University of Engineering and Technology, Hanoi, Vietnam","institution_ids":["https://openalex.org/I67868205"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016491985","display_name":"Quang-Trung Nguyen","orcid":"https://orcid.org/0000-0001-9747-1324"},"institutions":[{"id":"https://openalex.org/I4210109591","display_name":"Thuongmai University","ror":"https://ror.org/021s58p89","country_code":"VN","type":"education","lineage":["https://openalex.org/I4210109591"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"Quang-Trung Nguyen","raw_affiliation_strings":["Vietnam University of Commerce, Hanoi, Vietnam"],"affiliations":[{"raw_affiliation_string":"Vietnam University of Commerce, Hanoi, Vietnam","institution_ids":["https://openalex.org/I4210109591"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027582055","display_name":"Ph\u1ea1m Ng\u1ecdc H\u00f9ng","orcid":"https://orcid.org/0000-0002-5584-5823"},"institutions":[{"id":"https://openalex.org/I67868205","display_name":"VNU University of Science","ror":"https://ror.org/05w54hk79","country_code":"VN","type":"education","lineage":["https://openalex.org/I177233841","https://openalex.org/I67868205"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"Pham Ngoc Hung","raw_affiliation_strings":["VNU University of Engineering and Technology, Hanoi, Vietnam"],"affiliations":[{"raw_affiliation_string":"VNU University of Engineering and Technology, Hanoi, Vietnam","institution_ids":["https://openalex.org/I67868205"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5054340675"],"corresponding_institution_ids":["https://openalex.org/I67868205"],"apc_list":null,"apc_paid":null,"fwci":0.388,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.65784106,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"457","last_page":"464"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988999962806702,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9984999895095825,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.8022353053092957},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8006958365440369},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.7253749370574951},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6351810693740845},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6063110828399658},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5676262378692627},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5193827748298645},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4365866184234619},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.4347985088825226},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.4234412908554077},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.41563501954078674},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.41003701090812683},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4016962945461273},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4001918137073517},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3097950220108032},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11381649971008301},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.07554382085800171}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.8022353053092957},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8006958365440369},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7253749370574951},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6351810693740845},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6063110828399658},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5676262378692627},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5193827748298645},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4365866184234619},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4347985088825226},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.4234412908554077},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.41563501954078674},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41003701090812683},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4016962945461273},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4001918137073517},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3097950220108032},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11381649971008301},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.07554382085800171},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3368926.3369659","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3368926.3369659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Tenth International Symposium on Information and Communication Technology - SoICT 2019","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5899999737739563,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W213324484","https://openalex.org/W1507321568","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1830954042","https://openalex.org/W1924890580","https://openalex.org/W1963560067","https://openalex.org/W1969430262","https://openalex.org/W1996158062","https://openalex.org/W2009965218","https://openalex.org/W2060910670","https://openalex.org/W2098039922","https://openalex.org/W2098906570","https://openalex.org/W2130025446","https://openalex.org/W2137467159","https://openalex.org/W2169134334","https://openalex.org/W2170808163","https://openalex.org/W2243030179","https://openalex.org/W2543156873","https://openalex.org/W2587638832","https://openalex.org/W2613663264","https://openalex.org/W2617458767","https://openalex.org/W2904146334","https://openalex.org/W2913459036","https://openalex.org/W2939802674","https://openalex.org/W3103337353","https://openalex.org/W4205707725","https://openalex.org/W4241926562","https://openalex.org/W6680585622"],"related_works":["https://openalex.org/W2106507440","https://openalex.org/W3023586562","https://openalex.org/W2162615969","https://openalex.org/W3120172095","https://openalex.org/W4375857205","https://openalex.org/W1496505755","https://openalex.org/W3082696694","https://openalex.org/W4386764073","https://openalex.org/W2611035055","https://openalex.org/W3209085687"],"abstract_inverted_index":{"The":[0],"two-phase":[1,176],"assume-guarantee":[2],"verification":[3,47,54,58,68,113,161],"method":[4,21,98,179],"for":[5,99,174],"timed":[6],"systems":[7],"using":[8],"TL":[9],"algorithm":[10,89,141],"implemented":[11,90,135],"in":[12,30,91,136,166,187],"the":[13,24,46,52,57,63,67,72,85,92,100,108,112,126,130,137,144,155,160,181,188],"learner":[14,109],"has":[15,151],"been":[16,152],"known":[17],"as":[18,96],"a":[19,82,97,122,148],"potential":[20],"to":[22,34,45,84,102,107,110,124,154],"solve":[23],"problem":[25],"of":[26,66,71,76],"state":[27],"space":[28],"explosion":[29],"model":[31],"checking":[32],"thanks":[33],"its":[35],"divide":[36],"and":[37,132,180],"conquer":[38],"strategy.":[39],"This":[40,60,157],"paper":[41],"presents":[42],"three":[43],"improvements":[44],"method.":[48],"First,":[49],"we":[50,80,120],"remove":[51],"untimed":[53],"phase":[55],"from":[56,115,129,163],"process.":[59],"removal":[61],"reduces":[62],"time":[64,74],"complexity":[65,75],"process":[69,114,162],"because":[70],"great":[73],"this":[77],"phase.":[78],"Second,":[79],"introduce":[81,121],"maxbound":[83],"equivalence":[86,138],"queries":[87,139],"answering":[88,140],"teacher":[93,101,131,145],"which":[94,142],"acts":[95],"return":[103,147],"\"don't":[104],"know\"":[105],"results":[106,173],"prevent":[111],"many":[116],"endless":[117],"scenarios.":[118],"Finally,":[119],"technique":[123,158],"analyze":[125],"counterexample":[127,149],"received":[128],"another":[133],"one":[134,183],"helps":[143],"not":[146],"that":[150],"returned":[153],"learner.":[156],"keeps":[159],"running":[164],"forever":[165],"several":[167],"circumstances.":[168],"We":[169],"give":[170],"primitive":[171],"experimental":[172],"both":[175],"assumption":[177],"generation":[178],"improved":[182],"with":[184],"some":[185],"discussions":[186],"paper.":[189]},"counts_by_year":[{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}