Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Di Giandomenico, Felicita
127  Ergebnisse:
englisch X
Personensuche X
?
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
Link: https://doi.org/10.1109/..
 
?
2

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

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

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

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

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

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

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

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

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

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

Special issue on resilient software and software-controlled..:

Calinescu, Radu ; Di Giandomenico, Felicita
Computing.  103 (2021)  4 - p. 533-534 , 2021
Link: https://doi.org/10.1007/..
 
?
13

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

Controller synthesis of service contracts with variability:

Basile, Davide ; ter Beek, Maurice H. ; Degano, Pierpaolo...
Science of Computer Programming.  187 (2020)  - p. 102344 , 2020
Link: https://doi.org/10.1016/..
 
?
15

Failure management strategies for IoT-based railways system:

, In: 2020 IEEE International Conference on Smart Computing (SMARTCOMP),
Righetti, Francesca ; Vallati, Carlo ; Anastasi, Giuseppe.. - p. 386-391 , 2020
Link: https://doi.org/10.1109/..
 
1-15