Giulio Masetti

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 30

Top Topics

Critical Infrastructure

Solving Complex

Top Venues

SIGMETRICS Perform. Evaluation Rev.

Publications

Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
Implicit Reward Structures for Implicit Reliability Models. IEEE Trans. Reliab. 72 (2) (2023)
Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. RSSRail (2023)
Francesco Sovrano, Giulio Masetti
Foreseeing the Impact of the Proposed AI Act on the Sustainability and Safety of Critical Infrastructures. CoRR (2022)
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
Solution Bundles of Markov Performability Models through Adaptive Cross Approximation. DSN (2022)
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
TAPAS: a Tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States. SIGMETRICS Perform. Evaluation Rev. 49 (4) (2022)
Giulio Masetti, Silvano Chiaradonna, Leonardo Robol, Felicita Di Giandomenico
Random Bad State Estimator to Address False Data Injection in Critical Infrastructures. PRDC (2022)
Francesco Sovrano, Giulio Masetti
Foreseeing the Impact of the Proposed AI Act on the Sustainability and Safety of Critical Infrastructures. ICEGOV (2022)
Felicita Di Giandomenico, Giulio Masetti, Silvano Chiaradonna
Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods. Int. J. Appl. Math. Comput. Sci. 32 (4) (2022)
Alessio Bechini, Giulio Masetti, Giorgio Oronzo Spagnolo, Carlo Vallati
Smart Railway Infrastructures: Efficiency, Reliability and Safety. ERCIM News 2022 (130) (2022)
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems. Perform. Evaluation 147 (2021)
Igor Marcelli, Andrea Irace, Gianfranco Fioraso, Giulio Masetti, Elisa Brussolo, Brunella Raco, Matia Menichini, Gianna Vivaldo, Marco Doveri, Rocco Pispico, Stefano Cozzula
The Subsurface Database of the Torino Area (Western Po Plain): From the Design of the Conceptual Scheme to 3D Modeling. ASITA (2021)
Felicita Di Giandomenico, Giulio Masetti
Basic Aspects in Redundancy-Based Intrusion Tolerance. CISIS-ICEUTE (2021)
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, William H. Sanders, Brett Feddersen
Extending the Möbius Modeling Environment with the Advanced Replication Operator. SIGMETRICS Perform. Evaluation Rev. 48 (4) (2021)
Silvano Chiaradonna, Giulio Masetti, Felicita Di Giandomenico, Francesca Righetti, Carlo Vallati
Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies. Sustain. Comput. Informatics Syst. 30 (2021)
Giulio Masetti, Felicita Di Giandomenico
Analyzing Forward Robustness of Feedforward Deep Neural Networks with LeakyReLU Activation Function Through Symbolic Propagation. PKDD/ECML Workshops (2020)
Francesca Righetti, Carlo Vallati, Giuseppe Anastasi, Giulio Masetti, Felicita Di Giandomenico
Failure management strategies for IoT-based railways systems. SMARTCOMP (2020)
Giulio Masetti, Leonardo Robol
Computing performability measures in Markov chains by means of matrix functions. J. Comput. Appl. Math. 368 (2020)
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system. PRDC (2020)
Leonardo Robol, Giulio Masetti
Tensor methods for the computation of MTTA in large systems of loosely interconnected components. CoRR (2019)
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector. From Software Engineering to Formal Methods and Tools, and Back (2019)
Gianpaolo Coro, Giulio Masetti, Philipp Bonhoeffer, Michael Betcher
Distinguishing Violinists and Pianists Based on Their Brain Signals. ICANN (1) (2019)
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums. Petri Nets (2019)
Giulio Masetti
Enhanced Dependability Evaluation Through Krylov Methods and Matrix Functions: The Case of Load-Sharing Systems. DSN Workshops (2018)
Giulio Masetti, Simone Dutto, Silvano Chiaradonna, Felicita Di Giandomenico
Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations. MODELSWARD (2018)
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, Brett Feddersen, William H. Sanders
An Efficient Strategy for Model Composition in the Möbius Modeling Environment. EDCC (2018)
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico
Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components. EPEW (2017)
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico
A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components. ISSRE (2017)
Giulio Masetti
Enhanced power grid evaluation through efficient stochastic model-based analysis. CoRR (2017)
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
Analyzing the Impact of Failures in the Electric Power Distribution Grid. LADC (2016)
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
Efficient non-anonymus composition operator for modeling complex dependable systems. CoRR (2016)