Model-Checking based Verification approach for advanced Industrial Automation solutions. - Mauro Mazzolini; Alessandro Brusaferri; Emanuele Carpanzano (ETFA, 2010)

Closed-loop production and automation schedule execution in RMSs under uncertain environmental conditions. - Emanuele Carpanzano; Mauro Mazzolini; Andrea Orlandini; Anna Valente; Amedeo Cesta; F. Marino; Riccardo Rasconi (ETFA, 2012)

Integrated software platform for advanced design and optimization of industrial manufacturing control system. - Franco Antonio Cavadini; Diego Manzocchi; Mauro Mazzolini; Alessandro Brusaferri (ETFA, 2013)

CPS-based hierarchical and self-similar automation architecture for the control and verification of reconfigurable manufacturing systems. - Alessandro Brusaferri; Andrea Ballarino; Franco Antonio Cavadini; Diego Manzocchi; Mauro Mazzolini (ETFA, 2014)

Automated formal verification for flexible manufacturing systems. - Emanuele Carpanzano; Luca Ferrucci; Dino Mandrioli; Mauro Mazzolini; Angelo Morzenti; Matteo Rossi 001 (J. Intell. Manuf., 2014)

An approach to design and develop reconfigurable control software for highly automated production systems. - Anna Valente; Mauro Mazzolini; Emanuele Carpanzano (Int. J. Comput. Integr. Manuf., 2015)

Design of an Intelligent Handling System using a Multi-Objective Optimization Approach. - Tommaso Bonini; Andrea Forni; Mauro Mazzolini (ETFA, 2018)