Morayo Adedjouma
Orcid: 0000-0003-0218-028X
According to our database1,
Morayo Adedjouma
authored at least 35 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
2023
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
Proceedings of the 28th European Conference on Pattern Languages of Programs, 2023
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
2022
Proceedings of the IEEE International Conference on Trust, 2022
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
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
Proceedings of the 18th European Dependable Computing Conference, 2022
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022
2021
Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021
2020
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
2019
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019
2018
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
2017
An automated framework for detection and resolution of cross references in legal texts.
Requir. Eng., 2017
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
2016
Proceedings of the Computer Safety, Reliability, and Security, 2016
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
2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
2014
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
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
2012
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
Proceedings of the Software Process Improvement and Capability Determination, 2012
Proceedings of the Product-Focused Software Process Improvement, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011