Z-Inspection®: A Process to Assess Trustworthy AI RV Zicari, J Brodersen, J Brusseau, B Düdder, T Eichhorn, T Ivanov, ... IEEE Transactions on Technology and Society 2 (2), 83-97, 2021 | 79 | 2021 |
Timber tracking: reducing complexity of due diligence by using blockchain technology B Düdder, O Ross Available at SSRN 3015219, 2017 | 62 | 2017 |
Bounded combinatory logic B Düdder, M Martens, J Rehof, P Urzyczyn Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012 | 45 | 2012 |
Combinatory logic synthesizer J Bessai, A Dudenhefner, B Düdder, M Martens, J Rehof Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 44 | 2014 |
Staged Composition Synthesis J Rehof, B Düdder, M Martens | 37* | |
Co-design of a trustworthy AI system in healthcare: deep learning based skin lesion classifier RV Zicari, S Ahmed, J Amann, SA Braun, J Brodersen, F Bruneault, ... Frontiers in Human Dynamics 3, 688152, 2021 | 36 | 2021 |
Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives B Düdder, V Fomin, T Gürpinar, M Henke, M Iqbal, V Janavičienė, ... Frontiers in Blockchain 3, 58, 2021 | 33 | 2021 |
On assessing trustworthy AI in healthcare. Machine learning as a supportive tool to recognize cardiac arrest in emergency calls RV Zicari, J Brusseau, SN Blomberg, HC Christensen, M Coffee, ... Frontiers in Human Dynamics 3, 673104, 2021 | 31 | 2021 |
Mixin Composition Synthesis based on Intersection Types J Bessai, TC Chen, A Dudenhefner, B Düdder, U de'Liguoro, J Rehof Logical Methods in Computer Science 14 (1), 2018 | 24 | 2018 |
Combinatory process synthesis J Bessai, A Dudenhefner, B Düdder, M Martens, J Rehof Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 22 | 2016 |
A long and winding road towards modular synthesis GT Heineman, J Bessai, B Düdder, J Rehof Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 20 | 2016 |
Blockchain-based reliable and privacy-aware crowdsourcing with truth and fairness assurance H Wu, B Düdder, L Wang, S Sun, G Xue IEEE Internet of Things Journal 9 (5), 3586-3598, 2021 | 18 | 2021 |
Towards migrating object-oriented frameworks to enable synthesis of product line members G Heineman, A Hoxha, B Düdder, J Rehof Proceedings of the 19th International Conference on Software Product Line, 56-60, 2015 | 17 | 2015 |
Extracting a formally verified subtyping algorithm for intersection types from ideals and filters J Bessai, A Dudenhefner, B Düdder, J Rehof Talk at COST Types, 2016 | 13 | 2016 |
Design and synthesis from components (dagstuhl seminar 14232) J Rehof, MY Vardi Dagstuhl Reports 4 (6), 2014 | 13 | 2014 |
Mixin Composition Synthesis Based on Intersection Types J Bessai, A Dudenhefner, B Düdder, TC Chen, U de'Liguoro, J Rehof 13th International Conference on Typed Lambda Calculi and Applications, 76, 2015 | 12 | 2015 |
Event-based supply chain network modeling: Blockchain for good coffee SL Bager, B Düdder, F Henglein, JM Hébert, H Wu Frontiers in Blockchain 5, 846783, 2022 | 11 | 2022 |
Combinatory Synthesis of Classes using Feature Grammars J Bessai, B Düdder, GT Heineman, J Rehof Pre-proceedings, 4-21, 2015 | 10 | 2015 |
Typing classes and mixins with intersection types J Bessai, B Düdder, A Dudenhefner, TC Chen, U de'Liguoro arXiv preprint arXiv:1503.04911, 2015 | 10 | 2015 |
Intersection Type Matching with Subtyping B Düdder, M Martens, J Rehof Typed Lambda Calculi and Applications: 11th International Conference, TLCA …, 2013 | 10 | 2013 |