{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:48:01Z","timestamp":1729626481231,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/re.2013.6636706","type":"proceedings-article","created":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T23:25:31Z","timestamp":1383089131000},"page":"62-71","source":"Crossref","is-referenced-by-count":14,"title":["On requirements verification for model refinements"],"prefix":"10.1109","author":[{"given":"Carlo","family":"Ghezzi","sequence":"first","affiliation":[]},{"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[]},{"given":"Amir Molzam","family":"Sharifloo","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Spoletini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/978-3-642-28872-2_16","article-title":"Language independent refinement using partial modeling","author":"salay","year":"2012","journal-title":"Proc of the International Conference on Fundamental Approaches to Software Engineering"},{"key":"17","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/3-540-48234-2_14","article-title":"Assume-guarantee model checking of software: A comparative case study","author":"pa?sa?reanu","year":"1999","journal-title":"Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345804"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/5254.769885"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.4.3.175-182"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084815"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"11","first-page":"440","article-title":"You assume, we guarantee: Methodology and case studies","volume":"1427","author":"henzinger","year":"1998","journal-title":"Proceedings of the International Conference on Computer Aided Verification"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35562-7_25"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345799"},{"key":"20","first-page":"5","article-title":"Evolving specifications formally","author":"sampath","year":"2012","journal-title":"Proceedings of the 20th IEEE International Requirements Engineering Conference (RE"},{"key":"22","first-page":"170","article-title":"Lover: Light-weight formal verification of adaptive systems at run time","author":"sharifloo","year":"2012","journal-title":"Proceedings of the 9th International Symposium on Formal Aspects of Component Software"},{"key":"23","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1007\/BFb0013041","article-title":"Computation tree logic and regular-languages","author":"thomas","year":"1989","journal-title":"Lecture Notes in Computer Science Linear Time Branching Time and Partial Order in Logics and Models for Concurrency"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.107"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029904"},{"key":"26","first-page":"435","article-title":"Slicing hierarchical automata for model checking uml statecharts","author":"wang","year":"2002","journal-title":"Formal Methods and Software Engineering - Proc 4th Int Conf on Formal Engineering Methods"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2006.876921"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985862"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.362"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503503"},{"key":"7","article-title":"Assume-guarantee Model Checking","author":"flanagan","year":"2003","journal-title":"Microsoft Res tech rep"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"5","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/APSEC.2001.991503","article-title":"Model checking uml statecharts","author":"dong","year":"2001","journal-title":"Proceedings of 11th Asia-Pacific Software Engineering Conference (APSEC)"},{"key":"4","article-title":"Modular translation of statecharts to smv","author":"clarke","year":"2000","journal-title":"Technical Report CMU-CS-00-XXX Carnegie Mellon University School of Computer Science"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809474"}],"event":{"name":"2013 IEEE 21st International Requirements Engineering Conference (RE)","start":{"date-parts":[[2013,7,15]]},"location":"Rio de Janeiro-RJ, Brazil","end":{"date-parts":[[2013,7,19]]}},"container-title":["2013 21st IEEE International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6621629\/6636689\/06636706.pdf?arnumber=6636706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:02:16Z","timestamp":1498093336000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6636706\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/re.2013.6636706","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}