{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:37:08Z","timestamp":1729654628415,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1109\/bmei.2011.6098696","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T13:29:51Z","timestamp":1324042191000},"page":"2077-2081","source":"Crossref","is-referenced-by-count":0,"title":["Model reduction using the orthogonality between overapproximate slicing and abstract"],"prefix":"10.1109","author":[{"given":"Hongtao","family":"Huang","sequence":"first","affiliation":[]},{"given":"Shaobin","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Zhiyuan","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Tao","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"369","article-title":"Slicing abstractions","volume":"89","author":"bru?ckner","year":"2009","journal-title":"Fundam Inf"},{"key":"22","first-page":"133","article-title":"Un thorme sur les fonctions d'ensembles","author":"knaster","year":"1928","journal-title":"Pacific Journal of Mathematics"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/32.730543"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2005.2"},{"key":"24","first-page":"514","article-title":"Incremental slicing","volume":"4260","author":"wehrheim","year":"2006","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"15","first-page":"73","article-title":"Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs","volume":"3920","author":"dwyer","year":"2006","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008697817793"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625970"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1132960.1132962"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023731"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/55483.55496"},{"year":"2005","author":"holzmann","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592781"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"1"},{"key":"10","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-63166-6_10","article-title":"Construction of abstract state graphs with PVS","author":"graf","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"key":"7","first-page":"105","article-title":"Slicing software for model construction","author":"dwyer","year":"1999","journal-title":"Proceedings of Partial Evaluation and Semantic-based Program Manipulation (PEPM'99)"},{"key":"6","first-page":"72","article-title":"Program slicing of hardware description languages","author":"clarke","year":"1999","journal-title":"Correct Hardware Design and Verification Methods"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"4","first-page":"4","article-title":"The state explosion problem","author":"valmari","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models Advances in Petri Nets"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15240-5_10"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/11576280_25"}],"event":{"name":"2011 4th International Conference on Biomedical Engineering and Informatics (BMEI)","start":{"date-parts":[[2011,10,15]]},"location":"Shanghai, China","end":{"date-parts":[[2011,10,17]]}},"container-title":["2011 4th International Conference on Biomedical Engineering and Informatics (BMEI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093307\/6098424\/06098696.pdf?arnumber=6098696","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T07:28:29Z","timestamp":1497943709000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6098696\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/bmei.2011.6098696","relation":{},"subject":[],"published":{"date-parts":[[2011,10]]}}}