The camera-ready copy of our paper Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications, accepted at MODELS 2013, is available for preview (PDF).
Monthly Archives: July 2013
ESEC/FSE 2013 camera-ready paper available
The camera-ready copy of our paper Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications, accepted at ESEC/FSE 2013, is available for preview (PDF).