Publications

@inproceedings{BDHR16b,

title = {A Long and Winding Road Towards Modular Synthesis},

author = {Jan Bessai and Boris Düdder and George T. Heineman and Jakob Rehof},

editor = {Tiziana Margaria and Bernhard Steffen},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},

journal = {LNCS},

volume = {9952},

pages = {305--322},

keywords = {Modular, Software, Synthesis},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BDHR15,

title = {Combinatory Synthesis of Classes using Feature Grammars},

author = {Jan Bessai and Boris Düdder and George T. Heineman and Jakob Rehof},

editor = {C. Braga and P.C. Olveczky},

doi = {10.1007/978-3-319-28934-2_7},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of the 12th International Conference on Formal Aspects of Component Software (FACS'15)},

journal = {LNCS},

volume = {9539},

pages = {1--18},

publisher = {Springer},

keywords = {Combinatory Logic, Features, Grammar, Product Line, Software, Synthesis},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DHR15a,

title = {Towards Migrating Object-Oriented Frameworks to Enable Synthesis of Product Line Members},

author = {Boris Düdder and George T. Heineman and Jakob Rehof},

url = {http://doi.acm.org/10.1145/2791060.2791076},

doi = {10.1145/2791060.2791076},

year  = {2015},

date = {2015-08-01},

booktitle = {Proceedings of the 19th International Software Product Line Conference (SPLC'15)},

pages = {56--60},

publisher = {ACM},

address = {Nashville, Tennessee},

series = {SPLC '15},

keywords = {Combinatory Logic, Framework, Object-oriented, Product Line, Program Synthesis, Software, Synthesis},

pubstate = {published},

tppubtype = {inproceedings}

}