4 citations · 5 across the 6 of their papers we have counts for
6 papers
A new conjecture equivalent to Collatz conjecture
Giulio Masetti
In this paper a new conjecture equivalent to Collatz conjecture is presented. In particural, showing that (all) the solution(s) of newly introduced iterative functional equation(s)…
Foreseeing the Impact of the Proposed AI Act on the Sustainability and Safety of Critical Infrastructures
Francesco Sovrano, Giulio Masetti
The AI Act has been recently proposed by the European Commission to regulate the use of AI in the EU, especially on high-risk applications, i.e. systems intended to be used as safe…
Tensor methods for the computation of MTTA in large systems of loosely interconnected components
Leonardo Robol, Giulio Masetti
We are concerned with the computation of the mean-time-to-absorption (MTTA) for a large system of loosely interconnected components, modeled as continuous time Markov chains. In pa…
Computing performability measures in Markov chains by means of matrix functions
Giulio Masetti, Leonardo Robol
We discuss the efficient computation of performance, reliability, and availability measures for Markov chains; these metrics, and the ones obtained by combining them, are often cal…
Enhanced power grid evaluation through efficient stochastic model-based analysis
Giulio Masetti
Electrical infrastructures provide services at the basis of a number of application sectors, several of which are critical from the perspective of human life, environment or financ…
Efficient non-anonymous composition operator for modeling complex dependable systems
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
A new model composer is proposed to automatically generate non-anonymous model replicas in the context of performability and dependability evaluation. It is a state-sharing compose…