{"id":"https://openalex.org/W2712252765","doi":"https://doi.org/10.32657/10356/72377","title":"Parallelizing model checking algorithms using multi-core and many-core architectures","display_name":"Parallelizing model checking algorithms using multi-core and many-core architectures","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2712252765","doi":"https://doi.org/10.32657/10356/72377","mag":"2712252765"},"language":"en","primary_location":{"id":"doi:10.32657/10356/72377","is_oa":true,"landing_page_url":"https://doi.org/10.32657/10356/72377","pdf_url":"https://dr.ntu.edu.sg/bitstream/10356/72377/1/ZhiminWu-Thesis.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Nanyang Technological University","raw_type":"dissertation"},"type":"dissertation","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dr.ntu.edu.sg/bitstream/10356/72377/1/ZhiminWu-Thesis.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102901940","display_name":"Zhimin Wu","orcid":"https://orcid.org/0000-0002-2397-169X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Wu, Zhimin","raw_affiliation_strings":["School of Computer Science and Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5102901940"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9986000061035156,"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/computer-science","display_name":"Computer science","score":0.8019876480102539},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7976847887039185},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5859935879707336},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5774555802345276},{"id":"https://openalex.org/keywords/abstraction-model-checking","display_name":"Abstraction model checking","score":0.4596725106239319},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4589662551879883},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44366469979286194},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4284837543964386},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3287038803100586},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.09453588724136353},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0851331353187561}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8019876480102539},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7976847887039185},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5859935879707336},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5774555802345276},{"id":"https://openalex.org/C30888246","wikidata":"https://www.wikidata.org/wiki/Q4669969","display_name":"Abstraction model checking","level":3,"score":0.4596725106239319},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4589662551879883},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44366469979286194},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4284837543964386},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3287038803100586},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.09453588724136353},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0851331353187561},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.32657/10356/72377","is_oa":true,"landing_page_url":"https://doi.org/10.32657/10356/72377","pdf_url":"https://dr.ntu.edu.sg/bitstream/10356/72377/1/ZhiminWu-Thesis.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Nanyang Technological University","raw_type":"dissertation"},{"id":"pmh:oai:dr.ntu.edu.sg:10356/72377","is_oa":false,"landing_page_url":"http://hdl.handle.net/10356/72377","pdf_url":null,"source":{"id":"https://openalex.org/S4306402609","display_name":"DR-NTU (Nanyang Technological University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I172675005","host_organization_name":"Nanyang Technological University","host_organization_lineage":["https://openalex.org/I172675005"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis"}],"best_oa_location":{"id":"doi:10.32657/10356/72377","is_oa":true,"landing_page_url":"https://doi.org/10.32657/10356/72377","pdf_url":"https://dr.ntu.edu.sg/bitstream/10356/72377/1/ZhiminWu-Thesis.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Nanyang Technological University","raw_type":"dissertation"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2712252765.pdf","grobid_xml":"https://content.openalex.org/works/W2712252765.grobid-xml"},"referenced_works_count":208,"referenced_works":["https://openalex.org/W27773700","https://openalex.org/W37658565","https://openalex.org/W46568314","https://openalex.org/W52213268","https://openalex.org/W65260526","https://openalex.org/W68069235","https://openalex.org/W91087634","https://openalex.org/W91372427","https://openalex.org/W108082272","https://openalex.org/W133799517","https://openalex.org/W137536751","https://openalex.org/W141418607","https://openalex.org/W202738115","https://openalex.org/W205911847","https://openalex.org/W230889639","https://openalex.org/W240055707","https://openalex.org/W374648105","https://openalex.org/W1021521453","https://openalex.org/W1131208844","https://openalex.org/W1213177963","https://openalex.org/W1465777884","https://openalex.org/W1470776573","https://openalex.org/W1486633569","https://openalex.org/W1489260687","https://openalex.org/W1498432697","https://openalex.org/W1501731334","https://openalex.org/W1503170978","https://openalex.org/W1503466301","https://openalex.org/W1504291959","https://openalex.org/W1504503597","https://openalex.org/W1507304612","https://openalex.org/W1508631477","https://openalex.org/W1514324734","https://openalex.org/W1515421996","https://openalex.org/W1525305151","https://openalex.org/W1527730705","https://openalex.org/W1528153015","https://openalex.org/W1528441743","https://openalex.org/W1530444831","https://openalex.org/W1532054750","https://openalex.org/W1532688806","https://openalex.org/W1534744419","https://openalex.org/W1535497513","https://openalex.org/W1540707799","https://openalex.org/W1544607874","https://openalex.org/W1550760151","https://openalex.org/W1554850964","https://openalex.org/W1558869278","https://openalex.org/W1560050980","https://openalex.org/W1566733033","https://openalex.org/W1572578464","https://openalex.org/W1576229810","https://openalex.org/W1582448188","https://openalex.org/W1582642570","https://openalex.org/W1588335385","https://openalex.org/W1590315663","https://openalex.org/W1598969122","https://openalex.org/W1600967790","https://openalex.org/W1631356911","https://openalex.org/W1643462838","https://openalex.org/W1646328921","https://openalex.org/W1679808956","https://openalex.org/W1728798265","https://openalex.org/W1756737887","https://openalex.org/W1771135752","https://openalex.org/W1790874646","https://openalex.org/W1831515417","https://openalex.org/W1832530458","https://openalex.org/W1842834174","https://openalex.org/W1853715199","https://openalex.org/W1862398452","https://openalex.org/W1879455397","https://openalex.org/W1917164756","https://openalex.org/W1944591618","https://openalex.org/W1951981651","https://openalex.org/W1963110627","https://openalex.org/W1965207532","https://openalex.org/W1971869874","https://openalex.org/W1972065960","https://openalex.org/W1973909155","https://openalex.org/W1974158938","https://openalex.org/W1975464357","https://openalex.org/W1977553951","https://openalex.org/W1978889645","https://openalex.org/W1980282429","https://openalex.org/W1981802499","https://openalex.org/W1984957636","https://openalex.org/W1996474245","https://openalex.org/W1999288406","https://openalex.org/W1999702075","https://openalex.org/W1999787317","https://openalex.org/W1999836359","https://openalex.org/W2003227046","https://openalex.org/W2003405123","https://openalex.org/W2003803711","https://openalex.org/W2004442217","https://openalex.org/W2004752244","https://openalex.org/W2009537245","https://openalex.org/W2015839815","https://openalex.org/W2016300863","https://openalex.org/W2018601806","https://openalex.org/W2019334886","https://openalex.org/W2020098476","https://openalex.org/W2020725861","https://openalex.org/W2024794876","https://openalex.org/W2026436310","https://openalex.org/W2030224590","https://openalex.org/W2030609592","https://openalex.org/W2036336974","https://openalex.org/W2041679393","https://openalex.org/W2042264308","https://openalex.org/W2044210134","https://openalex.org/W2048340696","https://openalex.org/W2055497547","https://openalex.org/W2058020333","https://openalex.org/W2060110534","https://openalex.org/W2061438988","https://openalex.org/W2061451695","https://openalex.org/W2061504687","https://openalex.org/W2064622659","https://openalex.org/W2070638102","https://openalex.org/W2076337359","https://openalex.org/W2086279077","https://openalex.org/W2089003125","https://openalex.org/W2095095223","https://openalex.org/W2097253829","https://openalex.org/W2097930379","https://openalex.org/W2098746304","https://openalex.org/W2100076496","https://openalex.org/W2100958866","https://openalex.org/W2101508170","https://openalex.org/W2102548669","https://openalex.org/W2104696223","https://openalex.org/W2105757562","https://openalex.org/W2110016544","https://openalex.org/W2112117314","https://openalex.org/W2112666698","https://openalex.org/W2113136060","https://openalex.org/W2116721352","https://openalex.org/W2117689653","https://openalex.org/W2118382442","https://openalex.org/W2119567691","https://openalex.org/W2119646872","https://openalex.org/W2124007994","https://openalex.org/W2131064738","https://openalex.org/W2132334337","https://openalex.org/W2133475308","https://openalex.org/W2133777784","https://openalex.org/W2134991157","https://openalex.org/W2137865376","https://openalex.org/W2140789459","https://openalex.org/W2143114052","https://openalex.org/W2144607693","https://openalex.org/W2145289189","https://openalex.org/W2146706022","https://openalex.org/W2148529446","https://openalex.org/W2150436715","https://openalex.org/W2153822668","https://openalex.org/W2163751633","https://openalex.org/W2167694722","https://openalex.org/W2168024904","https://openalex.org/W2168359464","https://openalex.org/W2172004025","https://openalex.org/W2176300081","https://openalex.org/W2187335384","https://openalex.org/W2194869982","https://openalex.org/W2215828449","https://openalex.org/W2216194096","https://openalex.org/W2225615039","https://openalex.org/W2240152262","https://openalex.org/W2240161503","https://openalex.org/W2264277655","https://openalex.org/W2277776560","https://openalex.org/W2287508180","https://openalex.org/W2295862081","https://openalex.org/W2302717412","https://openalex.org/W2323352721","https://openalex.org/W2399002839","https://openalex.org/W2399231848","https://openalex.org/W2405532007","https://openalex.org/W2479873839","https://openalex.org/W2489673379","https://openalex.org/W2491714127","https://openalex.org/W2521118016","https://openalex.org/W2528199611","https://openalex.org/W2534652523","https://openalex.org/W2535981059","https://openalex.org/W2556016862","https://openalex.org/W2572890684","https://openalex.org/W2576017016","https://openalex.org/W2576073728","https://openalex.org/W2761734916","https://openalex.org/W2764347725","https://openalex.org/W2949773717","https://openalex.org/W2963707299","https://openalex.org/W2986444891","https://openalex.org/W3037838583","https://openalex.org/W3098342588","https://openalex.org/W3143351831","https://openalex.org/W3202477519","https://openalex.org/W4233436407","https://openalex.org/W4236160500","https://openalex.org/W4241162214","https://openalex.org/W4245428223","https://openalex.org/W4245926874","https://openalex.org/W4247797067","https://openalex.org/W4285719527","https://openalex.org/W4298023569"],"related_works":["https://openalex.org/W278680301","https://openalex.org/W2140364234","https://openalex.org/W2030935018","https://openalex.org/W2804745155","https://openalex.org/W1572578464","https://openalex.org/W2182066955","https://openalex.org/W2997654205","https://openalex.org/W2736259393","https://openalex.org/W2116366046","https://openalex.org/W2162351207"],"abstract_inverted_index":{"The":[0,16],"reliance":[1],"on":[2],"the":[3,11,46],"functioning":[4],"of":[5,13,48],"software":[6],"systems":[7,23,29,50],"is":[8,55],"growing":[9],"with":[10,30],"development":[12],"IT":[14],"industry.":[15],"complexity":[17],"and":[18,34,41],"scalability":[19],"to":[20,60,69],"design":[21],"these":[22,49,62],"are":[24],"increasing,":[25],"especially":[26],"for":[27],"concurrent":[28,31],"executions,":[32],"communications":[33],"resource":[35],"distributions,":[36],"e.g.,":[37],"classical":[38],"cryptography":[39],"protocols":[40],"quantum":[42],"communication":[43],"systems.":[44],"Thus,":[45],"reliability":[47],"becomes":[51],"crucial.":[52],"Model":[53],"checking":[54],"an":[56],"automated":[57],"verification":[58],"approach":[59],"validate":[61],"complicated":[63],"systems,":[64],"which":[65],"has":[66],"been":[67],"proved":[68],"be":[70],"effective":[71],"in":[72],"discovering":[73],"errors.":[74]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}