E-LIB Suche - Ergebnisse für: Di Giandomenico, Felicita

1

Towards Effective Safety and Cybersecurity Co-engineering i..:

, In: 2023 13th International Conference on Dependable Systems, Services and Technologies (DESSERT),

Babeshko, Ievgen ; Illiashenko, Oleg ; Di Giandomenico, Felicita - p. 1-8 , 2023

2

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/..

3

Cross-coverage testing of functionally equivalent programs:

, In: 2023 IEEE/ACM International Conference on Automation of Software Test (AST),

Bertolino, Antonia ; De Angelis, Guglielmo ; Di Giandomenico, Felicita. - p. 101-111 , 2023

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

4

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/..

5

Safety and Cybersecurity Assessment Techniques for Critical..:

Babeshko, Ievgen ; Giandomenico, Felicita Di
IEEE Access. 11 (2023) - p. 83781-83793 , 2023

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

6

Model-based security testing in IoT systems: A Rapid Review:

Lonetti, Francesca ; Bertolino, Antonia ; Di Giandomenico, Felicita
Information and Software Technology. 164 (2023) - p. 107326 , 2023

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

7

Security-Informed Safety Analysis of Autonomous Transport S..:

Illiashenko, Oleg ; Kharchenko, Vyacheslav ; Babeshko, Ievgen..
Entropy. 25 (2023) 8 - p. 1123 , 2023

Link: https://doi.org/10.3390/..

8

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/..

9

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/..

10

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/..

11

Basic Aspects in Redundancy-Based Intrusion Tolerance:

, In: 14th International Conference on Computational Intelligence in Security for Information Systems and 12th International Conference on European Transnational Educational (CISIS 2021 and ICEUTE 2021); Advances in Intelligent Systems and Computing,

Di Giandomenico, Felicita ; Masetti, Giulio - p. 192-202 , 2021

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

12

Supervisory Synthesis of Configurable Behavioural Contracts..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Basile, Davide ; ter Beek, Maurice H. ; Degano, Pierpaolo... - p. 177-181 , 2021

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

13

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/..

14

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/..

15

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..