( en | de | ru )

 

Disambiguierung von "Franceschini, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things.

, , , , , und . ALP4IoT@iFM, Volume 264 von EPTCS, Seite 27-42. (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Romain Franceschini

Luca Rizzini

Luca Tranchini

Luca Tuninetti

Alfonz Luca

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things., , , , , und . ALP4IoT@iFM, Volume 264 von EPTCS, Seite 27-42. (2017)An Abstract Machine for Asynchronous Programs with Closures and Priority Queues., , , , , , und . RP, Volume 10506 von Lecture Notes in Computer Science, Seite 59-74. Springer, (2017)Structural Resolution for Abstract Compilation of Object-Oriented Languages., , und . CoALP-Ty, Volume 258 von EPTCS, Seite 19-35. (2016)Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study., , , , , , und . ENASE, Seite 434-441. SciTePress, (2019)A formalism for specification of Java API interfaces., , und . ISSTA/ECOOP Workshops, Seite 24-26. ACM, (2018)A Deterministic Event Calculus for Effective Runtime Verification., , , und . ICTCS, Volume 2504 von CEUR Workshop Proceedings, Seite 248-260. CEUR-WS.org, (2019)ROSMonitoring: A Runtime Verification Framework for ROS., , , , , und . TAROS, Volume 12228 von Lecture Notes in Computer Science, Seite 387-399. Springer, (2020)Parametric Trace Expressions for Runtime Verification of Java-Like Programs., , , und . FTfJP@ECOOP, Seite 10:1-10:6. ACM, (2017)Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems., , , und . PAAMS, Volume 10978 von Lecture Notes in Computer Science, Seite 59-71. Springer, (2018)Resource Analysis of Ethereum 2.0 Clients., , und . CoRR, (2020)