팔로우
Morayo Adedjouma
Morayo Adedjouma
CEA LIST
cea.fr의 이메일 확인됨
제목
인용
인용
연도
An automated framework for detection and resolution of cross references in legal texts
N Sannier, M Adedjouma, M Sabetzadeh, L Briand
Requirements Engineering 22, 215-237, 2017
522017
Automated detection and resolution of legal cross references: Approach and a study of luxembourg's legislation
M Adedjouma, M Sabetzadeh, LC Briand
2014 IEEE 22nd International Requirements Engineering Conference (RE), 63-72, 2014
312014
Using UML for modeling procedural legal rules: Approach and a study of Luxembourg’s Tax Law
G Soltana, E Fourneret, M Adedjouma, M Sabetzadeh, L Briand
Model-Driven Engineering Languages and Systems: 17th International …, 2014
302014
Using STPA in an ISO 26262 compliant process
A Mallya, V Pantelic, M Adedjouma, M Lawford, A Wassyng
Computer Safety, Reliability, and Security: 35th International Conference …, 2016
252016
Requirements exchange: From specification documents to models
M Adedjouma, H Dubois, F Terrier
2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011
212011
A framework for model-based dependability analysis of cyber-physical systems
M Adedjouma, N Yakymets
2019 IEEE 19th International Symposium on High Assurance Systems Engineering …, 2019
192019
From document-based to model-based system and software engineering
M Adedjouma, T Thomas, C Mraidha, S Gerard, G Zeller
Proceedings of the OSS4MDE, 2016
162016
Automated classification of legal cross references based on semantic intent
N Sannier, M Adedjouma, M Sabetzadeh, L Briand
Requirements Engineering: Foundation for Software Quality: 22nd …, 2016
152016
Representative safety assessment of autonomous vehicle for public transportation
M Adedjouma, G Pedroza, B Bannour
2018 IEEE 21st International Symposium on Real-Time Distributed Computing …, 2018
132018
Legal markup generation in the large: An experience report
N Sannier, M Adedjouma, M Sabetzadeh, L Briand, J Dann, M Hisette, ...
2017 IEEE 25th International Requirements Engineering Conference (RE), 302-311, 2017
122017
A model-driven requirement engineering process compliant with automotive domain standards
M Adedjouma, H Dubois, K Maaziz, F Terrier
Model Driven Tool and Process Integration, 85, 2010
122010
Operational Design Domain for Automated Driving Systems: Taxonomy Definition and Application
AH Léo Mendiboure, Mohamed Lamine Benzagouta, Dominique Gruyer, Tidiane ...
{IEEE} Intelligent Vehicles Symposium, 1--6, 2023
9*2023
Engineering dependable ai systems
M Adedjouma, C Alix, L Cantat, E Jenn, J Mattioli, B Robert, F Tschirhart, ...
2022 17th Annual System of Systems Engineering Conference (SOSE), 458-463, 2022
92022
An Integrated Approach to Implement System Engineering and Safety Engineering Processes: SASHA project
HAMBMAE Suomalainen
Proc. of European Congress on Embedded Real-Time Software and Systems (ERTS2 …, 2012
9*2012
Constructing security cases based on formal verification of security requirements in alloy
M Zeroual, B Hamid, M Adedjouma, J Jaskolka
International Conference on Computer Safety, Reliability, and Security, 15-25, 2023
82023
Requirements engineering process according to automotive standards in a model-driven framework
M Adedjouma
Université Paris Sud, Paris, 2012
82012
Minimizing CPU time shortage risks in integrated embedded software
S Nejati, M Adedjouma, LC Briand, J Hellebaut, J Begey, Y Clement
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
72013
Modeling a bsg-e automotive system with the timing augmented description language
MA Peraldi-Frati, A Goknil, M Adedjouma, PY Gueguen
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
72012
Model-based quantitative fault tree analysis based on FIDES reliability prediction
N Yakymets, M Adedjouma
2020 IEEE International Symposium on Software Reliability Engineering …, 2020
62020
Safe-by-design development method for artificial intelligent based systems
G Pedroza, M Adedjouma
SEKE 2019: The 31st International Conference on Software Engineering and …, 2019
62019
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20