Concepedia

Ivano Salvo

IS

13

Publications

234

Citations

12

H-Index

2003

Active since

Affiliations

Sapienza University of Rome(Current)

IMDEA Energy Institute

SEAS-NVE (Denmark)

University of Turin

Ivano Salvo is an author at Sapienza University of Rome specializing in engineering, systems engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationEmbedded SystemsSmart GridMechatronicsControl Systems

Publications per year

2003–2018

13

Publications

13

M3

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti et al. · Electronic Notes in Theoretical Computer Science · 2003 · 35 citations · Full text

Demand-aware price policy synthesis and verification services for Smart Grids

Toni Mancini, Federico Mari, Igor Melatti et al. · 2014 · 26 citations

Engineering, Energy Distribution, Operations Research +20

Model-based synthesis of control software from system-level formal specifications

Federico Mari, Igor Melatti, Ivano Salvo et al. · ACM Transactions on Software Engineering and Methodology · 2014 · 24 citations

Real-time Control, Engineering, Tool Qks +21

Automatic control software synthesis for quantized discrete time hybrid systems

Vadim Alimguzhin, Federico Mari, Igor Melatti et al. · 2012 · 19 citations

Real-time Control, Engineering, System Synthesis +20

Patient-specific models from inter-patient biological models and clinical records

Enrico Tronci, Toni Mancini, Ivano Salvo et al. · 2014 · 19 citations

Gyncycle Model, Engineering, Patient-specific Models +12

Rows per page

1–5 of 13