Travelled to:1 × Brazil
1 × China
1 × Russia
1 × Switzerland
3 × USA
Collaborated with:P.Heymans A.Legay P.Schobbens J.Greenyer E.Gressi G.Perrouin A.M.Sharifloo J.Davril C.Brenner B.Dawagne M.Leucker X.Devroey M.Papadakis A.Claßen
Talks about:product (7) line (7) model (4) base (4) scenario (3) specif (3) check (3) behaviour (2) abstract (2) variabl (2)
Person: Maxime Cordy
DBLP: Cordy:Maxime
Facilitated 1 volumes:
PrCoContributed to:
2015
2014
2013
20132012
20122012Wrote 9 papers:
- SPLC-2015-CordyDGGH #product line #specification
- All-at-once-synthesis of controllers from scenario-based product line specifications (MC, JMD, JG, EG, PH), pp. 26–35.
- FSE-2014-CordyHLSDL #abstraction #behaviour #modelling #product line #refinement
- Counterexample guided abstraction refinement of product-line behavioural models (MC, PH, AL, PYS, BD, ML), pp. 190–201.
- FSE-2014-DevroeyPCPLS #analysis #mutation testing #variability
- A variability perspective of mutation analysis (XD, GP, MC, MP, AL, PYS), pp. 841–844.
- ESEC-FSE-2013-GreenyerBCHG #incremental #product line #specification
- Incrementally synthesizing controllers from scenario-based product line specifications (JG, CB, MC, PH, EG), pp. 433–443.
- ICSE-2013-CordySHL #model checking #multi #product line
- Beyond boolean product-line model checking: dealing with feature attributes and multi-features (MC, PYS, PH, AL), pp. 472–481.
- ICSE-2013-HeymansLC #assurance #performance #quality #variability
- Efficient quality assurance of variability-intensive systems (PH, AL, MC), pp. 1496–1498.
- ICSE-2012-CordyCPSHL #abstraction #model checking #product line
- Simulation-based abstractions for software product-line model checking (MC, AC, GP, PYS, PH, AL), pp. 672–682.
- RE-2012-GreenyerSCH #consistency #performance #product line #specification
- Efficient consistency checking of scenario-based product-line specifications (JG, AMS, MC, PH), pp. 161–170.
- SPLC-2012-CordySHL #behaviour #modelling #product line #realtime #verification
- Behavioural modelling and verification of real-time software product lines (MC, PYS, PH, AL), pp. 66–75.