NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. - Arturo Amendola; Anna Becchi; Roberto Cavada; Alessandro Cimatti; Andrea Ferrando; Lorenzo Pilati; Giuseppe Scaglione; Alberto Tacchella; Marco Zamboni (TACAS (1), 2022)

Symbolic Model Checking of Relative Safety LTL Properties. - Alberto Bombardelli; Alessandro Cimatti; Stefano Tonetta; Marco Zamboni (iFM, 2023)

Few measurement shots challenge generalization in learning to classify entanglement. - Leonardo Banchi; Jason Luke Pereira; Marco Zamboni (CoRR, 2024)

OpenCity3D: What do Vision-Language Models Know About Urban Environments? - Valentin Bieri; Marco Zamboni; Nicolas S. Blumer; Qingxuan Chen; Francis Engelmann (WACV, 2025)