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: Michel:Rapha=euml=l
Contributed to:
2015
2012
2012
2010Wrote 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.