Personensuche
X
?
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science ,
1
Dependability Analysis of UPS Architectures for the Italian..:
, In:
?
2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC) ,
3
Random Bad State Estimator to Address False Data Injection ..:
, In:
?
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) ,
4
Solution Bundles of Markov Performability Models through Ad..:
, In:
?
2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC) ,
10
Trading dependability and energy consumption in critical in..:
, In:
?
From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science ,
11
A Refined Framework for Model-Based Assessment of Energy Co..:
, In:
?
Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science ,
12
Stochastic Evaluation of Large Interdependent Composed Mode..:
, In:
?
2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) ,
13
A Stochastic Modeling Approach for an Efficient Dependabili..:
, In:
?
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) ,
14