Boris Düdder

Boris Düdder

Associate Professor

Member of:

    ORCID: 0000-0002-0241-7729

    Publication year:
    All
    1 - 25 out of 44Page size: 25
    Sort by: Title
    1. 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

    2. E-pub ahead of print

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

      Wu, Haiqin, Duedder, Boris, Jiang, S. & Wang, L., 2024, (E-pub ahead of print) In: IEEE Transactions on Mobile Computing. 18 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

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

      Heineman, G., Hoxha, A., Duedder, Boris & Rehof, J., 20 Jul 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., p. 56-60 5 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    4. 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

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

      Duedder, Boris, Rehof, J. & Heineman, G. T., 20 Jul 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., p. 398-401 4 p. (ACM International Conference Proceeding Series, Vol. 20-24-July-2015).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    6. Published

      Survey on Secure Keyword Search over Outsourced Data: From Cloud to Blockchain-assisted Architecture

      Wu, Haiqin, Duedder, Boris, Wang, L., Cao, Z., Zhou, J. & Feng, X., 2023, In: ACM Computing Surveys. 56, 3, 63.

      Research output: Contribution to journal › Journal article › Research › peer-review

    7. Staged composition synthesis

      Duedder, Boris, Martens, M. & Rehof, J., 1 Jan 2014, Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, p. 67-86 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8410 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    8. Published

      Security and privacy issues in blockchain and its applications

      Wang, L., Sheng, V. S., Duedder, Boris, Wu, Haiqin & Zhu, H., Dec 2023, In: IET Blockchain. 3, 4, p. 169-171 3 p.

      Research output: Contribution to journal › Editorial › Research › peer-review

    9. Published

      Reliable and Streaming Truth Discovery in Blockchain-based Crowdsourcing

      Mukkamala, P. S., Wu, Haiqin & Duedder, Boris, 2023, 2023 20th Annual IEEE International Conference on Sensing, Communication, and Networking, SECON 2023. IEEE Computer Society Press, p. 492-500

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    10. Published

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

      Xu, Yibin, Slaats, Tijs & Duedder, Boris, 7 Nov 2022, CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 3495–3497

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    11. Published

      On assessing trustworthy AI in healthcare: Best practice for machine learning as a supportive tool to recognize cardiac arrest in emergency calls

      Zicari, R. V., Brusseau, J., Blomberg, S. N., Christensen, H. C., Coffee, M., Ganapini, M. B., Gerke, S., Gilbert, T. K., Hickman, E., Hildt, E., Holm, S., Kühne, U., Madai, V. I., Osika, W., Spezzatti, A., Schnebel, E., Tithi, J. J., Vetter, D., Westerlund, M., Wurth, R. & 20 others, Amann, J., Antun, V., Beretta, V., Bruneault, F., Campano, E., Duedder, Boris, Gallucci, A., Goffi, E., Haase, Christoffer Bjerre, Hagendorff, T., Kringen, P., Möslein, F., Ottenheimer, D., Ozols, M., Palazzani, L., Petrin, M., Tafur, K., Tørresen, J., Volland, H. & Kararigas, G., Jul 2021, In: Frontiers in Human Dynamics . 3, 24 p., 673104.

      Research output: Contribution to journal › Journal article › Research › peer-review

    12. ModSyn-PP: Modular synthesis of programs and processes track introduction

      Duedder, Boris, Heineman, G. T. & 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. 261-265 5 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

    13. Mixin composition synthesis based on intersection types

      Bessai, J., Duedder, Boris, Dudenhefner, A., Chen, T. C., De'Liguoro, U. & Rehof, J., 1 Jul 2015, 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015. Altenkirch, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 76-91 16 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 38).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    14. 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

    15. Published

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

      Xu, Yibin, Shao, J., Slaats, Tijs & Duedder, Boris, 2023, In: ACM Transactions on Internet Technology. 23, 2, p. 1-27 34.

      Research output: Contribution to journal › Journal article › Research › peer-review

    16. Published

      Lessons Learned from Assessing Trustworthy AI in Practice

      Vetter, D., Amann, J., Bruneault, F., Coffee, M., Duedder, Boris, Gallucci, A., Gilbert, T. K., Hagendorff, T., Van Halem, I., Hickman, E., Hildt, E., Holm, Sune Hannibal, Kararigas, G., Kringen, P., Madai, V. I., Wiinblad Mathez, E., Tithi, J. J., Westerlund, M., Wurth, R. & Zicari, R. V., 2023, In: Digital Society. 2, 3, 25 p., 35.

      Research output: Contribution to journal › Journal article › Research › peer-review

    17. Published

      Kunstig intelligens kommer ikke nødvendigvis patienter til gode

      Holm, Sune Hannibal, Blomberg, S. N., Christensen, Helle Collatz & Duedder, Boris, 12 Jun 2023, In: Berlingske. p. 20-21 2 p.

      Research output: Contribution to journal › Contribution to newspaper - Comment/debate › Communication

    18. Intersection type matching with subtyping

      Duedder, Boris, Martens, M. & Rehof, J., 27 Sep 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 125-139 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7941 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    19. 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

    20. Published

      Incentive Mechanism for Uncertain Tasks under Differential Privacy

      Jiang, Xikun, Ying, C., Li, Lei, Wu, Haiqin, Luo, Y. & Duedder, Boris, 26 May 2023, arxiv.org, 15 p.

      Research output: Working paper › Preprint

    21. E-pub ahead of print

      Incentive Mechanism for Uncertain Tasks under Differential Privacy

      Jiang, Xikun, Ying, C., Li, Lei, Duedder, Boris, Wu, Haiqin, Jin, H. & Luo, Y., 2024, (E-pub ahead of print) In: IEEE Transactions on Services Computing. 12 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    22. Published

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

      Jiang, Xikun, Ying, C., Yu, X., Duedder, Boris & Luo, Y., 2022, Collaborative Computing: Networking, Applications and Worksharing - 18th EAI International Conference, CollaborateCom 2022, Proceedings. Gao, H., Wang, X., Wei, W. & Dagiuklas, T. (eds.). Springer, p. 475-493 19 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Vol. 460 LNICST).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    23. Published

      How to Assess Trustworthy AI in Practice

      Zicari, R. V., Amann, J., Bruneault, F., Coffee, M., Duedder, Boris, Gallucci, A., Gilbert, T. K., Hagendorff, T., Halem, I. V., Hickman, E., Hildt, E., Holm, Sune Hannibal, Kararigas, G., Kringen, P., Madai, V. I., Mathez, E. W., Tithi, J. J., Vetter, D., Westerlund, M. & Wurth, R., 20 Jun 2022, arxiv.org, 52 p.

      Research output: Working paper › Preprint

    24. 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

    25. Published

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

      Zuckmantel, Tilman, Duedder, Boris, Zhou, Yongluan & Hildebrandt, Thomas Troels, 2022, DEBS '22: Proceedings of the 16th ACM International Conference on Distributed and Event-Based Systems. Association for Computing Machinery, p. 97-102

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Previous 1 2 Next

    ID: 172785813