15 citations · 15 across the 1 of their papers we have counts for
4 papers
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…