15 citations · 39 across the 14 of their papers we have counts for
15 papers
A Decremental Algorithm for Checking the Possibility of Braess Paradox in Dynamic Nets
Dario Fiorenza, Daniele Gorla, Ivano Salvo
Braess paradox originates when latency at Wardrop equilibrium in traffic networks decreases because of removing edges. The graph-theoretic property of networks suffering from the B…
An Incremental Algorithm for Checking the Possibility of Braess Paradox in Dynamic Nets
Dario Fiorenza, Daniele Gorla, Ivano Salvo
Braess paradox is a well-known phenomenon that originates when latency at Wardrop equilibrium in traffic networks decreases because of removing edges. The possibility of having the…
Toward a Unified Graph-Based Representation of Medical Data for Precision Oncology Medicine
Davide Belluomo, Tiziana Calamoneri, Giacomo Paesani +1
We present a new unified graph-based representation of medical data, combining genetic information and medical records of patients with medical knowledge via a unique knowledge gra…
Parallel Statistical Model Checking for Safety Verification in Smart Grids
T. Mancini, F. Mari, I. Melatti +6
By using small computing devices deployed at user premises, Autonomous Demand Response (ADR) adapts users electricity consumption to given time-dependent electricity tariffs. This…
Conflict vs Causality in Event Structures
Daniele Gorla, Ivano Salvo, Adolfo Piperno
Event structures are one of the best known models for concurrency. Many variants of the basic model and many possible notions of equivalence for them have been devised in the liter…
Three Euler's Sieves and a Fast Prime Generator (Functional Pearl)
Ivano Salvo, Agnese Pacifico
The Euler's Sieve refines the Sieve of Eratosthenes to compute prime numbers, by crossing off each non prime number just once. Euler's Sieve is considered hard to be faithfully and…
Computing Integer Sequences: Filtering vs Generation (Functional Pearl)
Ivano Salvo, Agnese Pacifico
As a report of a teaching experience, we analyse Haskell programs computing two integer sequences: the Hamming sequence and the Ulam sequence. For both of them, we investigate two…
A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
A directed multigraph is said vulnerable if it can generate Braess paradox in Traffic Networks. In this paper, we give a graph-theoretic characterisation of vulnerable directed mul…
Graph Theoretic Investigations on Inefficiencies in Network Models
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
We consider network models where information items flow %are sent from a source to a sink node. We start with a model where routing is constrained by energy available on nodes in f…
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
Vadim Alimguzhin, Federico Mari, Igor Melatti +2
Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivat…
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems
Vadim Alimguzhin, Federico Mari, Igor Melatti +2
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This mot…
On Model Based Synthesis of Embedded Control Software
Vadim Alimguzhin, Federico Mari, Igor Melatti +2
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device.…
Model Based Synthesis of Control Software from System Level Formal Specifications
Federico Mari, Igor Melatti, Ivano Salvo +1
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This mot…
From Boolean Functional Equations to Control Software
Federico Mari, Igor Melatti, Ivano Salvo +1
Many software as well digital hardware automatic synthesis methods define the set of implementations meeting the given system specifications with a boolean relation K. In such a co…
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters
Federico Mari, Igor Melatti, Ivano Salvo +1
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device.…