Luca Franceschini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2017–2019
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ENASE | Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. | Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo |
| 2018 | ICWE | Towards a Runtime Verification Approach for Internet of Things Systems. | Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca |
| 2018 | ISSTA | A formalism for specification of Java API interfaces. | Davide Ancona, Francesco Dagnino, Luca Franceschini |
| 2018 | PAAMS | Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. | Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi |
| 2018 | PAAMS | Managing Bad AIPs with RIVERtools. | Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi |
| 2017 | ECOOP | Parametric Trace Expressions for Runtime Verification of Java-Like Programs. | Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi |
| 2017 | ICWE | Towards an Acceptance Testing Approach for Internet of Things Systems. | Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, Luca Franceschini |