Frederik Gossen
Frederik Gossen
TU Dortmund University, University of Limerick
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
Language-driven engineering: from general-purpose to purpose-specific languages
B Steffen, F Gossen, S Naujokat, T Margaria
Computing and Software Science, 311-344, 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
DSLs for decision services: a tutorial introduction to language-driven engineering
F Gossen, T Margaria, A Murtovi, S Naujokat, B Steffen
International Symposium on Leveraging Applications of Formal Methods, 546-564, 2018
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
Towards explainability in machine learning: The formal methods way
F Gossen, T Margaria, B Steffen
IT Professional 22 (4), 8-12, 2020
Add-lib: Decision diagrams in practice
F Gossen, A Murtovi, P Zweihoff, B Steffen
arXiv preprint arXiv:1912.11308, 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
A model-driven and generative approach to holistic security
F Gossen, T Margaria, J Neubauer, B Steffen
Resilience of Cyber-Physical Systems, 123-147, 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
Generating Optimal Decision Functions from Rule Specifications
F Gossen, T Margaria
Electronic Communications of the EASST 74, 2018
Large random forests: Optimisation for rapid evaluation
F Gossen, B Steffen
arXiv preprint arXiv:1912.10934, 2019
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
Algebraic aggregation of random forests: towards explainability and rapid evaluation
F Gossen, B Steffen
International Journal on Software Tools for Technology Transfer, 1-19, 2021
Modelling the people recognition pipeline in access control systems
F Gossen, T Margaria, T Göke
Труды Института системного программирования РАН 28 (2), 205-220, 2016
Formal Methods Boost Experimental Performance for Explainable AI
F Gossen, T Margaria, B Steffen
IT Professional 23 (6), 8-12, 2021
Aggressive aggregation: a new paradigm for program optimization
F Gossen, M Jasper, A Murtovi, B Steffen
arXiv preprint arXiv:1912.11281, 2019
Aggressive Aggregation (Domain-Specific) Program Optimisation with Algebraic Decision Diagrams
FJ Gossen
University of Limerick, 2021
Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data
F Gossen
International Symposium on Leveraging Applications of Formal Methods, 97-112, 2016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–18