BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Denmark
1 × Greece
1 × New Zealand
1 × Portugal
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × Germany
3 × Italy
6 × France
6 × USA
Collaborated with:
B.Baudry O.Barais X.Crégut E.Bousse T.Degueule J.DeAntoni M.Acher R.B.France X.Thirioux J.Jézéquel A.Blouin S.Derrien P.Collet F.Vernadat M.Leduc E.Vacchi W.Cazzola O.Beaudoux T.v.d.Storm T.Mayerhofer M.Pantel P.Garoche F.Mallet C.Guy L.Gonnord V.Rusu M.Rodriguez-Cancio A.Wortmann B.Lelandais M.Oudot P.Jeanjean M.E.V.Larsen W.Sun S.Pillay F.Coulon H.Vangheluwe P.I.Diallo C.Teodorov J.Champeau G.Bécan J.Corley J.G.Gray F.Latombe M.Faunes J.J.Cadavid H.A.Sahraoui J.Steel C.Hardebolle C.Jacquet F.Boulanger R.Faudoux J.Pavei L.Broto M.J.Daydé D.Hagimont D.Leroy A.Megna M.Wimmer G.Mussbacher J.Bruel J.Kienzle P.Lahire D.F.Bender J.Farines B.Berthomieu D.Vojtisek M.V.Larsen A.Floch T.Yuki S.V.Rajopadhye M.Amrani L.Lúcio G.M.K.Selim J.Dingel Y.L.Traon J.R.Cordy E.Guerra J.d.Lara E.Syriani D.Amyot R.Breu B.H.C.Cheng R.Heldal J.H.Hill M.Schöttle F.Steimann D.R.Stikkolorum J.Whittle
Talks about:
model (21) languag (10) metamodel (7) execut (7) specif (6) approach (4) generat (4) formal (4) domain (4) dsls (4)

♂ Person: Benoît Combemale

DBLP DBLP: Combemale:Beno=icirc=t

Facilitated 17 volumes:

GTTSE 2015SciCo
ICMT 2015PrCo
MoDELS 2015PaCh
MoDELS 2015TuCh
SLE 2015PrCo
SLE 2015SCo
ICMT 2014PrCo
MoDELS 2014DemoTrackCh
MoDELS 2014ToCh
SLE 2014Ed
SLE 2014PrCh
ICMT 2013PrCo
ICMT 2012PrCo
MoDELS 2016Ed
SLE 2017Ed
MoDELS 2016GCh

Contributed to:

DATE 20152015
ECMFA 20152015
ESEC/FSE 20152015
MoDELS 20152015
SLE 20152015
MoDELS 20142014
Onward! 20142014
SPLC 20142014
ECMFA 20132013
MoDELS 20132013
SLE 20132013
ECMFA 20122012
ICST 20122012
MoDELS 20122012
SLE 20122012
ECMFA 20112011
MoDELS 20112011
MODELS 20112015
ECMFA 20102010
ECMDA-FA 20082008
MoDELS 20082008
ICEIS EIS 20072007
Post-ICEIS 20072007
ASE 20162016
MoDELS 20172017
ECMFA 20182018
ICMT 20182018
SLE 20162016
SLE 20182018
SLE 20192019

Wrote 39 papers:

