Author of the publication

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.

 

Other publications of authors with the same name

Process algebras for systems diagnosis., , and . Artif. Intell., 142 (1): 19-51 (2002)Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances?, and . EC-TEL, volume 5794 of Lecture Notes in Computer Science, page 651-656. Springer, (2009)A Collaborative Environment for the Design of Accessible Educational Objects., , and . Web Intelligence/IAT Workshops, page 207-210. IEEE Computer Society, (2009)978-0-7695-3801-3.Towards a Runtime Verification Approach for Internet of Things Systems., , , , , and . ICWE Workshops, volume 11153 of Lecture Notes in Computer Science, page 83-96. Springer, (2018)Stochastic Petri net semantics for stochastic process algebras.. PNPM, page 148-157. IEEE Computer Society, (1995)Neighbor-of-neighbor routing over deterministically modulated Chord-like DHTs., and . IPDPS, page 1-8. IEEE, (2008)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)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)Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study., , , , , , and . ENASE, page 434-441. SciTePress, (2019)SOA adoption in the Italian industry., , , , , and . ICSE, page 1441-1442. IEEE Computer Society, (2012)