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

1

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

2

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

3

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

4

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

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

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

7

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

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

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

11

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

12

A tour of secure software engineering solutions for connect..:

Bertolino, Antonia ; Calabro', Antonello ; Di Giandomenico, Felicita...
Software Quality Journal. 26 (2017) 4 - p. 1223-1256 , 2017

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

13

Achieving functional and non functional interoperability th..:

Nostro, Nicola ; Spalazzese, Romina ; Giandomenico, Felicita Di.
Journal of Systems and Software. 111 (2016) - p. 185-199 , 2016

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

14

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

15

An Approach to Adaptive Dependability Assessment in Dynamic..:

Di Giandomenico, Felicita ; Bertolino, Antonia ; Calabrò, Antonello.
International Journal of Adaptive, Resilient and Autonomic Systems. 4 (2013) 1 - p. 1-25 , 2013

Link: https://doi.org/10.4018/..