Boris Düdder

Boris Düdder

Associate Professor

Member of:

    ORCID: 0000-0002-0241-7729

    Publication year:
    All
    1 - 10 out of 41Page size: 10
    Sort by: Title
    1. Published

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

      Xu, Yibin, Zheng, J., Duedder, Boris, Slaats, Tijs & Zhou, Yongluan, 26 Feb 2024, Network and Distributed System Security (NDSS) Symposium 2024.

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

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

    3. Published

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

      Xu, Yibin, Slaats, Tijs & Duedder, Boris, 2023, In: Simulation Modelling Practice and Theory. 122, 102678.

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

    4. Published

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

      Xu, Yibin, Slaats, Tijs, Duedder, Boris & Hildebrandt, Thomas Troels, May 2023, 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE, p. 70-80

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

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

    6. Published

      Blockchain-Based Reliable and Privacy-Aware Crowdsourcing with Truth and Fairness Assurance

      Wu, Haiqin, Duedder, Boris, Wang, L., Sun, S. & Xue, G., 2022, In: IEEE Internet of Things Journal. 9, 5, p. 3598-3598 12 p.

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

    7. Bounded combinatory logic

      Duedder, Boris, Martens, M., Rehof, J. & Urzyczyn, P., 1 Dec 2012, Computer Science Logic 2012 - 26th International Workshop/21th Annual Conference of the EACSL, CSL 2012. p. 243-258 16 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 16).

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

    8. Published

      Co-design of a trustworthy AI system in healthcare: Deep learning based skin lesion classifier

      Zicari, R. V., Ahmed, S., Amann, J., Braun, S. A., Brodersen, J., Bruneault, F., Brusseau, J., Campano, E., Coffee, M., Dengel, A., Düdder, B., Gallucci, A., Gilbert, T. K., Gottfrois, P., Goffi, E., Haase, C. B., Hagendorff, T., Hickman, E., Hildt, E., Holm, S. & 15 others, Kringen, P., Kühne, U., Lucieri, A., Madai, V. I., Moreno-Sánchez, P. A., Medlicott, O., Ozols, M., Schnebel, E., Spezzatti, A., Tithi, J. J., Umbrello, S., Vetter, D., Volland, H., Westerlund, M. & Wurth, R., Jul 2021, In: Frontiers in Human Dynamics . 3, 20 p., 688152.

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

    9. Combinatory Logic Synthesizer

      Bessai, J., Dudenhefner, A., Duedder, Boris & Martens, M., 2014, Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8–11, 2014 Proceedings, Part I. Springer, p. 26-40 (Lecture Notes in Computer Science, Vol. 8802).

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

    10. Combinatory logic synthesizer

      Bessai, J., Dudenhefner, A., Duedder, Boris, Martens, M. & Rehof, J., 1 Jan 2014, Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. Margaria, T., Steffen, B. & Margaria, T. (eds.). Springer Verlag, p. 26-40 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8802).

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

    Previous 1 2 3 4 5 Next

    ID: 172785813