Publications

ORCID0000-0002-0241-7729
Google Scholarhttps://scholar.google.de/citations?hl=en&user=0ic62YwAAAAJ
DBLPhttps://dblp.uni-trier.de/pers/d/D=uuml=dder:Boris
SCOPUShttps://www.scopus.com/authid/detail.uri?authorId=55794748200

2024

Xu, Yibin; Zheng, Jingyi; Düdder, Boris; Zhou, Yongluan; Slaats, Tijs

Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance Proceedings Article

In: Proceedings of the Network and Distributed System Security Symposium (NDDS), Springer, 2024.

BibTeX | Tags:

Wu, Haiqin; Düdder, Boris; Jiang, Shunrong; Wang, Liangmin

VP2-Match: Verifiable Privacy-Aware and Personalized Crowdsourcing Task Matching via Blockchain Journal Article

In: IEEE Transactions on Mobile Computing, pp. 1-18, 2024.

Links | BibTeX | Tags: Task analysis;Vectors;Privacy;Crowdsourcing;Blockchains;Cryptography;Encryption;Crowdsourcing;personalized task allocation;privacy protection;public verifiability;blockchain

2023

Jiang, Xikun; Ying, Chenhao; Li, Lei; Wu, Haiqin; Luo, Yuan; Düdder, Boris

Incentive Mechanism for Uncertain Tasks under Differential Privacy Journal Article

In: arXiv preprint arXiv:2305.16793, 2023.

BibTeX | Tags:

Xu, Yibin; Shao, Jianhua; Slaats, Tijs; Düdder, Boris

MWPoW+: a strong consensus protocol for intra-shard consensus in blockchain sharding Journal Article

In: ACM Transactions on Internet Technology, vol. 23, no. 2, pp. 1–27, 2023.

BibTeX | Tags:

Xu, Yibin; Slaats, Tijs; Düdder, Boris; Hildebrandt, Thomas Troels

Adding Generic Role-and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs Proceedings Article

In: 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP), pp. 70–80, IEEE 2023.

BibTeX | Tags:

Xu, Yibin; Slaats, Tijs; Düdder, Boris

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

In: Simulation Modelling Practice and Theory, vol. 122, pp. 102678, 2023.

BibTeX | Tags:

Wu, Haiqin; Düdder, Boris; Wang, Liangmin; Feng, Xia; Zhou, Jun

Survey on Secure Keyword Search over Outsourced Data: From Cloud to Blockchain-Assisted Architecture Journal Article

In: ACM Computing Surveys (CSUR), 2023.

Links | BibTeX | Tags:

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

Lessons Learned from Assessing Trustworthy AI in Practice Journal Article

In: Digital Society (DSO), vol. 2, no. 35, 2023.

Abstract | Links | BibTeX | Tags:

2022

Julia Amann Roberto V. Zicari, Frédérick Bruneault

How to Assess Trustworthy AI in Practice Technical Report

2022, (Creative Commons Attribution Non Commercial Share Alike 4.0 International).

Abstract | Links | BibTeX | Tags:

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

Distributed and Adversarial Adversary Workflow Execution on Algorand Blockchain Proceedings Article

In: 6th International Workshop on Trusted Smart Contracts (WTSC), Springer, 2022.

BibTeX | Tags: Blockchain, BPM, Distributed, Distributed Ledger Technology, Workflow

Bager, Simon; Düdder, Boris; Henglein, Fritz; Hebert, Juan Manuel; Wu, Haiqin

Event-based Supply Chain Network Modeling: Blockchain for Good Coffee Journal Article

In: Frontiers in Blockchain, 2022, ISSN: 2624-7852 , (Open Access).

Links | BibTeX | Tags: Blockchain, Supplychain

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

Event-Based Data-Centric Semantics for Consistent Data Management in Microservices Proceedings Article

In: Proceedings of the ACM International Conference on Distributed and Event‐Based Systems (DEBS 2022), 2022.

BibTeX | Tags: Distributed, Microservice, Semantic

Jiang, Xikun; Ying, Chenhao; Luo1, Yuan; Düdder, Boris

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

In: Proceedings of 18th International Conference on Collaborative Computing (CollabCom 2022), Springer, 2022.

BibTeX | Tags: published

Jiang, Xikun; Ying, Chenhao; Luo, Yuan; Düdder, Boris

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

In: Proceedings of 18th International Conference on Collaborative Computing (CollabCom 2022), IEEE, 2022.

BibTeX | Tags: published

Xu, Yibin; Slaats, Tijs; Düdder, Boris

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

In: Simulation Modelling Practice and Theory, vol. 119, pp. 102678, 2022, ISSN: 1569-190X.

Abstract | Links | BibTeX | Tags: Blockchain, Blockchain storage, Modeling and simulation, Sharding

2021

Düdder, Boris; Möslein, Florian; Stürtz, Norman; Westerlund, Magnus; Zicari, Roberto V

Ethical Maintenance of Artificial Intelligence Book Chapter

