Giulio Masetti

33 papers A 2B 2C 3Misc 2Journal 13Unranked 10

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