{"id":"https://openalex.org/W1971445875","doi":"https://doi.org/10.1002/scj.4690270501","title":"Proposal of hybrid verification method in asynchronous real\u2010time software including timing constraints specification","display_name":"Proposal of hybrid verification method in asynchronous real\u2010time software including timing constraints specification","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W1971445875","doi":"https://doi.org/10.1002/scj.4690270501","mag":"1971445875"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690270501","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690270501","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-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/A5102728648","display_name":"Satoshi Yamane","orcid":"https://orcid.org/0000-0001-7883-4054"},"institutions":[{"id":"https://openalex.org/I16718484","display_name":"Hess (United States)","ror":"https://ror.org/00zbk1w77","country_code":"US","type":"company","lineage":["https://openalex.org/I16718484"]},{"id":"https://openalex.org/I3129591023","display_name":"University of Shimane","ror":"https://ror.org/04m42eq84","country_code":"JP","type":"education","lineage":["https://openalex.org/I3129591023"]}],"countries":["JP","US"],"is_corresponding":true,"raw_author_name":"Satoshi Yamane","raw_affiliation_strings":["Faculty of Science, The University of Shimane, Matsue, Japan 690","Satoshi Yamane received his B.S. and M.S. degrees from the University of Kyoto in 1984. He then worked at Fukitsu Ltd. and the Toyota Central Laboratory. Now he is an Assistant Professor of Information Science at Shimane University. His research interests include formal methods and software engineering, formal language theory. He is a member of EATCS and ACM, IEEE Computer Society"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Science, The University of Shimane, Matsue, Japan 690","institution_ids":["https://openalex.org/I3129591023"]},{"raw_affiliation_string":"Satoshi Yamane received his B.S. and M.S. degrees from the University of Kyoto in 1984. He then worked at Fukitsu Ltd. and the Toyota Central Laboratory. Now he is an Assistant Professor of Information Science at Shimane University. His research interests include formal methods and software engineering, formal language theory. He is a member of EATCS and ACM, IEEE Computer Society","institution_ids":["https://openalex.org/I16718484"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5102728648"],"corresponding_institution_ids":["https://openalex.org/I16718484","https://openalex.org/I3129591023"],"apc_list":null,"apc_paid":null,"fwci":0.5107,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.61871356,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":"5","first_page":"1","last_page":"14"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994999766349792,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9987000226974487,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8071792125701904},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6927670240402222},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6295904517173767},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.6147023439407349},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.6030479669570923},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5579464435577393},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5370990037918091},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49072444438934326},{"id":"https://openalex.org/keywords/b\u00fcchi-automaton","display_name":"B\u00fcchi automaton","score":0.454015851020813},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.4453083276748657},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4322117567062378},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.4294843077659607},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4214102029800415},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.42056962847709656},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.418447881937027},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3925230801105499},{"id":"https://openalex.org/keywords/deterministic-automaton","display_name":"Deterministic automaton","score":0.28471001982688904}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8071792125701904},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6927670240402222},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6295904517173767},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6147023439407349},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.6030479669570923},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5579464435577393},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5370990037918091},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49072444438934326},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.454015851020813},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.4453083276748657},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4322117567062378},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4294843077659607},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4214102029800415},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.42056962847709656},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.418447881937027},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3925230801105499},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.28471001982688904},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690270501","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690270501","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7200000286102295,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1545803195","https://openalex.org/W1594971226","https://openalex.org/W1967669950","https://openalex.org/W2017315323","https://openalex.org/W2040127143","https://openalex.org/W2059862967","https://openalex.org/W2118382442","https://openalex.org/W2153439859","https://openalex.org/W2589217375"],"related_works":["https://openalex.org/W2155870982","https://openalex.org/W2102661759","https://openalex.org/W2350238623","https://openalex.org/W2360610722","https://openalex.org/W1832926089","https://openalex.org/W2042728676","https://openalex.org/W1976775853","https://openalex.org/W2949259285","https://openalex.org/W1554149241","https://openalex.org/W2006321431"],"abstract_inverted_index":{"Abstract":[0],"A":[1,81],"verification":[2,28,52,71,83,88],"system":[3],"of":[4,39,63,122],"asynchronous":[5],"real\u2010time":[6,57,78],"software":[7],"including":[8],"timing":[9],"constraints,":[10],"which":[11,85],"supports":[12,86],"both":[13,40,74,87],"model\u2010checking":[14,50],"algorithms":[15],"and":[16,42,77],"language":[17,25],"inclusion":[18,26],"algorithms,":[19],"does":[20],"not":[21],"exist.":[22],"In":[23,93],"a":[24,33,49,98,123],"algorithm,":[27,51],"specification":[29,53],"is":[30,54,67,90,102,114],"described":[31,55],"by":[32,56,73],"timed":[34,75,99,105],"automaton":[35,76,106],"from":[36,60,104],"the":[37,45,61,120],"standpoint":[38,62],"states":[41],"behaviors.":[43],"On":[44],"other":[46],"hand,":[47],"in":[48],"temporal":[58,79],"logic":[59],"state":[64],"relation.":[65],"It":[66],"necessary":[68],"to":[69,95,116],"specify":[70],"property":[72],"logic.":[80],"hybrid":[82],"method,":[84],"methods,":[89],"proposed":[91],"here.":[92],"order":[94],"realize":[96],"it,":[97],"Kripke":[100],"structure":[101],"generated":[103],"through":[107],"an":[108],"augmented":[109],"region":[110],"graph.":[111],"The":[112],"method":[113],"shown":[115],"be":[117],"effective":[118],"using":[119],"example":[121],"clock":[124],"problem.":[125]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}