Publications

@inproceedings{NDDS2024,

title = {Two-Layer Blockchain Sharding Protocol Leveraging Safety and 

	Liveness for Enhanced Performance},

author = {Yibin Xu and Jingyi Zheng and Boris Düdder and Yongluan Zhou and Tijs Slaats},

year  = {2024},

date = {2024-01-01},

booktitle = {Proceedings of the Network and Distributed System 

	Security Symposium (NDDS)},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{xu2023adding,

title = {Adding Generic Role-and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs},

author = {Yibin Xu and Tijs Slaats and Boris Düdder and Thomas Troels Hildebrandt},

year  = {2023},

date = {2023-01-01},

booktitle = {2023 IEEE/ACM International Conference on Software and System Processes (ICSSP)},

pages = {70–80},

organization = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Algorand22,

title = {Distributed and Adversarial Adversary Workflow Execution on Algorand Blockchain},

author = {Yibin Xu and Tijs Slaats and Boris Düdder and Søren Debois and Haiqin Wu},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

booktitle = {6th International Workshop on Trusted Smart Contracts (WTSC)},

journal = {LNCS},

publisher = {Springer},

keywords = {Blockchain, BPM, Distributed, Distributed Ledger Technology, Workflow},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ActorModels21,

title = {Event-Based Data-Centric Semantics for Consistent Data Management in Microservices},

author = {Tilman Zuckmantel and Boris Düdder and Yongluan Zhou and Thomas Hildebrandt},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

booktitle = {Proceedings of the ACM International Conference on Distributed and Event‐Based Systems (DEBS 2022)},

keywords = {Distributed, Microservice, Semantic},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{HERALD2022,

title = {Incentive Mechanism Design for Uncertain Tasks in Mobile Crowd Sensing Systems Utilizing Smart Contract in Blockchain},

author = {Xikun Jiang and Chenhao Ying and Yuan Luo1 and Boris Düdder},

year  = {2022},

date = {2022-01-01},

booktitle = {Proceedings of 18th International Conference on Collaborative Computing (CollabCom 2022)},

publisher = {Springer},

keywords = {published},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{HERALD2022b,

title = {Incentive Mechanism Design for Uncertain Tasks in Mobile Crowd Sensing Systems Utilizing Smart Contract in Blockchain},

author = {Xikun Jiang and Chenhao Ying and Yuan Luo and Boris Düdder},

year  = {2022},

date = {2022-01-01},

booktitle = {Proceedings of 18th International Conference on Collaborative Computing (CollabCom 2022)},

publisher = {IEEE},

keywords = {published},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{EPCP21,

title = {Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems },

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

editor = {Manu Sridharan},

year  = {2021},

date = {2021-01-01},

booktitle = {Proceedings of the 35th European Conference on Object-Oriented Programming (ECOOP)},

journal = {LIPIcs},

volume = {194},

pages = {27},

publisher = {Schloss Dagstuhl},

keywords = {published},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DR17,

title = {Timber Tracking: Reducing Complexity of Due Diligence by using Blockchain Technology},

author = {Boris Düdder and Omri Ross},

year  = {2017},

date = {2017-08-31},

booktitle = {Proceedings of 2nd Workshop on Managed Complexity},

keywords = {Blockchain, Distributed Ledger Technology, Due diligence},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BDHR16a,

title = {Combinatory Process 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 = {268--283},

keywords = {Combinatory Logic, Process Synthesis, Program Synthesis, Type theory, Workflow},

pubstate = {published},

tppubtype = {inproceedings}

}

@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{BDHR16c,

title = {ModSyn-PP: Modular Synthesis of Programs and Processes (Track Introduction)},

author = {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 = {263--267},

keywords = {Modular, Process Synthesis, Product Line, Program Synthesis, Synthesis},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{bddr16a,

title = {Rank 3 Inhabitation of Intersection Types Revisited},

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

editor = {Silvia Ghilezan},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of 22nd International Conference on Types for Proofs and Programs},

publisher = {Schloss Dagstuhl},

series = {LIPIcs},

note = {abstract},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{bddr16b,

title = {Extracting a Formally Verified Subtyping Algorithm for Intersection Types from Ideals and Filters},

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

editor = {Silvia Ghilezan},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of 22nd International Conference on Types for Proofs and Programs},

publisher = {Schloss Dagstuhl},

series = {LIPIcs},

note = {abstract},

keywords = {Coq, Formal Verification, Intersection Types, Subtyping},

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}

}

@inproceedings{DMRse15,

title = {Staged Composition Synthesis},

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

year  = {2015},

date = {2015-01-01},

booktitle = {Proceedings of Software Engineering / Software Management 2015},

volume = {P--239},

pages = {89--91},

publisher = {GI},

series = {Lecture Notes in Informatics (LNI)},

keywords = {Combinatory Logic, Program Synthesis, Staged Composition},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ITRS14,

title = {Typing Classes and Mixins with Intersection Types},

author = {Jan Bessai and Andrej Dudenhefner and Boris Düdder and Moritz Martens and Tzu-Chun Chen and Ugo de'Liguoro},

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

doi = {10.4204/EPTCS.177.7},

year  = {2015},

date = {2015-01-01},

booktitle = {Proceedings of Seventh Workshop on Intersection Types and Related Systems},

volume = {177},

pages = {79--93},

publisher = {EPTCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BCDdLR15,

title = {Mixin Composition Synthesis based on Intersection Types},

author = {Jan Bessai and Tzu-Chun Chen and Andrej Dudenhefner and Boris Düdder and Ugo de'Liguoro and Jakob Rehof},

editor = {Thorsten Altenkirch},

url = {http://dx.doi.org/10.4230/LIPIcs.TLCA.2015.x},

doi = {10.4230/LIPIcs.TLCA.2015.x},

issn = {1868-8969},

year  = {2015},

date = {2015-01-01},

booktitle = {Proceedings of 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)},

volume = {38},

pages = {76--91},

publisher = {Schloss Dagstuhl},

series = {LIPIcs},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@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}

}