@Inproceedings{EPTCS264.4, author = {Ancona, Davide and Franceschini, Luca and Delzanno, Giorgio and Leotta, Maurizio and Ribaudo, Marina and Ricca, Filippo}, year = {2018}, title = {Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things}, editor = {Pianini, Danilo and Salvaneschi, Guido}, booktitle = {{\rm Proceedings First Workshop on} Architectures, Languages and Paradigms for IoT, {\rm Turin, Italy, September 18, 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {264}, publisher = {Open Publishing Association}, pages = {27-42}, doi = {10.4204/EPTCS.264.4}, }