{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T13:22:31Z","timestamp":1773840151131,"version":"3.50.1"},"reference-count":41,"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.1114984","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"3-12","source":"Crossref","is-referenced-by-count":92,"title":["Assumption generation for software component verification"],"prefix":"10.1109","author":[{"given":"D.","family":"Giannakopoulou","sequence":"first","affiliation":[{"name":"NASA Ames Res. Center, Moffett Field, CA, USA"}]},{"given":"C.S.","family":"Pasareanu","sequence":"additional","affiliation":[{"name":"NASA Ames Res. Center, Moffett Field, CA, USA"}]},{"given":"H.","family":"Barringer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","article-title":"A method for the development of totally correct shared-state parallel programs","author":"baeten","year":"1991","journal-title":"editors Proceedings of Concur'91 volume 527 of Lecture Notes in"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/32.9045"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/357195.357196"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870440"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35563-4_3"},{"key":"ref30","author":"magee","year":"1999","journal-title":"Concurrency State models & Java programs"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.5.399"},{"key":"ref36","first-page":"168","article-title":"Assume-guarantee model checking of software: A comparative case study","author":"p\u00e4\u0192s\u00e4\u0192reanu","year":"1999","journal-title":"editors Theoretical and Practical Aspects of SPIN Model Checking volume 1680 of Lecture Notes in Computer Science"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90128-X"},{"key":"ref34","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730577"},{"key":"ref11","first-page":"148","article-title":"Interface theories for component-based design","author":"de alfaro","year":"2001","journal-title":"EMSOFT 01 Embedded Software Lecture Notes in Computer Science 2211"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49213-5_1"},{"key":"ref13","article-title":"Concurrency Verification: Introduction to Compositional and Non-compositional Methods","author":"de roever","year":"2001","journal-title":"Cambridge University Press"},{"key":"ref14","author":"de roever","year":"1997","journal-title":"editors Compositionality The Significant Difference - An International Symposium COMPOS'97 volume 1536 of Lecture Notes in"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/9.964683"},{"key":"ref16","article-title":"Thread-modular verification for shared-memory programs","author":"flanagan","year":"2002","journal-title":"Proc European Symp Programming"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008645800955"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211911"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(99)00014-2"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113738"},{"key":"ref4","first-page":"521","article-title":"Modularity in model checking","author":"alur","year":"1998","journal-title":"In Proceedings of 10th International Conference on Computer Aided Verification volume 1427 of Lecture Notes in Computer Science"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1988.5119"},{"key":"ref3","author":"aho","year":"2000","journal-title":"Introduction to Automata Theory Languages and Computation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/9.231459"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1088\/0967-1846\/1\/5\/005"},{"key":"ref5","first-page":"23","author":"alur","year":"0","journal-title":"Alternating-time temporal logic In de Roever"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/295558.295570"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235323"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/151646.151649"},{"key":"ref9","author":"clarke","year":"2000","journal-title":"Model Checking The MIT Press"},{"key":"ref1","article-title":"Supervisory control of finite state machines","author":"aziz","year":"0","journal-title":"In 7th Int Conference on Computer Aided Verification volume 939 of Lecture Notes in Computer Science"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/352591.352593"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989803"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/69575.69577"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211617"},{"key":"ref23","first-page":"321","article-title":"Specification and design of (parallel) programs","author":"jones","year":"1983","journal-title":"In R Mason editor Information Processing 83 Proceedings of the IFIP 9th World Congress"},{"key":"ref26","article-title":"Compositional state space generation from LOTOS programs","volume":"1217","author":"krimm","year":"1997","journal-title":"In E Brinksma editor 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97)"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1109\/DAC.1996.545618","article-title":"Engineering change in a non-deterministic FSM setting","author":"khatri","year":"1996","journal-title":"33rd IEEE\/ACM Design Automat Conf"}],"event":{"name":"Proceedings ASE 2002. 17th IEEE International Conference on Automated Software Engineering","location":"Edinburgh, UK","start":{"date-parts":[[2002,9,23]]},"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\/01114984.pdf?arnumber=1114984","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T17:30:30Z","timestamp":1714411830000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1114984\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/ase.2002.1114984","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}