Boris Düdder

According to our database, Boris Düdder authored at least 29 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

A two-dimensional sharding model for access control and data privilege management of blockchain.

Yibin Xu, Tijs Slaats, Boris Düdder

Simul. Model. Pract. Theory, 2023

2022

Blockchain-Based Reliable and Privacy-Aware Crowdsourcing With Truth and Fairness Assurance.

Haiqin Wu, Boris Düdder, Liangmin Wang, Shipu Sun, Guoliang Xue

IEEE Internet Things J., 2022

Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee.

Simon L. Bager, Boris Düdder, Fritz Henglein, Juan Manuel Hébert, Haiqin Wu

Frontiers Blockchain, 2022

Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain.

Yibin Xu, Tijs Slaats, Boris Düdder, Søren Debois, Haiqin Wu

CoRR, 2022

How to Assess Trustworthy AI in Practice.

Roberto V. Zicari, Julia Amann, Frédérick Bruneault, Megan Coffee, Boris Düdder, Eleanore Hickman, Alessio Gallucci, Thomas Krendl Gilbert, Thilo Hagendorff, Irmhild van Halem, Elisabeth Hildt, Sune Holm, Georgios Kararigas, Pedro Kringen, Vince I. Madai, Emilie Wiinblad Mathez, Jesmin Jahan Tithi, Dennis Vetter, Magnus Westerlund, Renee Wurth

CoRR, 2022

Event-based data-centric semantics for consistent data management in microservices.

Tilman Zuckmantel, Yongluan Zhou, Boris Düdder, Thomas Hildebrandt

Proceedings of the 16th ACM International Conference on Distributed and Event-based Systems, 2022

Incentive Mechanism Design for Uncertain Tasks in Mobile Crowd Sensing Systems Utilizing Smart Contract in Blockchain.

Xikun Jiang, Chenhao Ying, Xinchun Yu, Boris Düdder, Yuan Luo

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2022

Poster: Unanimous-Majority - Pushing Blockchain Sharding Throughput to its Limit.

Yibin Xu, Tijs Slaats, Boris Düdder

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact).

Jan Bessai, George T. Heineman, Boris Düdder

Dagstuhl Artifacts Ser., 2021

BlockNet Report: Exploring the Blockchain Skills Concept and Best Practice Use Cases.

Boris Düdder, Vladislav Fomin, Tan Gürpinar, Michael Henke, Philipp Asterios Ioannidis, Viktorija Janaviciene, Raimundas Matulevicius, Mubashar Iqbal, Natalia Straub

CoRR, 2021

BlockNet Report: Curriculum Guidance Document.

Boris Düdder, Haiqin Wu, Michael Henke, Natalia Straub, Tan Gürpinar, Philipp Asterios Ioannidis, Vladislav Fomin, Raimundas Matulevicius, Mubashar Iqbal

CoRR, 2021

Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems.

Jan Bessai, George T. Heineman, Boris Düdder

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives.

Boris Düdder, Vladislav Fomin, Tan Gürpinar, Michael Henke, Mubashar Iqbal, Viktorija Janaviciene, Raimundas Matulevicius, Natalia Straub, Haiqin Wu

Frontiers Blockchain, 2020

2018

Mixin Composition Synthesis based on Intersection Types.

Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof

Log. Methods Comput. Sci., 2018

Fast Verified BCD Subtyping.

Jan Bessai, Jakob Rehof, Boris Düdder

Proceedings of the Models, Mindsets, 2018

2017

Timber Tracking - Reducing Complexity of Due Diligence by using Blockchain Technology (Position Paper).

Boris Düdder, Omri Ross

Proceedings of the Joint Proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium co-located with 16th International Conference on Perspectives in Business Informatics Research (BIR 2017), Copenhagen, Denmark, August 28, 2017

2016

A Long and Winding Road Towards Modular Synthesis.

George T. Heineman, Jan Bessai, Boris Düdder, Jakob Rehof

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction.

Boris Düdder, George T. Heineman, Jakob Rehof

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Combinatory Process Synthesis.

Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Towards migrating object-oriented frameworks to enable synthesis of product line members.

George T. Heineman, Armend Hoxha, Boris Düdder, Jakob Rehof

Proceedings of the 19th International Conference on Software Product Line, 2015

Synthesizing type-safe compositions in feature oriented software designs using staged composition.

Boris Düdder, Jakob Rehof, George T. Heineman

Proceedings of the 19th International Conference on Software Product Line, 2015

Staged Composition Synthesis.

Boris Düdder, Moritz Martens, Jakob Rehof

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Combinatory Synthesis of Classes Using Feature Grammars.

Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Automatic synthesis of component & connector software architectures with bounded combinatory logic.

Boris Düdder

PhD thesis, 2014

Typing Classes and Mixins with Intersection Types.

Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Combinatory Logic Synthesizer.

Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Intersection Type Matching with Subtyping.

Boris Düdder, Moritz Martens, Jakob Rehof

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

2012

Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis.

Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn

Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

Bounded Combinatory Logic.

Boris Düdder, Moritz Martens, Jakob Rehof, Pawel Urzyczyn

Proceedings of the Computer Science Logic (CSL'12), 2012