Marcello Maria Bersani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSE | Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services. | Bruno Guindani, Matteo Camilli, Livia Lestingi, Marcello Maria Bersani |
| 2025 | ISSRE | Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows. | Bruno Guindani, Matteo Camilli, Livia Lestingi, Marcello Maria Bersani |
| 2014 | FASE | SMT-Based Checking of SOLOIST over Sparse Traces. | Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro |