( en | de | ru )

 

Disambiguation of "Franceschini, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things.

, , , , , and . ALP4IoT@iFM, volume 264 of EPTCS, page 27-42. (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Romain Franceschini

Luca Rizzini

Luca Tranchini

Luca Tuninetti

Alfonz Luca

 

Other publications of authors with the same name

Structural Resolution for Abstract Compilation of Object-Oriented Languages., , and . CoALP-Ty, volume 258 of EPTCS, page 19-35. (2016)An Abstract Machine for Asynchronous Programs with Closures and Priority Queues., , , , , , and . RP, volume 10506 of Lecture Notes in Computer Science, page 59-74. Springer, (2017)Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things., , , , , and . ALP4IoT@iFM, volume 264 of EPTCS, page 27-42. (2017)Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study., , , , , , and . ENASE, page 434-441. SciTePress, (2019)A formalism for specification of Java API interfaces., , and . ISSTA/ECOOP Workshops, page 24-26. ACM, (2018)ROSMonitoring: A Runtime Verification Framework for ROS., , , , , and . TAROS, volume 12228 of Lecture Notes in Computer Science, page 387-399. Springer, (2020)A Deterministic Event Calculus for Effective Runtime Verification., , , and . ICTCS, volume 2504 of CEUR Workshop Proceedings, page 248-260. CEUR-WS.org, (2019)Towards an Acceptance Testing Approach for Internet of Things Systems., , , , , , and . ICWE Workshops, volume 10544 of Lecture Notes in Computer Science, page 125-138. Springer, (2017)Resource Analysis of Ethereum 2.0 Clients., , and . CoRR, (2020)An acceptance testing approach for Internet of Things systems., , , , , , , and . IET Softw., 12 (5): 430-436 (2018)