Travelled to:1 × Germany
1 × Israel
1 × Sweden
2 × France
3 × USA
Collaborated with:S.Gérard F.Terrier J.Babau A.Cuccuru S.T.Piergiovanni R.Mzid M.Abid E.Wozniak M.D.Natale H.Zeng A.Mehiaoui A.Charfi P.Boulet L.Lemarchand J.DeAntoni F.Mallet F.Thomas G.Reydet L.Gauthier L.Rioux N.Sordon
Talks about:time (4) optim (3) function (2) softwar (2) pattern (2) system (2) semant (2) assign (2) model (2) placement (1)
Person: Chokri Mraidha
DBLP: Mraidha:Chokri
Contributed to:
2014
2014
2013
2013
2010
20102007
2007Wrote 8 papers:
- ASE-2014-WozniakNZMPG #component #design
- Assigning time budgets to component functions in the design of time-critical automotive systems (EW, MDN, HZ, CM, STP, SG), pp. 235–246.
- QoSA-2014-MzidMBA #concurrent #design pattern #modelling #named #realtime
- SRMP: a software pattern for deadlocks prevention inreal-time concurrency models (RM, CM, JPB, MA), pp. 139–144.
- ECMFA-2013-MzidMMPBA #design pattern #named #realtime
- DPMP: A Software Pattern for Real-Time Tasks Merge (RM, CM, AM, STP, JPB, MA), pp. 101–117.
- LCTES-2013-MehiaouiWPMNZBLG #clustering #distributed #optimisation
- A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems (AM, EW, STP, CM, MDN, HZ, JPB, LL, SG), pp. 121–132.
- DATE-2010-CharfiMGTB #code generation #modelling #optimisation #towards
- Toward optimized code generation through model-based optimization (AC, CM, SG, FT, PB), pp. 1313–1316.
- FSE-2010-DeAntoniMTRBMGRS #execution #named
- RT-simex: retro-analysis of execution traces (JD, FM, FT, GR, JPB, CM, LG, LR, NS), pp. 377–378.
- ECMDA-FA-2007-CuccuruMTG #metamodelling #semantics
- Templatable Metamodels for Semantic Variation Points (AC, CM, FT, SG), pp. 68–82.
- MoDELS-2007-CuccuruMTG #semantics #uml
- Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.