A Coordination-based Methodology for Security Protocol Verification. - Giacomo Baldi; Andrea Bracciali; Gian-Luigi Ferrari 002; Emilio Tuosto (WISP@ICATPN, 2004)

Design and development of an accelerated testing architecture for embedded systems fault monitoring. - Valeria L. Scarano; Marcantonio Catelani; Andrea Carignano; Daniele Mazzei; Giacomo Baldi (I2MTC, 2013)

Internet of Things for designing smart objects. - Daniele Mazzei; Gualtiero Fantoni; Gabriele Montelisciani; Giacomo Baldi (WF-IoT, 2014)

Changing the programming paradigm for the embedded in the IoT domain. - Daniele Mazzei; Gabriele Montelisciani; Giacomo Baldi; Gualtiero Fantoni (WF-IoT, 2015)

A full stack for quick prototyping of IoT solutions. - Daniele Mazzei; Giacomo Baldi; Gabriele Montelisciani; Gualtiero Fantoni (Ann. des Télécommunications, 2018)

A Blockchain Tokenizer for Industrial IOT trustless applications. - Daniele Mazzei; Giacomo Baldi; Gualtiero Fantoni; Gabriele Montelisciani; Antonio Pitasi; Laura Ricci; Lorenzo Rizzello (Future Gener. Comput. Syst., 2020)

Data-Driven Insights through Industrial Retrofitting: An Anonymized Dataset with Machine Learning Use Cases. - Daniele Atzeni; Reshawn Ramjattan; Roberto Figliè; Giacomo Baldi; Daniele Mazzei (Sensors, 2023)

Towards an LLM-based Intelligent Assistant for Industry 5.0 (short paper) Roberto Figliè. - Roberto Figliè; Tommaso Turchi; Giacomo Baldi; Daniele Mazzei (SYNERGY@AVI, 2024)