Giulio Masetti
Orcid: 0000-0002-5165-275X
According to our database1,
Giulio Masetti
authored at least 29 papers
between 2016 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
IEEE Trans. Reliab., 2023
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023
2022
TAPAS: a Tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States.
SIGMETRICS Perform. Evaluation Rev., 2022
Random Bad State Estimator to Address False Data Injection in Critical Infrastructures.
Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022
Foreseeing the Impact of the Proposed AI Act on the Sustainability and Safety of Critical Infrastructures.
Proceedings of the 15th International Conference on Theory and Practice of Electronic Governance, 2022
Solution Bundles of Markov Performability Models through Adaptive Cross Approximation.
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022
2021
Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies.
Sustain. Comput. Informatics Syst., 2021
SIGMETRICS Perform. Evaluation Rev., 2021
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems.
Perform. Evaluation, 2021
Proceedings of the 14th International Conference on Computational Intelligence in Security for Information Systems and 12th International Conference on European Transnational Educational (CISIS 2021 and ICEUTE 2021), 2021
The Subsurface Database of the Torino Area (Western Po Plain): From the Design of the Conceptual Scheme to 3D Modeling.
Proceedings of the Geomatics and Geospatial Technologies - 24th Italian Conference, 2021
2020
J. Comput. Appl. Math., 2020
Proceedings of the IEEE International Conference on Smart Computing, 2020
Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system.
Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020
Analyzing Forward Robustness of Feedforward Deep Neural Networks with LeakyReLU Activation Function Through Symbolic Propagation.
Proceedings of the ECML PKDD 2020 Workshops, 2020
2019
PhD thesis, 2019
Tensor methods for the computation of MTTA in large systems of loosely interconnected components.
CoRR, 2019
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Theoretical Neural Computation, 2019
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of the 14th European Dependable Computing Conference, 2018
Enhanced Dependability Evaluation Through Krylov Methods and Matrix Functions: The Case of Load-Sharing Systems.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018
2017
CoRR, 2017
A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017
Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components.
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017
2016
CoRR, 2016
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016