| Language-driven engineering: from general-purpose to purpose-specific languages B Steffen, F Gossen, S Naujokat, T Margaria Computing and Software Science: State of the Art and Perspectives, 311-344, 2019 | 65 | 2019 |
| Computational thinking: learning by doing with the Cinco adventure game tool F Gossen, D Kühn, T Margaria, AL Lamprecht 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018 | 34 | 2018 |
| Algebraic aggregation of random forests: towards explainability and rapid evaluation F Gossen, B Steffen International Journal on Software Tools for Technology Transfer, 1-19, 2023 | 26 | 2023 |
| DSLs for decision services: a tutorial introduction to language-driven engineering F Gossen, T Margaria, A Murtovi, S Naujokat, B Steffen Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 26 | 2018 |
| Towards explainability in machine learning: The formal methods way F Gossen, T Margaria, B Steffen IT Professional 22 (4), 8-12, 2020 | 25 | 2020 |
| Securing C/C++ applications with a SEcube™-based model-driven approach F Gossen, J Neubauer, B Steffen 2017 12th International Conference on Design & Technology of Integrated …, 2017 | 16 | 2017 |
| A model-driven and generative approach to holistic security F Gossen, T Margaria, J Neubauer, B Steffen Resilience of Cyber-Physical Systems: From Risk Modelling to Threat …, 2019 | 14 | 2019 |
| A model-driven approach to continuous practices for modern cloud-based web applications T Tegeler, F Gossen, B Steffen 2019 9th International Conference on Cloud Computing, Data Science …, 2019 | 13 | 2019 |
| Add-lib: Decision diagrams in practice F Gossen, A Murtovi, P Zweihoff, B Steffen arXiv preprint arXiv:1912.11308, 2019 | 11 | 2019 |
| Formal methods boost experimental performance for explainable AI F Gossen, T Margaria, B Steffen IT Professional 23 (6), 8-12, 2021 | 9 | 2021 |
| Comprehensible people recognition using the Kinect's face and skeleton model F Gossen, T Margaria 2016 IEEE International Conference on Automation, Quality and Testing …, 2016 | 8 | 2016 |
| Towards explainability in machine learning: the formal methods way. IT Prof. 22 (4), 8–12 (2020) F Gossen, T Margaria, B Steffen | 7 | 2020 |
| Large random forests: Optimisation for rapid evaluation F Gossen, B Steffen arXiv preprint arXiv:1912.10934, 2019 | 6 | 2019 |
| The java library for algebraic decision diagrams F Gossen, A Murtovi, J Linden, B Steffen | 6 | 2019 |
| Bayesian recognition of human identities from continuous visual features for safe and secure access in healthcare environments F Gossen 2015 10th International Conference on Design & Technology of Integrated …, 2015 | 6 | 2015 |
| Formal methods boost experimental performance for explainable AI. IT Prof. 23 (6), 8–12 (2021) F Gossen, T Margaria, B Steffen | 5 | 2021 |
| Aggressive aggregation: a new paradigm for program optimization F Gossen, M Jasper, A Murtovi, B Steffen arXiv preprint arXiv:1912.11281, 2019 | 5 | 2019 |
| Generating Optimal Decision Functions from Rule Specifications F Gossen, T Margaria Electronic Communications of the EASST 74, 2018 | 5* | 2018 |
| Modelling the people recognition pipeline in access control systems F Gossen, T Margaria, T Göke Труды Института системного программирования РАН 28 (2), 205-220, 2016 | 2 | 2016 |
| Aggressive Aggregation (Domain-Specific) Program Optimisation with Algebraic Decision Diagrams FJ Gossen University of Limerick, 2021 | 1 | 2021 |
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
