Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks. - Luca Battisti; Damiano Macedonio; Massimo Merro (FSEN, 2013)

Industrial waste heat recovery strategies in urban contexts: A performance comparison. - Luca Battisti; Marco Cozzini; David Macii (ISC2, 2016)