{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:57:31Z","timestamp":1725515851673},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642304750"},{"type":"electronic","value":"9783642304767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30476-7_8","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T15:29:43Z","timestamp":1337959783000},"page":"121-136","source":"Crossref","is-referenced-by-count":6,"title":["Domain-Specific Optimization in Digital Forensics"],"prefix":"10.1007","author":[{"given":"Jeroen","family":"van den Bos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tijs","family":"van der Storm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.: Compilers: Principles, Techniques, and Tools, 2nd edn. Prentice Hall (2006)","key":"8_CR1"},{"unstructured":"Allen, F., Cocke, J.: A Catalogue of Optimizing Transformations. In: Design and Optimization of Compilers, pp. 1\u201330. Prentice-Hall (1972)","key":"8_CR2"},{"doi-asserted-by":"crossref","unstructured":"Aronson, L., van den Bos, J.: Towards an Engineering Approach to File Carver Construction. In: 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops (COMPSACW), pp. 368\u2013373. IEEE (2011)","key":"8_CR3","DOI":"10.1109\/COMPSACW.2011.68"},{"key":"8_CR4","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/11877028_2","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"J. B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J.: Model Driven Engineering: An Emerging Technical Space. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol.\u00a04143, pp. 36\u201364. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"van den Bos, J., van der Storm, T.: Bringing Domain-Specific Languages to Digital Forensics. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), pp. 671\u2013680. ACM (2011)","key":"8_CR5","DOI":"10.1145\/1985793.1985887"},{"issue":"4","key":"8_CR6","doi-asserted-by":"publisher","first-page":"708","DOI":"10.1109\/TII.2010.2069102","volume":"6","author":"M. Bozga","year":"2010","unstructured":"Bozga, M., Jaber, M., Sifakis, J.: Source-to-Source Architecture Transformation for Performance Optimization in BIP. IEEE Trans. Industrial Informatics\u00a06(4), 708\u2013718 (2010)","journal-title":"IEEE Trans. Industrial Informatics"},{"doi-asserted-by":"crossref","unstructured":"Chung, E.Y., Benini, L., De Micheli, G.: Source Code Transformation based on Software Cost Analysis. In: Proceedings of the 14th International Symposium on Systems Synthesis (ISSS 2001), pp. 153\u2013158. ACM (2001)","key":"8_CR7","DOI":"10.1145\/500001.500036"},{"issue":"3-4","key":"8_CR8","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.diin.2007.10.001","volume":"4","author":"M.I. Cohen","year":"2007","unstructured":"Cohen, M.I.: Advanced Carving Techniques. Digital Investigation\u00a04(3-4), 119\u2013128 (2007)","journal-title":"Digital Investigation"},{"unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison Wesley (2000)","key":"8_CR9"},{"issue":"S1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.diin.2007.06.017","volume":"4","author":"S.L. Garfinkel","year":"2007","unstructured":"Garfinkel, S.L.: Carving Contiguous and Fragmented Files with Fast Object Validation. Digital Investigation\u00a04(S1), 2\u201312 (2007)","journal-title":"Digital Investigation"},{"issue":"S1","key":"8_CR11","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.diin.2010.05.009","volume":"7","author":"S.L. Garfinkel","year":"2010","unstructured":"Garfinkel, S.L.: Digital Forensics Research: The Next 10 Years. Digital Investigation\u00a07(S1), S64\u2013S73 (2010)","journal-title":"Digital Investigation"},{"unstructured":"Grenier, C.: PhotoRec, http:\/\/www.cgsecurity.org\/","key":"8_CR12"},{"doi-asserted-by":"crossref","unstructured":"Klint, P., van der Storm, T., Vinju, J.: Rascal: A Domain Specific Language for Source Code Analysis and Manipulation. In: Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009), pp. 168\u2013177. IEEE (2009)","key":"8_CR13","DOI":"10.1109\/SCAM.2009.28"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M. Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv.\u00a037, 316\u2013344 (2005)","journal-title":"ACM Comput. Surv."},{"doi-asserted-by":"crossref","unstructured":"Mohri, M., Nederhof, M.J.: Regular approximation of context-free grammars through transformation. In: Robustness in Language and Speech Technology, ch. 9, pp. 251\u2013261. Kluwer (2000)","key":"8_CR15","DOI":"10.1007\/978-94-015-9719-7_6"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/MSP.2008.931081","volume":"26","author":"A. Pal","year":"2009","unstructured":"Pal, A., Memon, N.: The Evolution of File Carving. IEEE Signal Processing Magazine\u00a026(2), 59\u201371 (2009)","journal-title":"IEEE Signal Processing Magazine"},{"unstructured":"Richard III, G.G., Roussev, V.: Scalpel: A Frugal, High Performance File Carver. In: Proceedings of the Fifth Annual DFRWS Conference (2005)","key":"8_CR17"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-Driven Engineering. Computer\u00a039, 25\u201331 (2006)","journal-title":"Computer"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30476-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,22]],"date-time":"2023-06-22T23:17:49Z","timestamp":1687475869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30476-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642304750","9783642304767"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30476-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}