Personensuche
X
?
2023 13th International Conference on Dependable Systems, Services and Technologies (DESSERT) ,
1
Towards Effective Safety and Cybersecurity Co-engineering i..:
, In:
?
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science ,
2
Dependability Analysis of UPS Architectures for the Italian..:
, In:
?
2023 IEEE/ACM International Conference on Automation of Software Test (AST) ,
3
Cross-coverage testing of functionally equivalent programs:
, In:
?
2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC) ,
4
Random Bad State Estimator to Address False Data Injection ..:
, In:
?
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) ,
5
Solution Bundles of Markov Performability Models through Ad..:
, 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 ,
6
Basic Aspects in Redundancy-Based Intrusion Tolerance:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
7
Supervisory Synthesis of Configurable Behavioural Contracts..:
, In:
?
2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC) ,
8
Trading dependability and energy consumption in critical in..:
, In:
?
ECML PKDD 2020 Workshops; Communications in Computer and Information Science ,
9
Analyzing Forward Robustness of Feedforward Deep Neural Net..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science ,
10
30 Years of Simulation-Based Quantitative Analysis Tools: A..:
, In:
?
2020 IEEE International Conference on Smart Computing (SMARTCOMP) ,
11
Failure management strategies for IoT-based railways system:
, In:
?
From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science ,
12
A Refined Framework for Model-Based Assessment of Energy Co..:
, In:
?
Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science ,
13
Stochastic Evaluation of Large Interdependent Composed Mode..:
, In:
?
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ,
14
Towards Runtime Monitoring for Malicious Behaviors Detectio..:
, In:
?
Green IT Engineering: Social, Business and Industrial Applications; Studies in Systems, Decision and Control ,
15