Adedjouma, Morayo
43  results:
Search for persons X
?
1

An Ontological Approach for the Dependability Analysis of A..:

, In: 2023 26th Euromicro Conference on Digital System Design (DSD),
 
?
3

Assessing Safety of an Automated Vehicle Through Model-Driv..:

, In: 2023 30th Asia-Pacific Software Engineering Conference (APSEC),
 
?
4

Constructing Security Cases Based on Formal Verification of..:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science,
 
?
5

Formal model-based argument patterns for security cases:

, In: Proceedings of the 28th European Conference on Pattern Languages of Programs,
 
?
6

Towards an Ontological Methodology for Dynamic Dependabilit..:

, In: Proceedings of the DroneSE and RAPIDO: System Engineering for constrained embedded systems,
 
?
7

Engineering Dependable AI Systems:

, In: 2022 17th Annual System of Systems Engineering Conference (SOSE),
Adedjouma, Morayo ; Alix, Christophe ; Cantat, Loic... - p. 458-463 , 2022
 
?
8

Skeptical Dynamic Dependability Management for Automated Sy..:

, In: 2022 25th Euromicro Conference on Digital System Design (DSD),
 
?
9

Model-Based Generation and Analysis Toolset of Fault Trees ..:

, In: 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC),
 
?
10

Using Operational Design Domain in Hazard Identification fo..:

, In: 2022 18th European Dependable Computing Conference (EDCC),
 
?
11

Automated Fault Tree generation in Open-PSA from UML Models:

, In: 2021 28th Asia-Pacific Software Engineering Conference (APSEC),
 
?
12

Model-based Quantitative Fault Tree Analysis based on FIDES..:

, In: 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),
Yakymets, Nataliya ; Adedjouma, Morayo - p. 161-162 , 2020
 
?
14

Minimizing CPU time shortage risks in integrated embedded s..:

, In: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering,
 
1-15