Luca Franceschini

Phd student

Address Via Dodecaneso, 35 - 16146 Genova
Office 309
E-mail
Phone (office) (+39) 010353 - 6709
PhD course 10401 - INFORMATICA E INGEGNERIA DEI SISTEMI
PhD cycle XXXII
Tutor(s) Davide Ancona

Publications

  1. Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
    A Deterministic Event Calculus for Effective Runtime Verification
    20th Italian Conference on Theoretical Computer Science (ICTCS), Como, Italy, 2019.

  2. Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo
    Comparing Testing and Runtime Verification of IoT Systems: a Preliminary Evaluation based on a Case Study
    14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Heraklion, Greece, 2019.

  3. Luca Franceschini
    RML: Runtime Monitoring Language - A System-Agnostic DSL for Runtime Verification
    ACM Student Research Competition, 3rd International Conference on Art, Science, and Engineering of Programming (<Programming>), Genoa, Italy, 2019.

  4. Davide Ancona, Francesco Dagnino, Luca Franceschini
    A Formalism for Specification of Java API Interfaces (URL, talk)
    20th Workshop on Formal Techniques for Java-like Programs (FTfJP), Amsterdam, Netherlands, 2018.

  5. Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Davide Ancona, Giorgio Delzanno, Luca Franceschini, Marina Ribaudo
    An Acceptance Testing Approach for Internet of Things Systems (URL)
    Special Issue on Software Architecture for the Web of Things, IET Software, 2018.

  6. Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, and Filippo Ricca
    Towards a Runtime Verification Approach for Internet of Things Systems (talk)
    2nd International Workshop on Engineering the Web of Things (EnWoT), Cáceres, Spain, 2018.

  7. Davide Ancona, Angelo Ferrando, Luca Franceschini, and Viviana Mascardi.
    Coping with Bad Agent Interaction Protocols when Monitoring Partially Observable Multiagent Systems
    16th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Toledo, Spain, 2018.

  8. Davide Ancona, Angelo Ferrando, Luca Franceschini, and Viviana Mascardi
    Managing Bad AIPs with RIVERtools
    16th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Toledo, Spain, 2018.

  9. 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 (DOI, talk)
    1st Workshop on Architectures, Languages and Paradigms for IoT (ALP4IoT), Turin, Italy, 2017.
    Volume 264 of Electronic Proceedings in Theoretical Computer Science (EPTCS). Open Publishing Association.

  10. 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 (DOI)
    11th Workshop on Reachability Problems (RP), London, UK, 2017.
    Springer International Publishing.

  11. Davide Ancona, Angelo Ferrando, Luca Franceschini, and Viviana Mascardi
    Parametric Trace Expressions for Runtime Verification of Java-like Programs (DOI, talk)
    19th Workshop on Formal Techniques for Java-like Programs (FTfJP), Barcelona, Spain, 2017.
    ACM Digital Library.

  12. 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 (DOI)
    1st International Workshop on Engineering the Web of Things (EnWoT), Rome, Italy, 2017.
    Current Trends in Web Engineering. Springer International Publishing.

  13. Luca Franceschini, Davide Ancona, and Ekaterina Komendantskaya
    Structural Resolution for Abstract Compilation of Object-Oriented Languages (DOI, talk)
    Workshop on Coalgebra, Horn Clause Logic Programming and Types (CoALP-Ty), Edinburgh, UK, 2016.
    Volume 258 of Electronic Proceedings in Theoretical Computer Science (EPTCS). Open Publishing Association.

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. 2018/19:
- assistant for PPPL (Principles and Paradigms of Programming Languages)
- assistant for LPO (Programming Languages and Object-oriented programming)

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)

You are here: Home

This site uses cookies.