{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:43:30Z","timestamp":1725515010686},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540698234"},{"type":"electronic","value":"9783540698241"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69824-1_2","type":"book-chapter","created":{"date-parts":[[2008,7,11]],"date-time":"2008-07-11T11:29:24Z","timestamp":1215775764000},"page":"2-21","source":"Crossref","is-referenced-by-count":5,"title":["Modeling of Component Environment in Presence of Callbacks and Autonomous Activities"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Parizek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frantisek","family":"Plasil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Adamek, J., Bures, T., Jezek, P., Kofron, J., Mencl, V., Parizek, P., Plasil, F.: Component Reliability Extensions for Fractal Component Model (2006), http:\/\/kraken.cs.cas.cz\/ft\/public\/public_index.phtml"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Ball, T., Bounimova, E., Cook, B., Levin, V., Lichtenberg, J., McGarvey, C., Ondrusek, B., Rajamani, S.K., Ustuner, A.: Thorough Static Analysis of Device Drivers. In: Proceedings of EuroSys 2006. ACM Press (2006)","DOI":"10.1145\/1217935.1217943"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.B.: The FRACTAL component model and its support in Java. Softw. Pract. Exper.\u00a036(11-12) (2006)","DOI":"10.1002\/spe.767"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bures, T., Hnetynka, P., Plasil, F.: SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. In: Proceedings of SERA 2006. IEEE CS (2006)","DOI":"10.1109\/SERA.2006.62"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Brim, L., Cerna, I., Varekova, P., Zimmerova, B.: Component-interaction Automata as a Verification-oriented Component-based System Specification. In: Proceedings of SAVCBS 2005. ACM Press (2005)","DOI":"10.1145\/1123058.1123063"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Long, D.E., McMillan, K.L.: Compositional Model Checking. In: Proceedings of LICS 1989. IEEE CS (1989)","DOI":"10.1109\/LICS.1989.39190"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J.M. Cobleigh","year":"2003","unstructured":"Cobleigh, J.M., Giannakopoulou, D., Pasareanu, C.S.: Learning Assumptions for Compositional Verification. In: Garavel, H., Hatcliff, J. (eds.) ETAPS 2003 and TACAS 2003. LNCS. vol.\u00a02619. Springer, Heidelberg (2003)"},{"key":"2_CR8","unstructured":"CoCoME, http:\/\/agrausch.informatik.uni-kl.de\/CoCoME"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface Automata. In: Proceedings of 8th European Software Engineering Conference. ACM Press (2001)","DOI":"10.1145\/503209.503226"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Pasareanu, C.S., Cobleigh, J.M.: Assume-guarantee Verification of Source Code with Design-Level Assumptions. In: Proceedings of 26th International Conference on Software Engineering (ICSE) (2004)","DOI":"10.1109\/ICSE.2004.1317443"},{"key":"2_CR11","unstructured":"Mach, M., Plasil, F., Kofron, J.: Behavior Protocol Verification: Fighting State Explosion. International Journal of Computer and Information Science\u00a06 (2005)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Ostroff, J.: Composition and Refinement of Discrete Real-Time Systems. ACM Transactions on Software Engineering and Methodology\u00a08(1) (1999)","DOI":"10.1145\/295558.295560"},{"key":"2_CR13","unstructured":"Parizek, P.: Environment Generator for Java PathFinder, http:\/\/dsrg.mff.cuni.cz\/projects\/envgen"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Parizek, P., Plasil, F.: Specification and Generation of Environment for Model Checking of Software Components. In: Proceedings of FESCA 2006. ENTCS, vol.\u00a0176(2) (2006)","DOI":"10.1016\/j.entcs.2006.02.036"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Parizek, P., Plasil, F.: Modeling Environment for Component Model Checking from Hierarchical Architecture. In: Proceedings of FACS 2006, ENTCS, vol.\u00a0182 (2006)","DOI":"10.1016\/j.entcs.2006.09.036"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Parizek, P., Plasil, F.: Partial Verification of Software Components: Heuristics for Environment Construction. In: Proc. of 33rd EUROMICRO SEAA. IEEE CS (2007)","DOI":"10.1109\/EUROMICRO.2007.46"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Parizek, P., Plasil, F., Kofron, J.: Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. In: Proceedings of SEW 2006. IEEE CS (2006)","DOI":"10.1109\/SEW.2006.23"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"C.S. Pasareanu","year":"1999","unstructured":"Pasareanu, C.S., Dwyer, M., Huth, M.: Assume-guarantee model checking of software: A comparative case study. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS. vol.\u00a01680. Springer, Heidelberg (1999)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering\u00a028(11) (2002)","DOI":"10.1109\/TSE.2002.1049404"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Tkachuk, O., Dwyer, M.B., Pasareanu, C.S.: Automated Environment Generation for Software Model Checking. In: Proceedings of ASE 2003, IEEE CS (2003)","DOI":"10.1109\/ASE.2003.1240300"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering Journal\u00a010(2) (2003)","DOI":"10.1023\/A:1022920129859"}],"container-title":["Lecture Notes in Business Information Processing","Objects, Components, Models and Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69824-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T16:29:44Z","timestamp":1557678584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69824-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540698234","9783540698241"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69824-1_2","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2008]]}}}