In: Pagani, Margherita; Champion, Renaud (Ed.): pp. 168, Edward Elgar Publishing, 2021, ISBN: 978 1 83910 438 1.

BibTeX | Tags: AI, Ethics, Life-cycle, published, Software Maintenance

Zicari, Roberto V; van Halem, Irmhild; Ivanov, Todor; Roig, Gemma; Tolle, Karsten; Brodersen, John; Düdder, Boris; Kararigas, Georgios; Kringen, Pedro; Stürtz, Norman; Westerlund, Magnus; Tithi, Jesmin Jahan; Brusseau, James; Eichhorn, Timo; Möslein, Florian; Kienzler, Romeo; McCullough, Melissa; Mushtaq, Naveed; Bassett, Matthew Eric

Z-Inspection: A Holistic and Analytic Process to Assess Ethical AI Journal Article

In: IEEE Transactions on Technology and Society, vol. 3, 2021.

Abstract | Links | BibTeX | Tags: AI, Ethics, published

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

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

In: 2021.

BibTeX | Tags: Blockchain, published

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

BlockNet Report: Curriculum Guidance Document Journal Article

In: 2021.

BibTeX | Tags: Blockchain, published

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

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

In: Sridharan, Manu (Ed.): Proceedings of the 35th European Conference on Object-Oriented Programming (ECOOP), pp. 27, Schloss Dagstuhl, 2021.

BibTeX | Tags: published

2020

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

Interdisciplinary Blockchain Education: Utilizing Blockchain Technology from Various Perspectives Journal Article

In: Frontiers in Blockchain, 2020.

Links | BibTeX | Tags: Blockchain, published

Lenz, Lisa; Düdder, Boris; Gralla, Mike

Digitale Evolution im Facility-Management Journal Article

In: Immobilienmanager, 2020.

BibTeX | Tags: published

Lenz, Lisa; Düdder, Boris; Gralla, Mike

Automatische Generation und Symbiose von Daten im Facility Management: Facility Management: Potenziale der Nutzung von Sensorik in Kombination mit geeigneten Datenanalyseverfahren Journal Article

In: Immobilienmanager, 2020.

BibTeX | Tags: published

2019

Bessai, Jan; Rehof, Jakob; Düdder, Boris

Fast Verified BCD Subtyping Book Chapter

In: Margaria, Tiziana; Graf, Susanne; Larsen, Kim G (Ed.): Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, pp. 356–371, Springer International Publishing, Cham, 2019, ISBN: 978-3-030-22348-9.

Links | BibTeX | Tags:

Zhao, Ran; Boutup, Søren; Bech, Martin; Beck, Roman; Tan, Chee-Wee; Avital, Michel; Düdder, Boris

Sino-Danish Blockchain Experts' Dialogue report

2019.

BibTeX | Tags: published

Düdder, Boris

Activate students in large classes and enable lasting motivation for students after lectures using digital learning tools Technical Report

Institut for Naturfagenes Didaktik no. 13, 2019.

BibTeX | Tags: published

2018

Beck, Roman; Tan, Chee-Wee; Avital, Michel; Düdder, Boris

Sino-Danish Blockchain Experts' Dialogue Technical Report

Innovation Center Denmark 2018.

Links | BibTeX | Tags: Blockchain

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

Mixin Composition Synthesis based on Intersection Types Journal Article

In: Logical Methods in Computer Science, vol. 14, no. 1, 2018.

Links | BibTeX | Tags: Mixin, Program Synthesis, Trait, Type theory

2017

Düdder, Boris; Ross, Omri

Timber Tracking: Reducing Complexity of Due Diligence by using Blockchain Technology Proceedings Article

In: Proceedings of 2nd Workshop on Managed Complexity, 2017.

BibTeX | Tags: Blockchain, Distributed Ledger Technology, Due diligence

2016

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

Combinatory Process Synthesis Proceedings Article

In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp. 268–283, 2016.

BibTeX | Tags: Combinatory Logic, Process Synthesis, Program Synthesis, Type theory, Workflow

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

A Long and Winding Road Towards Modular Synthesis Proceedings Article

In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp. 305–322, 2016.

BibTeX | Tags: Modular, Software, Synthesis

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

ModSyn-PP: Modular Synthesis of Programs and Processes (Track Introduction) Proceedings Article

In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp. 263–267, 2016.

BibTeX | Tags: Modular, Process Synthesis, Product Line, Program Synthesis, Synthesis

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

Mixin Composition Synthesis based on Intersection Types Journal Article

In: Logical Methods in Computer Science, 2016, (submitted).

BibTeX | Tags: Intersection Types, Mixin, Object-oriented, Record calculus, Synthesis, Trait

Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris; Rehof, Jakob

Rank 3 Inhabitation of Intersection Types Revisited Proceedings Article

In: Ghilezan, Silvia (Ed.): Proceedings of 22nd International Conference on Types for Proofs and Programs, Schloss Dagstuhl, 2016, (abstract).

BibTeX | Tags:

Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris; Rehof, Jakob

