Prati
Morayo Adedjouma
Morayo Adedjouma
CEA LIST
Potvrđena adresa e-pošte na cea.fr
Naslov
Citirano
Citirano
Godina
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
322014
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
242011
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
202019
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
162016
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
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
132010
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
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20