BibSLEIGH — Reda

Travelled to:

1 × China
1 × Germany
1 × Greece
1 × Italy
1 × Jamaica
1 × Norway
1 × Portugal
1 × South Korea
1 × Spain
1 × Sweden
1 × Tunisia
1 × USA
2 × United Kingdom

Collaborated with:

M.Gervais X.Blanc Y.Laurent M.A.A.d.Silva S.Baarir D.E.Khelladi P.Desfray A.Mougenot J.Robin R.Hebig R.Lbath B.Coulette H.Brunelière J.García J.Cabot

Talks about:

process (10) model (7) softwar (5) uml (4) metamodel (3) formal (3) execut (3) framework (2) approach (2) extens (2)

Person: Reda Bendraou

DBLP: Bendraou:Reda

Contributed to:

2015

2014

2013

2011

2010

2006

2005

Wrote 15 papers:

CAiSE-2015-KhelladiHBRG #detection #evolution #metamodelling: Detecting Complex Changes During Metamodel Evolution (DEK, RH, RB, JR, MPG), pp. 263–278.
ECMFA-2015-BruneliereGDKHB #lightweight #metamodelling #modelling #on the #tool support: On Lightweight Metamodel Extension to Support Modeling Tools Agility (HB, JG, PD, DEK, RH, RB, JC), pp. 62–74.
SAC-2015-KhelladiBBLG #consistency #framework #process #verification: A framework to formally verify conformance of a software process to a software method (DEK, RB, SB, YL, MPG), pp. 1518–1525.
CAiSE-2014-LaurentBBG #formal method #process #verification: Formalization of fUML: An Application to Process Verification (YL, RB, SB, MPG), pp. 347–363.
ECMFA-2014-LaurentBBG #alloy #framework #process #verification: Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
SAC-2014-LaurentBBG #declarative #process: Planning for declarative processes (YL, RB, SB, MPG), pp. 1126–1133.
SAC-2013-LaurentBG #debugging #modelling #uml: Executing and debugging UML models: an fUML extension (YL, RB, MPG), pp. 1095–1102.
ASE-2011-SilvaBB #execution #process: Deviation management during process execution (MAAdS, XB, RB), pp. 528–531.
ECMFA-2011-BendraouLCG #modelling: Process-Centred Approaches for Model-Driven Engineering (PMDE) — First Edition (RB, RL, BC, MPG), pp. 383–384.
CAiSE-2010-SilvaMBB #automation #consistency #design #modelling #nondeterminism #towards: Towards Automated Inconsistency Handling in Design Models (MAAdS, AM, XB, RB), pp. 348–362.
MoDELS-v2-2010-SilvaBBG #detection #modelling #process: Early Deviation Detection in Modeling Activities of MDE Processes (MAAdS, RB, XB, MPG), pp. 303–317.
MoDELS-v2-2010-SilvaMBRB #empirical #process: Artifact or Process Guidance, an Empirical Study (MAAdS, AM, RB, JR, XB), pp. 318–330.
EDOC-2006-BendraouGB #abstraction #execution #modelling #named #process #uml: UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions (RB, MPG, XB), pp. 297–306.
ECMDA-FA-2005-BendraouDG #approach #component #flexibility #implementation: MDA Components: A Flexible Way for Implementing the MDA Approach (RB, PD, MPG), pp. 59–73.
MoDELS-2005-BendraouGB #metamodelling #modelling #named #process #uml: UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling (RB, MPG, XB), pp. 17–38.