{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:35:54Z","timestamp":1725550554918},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304920"},{"type":"electronic","value":"9783540322405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589976_4","type":"book-chapter","created":{"date-parts":[[2005,10,26]],"date-time":"2005-10-26T09:38:16Z","timestamp":1130319496000},"page":"33-52","source":"Crossref","is-referenced-by-count":0,"title":["Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study"],"prefix":"10.1007","author":[{"given":"Robi","family":"Malik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha S.","family":"Roop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5kesson, K., Flordal, H., Fabian, M.: Exploiting modularity for synthesis and verification of supervisors. In: Proc. 15th IFAC World Congress on Automatic Control, Barcelona, Spain (2002)","DOI":"10.3182\/20020721-6-ES-1901.00517"},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Lamport, L.: The existence of refinement mappings. Theoretical Computer science\u00a082(2), 253\u2013284 (1991)","journal-title":"Theoretical Computer science"},{"key":"4_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandras","year":"1999","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer, Dordrecht (1999)"},{"key":"4_CR4","volume-title":"Surviving the SOC revolution: a guide to platform based design","author":"H. Chang","year":"1999","unstructured":"Chang, H., Cooke, L., Hunt, M., Martin, G., McNelly, A., Todd, L.: Surviving the SOC revolution: a guide to platform based design. Kluwer, Dordrecht (1999)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-540-30203-2_22","volume-title":"Graph Transformations","author":"A. Cherchago","year":"2004","unstructured":"Cherchago, A., Heckel, R.: Specification matching of web services using conditional graph transformation rules. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 304\u2013318. Springer, Heidelberg (2004)"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/978-1-4757-6656-1_12","volume-title":"Synthesis and Control of Discrete Event Systems","author":"P. Dietrich","year":"2002","unstructured":"Dietrich, P., Malik, R., Wonham, W.M., Brandin, B.A.: Implementation considerations in supervisory control. In: Caillaud, B., Darondeau, P., Lavagno, L., Xie, X. (eds.) Synthesis and Control of Discrete Event Systems, pp. 185\u2013201. Kluwer, Dordrecht (2002)"},{"key":"4_CR7","first-page":"315","volume-title":"Proc. 8th International Conference and Workshop on the Engineering of Computer Based Systems","author":"J. Guo","year":"2001","unstructured":"Guo, J.: Software components adaptive integration. In: Proc. 8th International Conference and Workshop on the Engineering of Computer Based Systems, pp. 315\u2013321. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"4_CR8","volume-title":"Proc. 10th Asia-Pacific Software Engineering Conference","author":"D. Hemer","year":"2003","unstructured":"Hemer, D.: Specification matching of state based modular components. In: Proc. 10th Asia-Pacific Software Engineering Conference. IEEE, Los Alamitos (2003)"},{"key":"4_CR9","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0020-0190(87)90106-2","volume":"24","author":"C.A.R. Hoare","year":"1987","unstructured":"Hoare, C.A.R., He, J.: The weakest prespecification. Information Processing Letters\u00a024(2), 127\u2013132 (1987)","journal-title":"Information Processing Letters"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Jeng, J.-J., Cheng, B.H.C.: Specification matching for software reuse: A foundation. In: Proc. ACM SIGSOFT Symposium on Software Reusability (SSR 1995), pp. 97\u2013105 (1995)","DOI":"10.1145\/211782.211817"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/92.502189","volume":"4","author":"P.K. Jha","year":"1996","unstructured":"Jha, P.K., Dutt, N.D.: High-level library mapping for arithmetic components. IEEE Transactions on Very Large Scale Integration (VLSI) Systems\u00a04(2), 1\u201313 (1996)","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"4_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5037-2","volume-title":"Reuse methodology manual for System-on-a-chip design","author":"M. Keating","year":"1999","unstructured":"Keating, M., Bricaud, P.: Reuse methodology manual for System-on-a-chip design. Kluwer, Dordrecht (1999)"},{"key":"4_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2217-1","volume-title":"Modeling and Control of Logical Discrete Event Systems","author":"R. Kumar","year":"1995","unstructured":"Kumar, R., Garg, V.K.: Modeling and Control of Logical Discrete Event Systems. Kluwer, Dordrecht (1995)"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1006\/inco.1995.1134","volume":"121","author":"N. Lynch","year":"1995","unstructured":"Lynch, N., Vaandrager, F.: Forward and backward simulations part I: Untimed systems. Information and Computation\u00a0121(2), 214\u2013233 (1995)","journal-title":"Information and Computation"},{"issue":"6","key":"4_CR16","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1109\/32.391379","volume":"21","author":"H. Mili","year":"1995","unstructured":"Mili, H., Mili, F., Mili, A.: Reusing software: Issues and research directions. IEEE Transactions on Software Engineering\u00a021(6), 528\u2013562 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR17","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"2","key":"4_CR18","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1109\/92.502190","volume":"4","author":"R.S. Mitra","year":"1996","unstructured":"Mitra, R.S., Roop, P.S., Basu, A.: A new algorithm for implementation of design functions by available devices. IEEE Transactions on Very Large Scale Integration (VLSI) Systems\u00a04(2), 170\u2013180 (1996)","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"4_CR19","unstructured":"Phenix, J., Alexander, P.: Toward automated component adaptation. In: Proc. 9th International Conference on Software Engineering and Knowledge Engineering, SEKE 1997 (1997)"},{"issue":"1","key":"4_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J.G. Ramadge","year":"1989","unstructured":"Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE\u00a077(1), 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"4_CR21","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1049\/ip-cdt:20040502","volume":"151","author":"P.S. Roop","year":"2004","unstructured":"Roop, P.S., Sowmya, A., Ramesh, S., Guo, H.F.: Tabled logic programming based IP matching tool using forced simulation. IEE Proc. Computer and Digital Techniques\u00a0151(3), 199\u2013208 (2004)","journal-title":"IEE Proc. Computer and Digital Techniques"},{"issue":"4","key":"4_CR22","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1145\/502175.502185","volume":"6","author":"P.S. Roop","year":"2001","unstructured":"Roop, P.S., Sowmya, A., Ramesh, S.: Forced simulation: A technique for automating component reuse in embedded systems. ACM Transactions on Design Automation of Electronic Systems\u00a06(4), 602\u2013628 (2001)","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"4_CR23","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"4_CR24","first-page":"678","volume-title":"Proc. IEEE\/ACM International Conference on Computer Aided Design","author":"J. Smith","year":"1998","unstructured":"Smith, J., de-Micheli, G.: Polynomial methods for component matching and verification. In: Proc. IEEE\/ACM International Conference on Computer Aided Design, pp. 678\u2013685. ACM, New York (1998)"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/B978-044482830-9\/50019-9","volume-title":"Handbook of Process Algebra","author":"R.J. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J.: The linear time\u00a0\u2014 branching time spectrum\u00a0I: The semantics of concrete, sequential processes. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 3\u201399. Elsevier, Amsterdam (2001)"},{"issue":"4","key":"4_CR26","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/261640.261641","volume":"6","author":"A.M. Zaremski","year":"1997","unstructured":"Zaremski, A.M., Wing, J.M.: Specification matching of software components. ACM Transactions on Software Engineering and Methodology\u00a06(4), 333\u2013360 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589976_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T05:40:35Z","timestamp":1554270035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589976_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304920","9783540322405"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11589976_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}