BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mraidha:Chokri

Contributed to:

ASE 20142014
QoSA 20142014
ECMFA 20132013
LCTES 20132013
DATE 20102010
FSE 20102010
ECMDA-FA 20072007
MoDELS 20072007

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.