Frederik Gossen
Frederik Gossen
TU Dortmund University, University of Limerick
Verified email at tu-dortmund.de - Homepage
Title
Cited by
Cited by
Year
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
322019
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
152018
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
132018
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
72017
Add-lib: Decision diagrams in practice
F Gossen, A Murtovi, P Zweihoff, B Steffen
arXiv preprint arXiv:1912.11308, 2019
52019
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
42019
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
42019
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
42015
Towards explainability in machine learning: The formal methods way
F Gossen, T Margaria, B Steffen
IEEE Annals of the History of Computing 22 (04), 8-12, 2020
32020
Generating Optimal Decision Functions from Rule Specifications
F Gossen, T Margaria
Electronic Communications of the EASST 74, 2018
3*2018
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
32016
Large random forests: Optimisation for rapid evaluation
F Gossen, B Steffen
arXiv preprint arXiv:1912.10934, 2019
22019
Modelling the people recognition pipeline in access control systems
F Gossen, T Margaria, T Göke
Труды Института системного программирования РАН 28 (2), 2016
22016
Aggressive aggregation: a new paradigm for program optimization
F Gossen, M Jasper, A Murtovi, B Steffen
arXiv preprint arXiv:1912.11281, 2019
12019
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
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
2016
The system can't perform the operation now. Try again later.
Articles 1–16