Chokri Mraidha
Chokri Mraidha
Université Paris-Saclay, CEA, List
Verified email at
Cited by
Cited by
Papyrus UML: an open source toolset for MDA
A Lanusse, Y Tanguy, H Espinoza, C Mraidha, S Gerard, P Tessier, ...
Proc. of the Fifth European Conference on Model-Driven Architecture …, 2009
Automatic optimisation of system architectures using EAST-ADL
M Walker, MO Reiser, S Tucci-Piergiovanni, Y Papadopoulos, H Lönn, ...
Journal of Systems and Software 86 (10), 2467-2487, 2013
Optimum: a marte-based methodology for schedulability analysis at early design stages
C Mraidha, S Tucci-Piergiovanni, S Gerard
ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems
A Mehiaoui, E Wozniak, S Tucci-Piergiovanni, C Mraidha, M Di Natale, ...
Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages …, 2013
An optimization approach for the synthesis of autosar architectures
E Wozniak, A Mehiaoui, C Mraidha, S Tucci-Piergiovanni, S Gerard
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013
Templatable metamodels for semantic variation points
A Cuccuru, C Mraidha, F Terrier, S Gérard
European Conference on Model Driven Architecture-Foundations and …, 2007
A component-based methodology for embedded system prototyping
P Tessier, S Gérard, C Mraidha, F Terrier, JM Geib
14th IEEE International Workshop on Rapid Systems Prototyping, 2003 …, 2003
An execution framework for MARTE-based models
C Mraidha, Y Tanguy, C Jouvray, F Terrier, S Gérard
13th IEEE International Conference on Engineering of Complex Computer …, 2008
A two-aspect approach for a clearer behavior model
C Mraidha, S Gérard, F Terrier, J Benzakki
Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2003
Enhancing UML Extensions with Operational Semantics. Behaviored Profiles with Templates
A Cuccuru, C Mraidha, F Terrier, S Gérard
International Conference on Model Driven Engineering Languages and Systems …, 2007
A UML-based concept for high concurrency: the real-time object
S Gérard, C Mraidha, F Terrier, B Baudry
Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed …, 2004
From user stories to models: A machine learning empowered automation
T Kochbati, S Li, S Gérard, C Mraidha
MODELSWARD 2022-9th International Conference on Model-Driven Engineering and …, 2021
RT-simex: retro-analysis of execution traces
J DeAntoni, F Mallet, F Thomas, G Reydet, JP Babau, C Mraidha, ...
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
An optimized compilation of UML state machines
A Charfi, C Mraidha, P Boulet
2012 IEEE 15th International Symposium on Object/Component/Service-Oriented …, 2012
Using mde and priority time petri nets for the schedulability analysis of embedded systems modeled by uml activity diagrams
YH Kacem, A Mahfoudhi, A Magdich, C Mraidha, W Karamti
2012 IEEE 19th International Conference and Workshops on Engineering of …, 2012
Model-based analysis and engineering of automotive architectures with EAST-ADL: revisited
RT Kolagari, DJ Chen, A Lanusse, R Librino, H Lönn, N Mahmud, ...
International Journal of Conceptual Structures and Smart Applications …, 2015
Completing EAST-ADL2 with MARTE for enabling scheduling analysis for automotive applications
S Anssi, S Tucci-Pergiovanni, C Mraidha, A Albinet, F Terrier, S Gérard
Embedded Real Time Software & Systems (ERTS˛ 2010), 2010
Does code generation promote or prevent optimizations?
A Charfi, C Mraidha, S Gérard, F Terrier, P Boulet
2010 13th IEEE International Symposium on Object/Component/Service-Oriented …, 2010
A uml model-based approach for replication assessment of autosar safety-critical applications
S Tucci-Piergiovanni, C Mraidha, E Wozniak, A Lanusse, S Gerard
2011IEEE 10th International Conference on Trust, Security and Privacy in …, 2011
Toward optimized code generation through model-based optimization
A Charfi, C Mraidha, S Gérard, F Terrier, P Boulet
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
The system can't perform the operation now. Try again later.
Articles 1–20