Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Di Giandomenico, Felicita
29  Ergebnisse:
Buchkapitel (Online) 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

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

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

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

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

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

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

Analyzing Forward Robustness of Feedforward Deep Neural Net..:

, In: ECML PKDD 2020 Workshops; Communications in Computer and Information Science,
Masetti, Giulio ; Di Giandomenico, Felicita - p. 460-474 , 2020
Link: https://doi.org/10.1007/..
 
?
10

30 Years of Simulation-Based Quantitative Analysis Tools: A..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,
Basile, Davide ; ter Beek, Maurice H. ; Di Giandomenico, Felicita... - p. 368-384 , 2020
Link: https://doi.org/10.1007/..
 
?
11

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

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

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

Towards Runtime Monitoring for Malicious Behaviors Detectio..:

, In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),
Cioroaica, Emilia ; Di Giandomenico, Felicita ; Kuhn, Thomas... - p. 200-203 , 2019
Link: https://doi.org/10.1109/..
 
?
15

On Quantitative Assessment of Reliability and Energy Consum..:

, In: Green IT Engineering: Social, Business and Industrial Applications; Studies in Systems, Decision and Control,
Basile, Davide ; Di Giandomenico, Felicita ; Gnesi, Stefania - p. 423-447 , 2018
Link: https://doi.org/10.1007/..
 
1-15