{"id":"https://openalex.org/W2462955985","doi":"https://doi.org/10.1007/978-3-319-31220-0_8","title":"Model Checking Process Scheduling over Multi-core Computer System with MSVL","display_name":"Model Checking Process Scheduling over Multi-core Computer System with MSVL","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2462955985","doi":"https://doi.org/10.1007/978-3-319-31220-0_8","mag":"2462955985"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-31220-0_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-31220-0_8","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5029605914","display_name":"Xinfeng Shu","orcid":"https://orcid.org/0000-0002-7293-4510"},"institutions":[{"id":"https://openalex.org/I4210115513","display_name":"Xi\u2019an University","ror":"https://ror.org/01zzmf129","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210115513"]},{"id":"https://openalex.org/I4210136859","display_name":"Xi\u2019an University of Posts and Telecommunications","ror":"https://ror.org/04jn0td46","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136859"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xinfeng Shu","raw_affiliation_strings":["School of Computer Science, Xi\u2019an University of Posts and Communications, Xi\u2019an, 710061, China","School of Computer Science, Xi'an University of Posts and Communications, Xi'an, 710061, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, Xi\u2019an University of Posts and Communications, Xi\u2019an, 710061, China","institution_ids":["https://openalex.org/I4210115513","https://openalex.org/I4210136859"]},{"raw_affiliation_string":"School of Computer Science, Xi'an University of Posts and Communications, Xi'an, 710061, China","institution_ids":["https://openalex.org/I4210136859"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071051896","display_name":"Zhenhua Duan","orcid":"https://orcid.org/0000-0002-3119-3242"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I4210115513","display_name":"Xi\u2019an University","ror":"https://ror.org/01zzmf129","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210115513"]},{"id":"https://openalex.org/I4210136859","display_name":"Xi\u2019an University of Posts and Telecommunications","ror":"https://ror.org/04jn0td46","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136859"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenhua Duan","raw_affiliation_strings":["Institute of Computing Theory and Technology, Xidian University, Xi\u2019an, 710071, China","School of Computer Science, Xi\u2019an University of Posts and Communications, Xi\u2019an, 710061, China","Xidian University, Xi\u2019an, Shaanxi, China","Institute of Computing Theory and Technology, Xidian University, Xi'an, 710071, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology, Xidian University, Xi\u2019an, 710071, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Computer Science, Xi\u2019an University of Posts and Communications, Xi\u2019an, 710061, China","institution_ids":["https://openalex.org/I4210115513","https://openalex.org/I4210136859"]},{"raw_affiliation_string":"Xidian University, Xi\u2019an, Shaanxi, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, Xidian University, Xi'an, 710071, China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5029605914"],"corresponding_institution_ids":["https://openalex.org/I4210115513","https://openalex.org/I4210136859"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.2403,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.74253521,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"103","last_page":"117"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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.9991000294685364,"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.9983999729156494,"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.9955999851226807,"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.8829030990600586},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7764185667037964},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5415712594985962},{"id":"https://openalex.org/keywords/fair-share-scheduling","display_name":"Fair-share scheduling","score":0.5342141389846802},{"id":"https://openalex.org/keywords/two-level-scheduling","display_name":"Two-level scheduling","score":0.5277760028839111},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.5010945796966553},{"id":"https://openalex.org/keywords/earliest-deadline-first-scheduling","display_name":"Earliest deadline first scheduling","score":0.44523200392723083},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.42086780071258545},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40783748030662537},{"id":"https://openalex.org/keywords/rate-monotonic-scheduling","display_name":"Rate-monotonic scheduling","score":0.3867383599281311},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3695043921470642},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24182215332984924},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.21851316094398499},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.08951497077941895}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8829030990600586},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7764185667037964},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5415712594985962},{"id":"https://openalex.org/C31689143","wikidata":"https://www.wikidata.org/wiki/Q733809","display_name":"Fair-share scheduling","level":3,"score":0.5342141389846802},{"id":"https://openalex.org/C119948110","wikidata":"https://www.wikidata.org/wiki/Q7858726","display_name":"Two-level scheduling","level":4,"score":0.5277760028839111},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.5010945796966553},{"id":"https://openalex.org/C32310161","wikidata":"https://www.wikidata.org/wiki/Q666365","display_name":"Earliest deadline first scheduling","level":5,"score":0.44523200392723083},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.42086780071258545},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40783748030662537},{"id":"https://openalex.org/C127456818","wikidata":"https://www.wikidata.org/wiki/Q238879","display_name":"Rate-monotonic scheduling","level":4,"score":0.3867383599281311},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3695043921470642},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24182215332984924},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.21851316094398499},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.08951497077941895},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-31220-0_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-31220-0_8","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1474729983","https://openalex.org/W1591672107","https://openalex.org/W1983317319","https://openalex.org/W1987340323","https://openalex.org/W2014146343","https://openalex.org/W2021917262","https://openalex.org/W2037296871","https://openalex.org/W2041851546","https://openalex.org/W2086156607","https://openalex.org/W2089823063","https://openalex.org/W2093832730","https://openalex.org/W2097153213","https://openalex.org/W2296650878"],"related_works":["https://openalex.org/W2184166483","https://openalex.org/W2372008037","https://openalex.org/W2167574351","https://openalex.org/W2377713709","https://openalex.org/W2397293317","https://openalex.org/W4300092030","https://openalex.org/W2393789493","https://openalex.org/W2060984508","https://openalex.org/W2172075652","https://openalex.org/W2978148977"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}