{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:36Z","timestamp":1760202696562,"version":"3.41.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_26","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T21:56:23Z","timestamp":1475618183000},"page":"356-362","source":"Crossref","is-referenced-by-count":9,"title":["Execution Trace Analysis Using LTL-FO $$^+$$"],"prefix":"10.1007","author":[{"given":"Rapha\u00ebl","family":"Khoury","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Hall\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omar","family":"Waldmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Becker, D., Wolf, F., Frings, W., Geimer, M., Wylie, B., Mohr, B.: Automatic trace-based performance analysis of metacomputing applications. In: 2007 Parallel and Distributed Processing Symposium, pp. 1\u201310 (2007)","DOI":"10.1109\/IPDPS.2007.370238"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Christodorescu, M., Jha, S., Seshia, S.A., Song, D., Bryant, R.E.: Semantics-aware malware detection. In: Proceedings of the 2005 IEEE Symposium on Security and Privacy, SP 2005, pp. 32\u201346. IEEE Computer Society, Washington, DC (2005)","DOI":"10.1109\/SP.2005.20"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Dietz, W., Li, P., Regehr, J., Adve, V.: Understanding integer overflow in C\/C++. In: Proceedings of the 34th International Conference on Software Engineering, ICSE 2012, pp. 760\u2013770. IEEE Press, Piscataway (2012)","DOI":"10.1109\/ICSE.2012.6227142"},{"key":"26_CR4","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.engappai.2015.05.008","volume":"44","author":"M Ghiasi","year":"2015","unstructured":"Ghiasi, M., Sami, A., Salehi, Z.: Dynamic VSA: a framework for malware detection based on register contents. Eng. Appl. Artif. Intell. 44, 111\u2013122 (2015)","journal-title":"Eng. Appl. Artif. Intell."},{"issue":"2","key":"26_CR5","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/TSC.2011.10","volume":"5","author":"S Hall\u00e9","year":"2012","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Serv. Comput. 5(2), 192\u2013206 (2012)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"26_CR6","unstructured":"Hornat, C.: JPEG vulnerability: a day in the life of the JPEG vulnerability. Technical report, Info Security Writers (2004)"},{"issue":"3","key":"26_CR7","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1109\/2945.722299","volume":"4","author":"D Jerding","year":"1998","unstructured":"Jerding, D., Stasko, J.: The information mural: a technique for displaying and navigating large information spaces. IEEE Trans. Visual. Comput. Graphics 4(3), 257\u2013271 (1998)","journal-title":"IEEE Trans. Visual. Comput. Graphics"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-540-89247-2_4","volume-title":"Runtime Verification","author":"G Ro\u015fu","year":"2008","unstructured":"Ro\u015fu, G., Chen, F., Ball, T.: Synthesizing monitors for safety properties: this time with calls and returns. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 51\u201368. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-89247-2_4"},{"key":"26_CR9","volume-title":"Secure Coding in C and C++","author":"RC Seacord","year":"2013","unstructured":"Seacord, R.C.: Secure Coding in C and C++, 2nd edn. Addison-Wesley Professional, Upper Saddle River (2013)","edition":"2"},{"issue":"1","key":"26_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1214\/13-AOAS703","volume":"8","author":"C Storlie","year":"2014","unstructured":"Storlie, C., Anderson, B., Wiel, S.V., Quist, D., Hash, C., Brown, N.: Stochastic identification of malware with dynamic traces. Ann. Appl. Stat. 8(1), 1\u201318 (2014)","journal-title":"Ann. Appl. Stat."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T23:09:12Z","timestamp":1749596952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}