{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:46:18Z","timestamp":1752230778478,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T00:00:00Z","timestamp":1554681600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,8]]},"DOI":"10.1145\/3297280.3297456","type":"proceedings-article","created":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:18:47Z","timestamp":1556713127000},"page":"1794-1801","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["NodeMOP"],"prefix":"10.1145","author":[{"given":"Filippo","family":"Schiavio","sequence":"first","affiliation":[{"name":"Universit\u00e0 della Svizzera Italiana (USI), Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haiyang","family":"Sun","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Svizzera Italiana (USI), Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Bonetta","sequence":"additional","affiliation":[{"name":"Oracle Labs, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Ros\u00e0","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Svizzera Italiana (USI), Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Binder","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Svizzera Italiana (USI), Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.34"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568268"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/3052281"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30734-3_6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/3091125.3091328"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Davide Ancona Luca Franceschini Giorgio Delzanno Maurizio Leotta Marina Ribaudo and Filippo Ricca. 2017. Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. In ALP4IoT. 27--42.","DOI":"10.4204\/EPTCS.264.4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106739"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES.2011.44"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2010.61"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81045-4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_36"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_23"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.16"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/383845.383853"},{"key":"e_1_3_2_1_16_1","unstructured":"Node.js Foundation. 2018. About | Node.js. https:\/\/nodejs.org\/en\/about\/"},{"key":"e_1_3_2_1_17_1","unstructured":"Node.js Foundation. 2018. File System | Node.js v8.11.3 Documentation. https:\/\/nodejs.org\/docs\/latest-v8.x\/api\/fs.html"},{"key":"e_1_3_2_1_18_1","unstructured":"Node.js Foundation. 2018. HTTP | Node.js v8.11.3 Documentation. https:\/\/nodejs.org\/docs\/latest-v8.x\/api\/http.html"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.76"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939411"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950308"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814282"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Gregor Kiczales John Lamping Anurag Mendhekar Chris Maeda Cristina Lopes Jean-Marc Loingtier and John Irwin. 1997. Aspect-Oriented Programming. In ECOOP. 220--242.","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_25_1","unstructured":"Oracle Labs. 2018. GraalVM. https:\/\/www.graalvm.org\/"},{"key":"e_1_3_2_1_26_1","unstructured":"Oracle Labs. 2018. graalvm\/graaljs: A Javascript implementation built on GraalVM. https:\/\/github.com\/graalvm\/graaljs"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133910"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","unstructured":"S. Malakuti M. Aksit and C. Bockisch. 2011. Distribution-Transparency in Runtime Verification. 328--335.","DOI":"10.5555\/2006073.2006376"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","unstructured":"S. Malakuti C. Bockisch and M. Aksit. 2009. Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software (ISSRE '09). 31--40.","DOI":"10.5555\/1802408.1802414"},{"key":"e_1_3_2_1_31_1","article-title":"Runtime Verification in Distributed Computing","volume":"2","author":"Khah Olun Abadi Somayeh Malakuti","year":"2011","unstructured":"Somayeh Malakuti Khah Olun Abadi, Jong Hyuk Park, Mohammad Obaidat, Mehmet Aksit, and Christoph Bockisch. 2011. Runtime Verification in Distributed Computing. Journal of convergence 2, 1 (30 6 2011), 1--10.","journal-title":"Journal of convergence"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.25"},{"key":"e_1_3_2_1_33_1","unstructured":"James Newsome and Dawn Xiaodong Song. 2005. Dynamic Taint Analysis for Automatic Detection Analysis and Signature Generation of Exploits on Commodity Software. In NDSS."},{"key":"e_1_3_2_1_34_1","unstructured":"npm Inc. 2018. npm. https:\/\/www.npmjs.com\/"},{"key":"e_1_3_2_1_35_1","unstructured":"Formal Systems Laboratory (FSL) of the Department of Computer Science at the University of Illinois. 2018. MOP4 Syntax. http:\/\/fsl.cs.illinois.edu\/index.php\/MOP4_Syntax"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254095"},{"key":"e_1_3_2_1_37_1","volume-title":"John Tang Boyland (Ed.)","volume":"37","author":"Pradel Michael","year":"2015","unstructured":"Michael Pradel and Koushik Sen. 2015. The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript. In ECOOP, John Tang Boyland (Ed.), Vol. 37. Dagstuhl, Germany, 519--541."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491447"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179527"},{"key":"e_1_3_2_1_40_1","volume-title":"Multi-Process Runtime Verification for Android (APSEC '17)","author":"Sun Haiyang","year":"2017","unstructured":"Haiyang Sun, Alexander North, and Walter Binder. 2017. Multi-Process Runtime Verification for Android (APSEC '17). 701--706."},{"key":"e_1_3_2_1_41_1","volume-title":"ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving (ICST '17)","author":"Sun Haiyang","year":"2017","unstructured":"Haiyang Sun, Andrea Ros\u00e0, Omar Javed, and Walter Binder. 2017. ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving (ICST '17). 532--539."},{"key":"e_1_3_2_1_42_1","unstructured":"ASM Team. 2018. ASM. https:\/\/asm.ow2.io\/"},{"key":"e_1_3_2_1_43_1","unstructured":"ECMAScript Team. 2018. ECMAScript\u00ae2018 Language Specification. https:\/\/www.ecma-international.org\/ecma-262\/9.0\/index.html"},{"key":"e_1_3_2_1_44_1","unstructured":"JavaMOP Team. 2018. Javamop\/Usage.md at master - runtimeverification\/java-mop. https:\/\/github.com\/runtimeverification\/javamop\/blob\/master\/docs\/Usage.md"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062381"}],"event":{"name":"SAC '19: The 34th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Limassol Cyprus","acronym":"SAC '19"},"container-title":["Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3297280.3297456","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3297280.3297456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:15Z","timestamp":1750204455000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3297280.3297456"}},"subtitle":["runtime verification for Node.js applications"],"short-title":[],"issued":{"date-parts":[[2019,4,8]]},"references-count":45,"alternative-id":["10.1145\/3297280.3297456","10.1145\/3297280"],"URL":"https:\/\/doi.org\/10.1145\/3297280.3297456","relation":{},"subject":[],"published":{"date-parts":[[2019,4,8]]},"assertion":[{"value":"2019-04-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}