Boris Düdder
Associate Professor
- 2021
- Published
Curriculum Guidance Document - The BlockNet Consortium: WHITE PAPER
Duedder, Boris, Wu, Haiqin, Henke, M., Straub, N., Gürpinar, T., Ioannidis, P. A., Fomin, V., Matulevičius, R. & Iqbal, M., Feb 2021, arXiv.org. 49 p.Research output: Book/Report › Report › Research
- Published
Ethical maintenance of artificial intelligence systems
Duedder, Boris, Möslein, F., Stürtz, N., Westerlund, M. & Zicari, R. V., 1 Jan 2021, Artificial Intelligence for Sustainable Value Creation. Edward Elgar Publishing, p. 151-171Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
BlockNet Report: Exploring the Blockchain Skills Concept and Best Practice Use Cases
Duedder, Boris, Fomin, V., Guerpinar, T., Henke, M., Ioannidis, P. A., Janaviciene, V., Matulevicius, R., Iqbal, M. & Straub, N., 2021, arXiv.org. 103 p.Research output: Book/Report › Report › Research
- Published
Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives
Duedder, Boris, Vladislav V. Fomin, V. V. F., Tan Guerpinar, T. G., Michael Henke, M. H., Philipp Asterios Ioannidis, P. A. I., Mubashar Iqbal, M. I., Raimundas Matulevičius, R. M., Natalia Straub, N. S. & Wu, Haiqin, 2021, In: Frontiers in Blockchain . 3, 8 p., :578022.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Z-Inspection®: A Process to Assess Trustworthy AI
Zicari, R. V., Brodersen, John Brandt, Brusseau, J., Duedder, Boris, Eichhorn, T., Ivanov, T., Kararigas, G., Kringen, P., McCullough, M., Moslein, F., Mushtaq, N., Roig, G., Sturtz, N., Tolle, K., Tithi, J. J., Halem, I. V. & Westerlund, M., 2021, In: IEEE Transactions on Technology and Society. 2, 2, p. 83 - 97 15 p.Research output: Contribution to journal › Journal article › Research › peer-review
- 2019
- Published
Fast Verified BCD Subtyping
Bessai, J., Rehof, J. & Duedder, Boris, 1 Jan 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Margaria, T., Graf, S. & Larsen, K. G. (eds.). Springer, p. 356-371 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11200 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- 2018
Mixin Composition Synthesis based on Intersection Types
Bessai, J., Chen, T., Dudenhefner, A., Duedder, Boris, de'Liguoro, U. & Rehof, J., 2018, In: Logical Methods in Computer Science. 14, 1, 18.Research output: Contribution to journal › Journal article › Research › peer-review
- 2017
- Published
Timber tracking: reducing complexity of due diligence by using blockchain technology (position paper)
Duedder, Boris & Ross, Omry, 2017, Pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017: joint proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium, Copenhagen, Denmark, August 28 - 30, 2017. Johansson, B. (ed.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 1898).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2016
A long and winding road towards modular synthesis
Heineman, G. T., Bessai, J., Duedder, Boris & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 303-317 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Combinatory process synthesis
Bessai, J., Dudenhefner, A., Duedder, Boris, Martens, M. & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 266-281 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 172785813
Most downloads
-
193
downloads
On assessing trustworthy AI in healthcare: Best practice for machine learning as a supportive tool to recognize cardiac arrest in emergency calls
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
123
downloads
Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
78
downloads
Co-design of a trustworthy AI system in healthcare: Deep learning based skin lesion classifier
Research output: Contribution to journal › Journal article › Research › peer-review
Published