BibSLEIGH — Marie-Pierre

Travelled to:

1 × Brazil
1 × Finland
1 × France
1 × Greece
1 × Italy
1 × Jamaica
1 × Japan
1 × Norway
1 × Portugal
1 × South Korea
1 × Sweden
1 × USA
2 × China
2 × Germany
2 × Spain
2 × United Kingdom

Collaborated with:

X.Blanc R.Bendraou L.Wouters P.Sriplakich Y.Laurent S.Baarir D.E.Khelladi P.Desfray J.L.Delliou R.L.Delliou R.Lbath B.Coulette M.A.A.d.Silva G.d.Fombelle L.Rioux R.Hebig J.Robin J.Bézivin S.Bouzitouna M.D.D.Fabro F.Jouault D.S.Kolovos I.Kurtev R.F.Paige

Talks about:

model (13) process (8) softwar (6) uml (5) languag (4) mda (4) metamodel (3) framework (3) formal (3) execut (3)

Person: Marie-Pierre Gervais

DBLP: Gervais:Marie=Pierre

Facilitated 1 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2008

2006

2005

2000

1999

Wrote 22 papers:

CAiSE-2015-KhelladiHBRG #detection #evolution #metamodelling: Detecting Complex Changes During Metamodel Evolution (DEK, RH, RB, JR, MPG), pp. 263–278.
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.
SAC-2013-WoutersG #development #domain-specific language #empirical #metamodelling #modelling: Notation-driven vs metamodel-driven development of domain-specific modeling languages: an empirical study (LW, MPG), pp. 1145–1146.
EDOC-2012-WoutersG #ontology: Ontology Transformations (LW, MPG), pp. 71–80.
ECMFA-2011-BendraouLCG #modelling: Process-Centred Approaches for Model-Driven Engineering (PMDE) — First Edition (RB, RL, BC, MPG), pp. 383–384.
EDOC-2011-WoutersG #execution #modelling #named: xOWL: An Executable Modeling Language for Domain Experts (LW, MPG), pp. 215–224.
MoDELS-v2-2010-SilvaBBG #detection #modelling #process: Early Deviation Detection in Modeling Activities of MDE Processes (MAAdS, RB, XB, MPG), pp. 303–317.
SAC-2008-SriplakichBG #collaboration #experience #modelling #re-engineering #requirements #scalability: Collaborative software engineering on large-scale models: requirements and experience in ModelBus (PS, XB, MPG), pp. 674–681.
ECMDA-FA-2006-BezivinBFGJKKP #canonical #composition: A Canonical Scheme for Model Composition (JB, SB, MDDF, MPG, FJ, DSK, IK, RFP), pp. 346–360.
ECMDA-FA-2006-FombelleBRG #consistency: Finding a Path to Model Consistency (GdF, XB, LR, MPG), pp. 101–112.
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.
ICSM-2006-SriplakichBG #collaboration #development: Supporting Collaborative Development in an Open MDA Environment (PS, XB, MPG), pp. 244–253.
MoDELS-2006-SriplakichBG #distributed: Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment (PS, XB, MPG), pp. 631–645.
SAC-2006-SriplakichBG #automation #distributed #integration #tool support: Supporting transparent model update in distributed CASE tool integration (PS, XB, MPG), pp. 1759–1766.
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.
EDOC-2000-BlancGD #framework #specification: The Specifications Exchange Service of an RM-ODP Framework (XB, MPG, JLD), p. 86–?.
EDOC-1999-BlancGD #concept #enterprise #uml #using: Using the UML language to express the ODP enterprise concepts (XB, MPG, RLD), pp. 50–59.