Francesco Marconi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2017
Best venue rank
Multiconference
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SAC | Formal verification of storm topologies through D-VerT. | Francesco Marconi, Marcello M. Bersani, Matteo Rossi |
| 2016 | ICFEM | Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. | Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi |
| 2016 | ISSTA | A tool for verification of big-data applications. | Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu |