Login / Signup
Erika Gressi
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 0
Top Topics
Functional Requirements
Software Architecture
Specification Language
Product Lines
Top Venues
SPLC
Software Engineering & Management
ESEC/SIGSOFT FSE
</>
Publications
</>
Maxime Cordy
,
Jean-Marc Davril
,
Joel Greenyer
,
Erika Gressi
,
Patrick Heymans
All-at-once-synthesis of controllers from scenario-based product line specifications.
SPLC
(2015)
Joel Greenyer
,
Christian Brenner
,
Maxime Cordy
,
Patrick Heymans
,
Erika Gressi
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications.
Software Engineering & Management
(2015)
Joel Greenyer
,
Christian Brenner
,
Maxime Cordy
,
Patrick Heymans
,
Erika Gressi
Incrementally synthesizing controllers from scenario-based product line specifications.
ESEC/SIGSOFT FSE
(2013)