Demand-aware price policy synthesis and verification services for Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry P. Hayes; Milan Prodanovic; Lars Elmegaard (SmartGridComm, 2014)

User Flexibility Aware Price Policy Synthesis for Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry Patrick Hayes; Milan Prodanovic; Lars Elmegaard (DSD, 2015)

Parallel Statistical Model Checking for Safety Verification in Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry P. Hayes; Milan Prodanovic; Lars Elmegaard (SmartGridComm, 2018)