DATE-2015-DeAntoniDTCC #concurrent #domain-specific language #metalanguage #towards
Towards a meta-language for the concurrency concern in DSLs (JD, PID, CT, JC, BC), pp. 313–316.
ECMFA-2015-BousseMCB #approach #generative #metamodelling
A Generative Approach to Define Rich Domain-Specific Trace Metamodels (EB, TM, BC, BB), pp. 45–61.
ESEC-FSE-2015-AcherBCBJ #product line
Product lines can jeopardize their trade secrets (MA, GB, BC, BB, JMJ), pp. 930–933.
MoDELS-2015-LarsenDCM #behaviour #coordination
A Behavioral Coordination Operator Language (BCOoL) (MEVL, JD, BC, FM), pp. 186–195.
SLE-2015-BousseCCGB #debugging #performance
Supporting efficient and advanced omniscient debugging for xDSMLs (EB, JC, BC, JGG, BB), pp. 137–148.
SLE-2015-DegueuleCBBJ #composition #development #domain-specific language #metalanguage #named #reuse
Melange: a meta-language for modular and reusable development of DSLs (TD, BC, AB, OB, JMJ), pp. 25–36.
SLE-2015-LatombeCCDP #concurrent #domain-specific language #execution #modelling #weaving
Weaving concurrency in executable domain-specific modeling languages (FL, XC, BC, JD, MP), pp. 125–136.
MoDELS-2014-BousseCB14a #scalability
Scalable Armies of Model Clones through Data Sharing (EB, BC, BB), pp. 286–301.
MoDELS-2014-MussbacherABBCCCFHHKSSSW #modelling
The Relevance of Model-Driven Engineering Thirty Years from Now (GM, DA, RB, JMB, BHCC, PC, BC, RBF, RH, JHH, JK, MS, FS, DRS, JW), pp. 183–200.
Onward-2014-AcherCC #domain-specific language
Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language (MA, BC, PC), pp. 243–253.
SPLC-2014-VacchiCCA #automation #component #implementation #model inference #variability
Automating variability model inference for component-based language implementations (EV, WC, BC, MA), pp. 167–176.
ECMFA-2013-SunCDF #using
Using Model Types to Support Contract-Aware Model Substitutability (WS, BC, SD, RBF), pp. 118–133.
MoDELS-2013-AcherCCBLF #composition #modelling #variability
Composing Your Compositions of Variability Models (MA, BC, PC, OB, PL, RBF), pp. 352–369.
MoDELS-2013-FaunesCBSC #automation #metamodelling
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.
SLE-2013-CombemaleDLMBBF #concurrent #execution #metamodelling
Reifying Concurrency for Executable Metamodeling (BC, JD, MVL, FM, OB, BB, RBF), pp. 365–384.
SLE-2013-VacchiCPC #development #domain-specific language #variability
Variability Support in Domain-Specific Language Development (EV, WC, SP, BC), pp. 76–95.
ECMFA-2012-GuyCDSJ #on the #type system
On Model Subtyping (CG, BC, SD, JS, JMJ), pp. 400–415.
ICST-2012-AmraniLSCDVTC #approach #model transformation #verification
A Tridimensional Approach for Studying the Formal Verification of Model Transformations (MA, LL, GMKS, BC, JD, HV, YLT, JRC), pp. 921–928.
MoDELS-2012-CombemaleTB #infinity #modelling
Formally Defining and Iterating Infinite Models (BC, XT, BB), pp. 119–133.
SLE-2012-CombemaleHJBB #execution #metamodelling #modelling
Bridging the Chasm between Executable Metamodeling and Models of Computation (BC, CH, CJ, FB, BB), pp. 184–203.
ECMFA-2011-CombemaleGR #domain-specific language #semantics
A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics (BC, LG, VR), pp. 35–51.
MoDELS-2011-BlouinCBB #modelling
Modeling Model Slicers (AB, BC, BB, OB), pp. 62–76.
MoDELS-2011-FlochYGDCRF #compilation #modelling #optimisation #question
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? (AF, TY, CG, SD, BC, SVR, RBF), pp. 608–622.
MoDELS-J-2011-BlouinCBB15 #generative #modelling #named
Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.
ECMFA-2010-CregutCPFP #animation #framework #generative #platform
Generative Technologies for Model Animation in the TopCased Platform (XC, BC, MP, RF, JP), pp. 90–103.
ECMDA-FA-2008-BenderCCFBV #metamodelling #petri net #validation
Ladder Metamodeling and PLC Program Validation through Time Petri Nets (DFB, BC, XC, JMF, BB, FV), pp. 121–136.
MoDELS-2008-CombemaleBCDH #domain-specific language #policy #specification #uml
Autonomic Management Policy Specification: From UML to DSML (BC, LB, XC, MJD, DH), pp. 584–599.
ICEIS-EIS-2007-CombemaleGCTV #case study #process #towards #verification
Towards a Formal Verification of Process Model’s Properties SIMPLEPDL and TOCL Case Study (BC, PLG, XC, XT, FV), pp. 80–89.
ICEIS-J-2007-CombemaleCGTV #approach #modelling #process #verification
A Property-Driven Approach to Formal Verification of Process Models (BC, XC, PLG, XT, FV), pp. 286–300.
ASE-2016-Rodriguez-Cancio #automation #benchmark #constant #generative
Automatic microbenchmark generation to prevent dead code elimination and constant folding (MRC, BC, BB), pp. 132–143.
MoDELS-2017-LeducDCSB #composition #domain-specific language #execution
Revisiting Visitors for Modular Extension of Executable DSMLs (ML, TD, BC, TvdS, OB), pp. 112–122.
MoDELS-2017-WortmannCB #industrial #modelling
A Systematic Mapping Study on Modeling for Industry 4.0 (AW, BC, OB), pp. 281–291.
ECMFA-2018-LeroyBMCW #comprehension #domain-specific language #execution
Trace Comprehension Operators for Executable DSLs (DL, EB, AM, BC, MW), pp. 293–310.
ICMT-2018-BruelCGJKLMSV #classification #comparison #metamodelling #model transformation #reuse
Model Transformation Reuse Across Metamodels — A Classification and Comparison of Approaches (JMB, BC, EG, JMJ, JK, JdL, GM, ES, HV), pp. 92–109.
SLE-2016-BousseDVMDC #execution #framework
Execution framework of the GEMOC studio (EB, TD, DV, TM, JD, BC), pp. 84–89.
SLE-2018-CoulonDSC #domain-specific language
Shape-diverse DSLs: languages without borders (FC, TD, TvdS, BC), pp. 215–219.
SLE-2018-LeducDC #composition
Modular language composition for the masses (ML, TD, BC), pp. 47–59.
SLE-2018-LelandaisOC #metamodelling
Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (BL, MPO, BC), pp. 200–204.
SLE-2019-JeanjeanCB #domain-specific language #interactive #programming #specification
From DSL specification to interactive computer programming environment (PJ, BC, OB), pp. 167–178.

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.