E-LIB Suche - Ergebnisse für: Chiaradonna, Silvano

1

Dependability Analysis of UPS Architectures for the Italian..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Masetti, Giulio ; Di Giandomenico, Felicita ; Chiaradonna, Silvano - p. 98-114 , 2023

Link: https://doi.org/10.1007/..

2

Implicit Reward Structures for Implicit Reliability Models:

Masetti, Giulio ; Robol, Leonardo ; Chiaradonna, Silvano.
IEEE Transactions on Reliability. 72 (2023) 2 - p. 774-794 , 2023

Link: https://doi.org/10.1109/..

3

Random Bad State Estimator to Address False Data Injection ..:

, In: 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC),

Masetti, Giulio ; Chiaradonna, Silvano ; Robol, Leonardo. - p. 98-108 , 2022

Link: https://doi.org/10.1109/..

4

Solution Bundles of Markov Performability Models through Ad..:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN),

Masetti, Giulio ; Robol, Leonardo ; Chiaradonna, Silvano. - p. 381-392 , 2022

Link: https://doi.org/10.1109/..

5

TAPAS: a Tool for Stochastic Evaluation of Large Interdepen..:

Masetti, Giulio ; Robol, Leonardo ; Chiaradonna, Silvano.
ACM SIGMETRICS Performance Evaluation Review. 49 (2022) 4 - p. 41-46 , 2022

Link: https://doi.org/10.1145/..

6

On identity-aware replication in stochastic modeling for si..:

Chiaradonna, Silvano ; Di Giandomenico, Felicita ; Masetti, Giulio
Performance Evaluation. 147 (2021) - p. 102192 , 2021

Link: https://doi.org/10.1016/..

7

Enhancing sustainability of the railway infrastructure: Tra..:

Chiaradonna, Silvano ; Masetti, Giulio ; Di Giandomenico, Felicita..
Sustainable Computing: Informatics and Systems. 30 (2021) - p. 100519 , 2021

Link: https://doi.org/10.1016/..

8

Extending the Möbius Modeling Environment with the Advanced..:

Masetti, Giulio ; Chiaradonna, Silvano ; Di Giandomenico, Felicita..
ACM SIGMETRICS Performance Evaluation Review. 48 (2021) 4 - p. 62-67 , 2021

Link: https://dl.acm.org/doi/1..

9

Extending the Möbius Modeling Environment with the Advanced..:

Masetti, Giulio ; Chiaradonna, Silvano ; Di Giandomenico, Felicita..
ACM SIGMETRICS Performance Evaluation Review. 48 (2021) 4 - p. 62-67 , 2021

Link: https://doi.org/10.1145/..

10

Trading dependability and energy consumption in critical in..:

, In: 2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC),

Chiaradonna, Silvano ; Di Giandomenico, Felicita ; Masetti, Giulio - p. 150-159 , 2020

Link: https://doi.org/10.1109/..

11

A Refined Framework for Model-Based Assessment of Energy Co..:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

Chiaradonna, Silvano ; Di Giandomenico, Felicita ; Masetti, Giulio. - p. 481-501 , 2019

Link: https://doi.org/10.1007/..

12

Stochastic Evaluation of Large Interdependent Composed Mode..:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Masetti, Giulio ; Robol, Leonardo ; Chiaradonna, Silvano. - p. 47-66 , 2019

Link: https://doi.org/10.1007/..

13

A Stochastic Modeling Approach for an Efficient Dependabili..:

, In: 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE),

Masetti, Giulio ; Di Giandomenico, Felicita ; Chiaradonna, Silvano - p. 46-55 , 2017

Link: https://doi.org/10.1109/..

14

Quantification of the Effectiveness of Medium Voltage Contr..:

, In: 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE),

Chiaradonna, Silvano ; Di Giandomenico, Felicita ; Xiao, Jun - p. 284-291 , 2016

Link: https://doi.org/10.1109/..

15

A stochastic model-based approach to analyse reliable energ..:

Basile, Davide ; Chiaradonna, Silvano ; Di Giandomenico, Felicita.
Journal of Rail Transport Planning & Management. 6 (2016) 2 - p. 163-181 , 2016

Link: https://doi.org/10.1016/..