Morayo Adedjouma

Orcid: 0000-0003-0218-028X

According to our database1, Morayo Adedjouma authored at least 34 papers between 2011 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Operational Design Domain for Automated Driving Systems: Taxonomy Definition and Application.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Towards an Ontological Methodology for Dynamic Dependability Management of Unmanned Aerial Vehicles.
Proceedings of the DroneSE and RAPIDO: System Engineering for constrained embedded systems, 2023

Formal model-based argument patterns for security cases.
Proceedings of the 28th European Conference on Pattern Languages of Programs, 2023

An Ontological Approach for the Dependability Analysis of Automated Systems.
Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

Assessing Safety of an Automated Vehicle Through Model-Driven Analysis and Simulation.
Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

Towards logical specification of adversarial examples in machine learning.
Proceedings of the IEEE International Conference on Trust, 2022

Engineering Dependable AI Systems.
Proceedings of the 17th Annual System of Systems Engineering Conference, 2022

Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events.
Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Safety-aware Active Learning with Perceptual Ambiguity and Criticality Assessment.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022

Using Operational Design Domain in Hazard Identification for Automated Systems.
Proceedings of the 18th European Dependable Computing Conference, 2022

Skeptical Dynamic Dependability Management for Automated Systems.
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Automated Fault Tree generation in Open-PSA from UML Models.
Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

Model-based Quantitative Fault Tree Analysis based on FIDES Reliability Prediction.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Safe-by-Design Development Method for Artificial Intelligent Based Systems.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Model-Based Computer-Aided Monitoring for ISO26262 Compliant Systems.
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Representative Safety Assessment of Autonomous Vehicle for Public Transportation.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Facilitating the Adoption of Standards through Model-Based Representation.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

An automated framework for detection and resolution of cross references in legal texts.
Requir. Eng., 2017

Legal Markup Generation in the Large: An Experience Report.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Using STPA in an ISO 26262 Compliant Process.
Proceedings of the Computer Safety, Reliability, and Security, 2016

Automated Classification of Legal Cross References Based on Semantic Intent.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2016

From Document-Based to Model-Based System and Software Engineering: Experience Report of a Selective Catalytic Reduction System Development.
Proceedings of the Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Is Current Incremental Safety Assurance Sound?
Proceedings of the Computer Safety, Reliability, and Security, 2015

Automated detection and resolution of legal cross references: Approach and a study of Luxembourg's legislation.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg's Tax Law.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Process Model Tailoring and Assessment for Automotive Certification Objectives.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Minimizing CPU time shortage risks in integrated embedded software.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Requirements Engineering Process according to Automotive Standards in a Model-driven Framework. (Processus d'ingénierie des exigences dans un environnment à base de modèles selon les normes automobiles).
PhD thesis, 2012

An Experiment on Merging Quality Assessment in Automotive Domain.
Proceedings of the Software Process Improvement and Capability Determination, 2012

Merging the Quality Assessment of Processes and Products in Automotive Domain.
Proceedings of the Product-Focused Software Process Improvement, 2012

Modeling a BSG-E Automotive System with the Timing Augmented Description Language.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Requirements Exchange: From Specification Documents to Models.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011