Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies. - Francesco Alberti; Silvio Ghilardi; Andrea Orsini; Elena Pagani (CILC, 2016)

A Compact Gated Integrator for Conditioning Pulsed Analog Signals. - Sara Pettinato; Andrea Orsini; Maria Cristina Rossi; Diego Tagnani; Marco Girolami; Stefano Salvatori (ApplePies, 2019)

Compact Current Reference Circuits with Low Temperature Drift and High Compliance Voltage. - Sara Pettinato; Andrea Orsini; Stefano Salvatori (Sensors, 2020)

SiC and Diamond Membrane Based Pressure Sensors for Harsh Environments. - Andrea Orsini; Sara Pettinato; Daniele Barettin; Armando Piccardi; Gennaro Salvatore Ponticelli; Stefano Salvatori (MetroInd4.0&IoT, 2021)