Ivano Salvo

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 23

Top Topics

Formal Specification

Strongly Polynomial

Malicious Attacks

Control Software

Top Venues

Inf. Process. Lett.

Publications

Dario Fiorenza, Daniele Gorla, Ivano Salvo
Polynomial recognition of vulnerable multi-commodities. Inf. Process. Lett. 179 (2023)
Lorenzo Petricone, Ivano Salvo
Monad Transformations as Parametric Distributive Laws (text not included). ICTCS (2022)
Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
Characterising spectra of equivalences for event structures, logically. Inf. Comput. 285 (Part) (2022)
Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
Behavioural logics for configuration structures. Theor. Comput. Sci. 913 (2022)
Igor Melatti, Federico Mari, Ivano Salvo, Enrico Tronci
Visualisation of Control Software for Cyber-Physical Systems. Inf. 12 (5) (2021)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
Parallel Statistical Model Checking for Safety Verification in Smart Grids. CoRR (2021)
Daniele Gorla, Ivano Salvo
Conflict vs causality in event structures. J. Log. Algebraic Methods Program. 119 (2021)
Daniele Gorla, Ivano Salvo, Adolfo Piperno
Conflict vs Causality in Event Structures. EXPRESS/SOS (2019)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. Algorithmica 81 (4) (2019)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
Depletable channels: dynamics, behaviour, and efficiency in network design. Acta Informatica 56 (5) (2019)
Ivano Salvo, Agnese Pacifico
Computing Integer Sequences: Filtering vs Generation (Functional Pearl). CoRR (2018)
Ivano Salvo, Daniele Gorla, Pietro Cenciarelli
Graph Theoretic Detection of Inefficiencies in Network Models. ICTCS (2018)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
Inefficiencies in network models: A graph-theoretic perspective. Inf. Process. Lett. 131 (2018)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. ISMIS (2018)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners
Computing Personalised Treatments through In Silico Clinical Trials. RCRA@FLoC (2018)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
Parallel Statistical Model Checking for Safety Verification in Smart Grids. SmartGridComm (2018)
Ivano Salvo, Agnese Pacifico
Three Euler's Sieves and a Fast Prime Generator (Functional Pearl). CoRR (2018)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci
On minimising the maximum expected verification time. Inf. Process. Lett. 122 (2017)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Linearizing Discrete-Time Hybrid Systems. IEEE Trans. Autom. Control. 62 (10) (2017)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. CoRR (2016)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
Graph Theoretic Investigations on Inefficiencies in Network Models. CoRR (2016)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry Patrick Hayes, Milan Prodanovic, Lars Elmegaard
User Flexibility Aware Price Policy Synthesis for Smart Grids. DSD (2015)
Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti
Computing Biological Model Parameters by Parallel Statistical Model Checking. IWBBIO (2) (2015)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
Demand-aware price policy synthesis and verification services for Smart Grids. SmartGridComm (2014)
Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille
Patient-specific models from inter-patient biological models and clinical records. FMCAD (2014)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Model-based synthesis of control software from system-level formal specifications. ACM Trans. Softw. Eng. Methodol. 23 (1) (2014)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
On-the-Fly Control Software Synthesis. SPIN (2013)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. SPIN (2013)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
On Model Based Synthesis of Embedded Control Software CoRR (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Automatic control software synthesis for quantized discrete time hybrid systems. CDC (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software CoRR (2012)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. ICTAC (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems CoRR (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
On model based synthesis of embedded control software. EMSOFT (2012)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters CoRR (2011)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
From Boolean Functional Equations to Control Software CoRR (2011)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Quantized Feedback Control Software Synthesis from System Level Formal Specifications CoRR (2011)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. CAV (2010)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
Model Checking Coalition Nash Equilibria in MAD Distributed Systems. SSS (2009)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
Depletable Channels: Dynamics and Behaviour. FCT (2009)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
Model Checking Nash Equilibria in MAD Distributed Systems. FMCAD (2008)
Antonio Bucciarelli, Adolfo Piperno, Ivano Salvo
Intersection Types and lambda-Definability. Math. Struct. Comput. Sci. 13 (1) (2003)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo
Mobility Types for Mobile Processes in Mobile Ambients. Electron. Notes Theor. Comput. Sci. 78 (2003)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone
A Type Inference Algorithm for Secure Ambients. Electron. Notes Theor. Comput. Sci. 62 (2001)
Viviana Bono, Ivano Salvo
A CuCh Interpretation of an Object-Oriented Language. Electron. Notes Theor. Comput. Sci. 50 (2) (2001)
Benedetto Intrigila, Ivano Salvo, Stefano Sorgi
A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser. Inf. Comput. 171 (2) (2001)
Mariangiola Dezani-Ciancaglini, Ivano Salvo
Security Types for Mobile Safe Ambients. ASIAN (2000)
Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo
Some Computational Properties of Intersection Types. LICS (1999)
Antonio Bucciarelli, Ivano Salvo
Totality, Definability and Boolean Ciruits. ICALP (1998)