Extracting a Formally Verified Subtyping Algorithm for Intersection Types from Ideals and Filters Proceedings Article

In: Ghilezan, Silvia (Ed.): Proceedings of 22nd International Conference on Types for Proofs and Programs, Schloss Dagstuhl, 2016, (abstract).

BibTeX | Tags: Coq, Formal Verification, Intersection Types, Subtyping

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

Combinatory Synthesis of Classes using Feature Grammars Proceedings Article

In: Braga, C.; Olveczky, P. C. (Ed.): Proceedings of the 12th International Conference on Formal Aspects of Component Software (FACS'15), pp. 1–18, Springer, 2016.

Links | BibTeX | Tags: Combinatory Logic, Features, Grammar, Product Line, Software, Synthesis

2015

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

Towards Migrating Object-Oriented Frameworks to Enable Synthesis of Product Line Members Proceedings Article

In: Proceedings of the 19th International Software Product Line Conference (SPLC'15), pp. 56–60, ACM, Nashville, Tennessee, 2015.

Links | BibTeX | Tags: Combinatory Logic, Framework, Object-oriented, Product Line, Program Synthesis, Software, Synthesis

Düdder, Boris; Martens, Moritz; Rehof, Jakob

Staged Composition Synthesis Proceedings Article

In: Proceedings of Software Engineering / Software Management 2015, pp. 89–91, GI, 2015.

BibTeX | Tags: Combinatory Logic, Program Synthesis, Staged Composition

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

Typing Classes and Mixins with Intersection Types Proceedings Article

In: Proceedings of Seventh Workshop on Intersection Types and Related Systems, pp. 79–93, EPTCS, 2015.

Links | BibTeX | Tags:

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

Mixin Composition Synthesis based on Intersection Types Proceedings Article

In: Altenkirch, Thorsten (Ed.): Proceedings of 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), pp. 76–91, Schloss Dagstuhl, 2015, ISSN: 1868-8969.

Links | BibTeX | Tags:

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

Synthesizing Type-safe Compositions in Feature Oriented Software Designs using Staged Composition Proceedings Article

In: Workshop on Modular Synthesis of Product Lines (ModSyn-PL) in Proceedings of the 19th International Software Product Line Conference (SPLC'15), pp. 398–401, ACM, Nashville, Tennessee, 2015, ISBN: 978-1-4503-3613-0.

Links | BibTeX | Tags: Combinatory Logic, Features, Product Line, Staged Composition, Synthesis

2014

Düdder, Boris; Martens, Moritz; Rehof, Jakob

Staged Composition Synthesis Proceedings Article

In: Proceedings of 23rd European Symposium on Programming, pp. 67–86, Springer, 2014.

Links | BibTeX | Tags:

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

Combinatory Logic Synthesizer Proceedings Article

In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp. 26–40, 2014.

Links | BibTeX | Tags:

Düdder, Boris

Automatic Synthesis of Component & Connector-Software Architectures with Bounded Combinatory Logic PhD Thesis

TU Dortmund, 2014.

BibTeX | Tags:

2013

Düdder, Boris; Martens, Moritz; Rehof, Jakob

Intersection Type Matching with Subtyping Proceedings Article

In: Proceedings of 11th International Conference on Typed Lambda Calculi and Applications, pp. 125–139, 2013.

Links | BibTeX | Tags:

2012

Düdder, Boris; Garbe, Oliver; Martens, Moritz; Rehof, Jakob; Urzyczyn, Paweł

Using Inhabitation in Bounded Combinatory Logic with Intersection Types for GUI Synthesis Proceedings Article

In: Proceedings of Sixth Workshop on Intersection Types and Related Systems, pp. 18–34, EPTCS, 2012.

Links | BibTeX | Tags:

Düdder, Boris; Martens, Moritz; Rehof, Jakob; Urzyczyn, Paweł

Bounded Combinatory Logic Proceedings Article

In: Proceedings of 21st EACSL Annual Conferences on Computer Science Logic, pp. 243–258, Schloss Dagstuhl, 2012, ISSN: 1868-8969.

Links | BibTeX | Tags:

2008

Düdder, Boris; Follert, Guido; Roidl, Moritz

Model Checking in multiagentengesteuerten Materialflusssystemen Proceedings Article

In: Buchholz, Peter (Ed.): Workshop ''Modellierung großer Netze in der Logistik`` in Measurement, Modelling and Evaluation of Computer and Communication Systems, 2008.

BibTeX | Tags: Formal Method, Formal Verification, Logistic, Material Flow, Material Flow System, Mechanical Engineering, Model Checking, Multi-Agent

Düdder, Boris

Formale Verifikation mittels Model Checking in Materialflusssystemen Masters Thesis

TU Dortmund, 2008.

BibTeX | Tags: Formal Method, Formal Verification, Logistic, Material Flow, Material Flow System, Mechanical Engineering, Model Checking

0000

[No title] Bachelor Thesis

0000.

BibTeX | Tags: