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

2021

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

Ethical Maintenance of Artificial Intelligence Book Chapter Forthcoming

Pagani, Margherita; Champion, Renaud (Ed.): pp. 168, Edward Elgar Publishing, Forthcoming, 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

IEEE Transactions on Technology and Society, 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

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

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 Inproceedings

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

Frontiers in Blockchain, 2020.

Links | BibTeX | Tags: Blockchain, published

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

Digitale Evolution im Facility-Management Journal Article

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

Immobilienmanager, 2020.

BibTeX | Tags: published

2019

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

Fast Verified BCD Subtyping Book Chapter

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

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 (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

Logical Methods in Computer Science, 14 (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 Inproceedings

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 Inproceedings

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 Inproceedings

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) Inproceedings

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

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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