Travelled to:1 × Russia
1 × USA
Collaborated with:M.Cordy J.Greenyer P.Heymans J.Davril C.Brenner
Talks about:scenario (2) product (2) control (2) specif (2) line (2) base (2) increment (1) synthesi (1) synthes (1) onc (1)
Person: Erika Gressi
DBLP: Gressi:Erika
Contributed to:
2015
2013Wrote 2 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.
- 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.