Frederik Gossen
Frederik Gossen
TU Dortmund University, University of Limerick
Bestätigte E-Mail-Adresse bei tu-dortmund.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
202019
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
82018
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
72018
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
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
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
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
22019
Modelling the people recognition pipeline in access control systems
F Gossen, T Margaria, T Göke
Труды Института системного программирования РАН 28 (2), 2016
22016
ADD-Lib: Decision Diagrams in Practice
F Gossen, A Murtovi, P Zweihoff, B Steffen
arXiv preprint arXiv:1912.11308, 2019
12019
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
2020
Aggressive Aggregation: a New Paradigm for Program Optimization
F Gossen, M Jasper, A Murtovi, B Steffen
arXiv preprint arXiv:1912.11281, 2019
2019
Large Random Forests: Optimisation for Rapid Evaluation
F Gossen, B Steffen
arXiv preprint arXiv:1912.10934, 2019
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
2019
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15