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: Combemale:Beno=icirc=t
Facilitated 17 volumes:
SciCo
PrCo
PaChTuCh
PrCoSCoPrCoDemoTrackChToChEdPrChPrCoPrCoEdEdGChContributed to:
2015
2015
2015201520152014
2014
20142013201320132012
201220122012201120112015201020082008
20072007
2016201720182018201620182019Wrote 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.