Giorgio Mongardi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1995–2026
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | GECCO | Deconvolution of Electron-Ionization Mass Spectra of Mixtures Without Chromatography. | Raffaele Correale, Evelyne Lutton, Giorgio Mongardi, Giovanni Squillero, Raffaella Todino, Alberto Tonda |
| 2026 | ICSoft | Beyond the Black Box: Neuro-Symbolic Integration for Interpretable Video-Based Reinforcement Learning. | Lorenzo Cardone, Giorgia Ghisolfo, Giorgio Mongardi, Stefano Quer, Giovanni Squillero |
| 1998 | SAFECOMP | Applying Formal Methods in Industry The UseGat Project. | Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard |
| 1998 | SAFECOMP | Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. | Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso |
| 1996 | EDCC | Proving Safety Properties for Embedded Control Systems. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi |
| 1995 | SAFECOMP | An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. | A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli |