Luca Franceschini

Dottorando

Indirizzo Via Dodecaneso, 35 - 16146 Genova
Ufficio 309
E-mail
Telefono ufficio (+39) 010353 - 6709
Corso di dottorato DOTTORATO DI RICERCA INFORMATICA E INGEGNERIA DEI SISTEMI/ COMPUTER SCIENCE AND SYSTEMS ENGINEERING
Ciclo di dottorato XXXII
Tutor(s) Davide Ancona

Publications

[1] Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, and Filippo Ricca. Towards runtime monitoring of Node.js and its application to the internet of things. In Proceedings of the 1st Workshop on Architectures, Languages and Paradigms for IoT. Electronic Proceedings in Theoretical Computer Science, 2017. To appear. [ URL (paper 5) ]

[2] Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, and Filippo Ricca. An abstract machine for asynchronous programs with closures and priority queues. In Proceedings of the 11th International Workshop on Reachability Problems, volume 10506 of Lecture Notes in Computer Science, pages 59--74. Springer, 2017. [ URL ]

[3] Davide Ancona, Angelo Ferrando, Luca Franceschini, and Viviana Mascardi. Parametric trace expressions for runtime verification of Java-like programs. In Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs. ACM Digital Library, 2017. [ URL ]

[4] Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, and Luca Franceschini. Towards an acceptance testing approach for internet of things systems. In Proceedings of the 1st International Workshop on Engineering the Web of Things, Lecture Notes in Computer Science. Springer, 2017. To appear. [ URL ]

[5] Luca Franceschini, Davide Ancona, and Ekaterina Komendantskaya. Structural resolution for abstract compilation of object-oriented languages. In Proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types. Electronic Proceedings in Theoretical Computer Science, 2017. [ URL ]

Teaching activity

A.A. 2017/18:
- assistant for PPPL (Principles and Paradigms of Programming Languages)
- assistant for LPO (Programming Languages and Object-oriented programming)

A.A. 2016/17:
- assistant for LPO (Programming Languages and Object-oriented programming)
- tutor for IP (Introduction to Programming)
- tutor for ASD (Algorithms and Data Structures)

Sei qui: Home

Questo sito usa i cookie.