Publications

@inproceedings{DHR15b,

title = {Synthesizing Type-safe Compositions in Feature Oriented Software Designs using Staged Composition},

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

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

doi = {10.1145/2791060.2793677},

isbn = {978-1-4503-3613-0},

year  = {2015},

date = {2015-01-01},

booktitle = {Workshop on Modular Synthesis of Product Lines (ModSyn-PL) in Proceedings of the 19th International Software Product Line Conference (SPLC'15)},

pages = {398--401},

publisher = {ACM},

address = {Nashville, Tennessee},

keywords = {Combinatory Logic, Features, Product Line, Staged Composition, Synthesis},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DMResop14,

title = {Staged Composition Synthesis},

author = {Boris Düdder and Moritz Martens and Jakob Rehof},

url = {http://dx.doi.org/10.1007/978-3-642-54833-8_5},

doi = {10.1007/978-3-642-54833-8_5},

year  = {2014},

date = {2014-01-01},

booktitle = {Proceedings of 23rd European Symposium on Programming},

volume = {8410},

pages = {67--86},

publisher = {Springer},

series = {LNCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BDDMR14,

title = {Combinatory Logic Synthesizer},

author = {Jan Bessai and Andrej Dudenhefner and Boris Düdder and Moritz Martens and Jakob Rehof},

editor = {Tiziana Margaria and Bernhard Steffen},

url = {http://dx.doi.org/10.1007/978-3-662-45234-9_3},

doi = {10.1007/978-3-662-45234-9_3},

year  = {2014},

date = {2014-01-01},

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

journal = {LNCS},

volume = {8802},

pages = {26--40},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{RehofEtAlTLCA13,

title = {Intersection Type Matching with Subtyping},

author = {Boris Düdder and Moritz Martens and Jakob Rehof},

url = {http://dx.doi.org/10.1007/978-3-642-38946-7_11},

doi = {10.1007/978-3-642-38946-7_11},

year  = {2013},

date = {2013-01-01},

booktitle = {Proceedings of 11th International Conference on Typed Lambda Calculi and Applications},

volume = {7941},

pages = {125--139},

series = {LNCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ITRS12,

title = {Using Inhabitation in Bounded Combinatory Logic with Intersection Types for GUI Synthesis},

author = {Boris Düdder and Oliver Garbe and Moritz Martens and Jakob Rehof and Paweł Urzyczyn},

url = {http://dx.doi.org/10.4204/EPTCS.121.2},

doi = {10.4204/EPTCS.121.2},

year  = {2012},

date = {2012-01-01},

booktitle = {Proceedings of Sixth Workshop on 

Intersection Types and Related Systems},

pages = {18--34},

publisher = {EPTCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{RehofEtAlCSL12,

title = {Bounded Combinatory Logic},

author = {Boris Düdder and Moritz Martens and Jakob Rehof and Paweł Urzyczyn},

url = {http://drops.dagstuhl.de/opus/volltexte/2012/3676},

doi = {http://dx.doi.org/10.4230/LIPIcs.CSL.2012.243},

issn = {1868-8969},

year  = {2012},

date = {2012-01-01},

booktitle = {Proceedings of 21st EACSL Annual Conferences on Computer Science Logic},

volume = {16},

pages = {243--258},

publisher = {Schloss Dagstuhl},

series = {LIPIcs},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DFR08,

title = {Model Checking in multiagentengesteuerten Materialflusssystemen},

author = {Boris Düdder and Guido Follert and Moritz Roidl},

editor = {Peter Buchholz},

year  = {2008},

date = {2008-01-01},

booktitle = {Workshop ''Modellierung großer Netze in der Logistik`` in Measurement, Modelling and Evaluation of Computer and Communication Systems},

volume = {817},

keywords = {Formal Method, Formal Verification, Logistic, Material Flow, Material Flow System, Mechanical Engineering, Model Checking, Multi-Agent},

pubstate = {published},

tppubtype = {inproceedings}

}