Search for persons
X
?
2023 26th Euromicro Conference on Digital System Design (DSD) ,
1
An Ontological Approach for the Dependability Analysis of A..:
, In:
?
2023 IEEE Intelligent Vehicles Symposium (IV) ,
2
Operational Design Domain for Automated Driving Systems: Ta..:
, In:
?
2023 30th Asia-Pacific Software Engineering Conference (APSEC) ,
3
Assessing Safety of an Automated Vehicle Through Model-Driv..:
, In:
?
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science ,
4
Constructing Security Cases Based on Formal Verification of..:
, In:
?
Proceedings of the 28th European Conference on Pattern Languages of Programs ,
5
Formal model-based argument patterns for security cases:
, In:
?
Proceedings of the DroneSE and RAPIDO: System Engineering for constrained embedded systems ,
6
Towards an Ontological Methodology for Dynamic Dependabilit..:
, In:
?
2022 17th Annual System of Systems Engineering Conference (SOSE) ,
7
Engineering Dependable AI Systems:
, In:
?
2022 25th Euromicro Conference on Digital System Design (DSD) ,
8
Skeptical Dynamic Dependability Management for Automated Sy..:
, In:
?
2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC) ,
9
Model-Based Generation and Analysis Toolset of Fault Trees ..:
, In:
?
2022 18th European Dependable Computing Conference (EDCC) ,
10
Using Operational Design Domain in Hazard Identification fo..:
, In:
?
2021 28th Asia-Pacific Software Engineering Conference (APSEC) ,
11
Automated Fault Tree generation in Open-PSA from UML Models:
, In:
?
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ,
12
Model-based Quantitative Fault Tree Analysis based on FIDES..:
, In:
?
Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering ,
14