Morayo Adedjouma

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Operational Design Domain for Automated Driving Systems: Taxonomy Definition and Application.

Léo Mendiboure, Mohamed Lamine Benzagouta, Dominique Gruyer, Tidiane Sylla, Morayo Adedjouma, Abdelmename Hedhli

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Towards an Ontological Methodology for Dynamic Dependability Management of Unmanned Aerial Vehicles.

Guillaume Ollier, Fabio Arnez, Morayo Adedjouma, Raphaël Lallement, Simos Gerasimou, Chokri Mraidha

Proceedings of the DroneSE and RAPIDO: System Engineering for constrained embedded systems, 2023

ormal model-based argument patterns for security cases.

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka

Proceedings of the 28th European Conference on Pattern Languages of Programs, 2023

An Ontological Approach for the Dependability Analysis of Automated Systems.

Guillaume Ollier, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

Assessing Safety of an Automated Vehicle Through Model-Driven Analysis and Simulation.

Morayo Adedjouma, Fabien Gaudin, Philippe Fiani

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Towards logical specification of adversarial examples in machine learning.

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka

Proceedings of the IEEE International Conference on Trust, 2022

Engineering Dependable AI Systems.

Morayo Adedjouma, Christophe Alix, Loic Cantat, Eric Jenn, Juliette Mattioli, Boris Robert, Fabien Tschirhart, Jean-Luc Voirin

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

Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events.

Nicolas Rapin, Boutheina Bannour, Morayo Adedjouma

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Safety-aware Active Learning with Perceptual Ambiguity and Criticality Assessment.

Prajit T. Rajendran, Guillaume Ollier, Huáscar Espinoza, Morayo Adedjouma, Agnès Delaborde, Chokri Mraidha

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.

Guillaume Ollier, Diana Razafindrabe, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha

Proceedings of the 18th European Dependable Computing Conference, 2022

Skeptical Dynamic Dependability Management for Automated Systems.

Fabio Arnez, Guillaume Ollier, Ansgar Radermacher, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha, François Terrier

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2021

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

Hasnaa E. L. Jihad, Morayo Adedjouma, Matteo Morelli

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

Model-based Quantitative Fault Tree Analysis based on FIDES Reliability Prediction.

Nataliya Yakymets, Morayo Adedjouma

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019

Safe-by-Design Development Method for Artificial Intelligent Based Systems.

Gabriel Pedroza, Morayo Adedjouma

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems.

Morayo Adedjouma, Nataliya Yakymets

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018

Model-Based Computer-Aided Monitoring for ISO26262 Compliant Systems.

Morayo Adedjouma, Asma Smaoui

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Representative Safety Assessment of Autonomous Vehicle for Public Transportation.

Morayo Adedjouma, Gabriel Pedroza, Boutheina Bannour

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Facilitating the Adoption of Standards through Model-Based Representation.

Morayo Adedjouma, Gabriel Pedroza, Asma Smaoui, Trung Kien Dang

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.

Nicolas Sannier, Morayo Adedjouma, Mehrdad Sabetzadeh, Lionel C. Briand

Requir. Eng., 2017

Legal Markup Generation in the Large: An Experience Report.

Nicolas Sannier, Morayo Adedjouma, Mehrdad Sabetzadeh, Lionel C. Briand, John Dann, Marc Hisette, Pascal Thill

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

2016

Using STPA in an ISO 26262 Compliant Process.

Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 2016

Automated Classification of Legal Cross References Based on Semantic Intent.

Nicolas Sannier, Morayo Adedjouma, Mehrdad Sabetzadeh, Lionel C. Briand

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.

Morayo Adedjouma, Thibaud Thomas, Chokri Mraidha, Sebastien Gerard, Guillaume Zeller

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

Is Current Incremental Safety Assurance Sound?

Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

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.

Morayo Adedjouma, Mehrdad Sabetzadeh, Lionel C. Briand

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.

Ghanem Soltana, Elizabeta Fourneret, Morayo Adedjouma, Mehrdad Sabetzadeh, Lionel C. Briand

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Process Model Tailoring and Assessment for Automotive Certification Objectives.

Morayo Adedjouma, Hao Hu

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013

Minimizing CPU time shortage risks in integrated embedded software.

Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, Yves Clement

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).

Morayo Adedjouma

PhD thesis, 2012

An Experiment on Merging Quality Assessment in Automotive Domain.

Morayo Adedjouma, Hubert Dubois, François Terrier, Tarek Kitouni

Proceedings of the Software Process Improvement and Capability Determination, 2012

Merging the Quality Assessment of Processes and Products in Automotive Domain.

Morayo Adedjouma, Hubert Dubois, François Terrier, Tarek Kitouni

Proceedings of the Product-Focused Software Process Improvement, 2012

Modeling a BSG-E Automotive System with the Timing Augmented Description Language.

Marie-Agnès Peraldi-Frati, Arda Goknil, Morayo Adedjouma, Pierre Yves Gueguen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2011

Requirements Exchange: From Specification Documents to Models.

Morayo Adedjouma, Hubert Dubois, François Terrier

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011