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 × Spain
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
Collaborated with:
P.Heymans V.Ganesh A.Hubaux R.T.Tiam A.Seriai N.Bjørner M.Veanes M.Acher P.Collet P.Lahire Q.Boucher H.Hartmann
Talks about:
model (3) languag (2) featur (2) smt (2) industri (1) configur (1) approach (1) variabl (1) textual (1) sequenc (1)

Person: Raphaël Michel

DBLP DBLP: Michel:Rapha=euml=l

Contributed to:

ICEIS v3 20152015
PLEASE 20122012
SMT 20122012
SLE 20102010

Wrote 5 papers:

ICEIS-v3-2015-TiamSM #process
An Operational Model of Variable Business Process (RTT, ADS, RM), pp. 162–172.
PLEASE-2012-AcherMHCL #feature model #modelling #tool support
Languages and tools for managing feature models (MA, RM, PH, PC, PL), pp. 25–28.
SMT-2012-BjornerGMV #regular expression #sequence
SMT-LIB Sequences and Regular Expressions (NB, VG, RM, MV), pp. 77–87.
SMT-2012-MichelHGH #approach #automation #smt
An SMT-based approach to automated configuration (RM, AH, VG, PH), pp. 109–119.
SLE-2010-HubauxBHMH #case study #feature model #industrial #modelling
Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies (AH, QB, HH, RM, PH), pp. 337–356.

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.