Our paper Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications was accepted at MODELS 2013.
Monthly Archives: June 2013
Paper accepted at ESEC/FSE 2013
Our Paper Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications was accepted at ESEC/FSE 2013.