Analyzing the Impact of Failures in the Electric Power Distribution Grid. - Silvano Chiaradonna; Felicita Di Giandomenico; Giulio Masetti (LADC, 2016)

Efficient non-anonymus composition operator for modeling complex dependable systems. - Silvano Chiaradonna; Felicita Di Giandomenico; Giulio Masetti (CoRR, 2016)

Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components. - Giulio Masetti; Silvano Chiaradonna; Felicita Di Giandomenico (EPEW, 2017)

A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components. - Giulio Masetti; Silvano Chiaradonna; Felicita Di Giandomenico (ISSRE, 2017)

Enhanced power grid evaluation through efficient stochastic model-based analysis. - Giulio Masetti (CoRR, 2017)

Enhanced Dependability Evaluation Through Krylov Methods and Matrix Functions: The Case of Load-Sharing Systems. - Giulio Masetti (DSN Workshops, 2018)

An Efficient Strategy for Model Composition in the Möbius Modeling Environment. - Giulio Masetti; Silvano Chiaradonna; Felicita Di Giandomenico; Brett Feddersen; William H. Sanders (EDCC, 2018)

Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations. - Giulio Masetti; Simone Dutto; Silvano Chiaradonna; Felicita Di Giandomenico (MODELSWARD, 2018)

Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums. - Giulio Masetti; Leonardo Robol; Silvano Chiaradonna; Felicita Di Giandomenico (Petri Nets, 2019)

A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector. - Silvano Chiaradonna; Felicita Di Giandomenico; Giulio Masetti; Davide Basile 001 (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Distinguishing Violinists and Pianists Based on Their Brain Signals. - Gianpaolo Coro; Giulio Masetti; Philipp Bonhoeffer; Michael Betcher (ICANN (1), 2019)

Tensor methods for the computation of MTTA in large systems of loosely interconnected components. - Leonardo Robol; Giulio Masetti (CoRR, 2019)

Enhanced power grid evaluation through efficient stochastic model-based analysis. - Giulio Masetti (2019)

Analyzing Forward Robustness of Feedforward Deep Neural Networks with LeakyReLU Activation Function Through Symbolic Propagation. - Giulio Masetti; Felicita Di Giandomenico (PKDD/ECML Workshops, 2020)

Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system. - Silvano Chiaradonna; Felicita Di Giandomenico; Giulio Masetti (PRDC, 2020)

Failure management strategies for IoT-based railways systems. - Francesca Righetti; Carlo Vallati; Giuseppe Anastasi; Giulio Masetti; Felicita Di Giandomenico (SMARTCOMP, 2020)

Computing performability measures in Markov chains by means of matrix functions. - Giulio Masetti; Leonardo Robol (J. Comput. Appl. Math., 2020)

The Subsurface Database of the Torino Area (Western Po Plain): From the Design of the Conceptual Scheme to 3D Modeling. - Igor Marcelli; Andrea Irace; Gianfranco Fioraso; Giulio Masetti; Elisa Brussolo; Brunella Raco; Matia Menichini; Gianna Vivaldo; Marco Doveri; Rocco Pispico; Stefano Cozzula (ASITA, 2021)

Basic Aspects in Redundancy-Based Intrusion Tolerance. - Felicita Di Giandomenico; Giulio Masetti (CISIS-ICEUTE, 2021)

On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems. - Silvano Chiaradonna; Felicita Di Giandomenico; Giulio Masetti (Perform. Evaluation, 2021)

Extending the Möbius Modeling Environment with the Advanced Replication Operator. - Giulio Masetti; Silvano Chiaradonna; Felicita Di Giandomenico; William H. Sanders; Brett Feddersen (SIGMETRICS Perform. Evaluation Rev., 2021)

Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies. - Silvano Chiaradonna; Giulio Masetti; Felicita Di Giandomenico; Francesca Righetti; Carlo Vallati (Sustain. Comput. Informatics Syst., 2021)

Solution Bundles of Markov Performability Models through Adaptive Cross Approximation. - Giulio Masetti; Leonardo Robol; Silvano Chiaradonna; Felicita Di Giandomenico (DSN, 2022)

Foreseeing the Impact of the Proposed AI Act on the Sustainability and Safety of Critical Infrastructures. - Francesco Sovrano; Giulio Masetti (ICEGOV, 2022)

Random Bad State Estimator to Address False Data Injection in Critical Infrastructures. - Giulio Masetti; Silvano Chiaradonna; Leonardo Robol; Felicita Di Giandomenico (PRDC, 2022)

Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods. - Felicita Di Giandomenico; Giulio Masetti; Silvano Chiaradonna (Int. J. Appl. Math. Comput. Sci., 2022)

Smart Railway Infrastructures: Efficiency, Reliability and Safety. - Alessio Bechini; Giulio Masetti; Giorgio Oronzo Spagnolo; Carlo Vallati (ERCIM News, 2022)

TAPAS: a Tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States. - Giulio Masetti; Leonardo Robol; Silvano Chiaradonna; Felicita Di Giandomenico (SIGMETRICS Perform. Evaluation Rev., 2022)

Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. - Giulio Masetti; Felicita Di Giandomenico; Silvano Chiaradonna (RSSRail, 2023)

Implicit Reward Structures for Implicit Reliability Models. - Giulio Masetti; Leonardo Robol; Silvano Chiaradonna; Felicita Di Giandomenico (IEEE Trans. Reliab., 2023)

A New Metric of Adaptivity for Self-adaptive Systems. - Giulio Masetti; Silvano Chiaradonna; Felicita Di Giandomenico (QUATIC, 2024)