{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:25Z","timestamp":1748071585219,"version":"3.30.2"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1109\/ase.2002.1115013","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"195-204","source":"Crossref","is-referenced-by-count":12,"title":["Interfaces for modular feature verification"],"prefix":"10.1109","author":[{"given":"H.C.","family":"Li","sequence":"first","affiliation":[{"name":"Brown Univ., Providence, RI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Krishnamurthi","sequence":"additional","affiliation":[{"name":"Brown Univ., Providence, RI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Fisler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Software Product Lines Practices and Patterns","year":"2002","author":"clements","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/503271.503231","article-title":"Modular verification of collaboration-based software designs","author":"fisler","year":"2001","journal-title":"Joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering"},{"key":"ref13","article-title":"Houdini, an annotation assistant for ESC\/Java","author":"flanagan","year":"2001","journal-title":"Formal Methods Europe"},{"journal-title":"The Java Language Specification","year":"1996","author":"gosling","key":"ref14"},{"key":"ref15","article-title":"Feature interactions in electronic mail","author":"hall","year":"2000","journal-title":"Feature Interactions in Telecommunications Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.729683"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/32.729680"},{"key":"ref18","article-title":"Aspect-oriented programming","author":"kiczales","year":"1997","journal-title":"European Conference on Object-Oriented Programming"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054162"},{"key":"ref28","article-title":"Calls considered harmful and other observations: A tutorial on telephony","author":"zave","year":"1997","journal-title":"Second International Workshop on Advanced Intelligent Networks"},{"key":"ref4","article-title":"Feature interaction as a satisfiability problem","author":"areces","year":"2000","journal-title":"Feature Interactions in Telecommunications Systems"},{"journal-title":"Component Software Beyond Object-Oriented Programming","year":"1998","author":"szyperski","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288305"},{"key":"ref6","first-page":"36","article-title":"Towards automated detection of feature interactions","author":"braithwaite","year":"1994","journal-title":"Feature Interactions in Telecommunications Systems"},{"key":"ref5","article-title":"Product-line architectures","author":"batory","year":"1998","journal-title":"Smalltalk and Java Conference"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/3-540-48683-6_25","article-title":"Model checking partial state spaces with 3-valued temporal logics","author":"bruns","year":"1999","journal-title":"International Conference on Computer-Aided Verification"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/10722167_23","article-title":"Efficient reachability analysis of hierarchic reactive machines","volume":"1855","author":"alur","year":"2000","journal-title":"International Conference on Computer-Aided Verification"},{"key":"ref9","article-title":"Modular translation of Statecharts to SMV. Technical","author":"clarke","year":"2000","journal-title":"Report CMU-CS-00-XXX"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/203095.201069"},{"key":"ref20","article-title":"Verifying crosscutting features as open systems","author":"li","year":"2002","journal-title":"Symposium on the Foundations of Software Engineering"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-63166-6_6","article-title":"A compositional rule for hardware design refinement","author":"mcmillan","year":"1997","journal-title":"International Conference on Computer-Aided Verification"},{"key":"ref24","article-title":"Multi-dimensional separation of concerns in hyperspace","author":"ossher","year":"1999","journal-title":"Technical Report RC 21452 (96717) IBM"},{"journal-title":"The Definition of Standard ML","year":"1990","author":"milner","key":"ref23"},{"key":"ref26","article-title":"In transition from global to modular temporal reasoning about programs","author":"pnueli","year":"1984","journal-title":"Logics and Models of Concurrent Systems Volume 13 of NATO ASI Series"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"}],"event":{"name":"Proceedings ASE 2002. 17th IEEE International Conference on Automated Software Engineering","start":{"date-parts":[[2002,9,23]]},"location":"Edinburgh, UK","end":{"date-parts":[[2002,9,27]]}},"container-title":["Proceedings 17th IEEE International Conference on Automated Software Engineering,"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8183\/24593\/01115013.pdf?arnumber=1115013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T02:21:20Z","timestamp":1734056480000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1115013\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/ase.2002.1115013","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}