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. [ http ]

[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 Matthew Hague and Igor Potapov, editors, Reachability Problems, pages 59--74, Cham, 2017. Springer International Publishing. [ DOI ]

[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, FTFJP'17, pages 10:1--10:6, New York, NY, USA, 2017. ACM. [ DOI | http ]

[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, 2017. To appear. [ http ]

[5] Luca Franceschini, Davide Ancona, and Ekaterina Komendantskaya. Structural resolution for abstract compilation of object-oriented languages. In Ekaterina Komendantskaya and John Power, editors, Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, Edinburgh, UK, 28-29 November 2016, volume 258 of Electronic Proceedings in Theoretical Computer Science, pages 19--35. Open Publishing Association, 2017. [ DOI ]

This was generated by bibtex2html 1.98.

Research activity

My research is focused on the application of runtime verification techniques to Node.js systems, exploiting trace expressions as a specification formalism.

Teaching activity

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

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.