{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:22:17Z","timestamp":1725556937408},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135941"},{"type":"electronic","value":"9783642135958"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13595-8_19","type":"book-chapter","created":{"date-parts":[[2010,5,31]],"date-time":"2010-05-31T04:15:17Z","timestamp":1275279317000},"page":"233-244","source":"Crossref","is-referenced-by-count":1,"title":["A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces"],"prefix":"10.1007","author":[{"given":"Kouichi","family":"Ono","sequence":"first","affiliation":[]},{"given":"Manabu","family":"Toyota","sequence":"additional","affiliation":[]},{"given":"Ryo","family":"Kawahara","sequence":"additional","affiliation":[]},{"given":"Yoshifumi","family":"Sakamoto","sequence":"additional","affiliation":[]},{"given":"Takeo","family":"Nakada","sequence":"additional","affiliation":[]},{"given":"Naoaki","family":"Fukuoka","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1109\/ISORC.2006.42","volume-title":"Proceedings of Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2006)","author":"S.U. Jeon","year":"2006","unstructured":"Jeon, S.U., Hong, J.E., Bae, D.H.: Interaction-based behavior modeling of embedded software using UML 2.0. In: Proceedings of Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2006), Gyeongju, Korea, pp. 351\u2013355. IEEE Computer Society, Los Alamitos (April 2006)"},{"doi-asserted-by":"crossref","unstructured":"Martin, G., M\u00fcller, W.: UML for SOC Design. Springer, Dirdrecht (2005)","key":"19_CR2","DOI":"10.1007\/b135980"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/CSMR.2002.995789","volume-title":"Proceedings of the Sixth European Conference on Software Maintenance and Reengineering (CSMR 2002)","author":"C. Riva","year":"2002","unstructured":"Riva, C., Rodriguez, J.V.: Combining static and dynamic views for architecture reconstruction. In: Proceedings of the Sixth European Conference on Software Maintenance and Reengineering (CSMR 2002), Budapest, Hungary, pp. 47\u201355. IEEE Computer Society, Los Alamitos (March 2002)"},{"doi-asserted-by":"crossref","unstructured":"Ohba, N., Takano, K.: Hardware debugging method based on signal transitions and transactions. In: Proceedings of the 11th Asia South Pacific Design Automation Conference (ASP-DAC 2006), Yokohama, Japan, January 2006, pp. 454\u2013459 (2006)","key":"19_CR4","DOI":"10.1145\/1118299.1118412"},{"issue":"9","key":"19_CR5","doi-asserted-by":"publisher","first-page":"915","DOI":"10.1109\/71.466630","volume":"6","author":"C.A. Prete","year":"1995","unstructured":"Prete, C.A., Prina, G., Ricciardi, L.: A trace-driven simulator for performance evaluation of cache-based multiprocessor systems. IEEE Transactions on Parallel and Distributed Systems\u00a06(9), 915\u2013929 (1995)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"doi-asserted-by":"crossref","unstructured":"Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: Proceedings of the 2006 International Workshop on Scenarios and State Machines (SCESM 2006, co-located to ICSE 2006), Shanghai, China, pp. 5\u201312. IEEE Computer Society \/ ACM (May 2006)","key":"19_CR6","DOI":"10.1145\/1138953.1138956"},{"unstructured":"Japan Electronics & Information Technology Industries Association (JEITA): JEITA Printer Benchmark Test Patterns (2003), \n                  \n                    http:\/\/it.jeita.or.jp\/document\/printer\/pattern\/J1-J12.pdf","key":"19_CR7"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13595-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:51:44Z","timestamp":1558291904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13595-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135941","9783642135958"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13595-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}